1. Idée : un tableau des six restes. Si a≡0,1,2,3,4,5(mod6), alors a2≡0,1,4,9,16,25, soit a2≡0, 1, 4, 3, 4, 1(mod6). Les restes possibles de a2 sont 0, 1, 3 et 4.
2. Avec le même tableau, a3≡0,1,8,27,64,125≡0,1,2,3,4,5≡a(mod6). Autre voie : a3−a=(a−1)a(a+1) est le produit de trois entiers consécutifs, divisible par 2 et par 3, donc par 6 (car pgcd(2,3)=1). Ainsi 6 divise a3−a.
3. Idée : l'hérédité multiplie par a2 puis utilise a3≡a. Initialisation : a1≡a. Hérédité : si a2n+1≡a, alors a2n+3=a2n+1⋅a2≡a⋅a2=a3≡a(mod6). La propriété est vraie pour tout n∈N.