1. On applique la relation de récurrence :
Les deux derniers chiffres sont successivement , , , , :
2. Exprimons en fonction de : Or et , donc
Cette relation signifie que la classe de modulo ne change pas lorsqu'on avance de deux rangs : elle ne dépend donc que de la parité de . Comme et , une récurrence immédiate de deux en deux donne :
3. (a) Démontrons par récurrence la propriété
Initialisation : Pour : et . Les deux membres coïncident, donc est vraie.
Hérédité : Soit . Supposons vraie, c'est-à-dire . Alors : C'est exactement , qui est donc vraie.
Conclusion : Par principe de récurrence :
(b) Il suffit de connaître modulo . Or : Plus généralement, si pour un , alors : la propriété se propage. Ainsi pour tout , et
4. De , on déduit que est un multiple de , donc Autrement dit : les deux derniers chiffres de valent donc ou .
Attention : on ne peut pas diviser directement une congruence modulo par ; le module se divise lui aussi, et l'on obtient une congruence modulo seulement. C'est précisément pourquoi deux possibilités subsistent.
Pour trancher, on utilise la question 2. Le nombre est congru à modulo , et est congru à modulo : La conjecture de la question 1 est donc démontrée.