Activites Autour Du Dernier Theoreme de Fermat Pour Le College Et Le Lycee PDF

Activits autour du Dernier Thorme de Fermat
Document ralis par Francis Loret

professeur agrg de mathmatiques
Irem, groupe vulgarisation
LE DERNIER THEOREME DE FERMAT

Lhistoire du plus grand problme de maths de tous les temps
Plan des activits

Questionnaire
prparatoire
EXPOSE
CENTRAL
quations
diophantiennes
La boite outil
Courbes elliptiques et
Le raisonnement par contrapose
mathmatiques de lhorloge
Le raisonnement par labsurde
Le cas n= 2
quation x + y = z
La descente infinie
Le cas n= 4
quation x4 + y4 = z4
Des rsultats quivalents dans des

domaines mathmatiques diffrents

Questionnaire prparatoire
Questions scientifiques
1) Que signifient les critures mathmatiques suivantes :
7 2 ; 53 ; 2 4 ; x n (o x est un nombre quelconque et n est un entier ) ?
2) Combien de valeurs de x et de y peuvent vrifier lgalit x + y = 9 ?
Donner des exemples.
3) Combien de valeurs de x, de y et de z peuvent vrifier lgalit x + y = 3z ?
4) Vrifier que x = 3, y = 4 et z = 5 rend lgalit x + y = z vraie.
Y-a-t-il dautres valeurs entires de x, de y et de z qui permettent de rendre vraie cette galit ?
5) Comment illustrer facilement par la gomtrie lgalit 3 + 4 = 5 en utilisant notamment un
triangle ?
6) Est-il vrai que 63 83 93 ? Seriez-vous capable de trouver des valeurs entires de x, de y et de z
qui peuvent rendre vraie lgalit x 3 y 3 z 3 ?
7) Quest-ce quune conjecture en mathmatique ?
8) Quest-ce quun nombre premier ? Donner la liste de tous les nombres premiers infrieurs 100.
Montrer que tous les nombres pairs suprieurs 2 et infrieurs 30 peuvent scrire comme la
somme de deux nombres premiers.
Les nombres premiers de Sophie Germain sont des nombres premiers n tel que 2xn + 1 soit aussi
un nombre premier. Donner la liste des nombres premiers de Sophie Germain infrieurs 100.
9) Quest-ce que lantimatire en physique ? Quest-ce quun trou noir ?
Repres historiques et gographiques utiles

1) Placer sur la carte les villes dAthnes, Alexandrie, Damas, Bagdad, Cordoue, Tolde, Palerme,
Florence, Venise, Constantinople, Toulouse.
2) Sur quel support crivait-on en Msopotamie 2000 av. J.C. ?

3) Citer plusieurs grands mathmaticiens de la Grce antique.
4) Qui a fond la ville dAlexandrie dEgypte ? En quelle anne ?
Quest-ce que la pierre de Rosette ? Qua-t-elle permis ?
Qui tait Diophante ? Quels livres importants a-t-il crit ?
5) Quelle date marque la chute de lEmpire romain ?
Citer des exemples de peuples barbares qui dferlent sur lEurope partir de cette poque.
6) Jusquo stendent les conqutes du monde musulman au VIIIe sicle ap. J.C. ?
Citer un grand mathmaticien arabe Bagdad au IXe sicle ap. J.C.
Quel rle jouent les maisons de la Sagesse dans le monde arabe cette poque ?
7) Que sest-il pass en 1453 ?
Que signifie le terme Renaissance en Italie au XVe sicle ?
8) Quappelle-t-on le Grand Sicle ?
9) Qui tait Marin Mersenne ? Qui tait Pierre de Fermat ?
10) Qui tait Sophie Germain ?
4

La boite outil
La boite outil
Outil n1 : trois nombres entiers x, y et z sont premiers entre eux dans leur ensemble signifie que le
PGCD de ces trois nombres est 1.
Outil n2 : si deux nombres entiers ne sont pas premiers entre eux, alors ils ont un diviseur commun d
diffrent de 1.
Outil n3 : si un nombre entier x est divisible par d, alors il peut scrire x = d x n o n est un nombre
entier.
Outil n4 : un nombre entier premier ne possde que deux diviseurs : lui-mme et 1.
Outil n5 : si x est un nombre entier pair, alors il peut scrire x = 2p o p est un nombre entier.
Outil n6 : si y est un nombre entier impair, alors il peut scrire y = 2q +1 o q est un nombre entier.
Outil n7 : si x et y sont des nombres entiers pairs, alors x + y est galement un nombre entier pair.
Outil n8 : si x et y sont des nombres entiers impairs, alors x + y est un nombre entier pair.
Outil n9 : si x et y sont des nombres entiers de parit diffrente, alors x + y est un nombre entier
impair.
Outil n10 : si x est un nombre entier pair, alors x2 est un nombre entier pair.
Outil n11 : si x est un nombre entier impair, alors x2 est un nombre entier impair.
Outil n12 : si le carr dun nombre entier est pair, alors ce nombre entier est pair.
Outil n13 : si le carr dun nombre entier est impair, alors ce nombre entier est impair.
Outil n14 : si d 2 divise x2, alors d divise x.
Outil n15 : u et v sont des nombres entiers premiers entre eux. Si le produit u x v est le carr dun
nombre entier, alors u et v sont chacun le carr dun nombre entier.
Exercices
1. Pour tous : dmontrer la validit des outils 7 11.
2. La validit des outils 10, 11, 12 et 13 sera dmontre dans une prochaine partie.
3. Pour les lycens : dmontrer la validit des outils 14 et 15.

