voiçi ma méthode :
on destingue 6 cas .
si

alors
^7 +6(7k) = 0(9))
et puis de meme je le montre pour les cas suivants :
mais dans un livre j'ai trouvé une autre méthode que j' ai pas compris . là voilà : toutes les congruences qui suivent sont modulo 7

donc pour tout entier n ,
)
on en déduit que pour tout entier n ,
 ( n^3+1))
le problème est donc de démontrer que pour tout entier n ,
(n^3+1) = 0)
(congrus à 0)
si n congru 0 alors
si n n'est pas congru à 0 modulo 7 étudions pour les autres valeurs quels sont les restes modulo 7 de

aprés ils ont fait un tableau
n 1 2 3 4 5 6

1 1 6 1 6 6
si on remarque que 6 congru -1 , on voit que ds tous les cas (sauf 0 étudié avant ) ,

est congru soit à 1 soit à -1 et donc
(n^3+1))
congru 0 ce qui achève la démonstration
ouffffffff