ExerciceMaths expertes, chapitre 4 — Congruences · Pour aller plus loin
Exercice 33
En utilisant éventuellement le fait que divise pour (démonstration du petit théorème de Fermat), montrer que, si est un nombre premier et , .
Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 546
Corrigé
On raisonne par récurrence sur . Pour , . Si la propriété est vraie au rang , avec , la formule de Pascal donne . Or divise (c'est le point clé de la démonstration du petit théorème de Fermat dans le cours), donc : Par récurrence, . Vérification : pour , la ligne vaut , , , , , , , congrue à , , , , , , modulo .