Equations diophantiennes
Diophante tait un mathmaticien dAlexandrie du IIIe sicle aprs JC. Il est lauteur de
lArithmtique, livre qui aura une grande influence sur le travail des mathmaticiens arabes, de la
Renaissance et du Grand Sicle.
Pierre de Fermat avait pour livre de chevet un exemplaire de lArithmtique de Diophante, livre traduit
en latin par son ami Claude-Gaspart Bachet de Mziriac. On trouve dans ce livre une somme de
problmes poss par le monde grec, notamment la rsolution de certaines quations que lon appelle
quations diophantiennes. Ces quations ont la particularit de nutiliser que des nombres entiers dans
leur criture, et de ne rclamer que des nombres entiers comme solution. En ce sens, lquation du
Dernier Thorme de Fermat est une quation diophantienne. Nous vous proposons dans cette activit
dtudier quelques solutions dquations diophantiennes bien choisies, car la plupart sont trs
difficiles rsoudre.
1. Trouver un couple de nombres entiers x et y solution de lquation : x3 y2 = 2.

2. Trouver un couple de nombres entiers x et y solution de lquation : x2 2y2 = 1.
3. Trouver un couple de nombres entiers x et y solution de lquation : x2 y3 = 1.
4. Trouver deux couples de nombres entiers x et y solutions de lquation : x2 + 1 = 2y4.
Le premier couple de tte ? Le second laide dun tableur ?
5. Trouver un triplet de nombres entiers x, y et z solution de lquation : x3 + y3 = z3 + 1.
6. Trouver un quadruplet de nombres entiers x, y, z et t solution de lquation : x3 + y3+ z3 = t3.
7. Il existe en fait une infinit de solutions entires lquation x3 + y3+ z3 = t3. Une formule mise au
point par des mathmaticiens consiste choisir arbitrairement la valeur de deux entiers a et b et
remplacer ces deux nombres entiers dans chacune des quatre identits suivantes :
x = 28a2 + 11ab 3b2
y = 21a2 11ab 4b2
z = 35a2 + 7ab + 6b2
t = 42a2 + 7ab + 5b2
Etablir une liste de quelques solutions de cette quation ( la main, la calculatrice o laide dun
tableur).

Courbes elliptiques et mathmatiques de lhorloge
De quoi sagit-il ?
Andrew Wiles fait le vu ds son plus jeune ge de rsoudre le Dernier Thorme de Fermat. Il suivra
ses tudes universitaires Cambridge en Angleterre, la ville de sa naissance.
Un futur chercheur en mathmatiques termine ses tudes par une thse, cest--dire quavec laide
dun professeur, il choisi dexplorer pendant trois ans un sujet que personne na encore approfondi.
Pour sa thse, Andrew contacte John Coates, qui le dissuade de faire son sujet sur le Dernier
Thorme de Fermat. Trop difficile, trop incertain. Il lencourage choisir son sujet dans le domaine
des courbes elliptiques. Andrew accepte finalement la proposition de John, peut-tre encourag par le
fait que Diophante avait consacr une bonne partie de son arithmtique aux courbes elliptiques et que
Fermat en avait fait lun de ses domaines dtude. Andrew va devenir un spcialiste rput de ces
objets mathmatiques difficiles. Lironie du sort, cest que ce sont ses comptences acquises sur les
courbes elliptiques qui lui offriront le Dernier Thorme de Fermat
Les courbes elliptiques portent mal leur nom puisque ce sont ni des courbes, ni des ellipses. Ce sont
plutt des quations, de la forme y2 + ay + b = x3 + cx2 + dx + e o a, b, c, d et e sont des nombres
entiers. On leur a donn ce nom parce que dans le pass, elles servaient mesure r le primtre des
ellipses et les longueurs des orbites des plantes.
Le dfi avec les courbes elliptiques est de dterminer si elles ont des solutions en nombres entiers et si
cest le cas, de trouver le nombre de leurs solutions.
Un premier exemple
Fermat a prouv que lquation y 2 = x3 2 qui est une courbe elliptique avec a = , b = , c =
d = et e = na quun seul couple (x, y) solution avec x et y entiers naturels (complter les
pointills). Trouver cette solution.
Les mathmatiques de lhorloge

Dans les quations que Wiles tudie, il tait si difficile de dterminer le nombre exact de solutions que
la seule manire davancer un peu tait de simplifier le problme. Par exemple, la courbe elliptique
suivante : y2 + y = x3 x2 avec a = , b = , c = d = et e = est presque impossible
attaquer directement (complter les pointills).
Le dfi consiste savoir combien de solutions en nombres entiers a cette quation.
1. Trouver deux couples de solutions (x, y) trs simples de cette quation.
Il peut y avoir dautres solutions, mais comme il y a une infinit de nombres entiers explorer, il est
trs difficile dtablir la liste complte des solutions de cette quation. Il serait plus simple de chercher
des solutions pour un ensemble fini de nombres, ce qui est possible dans ce que lon appelle les
mathmatiques de lhorloge.
Les nombres entiers senchanent linfini : 0, 1, puis 2, et ces nombres peuvent tre reprsents
comme des marques sur une ligne qui stend linfini.
10
11
13
12
14
Sur cette ligne, nous nous reprsentons laddition comme lavance travers un certain nombre
despaces. Par exemple, 4 + 2 = 6 quivaut dire : commencez 4, passez 2 espaces et arrivez 6.
Par contre dans larithmtique de lhorloge, reprsente cette fois sur un cercle, on retrouve le point de
0
dpart au bout dun certain nombre :
1
11
2
10
- Dans une horloge classique qui contient 12 nombres du 0 au 11, 4
heures aprs 11 heures se dit 3 heures. Cest ce que lon appelle en
mathmatique larithmtique du groupe cyclique 12 lments. Aprs

4
le 11, il ny a plus le 12, mais le zro du dpart.
7
On peut imaginer aussi un groupe cyclique 2 lments, 3 lments, 4 lments,
- Par exemple, dans une horloge qui contiendrait 5 nombres du 0 au 4,
6
0
lopration 3 + 2 donnerait 1 et lopration 4 x 3 donnerait 2. Les tables

dadditions et de multiplications dans les groupes cycliques deviennent
alors trs diffrentes de celles que lon connat habituellement.
2. Remplir les tables dadditions et de multiplications des groupes cycliques suivantes :
Groupe cyclique 2 lments

0
+
1
0

0

0

0
2
5
0
1
2
3
4
5
0
1
2
3
4
5
Etant donn que les groupes cycliques contiennent un nombre limit dlments, il est beaucoup plus
facile dtablir toutes les solutions possibles dune courbe elliptique pour chacun dentre eux.
Par exemple, dans un groupe cyclique 5 lments, on peut tablir toutes les solutions possibles de la
courbe elliptique y2 + y = x3 x2.
Ce sont :
x=0
y=0
x=1 y=0
x=0
y=4
x=1 y=4
Certaines de ces solutions, qui ne seraient pas valides en arithmtique classique, deviennent valides
dans les groupes cycliques. Par exemple, la quatrime solution (x = 1 et y = 4) se vrifie ainsi :
x3 x2 = 13 12 = 1 1 = 0
y2 + y = 42 + 4 = 1 + 4 = 0 car dans ce groupe 42 = 1 et 4 + 1 = 0.
Liste L dune courbe elliptique

Comme ils peinaient faire linventaire de toutes les solutions des courbes elliptiques dans un espace
infini, les mathmaticiens cherchrent le nombre de solutions dans chacun des groupes cycliques.
Par exemple, dans le groupe cyclique 5 lments, il y a 4 solutions, ce que lon peut noter
mathmatiquement par : L5 = 4. On peut alors tablir la liste L1, L2, L3, dune courbe elliptique qui
reprsente un vritable trsor pour le spcialiste de la thorie des nombres. Elle contient une mine
dinformations, une sorte de code gntique, qui sera utilise par Wiles pour venir bout de la
conjecture de Taniyama/Shimura.
3. Etablir la liste L1, L2, L3, L4, L5, de la courbe elliptique y2 + y = x3 x2 (en essayant daller le
plus loin possible).
10
Calcul de L1 dans le groupe cyclique 1 lment : ce groupe ne contient quun seul lment : 0
On calcule
x3 x2
On calcule
pour x = 0
y2 + y
pour y = 0
Conclusion : dans le groupe cyclique 1 lment, il ny a quune solution : ( ; . ).

Do : L1 =
Calcul de L2 dans le groupe cyclique 2 lments : ce groupe contient les lments : 0 ; 1

