Partie entière : ⌊(n + m) / 2⌋ + ⌊(n - m + 1) / 2⌋ = n

Dans cette vidéo, on va essayer de montrer que pour tous entiers m et n :
⌊(n + m) / 2⌋ + ⌊(n - m + 1) / 2⌋ = n
Pour cela, on va procéder par séparation des cas.