|
La
démonstration passe par les étapes suivantes:
Démontrer que le plus grand nombre décroît en, au plus,
4 tours: si 10 est le plus grand nombre, il faudra, au plus, 4 x 10 = 40
tours pour atteindre 0.
S'il n'y a pas de 0 au départ, la décroissance est
assez évidente.
Dans la mesure où le plus grand atteint 0, les trois
autres sont aussi à 0.
Et, avant d'arriver à 0 tous les quatre, ils sont tous
égaux.
Pour démontrer la décroissance vers 0, il faut
considérer la présence de 1 à 3 zéros à côté du nombre le plus grand.
Avec 3 zéros, ils disparaissent en 3 étapes.
Avec 2 zéros, on examine les sous-cas:
ils sont adjacents ou opposés.
Avec 1 zéro, on considère les trois autres nombres;
s'ils sont tous différents ou non.
Un peu laborieux, mais de la pure scrutation des cas
possibles. Plus facile à voir avec les dessins.
|