On calcule
x3 x2
On calcule
pour x = 0
pour y = 0
pour x = 1
pour y = 1
y2 + y
Conclusion : dans le groupe cyclique 2 lments, il y a solutions : ...

Do : L2 =
Calcul de L3 dans le groupe cyclique 3 lments : ce groupe contient les lments : ..
On calcule
x3 x2
On calcule
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
y2 + y

Do : L3 =
On calcule
x3 x2
On calcule
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
y2 + y

Do : L4 =
11

On calcule
x3 x2
On calcule
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
y2 + y

Do : L5 =
L5 =
On calcule
x3 x2
On calcule
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
pour x =
pour y =
y2 + y

Do : L6 =
Ce code gntique dune courbe constitu par cette suite de nombre peut tre compar une autre
suite de nombres M1, M2, M3, M4, M5, vritable code gntique dune forme modulaire. En 1955,
Taniyama a remarqu une ressemblance : il prenait une forme modulaire et calculait le premier terme
de la liste M et il remarquait que c'tait le premier terme de la liste L d'une certaine courbe elliptique
bien connue. Il continuait calculer encore quelques termes de plus dans les 2 listes et constatait quil
y avait toujours une parfaite galit entre les nombres de ces listes. C'tait une dcouverte tonnante,
car avant Taniyama, personne ne souponnait une relation quelconque entre les courbes elliptiques et
les formes modulaires. Pour les mathmaticiens, ces objets taient de nature trs diffrente. Cette
correspondance va jouer le rle dun vritable dictionnaire entre ces deux mondes, permettant de
rsoudre dans une thorie, des problmes jusque l insolubles dans lautre thorie.
12

Le raisonnement par contrapose
Introduction
Une phrase comme :

si ABCD est un rectangle, alors ABCD a les diagonales de mme longueur
est appele en mathmatique une proposition.
Cette proposition est vraie. Il existe bien sr des propositions fausses.
On appelle rciproque de cette proposition la phrase que lon obtient en changeant la place de
ABCD est un rectangle avec ABCD a les diagonales de mme longueur :
si ABCD a les diagonales de mme longueur, alors ABCD est un rectangle.
La rciproque dune proposition est une nouvelle proposition et le fait que la proposition de dpart
soit vraie, ne signifie pas ncessairement que sa rciproque le sera. Dans notre exemple, la proposition
est vraie et sa rciproque est fausse (si ABCD les diagonales de longueur et de mme milieu, alors
ABCD est un rectangle).
On appelle contrapose de la proposition de dpart la phrase que lon obtient dune part en
changeant la place de ABCD est un rectangle avec ABCD a les diagonales de mme
longueur , dautre part en prenant leur ngation :
si ABCD na pas les diagonales de mme longueur, alors ABCD nest pas un rectangle.
Les mathmaticiens ont tablis la preuve quune proposition et sa contrapose ont toujours la mme
valeur de vrit : si lune est vraie alors lautre lest aussi et si lune est fausse, lautre lest aussi.
13
Exemples
Complter les tableaux suivants en indiquant dans la dernire colonne la valeur de vrit :
Proposition
si ABCD est un carr, alors ABCD a 4 angles droits
vraie
Rciproque
Contrapose
Proposition
si AB = BC, alors B est le milieu de [AB]
Rciproque
Contrapose
Proposition
si ABC est un triangle rectangle en A, alors BC 2 = AB 2 + AC 2
Rciproque
Contrapose
Application larithmtique
1. Prouver de manire classique que si x est un nombre entier naturel pair, alors x2 est un nombre
entier naturel pair.
2. Prouver de manire classique que si x est un nombre entier naturel impair, alors x2 est un nombre
entier naturel impair.
Comme une proposition a la mme valeur de vrit que sa contrapose, alors il peut tre parfois
judicieux, lorsquil est demand de prouver une proposition, de chercher prouver la contrapose.
3. Prouver en utilisant le principe de contrapose que si le carr dun nombre entier est pair, alors ce
nombre entier est pair.
4. Prouver de mme en utilisant le principe de contrapose que si le carr dun nombre entier est
impair, alors ce nombre entier est impair.
14

Le raisonnement par labsurde

