next up previous contents
suivant : 2.2.3 Un autre exemple remonter : 2.2 Terminaison précédent : 2.2.1 Le principe

2.2.2 Fin de l'exemple

Résumons, le programme s'arrête avec $0 \leq r <
b$ et la propriété $a = bq + r$ est vérifiée à chaque itération, ces deux propriétés nous démontrent que l'algorithme effectue bien la division de $a$ par $b$.


next up previous contents
suivant : 2.2.3 Un autre exemple remonter : 2.2 Terminaison précédent : 2.2.1 Le principe
Alexandre
2009-07-20