dividee a écrit :
La preuve ? Ben c'est facile. Quand on fait une addition d'entier non signés sans se préoccuper du dépassement, on fait une addition modulo N (N=2 exposant le nombre de bit de la représentation d'un entier).
Si on a 0 <= a,b < N, et (a + b) mod N = c, c vaudra soit a+b (si a+b < N, pas de dépassement), soit a+b-N (si a+b >= N, dépassement). Dans ce cas, comme a et b sont < N, b-N < 0 et a-N <0 et donc c < a et c < b.
|