En thorie des nombres, comme dans dautres branches des mathmatiques, on utilise un type de
raisonnement qui savre dans certains cas trs efficace : le raisonnement par labsurde. La rsolution
par Wiles du Dernier Thorme de Fermat en est une nouvelle illustration.
De quoi sagit-il ?
Pour prouver quune proposition est vraie, on va montrer que de supposer le contraire de la
proposition dmontrer conduit une absurdit mathmatique, une incohrence logique. Cest
notamment un principe trs utilis pour dmontrer des propositions du type : montrer que ceci .nest
pas . Etudions son fonctionnement sur un exemple :
Thorie
Pour dmontrer une proposition
Pratique
x = 0 nest pas une solution de lquation x + 1 = 0
mathmatique,
on peut montrer que de partir dune
..
hypothse contraire
..
conduit, par une suite de dductions,
..
une absurdit ,
..
c..d. que ce que lon obtient dit le
Or, ..
contraire de quelque chose de
est vraie.
mathmatiquement vrai.
Par consquent :
..
. est fausse.
Conclusion :
..
.. est vraie.
15
En rsum
1. On part de la ngation de ce que lon doit prouver et lon teste les consquences logiques de cette
hypothse.
2. Ds que lon obtient une incohrence logique, on en dduit que cette supposition de dpart est
fausse.
3. Enfin, puisque la ngation de la proposition est fausse, cest que cette proposition est vraie.
Propositions dmontrer laide de ce raisonnement

I. Prouver que les quotients
941664
665857
et
ne sont pas gaux :
665857
470832
Thorie
Pratique

mathmatique,
..

hypothse contraire
..
une absurdit ,
..
Or, ..
est vraie.
Par consquent :
..
. est fausse.
Conclusion :
..
.. est vraie.
16
II. Le carr p2 dun nombre entier est pair. Prouver que ce nombre p est pair.
Thorie
Pratique
..
mathmatique,
..
..
hypothse contraire
..
..
une absurdit ,
..
Or, ..
est vraie.
Par consquent :
..
. est fausse.
Conclusion :
..
.. est vraie.
III. Prouver de deux manires diffrentes que la diagonale dun carr de ct 1 nest pas
exprimable sous la forme dun quotient de deux nombres entiers.
A leur grande surprise, les mathmaticiens grecs de lAntiquit se sont rendus compte que la longueur
de la diagonale dun carr de ct 1 ntait pas rationnelle , ntait pas exprimable sous forme de
fraction.
17
On suppose que AC =
p
p
o
est une fraction non simplifiable (irrductible).
q
q
Mthode 1
1. Montrer que AC2 = 2.
2. Montrer que 2q2 = p2.
3. On va raisonner sur les chiffres des units de p et de q. Remplir le tableau suivant :
Si le chiffre des units de p est
alors le chiffre des units de p2 est
Si le chiffre des units de q est

alors le chiffre des units de q2 est
et le chiffre des units de 2q2 est
4. En dduire que p devrait obligatoirement se terminer par et que q devrait se terminer par
ou bien par
5. Ny a-t-il pas une contradiction avec la proposition de dpart ?
Mthode 2
1. Montrer que AC2 = 2.

2. Montrer que 2q2 = p2.
3. On va raisonner sur la parit de p et de q. Montrer que p est pair.
4. On peut donc crire p sous la forme p = 2k o k est un nombre entier. Montrer que q est pair.
5. Ny a-t-il pas une contradiction avec notre point de dpart ?
18
IV. Lquation de Fermat xn + yn = zn na pas de solution non nulle pour tout entier n suprieur
ou gal 3.
Thorie
mathmatique,
Pratique
Lquation de Fermat na pas de solution non nulle
pour tout entier n suprieur ou gal 3
..
hypothse contraire
..
Daprs ses calculs, en 1985 G. Frei pense que cette
solution lquation de Fermat cre une
une absurdit ,
.. qui nest pas ..

Ce sera prouv plus tard par Ken Ribet.
Or, Taniyama/Shimura exprime le fait que toute
... est une
... est vraie.

Ce sera prouv plus tard par Andrew Wiles.
Par consquent :
..
. est fausse.
Conclusion :
..
.. est vraie.
19
V. Les nombres premiers sont en nombre infini.

On suppose que les nombres premiers sont en nombre fini : p1, p2, p3, , pn (il y en a n).
On introduit un nouveau nombre : N = p1 x p2 x p3 x x pn + 1
N est-il divisible par p1,ou p2, ou p3, , ou pn ?

Il y a alors 2 possibilits :
Soit N est un nouveau nombre premier. Montrer
Soit N nest pas premier. Montrer alors que
Alors que lon obtient une contradiction.
lon peut trouver un nouveau nombre premier

qui ne fait pas partie de la liste p1, p2, p3, , pn..
Montrer alors que lon obtient une contradiction.
20

