J'ai bien aimé le topic de Jamo ici: Un exercice et 14 méthodes
J'ai toujours trouvé très attrayante l'idée de chercher une foultitude de démonstrations différentes d'un même résultat.
Je vous propose la même chose, mais concernant le petit théorème de Fermat.
Combien de démonstrations différentes pourons-nous trouver ?
Une première démonstration:
On commence par démontrer à titre de lemme que si et
sont deux entiers, et
un nombre premier, alors
. Ceci résulte de la formule du binôme, et de ce que pour
on a de sorte que
divise
. Etant premier avec
, il divise donc
d'où le lemme.
Ceci acquis, on démontre par récurrence sur que, pour tout naturel
,
. La propriété est vraie pour
. Et si elle est vraie pour
, comme
de part le lemme, et que
via la propriété de récurrence, on a bien
ce qui achève la démonstration.
Une deuxième démonstration:
l'égalité est vraie pour
. Supposons maintenaht que
ne soit pas un multiple de
. Celui-ci étant un entier premier,
.
Dans ces conditions, les entiers sont distincts modulo
(sinon il existerait
et
distincts dans
tels que
ce qui imposerait que
soit un multiple de
). Ainsi, l'ensemble
est de cardinal
et ne contient pas
. Donc
, et de ce fait:
.
Par conséquent:, d'où l'on tire
.
Une idée de troisième démonstration:
Inspirée de la première, mais où l'on utilise la formule du multinôme pour .
Une idée de quatrième démonstration:
Définir l'indicatrice d'Euler , montrer que si
alors
et conclure en remarquant que pour
premier,
...
Qui complète/poursuit (il paraît qu'il existe au moins 100 démonstrations...) ?
Bonjour,
j'aime bien la deuxième démonstration qui consiste à calculer un même produit de deux façons différentes, ça ma fait penser à une preuve élégante (et courte) pour montrer que dans la loi de réciprocité quadratique.
Pour ce qu'il s'agit du petit théorème de Fermat, voilà une preuve élémentaire axée sur les groupes, mais rien de très original non plus...
Si ,
est dans le groupe multiplicatif d'ordre
. Le théorème de Lagrange indique alors que l'ordre de
divise
, d'où :
.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :