Précision sur le théorème de Fermat-Euler
Par Mathous
Rappel Théorème Fermat-Euler
Rappelons ce théorème :
Théorème Fermat-Euler :
Soit un entier supérieur à , et (indicatrice d'Euler) le nombre d'entiers inférieurs à et premiers avec .
Pour tout entiera premier avec , on a .
Il en résulte que pour tout entier premier avec , on a .
Ce théorème est utilisé en cryptographie, notamment pour le codage RSA.
Mais il impose que soit premier avec .
Qu'en est-il dans le cas contraire ?
Soit un entier (supérieur à ), "quadratfrei"(c'est-à-dire sans facteur carré), et soit un entier tel que pour tout diviseur premier de on ait .
Soit un diviseur premier de , et un entier quelconque.
- ou bien est premier avec , auquel cas (petit théorème de Fermat).
Donc puisque .
Ceci étant vrai pour tout diviseur premier de , et n'ayant pas de diviseur carré, .
Il en résulte de que .
- ou bien n'est pas premier avec , c'est donc un multiple de et .
Donc .
D'où puisque .
Il en résulte que , et donc .
Dans tous les cas ( premier ou non avec ), .
Or, ceci est vrai pour tout diviseur premier de .
Autrement dit, est un multiple de pour tout diviseur premier de .
Mais étant sans facteur carré, il en résulte donc que est un multiple de : autrement dit, .
En résumé :
Théorème :
Soit un entier (supérieur à ), quadratfrei, et un entier tel que pour tout diviseur premier de on ait .
Alors, pour tout entier , on a .
On peut préciser que si de plus est premier avec , on a .
Exemple:
est donc sans carré.
On a .
Si on choisit et donc , on est donc dans la situation du théorème.
Soit : il est premier avec , et on vérifie bien que , ainsi que .
Si par contre on choisit , il n'est plus premier avec , et on constate que et non pas à .
Par contre, on a bien .
Contre-exemple:
Si on choisit cette fois , on a .
On choisit comme précédemment et donc .
On a encore, pour tout diviseur premier de :
et .Par contre, n'est plus quadratfrei.
Soit alors : , ce à quoi on pouvait s'attendre.
Mais , et non pas à .
Toutes nos vidéos sur précision sur le théorème de fermat-euler