Le cas n = 2
De quoi sagit-il ?
Dans lAntiquit, les Babyloniens avaient trouv quelques triplets de nombres entiers qui vrifiaient
lquation x2 + y2 = z2. Par la suite, les Grecs montrrent que lon peut trouver une infinit de triplets
de nombres entiers solutions de cette quation. Ils montrrent mme les formules permettant de les
trouver tous. Cette activit propose de retrouver ces formules
Comment dterminer tous les triplets (x, y, z) dentiers naturels vrifiant lquation
x2 + y2 = z2 ?
PARTIE I
Supposons que le triplet dentier (x, y, z) soit une solution de cette quation.
1. Comment choisir lentier d et trois entiers x, y, z tels que x = d x x , y = d x y , z = d x z tels que x,
y, z soient premiers entre eux dans leur ensemble ?
2. Prouver alors que (x, y, z) est aussi solution de cette quation.
3. Prouver par un raisonnement par labsurde que les entiers x, y, z sont premiers entre eux deux
deux.
4. En dduire que x, y ne peuvent pas tre tous les deux pairs.
5. Prouver par un raisonnement par labsurde que x, y ne peuvent pas tre tous les deux impairs :
- crire x et y sous la forme 2p + 1 et 2q + 1.
- Prouver que la somme de leur carr vaut 2 x [2(p2 + q2 + p + q) + 1].
- En dduire que z est pair.
- Ecrire z sous la forme 2r.
- Montrer alors que lgalit x2 + y2 = z2 devient 2 (p2 + q2 + p + q) + 1 = 2r2.
- Conclusion.
6. Montrer que z est impair.
21
Bilan de la partie I
Les entiers x, y, z sont premiers entre eux deux deux.
Si x est pair, alors est y est impair (et rciproquement).
z est impair.
PARTIE II
Supposons alors que x soit le nombre entier pair et que y soit le nombre entier impair.
7. Montrer que z y et z + y sont pairs.
8. On pose alors z + y = 2u et z y = 2v. Montrer que y = u v et que z = u + v.
9. Prouver par un raisonnement par labsurde que les entiers u et v sont premiers entre eux.
10. Montrer que x2 = 4 u x v.
11. En dduire que u et v sont chacun le carr dun nombre entier.
12. On pose alors u = a2 et v = b2. Prouver par un raisonnement par labsurde que les nombres entiers
a et b sont premiers entre eux.
PARTIE III : conclusion
13. Prouver que les formules donnant les triplets (x, y, z) solutions de cette quation sont :
y = d x (a2 b2)
x = 2 d x a x b
z = d x (a2 + b2)
14. Vrifier que ces valeurs sont effectivement solutions de lquation : x2 + y2 = z2.
15. Calculer une liste dexemples de triplets de nombres entiers (premiers dans leur ensemble)
vrifiant cette quation :
a
22
x2 + y2
z2

La descente infinie
Cette mthode apparat dans les lments d'Euclide, mais c'est surtout Fermat qui la formule
explicitement et en fait un instrument important dans son programme pour la thorie des nombres
entiers. Elle sera notamment utilise pour prouver le cas n = 4.
De quoi sagit-il ?
Cette mthode sert essentiellement dmontrer qu'il n'existe pas de nombres entiers naturels
rpondant une certaine proprit.
On suppose au dpart que ces entiers naturels qui rpondent la proprit existent.
On construit alors une nouvelle solution valable pour un entier naturel strictement plus petit que
lentier naturel prcdent. Rien nempche alors de construire une nouvelle solution plus petite, puis
encore une nouvelle et de reproduire ce mcanisme linfini. Oui, mais il est impossible de
rendre indfiniment plus petits les termes dune suite de nombres entiers naturels ! On arrive donc
une absurdit ce qui contredit la supposition de dpart.
A dmontrer par une descente infinie

I. Montrer quil nexiste pas de nombres entiers naturels non nuls x et y tels que x2 = 2y2.
Supposons quil existe de tels entiers.
1. Montrer que x est pair. On pose x = 2x1.
2. Montrer que x12 = 2y12
3. Combien de fois peut-on reproduire cette opration ?
4. Conclure.
23
II. Prouver que la diagonale dun carr nest pas exprimable sous la forme dun quotient de
deux entiers.
A partir du carr ABCD, on construit le carr CEFG comme indiqu ci-dessus : on reporte la longueur
DB sur la droite (CD).
Supposons que le rapport de BD et AB soit une fraction p/q avec p et q entiers naturels non nuls. On
peut alors choisir lunit du dessin pour que DB = p et AB = q.
1. Prouver que CE est encore un nombre entier, infrieur q.
2. Prouver que p2 = 2q2.
3. Le carr CEFG est une rduction du carr ABCD. Prouver que lchelle de rduction vaut
p/q 1 ?
4. Prouver que CF est encore un nombre entier, infrieur p.
5. Combien de fois peut-on reproduire cette construction gomtrique ?
6. Ny aura-t-il pas numriquement un problme ?
7. Conclure.
24

