Le petit théorème de Fermat, énoncé en 1640, par Pierre de Fermat, dispose de nombreuses applications, à la fois en arithmétique modulaire et en cryptographie.
Le petit théorème de Fermat. Si  est un nombre premier et , alors :
Soit  un nombre premier. Pour démontrer le petit théorème de Fermat, nous allons procéder par récurrence sur .
L'hypothèse de récurrence  au rang  est :
Pour ,  donc  et  est vraie.
Supposons  vraie pour un , et montrons que  est vraie.
Partons de  et développons :
Remarquons que pour ,  divise  puisque :
Grâce à cette remarque :
Par hypothèse de récurrence :
Finalement,  est vraie.
Démos Maths MPSI
Découvre ou révise les démonstrations de maths au programme de MPSI.