Le cas n = 4
Le cas n = 4 est certainement le premier cas avoir t dmontr. Il est fort probable que Fermat en
avait rellement trouv la preuve. Il sappuie sur une descente infinie et galement sur la connaissance
du cas n = 2.
Bilan du cas n = 2
Que peut-on dire des triplets (x, y, z) dentiers vrifiant lquation x2 + y2 = z2 ?
Ces triplets sont appels triplets Pythagoriciens. Les triplets (x, y, z) premiers entre eux dans
leur ensemble sont appels les triplets Pythagoriciens primitifs. Dans ce cas :
-
Les entiers x, y, z sont premiers entre eux deux deux.
Si x est pair, alors y est impair (et rciproquement).
z est impair.
x = 2ab
y = a2 b2
( avec a > b ).
z = a2 + b2 o a et b sont des entiers premiers entre eux
Le cas n = 4
PARTIE I
On sintresse lquation x4 + y4 = z2
Dmontrer que si lon prouve que lquation x4 + y4 = z2 na pas de solutions en nombres entiers
diffrents de zro, alors on aura prouv que lquation x4 + y4 = z4 na pas de solutions en nombres
entiers diffrents de zro.
25
PARTIE II
Supposons que le triplet dentiers (x, y, z) soit une solution de lquation x4 + y4 = z2
1. d est le PGCD de x et y. Montrer d 2 divise z.
Quitte simplifier cette quation par d 4, on peut alors supposer comme dans le cas n = 2 que x , y et z
sont premiers entre eux dans leur ensemble. Le triplet (x2, y2, z) est donc pythagoricien primitif.
On peut donc crire : x2 = 2ab , y2 = . et z = .. o a et b sont des nombres entiers
....
On va prsent construire une descente infinie :

2. Prouver que le triplet (b, y, a) est encore un triplet Pythagoricien primitif.
On peut donc crire : b = 2mn , y =.. et a = .. o m et n sont des nombres entiers
....
3. Prouver que les entiers a, m et n sont tous les trois des carrs.
4. On peut alors crire : a = z 2 m = x 2 n = y 2 o x, yet z sont des nombres entiers.
Prouver que le triplet dentier (x, y, z) est encore solution de lquation x4 + y4 = z2.
5. Prouver que 0 < z < z.
6. Conclure.
26

Des rsultats quivalents dans des domaines mathmatiques diffrents
De quoi sagit-il ?
La plupart des personnes pensent que les mathmatiques, ce nest quune seule matire. Pourquoi ne
pas dire alors que nous faisons de la mathmatique ? Pourquoi mettre au pluriel ? Parce que les
mathmatiques sont constitues de nombreuses disciplines, parfois trs diffrentes les unes des autres.
Au collge, on dbute ltude de larithmtique, lalgbre, la gomtrie, des statistiques Au lyce,
on rajoute lanalyse, les probabilits, et dans le suprieur, le nombre des domaines dtude devient
encore plus grand. Chacun de ces domaines a ses propres systmes de signes, son propre langage,
parfois incomprhensible pour les mathmaticiens des autres domaines.
Le rve de certains mathmaticiens, comme par exemple Robert Langlands, est de construire des
passerelles entre ces diffrents domaines.
A limage de la Pierre de Rosette qui a permis de faire le lien entre le dmotique gyptien, le grec et
les hiroglyphes, ces ponts pourraient permettre dobtenir un vritable dictionnaire pour traduire des
problmes non rsolus dun langage un autre, en cherchant celui qui serait le plus adapt.
La preuve du Dernier Thorme de Fermat est remarquable sur ce point : Wiles prouve la conjecture
de Taniyama/Shimura qui tablit un vritable dictionnaire pour traduire les problmes exprims dans
le langage des courbes elliptiques, en problmes exprims dans le langage des formes modulaires,
deux domaines apparemment trs loigns.
Plus proche de nous, il peut tre trs intressant de chercher traduire des problmes de nombres en
problmes de formes (et inversement), en utilisant le pont qui existe entre la thorie des nombres et la
gomtrie.
27
Traduire des problmes de nombres en problmes de formes

I. Illustrer par des constructions gomtriques les galits :
k x (a + b) = k x a + k x b
(a + b)2 = a2 + 2ab + b2
32 + 42 = 52
28
II. Traduction dans le langage de la gomtrie de lnonc x4 + y4 = z2 na pas de solutions en

nombres entiers non nuls.
On va montrer que lnonc A :
lquation x4 + y4 = z2 na pas de solutions en nombres entiers non nuls
en arithmtique est quivalent en gomtrie lnonc B :
il nexiste pas de rectangle dont les cts et la diagonale sont des entiers (diffrents de zro) ayant
la mme aire quun carr dont le ct est un entier.
Pour montrer que ces deux propositions mathmatiques sont quivalentes,
-
on va prouver dabord que A implique B (implication) ;
on va prouver ensuite que B implique A (rciproque).

On va prouver dabord par contrapose que
si lquation x4 + y4 = z2 na pas de solutions en nombres entiers non nuls,
alors
il nexiste pas de rectangle dont les cts et la diagonale sont des entiers (diffrents de zro) ayant la
mme aire quun carr dont le ct est un entier.
1. Sil existe un rectangle dont les cts a et b et la diagonale c sont des nombres entiers (diffrents de
zro) ayant la mme aire quun carr dont le ct est un nombre entier, alors montrer que a et b
peuvent scrire sous forme de carrs (quitte simplifier a et b par leur PGCD, on peut alors supposer
que a et b sont premiers entre eux).
2. Montrer alors quil existe une solution en nombres entiers non nuls lquation x4 + y4 = z2.
3. Conclure.
On va prouver ensuite par contrapose que
sil nexiste pas de rectangle dont les cts et la diagonale sont des entiers (diffrents de zro) ayant
la mme aire quun carr dont le ct est un entier,
alors
4
lquation x + y = z na pas de solutions en nombres entiers non nuls.

1. Sil existe une solution en nombres entiers non nuls (x, y, z) lquation x4 + y4 = z2, montrer alors
que lon peut trouver un rectangle dont les cts et la diagonale sont des entiers (diffrents de zro)
ayant la mme aire quun carr dont le ct est un entier.
2. Conclure.
29
30

Activites Autour Du Dernier Theoreme de Fermat Pour Le College Et Le Lycee PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Activites Autour Du Dernier Theoreme de Fermat Pour Le College Et Le Lycee PDF

Transféré par

Droits d'auteur :

Formats disponibles

Activits autour du Dernier Thorme de Fermat

Document ralis par Francis Loret

LE DERNIER THEOREME DE FERMAT

Plan des activits

Le raisonnement par labsurde

Des rsultats quivalents dans des

LE DERNIER THEOREME DE FERMAT

Repres historiques et gographiques utiles

2) Sur quel support crivait-on en Msopotamie 2000 av. J.C. ?

LE DERNIER THEOREME DE FERMAT

LE DERNIER THEOREME DE FERMAT

1. Trouver un couple de nombres entiers x et y solution de lquation : x3 y2 = 2.

y = 21a2 11ab 4b2

z = 35a2 + 7ab + 6b2

t = 42a2 + 7ab + 5b2

LE DERNIER THEOREME DE FERMAT

Courbes elliptiques et mathmatiques de lhorloge

Les mathmatiques de lhorloge

mathmatique larithmtique du groupe cyclique 12 lments. Aprs

le 11, il ny a plus le 12, mais le zro du dpart.

lopration 3 + 2 donnerait 1 et lopration 4 x 3 donnerait 2. Les tables

2. Remplir les tables dadditions et de multiplications des groupes cycliques suivantes :

Groupe cyclique 2 lments

Groupe cyclique 4 lments

Groupe cyclique 5 lments

Groupe cyclique 6 lments

Liste L dune courbe elliptique

Conclusion : dans le groupe cyclique 1 lment, il ny a quune solution : ( ; . ).

Calcul de L2 dans le groupe cyclique 2 lments : ce groupe contient les lments : 0 ; 1

Conclusion : dans le groupe cyclique 2 lments, il y a solutions : ...

Conclusion : dans le groupe cyclique 3 lments, il y a solutions : ...

Conclusion : dans le groupe cyclique 4 lments, il y a solutions : ...

Calcul de L5 dans le groupe cyclique 5 lments : ce groupe contient les lments : ..

Conclusion : dans le groupe cyclique 5 lments, il y a solutions : ...

Conclusion : dans le groupe cyclique 6 lments, il y a solutions : ...

LE DERNIER THEOREME DE FERMAT

Le raisonnement par contrapose

Une phrase comme :

si ABCD est un carr, alors ABCD a 4 angles droits

si AB = BC, alors B est le milieu de [AB]

si ABC est un triangle rectangle en A, alors BC 2 = AB 2 + AC 2

LE DERNIER THEOREME DE FERMAT

Le raisonnement par labsurde

conduit, par une suite de dductions,

c..d. que ce que lon obtient dit le

contraire de quelque chose de

Propositions dmontrer laide de ce raisonnement

Pour dmontrer une proposition

on peut montrer que de partir dune

conduit, par une suite de dductions,

c..d. que ce que lon obtient dit le

contraire de quelque chose de

Pour dmontrer une proposition

on peut montrer que de partir dune

conduit, par une suite de dductions,

c..d. que ce que lon obtient dit le

contraire de quelque chose de

alors le chiffre des units de p2 est

Si le chiffre des units de q est

1. Montrer que AC2 = 2.

on peut montrer que de partir dune

conduit, par une suite de dductions,

solution lquation de Fermat cre une