Equations en nombres entiers
description
Transcript of Equations en nombres entiers
![Page 1: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/1.jpg)
Equations en nombres entiers
Stéphane Fischler
(Université Paris XI - Orsay)
Lycée Lakanal (Sceaux), 4 mai 2006
Dans le cadre des « Promenades Mathématiques »
![Page 2: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/2.jpg)
Plan
1. Une histoire d'allumettes.
2. Un jeu de construction.
3. Le théorème de Fermat.
4. La conjecture de Catalan.
5. Les nombres 1111…111.
Merci à Emmanuel Peyre !
![Page 3: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/3.jpg)
Plan
1. Une histoire d'allumettes.
2. Un jeu de construction.
3. Le théorème de Fermat.
4. La conjecture de Catalan.
5. Les nombres 1111…111.
Merci à Emmanuel Peyre !
![Page 4: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/4.jpg)
On joue avec des allumettes…
Allumettes
![Page 5: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/5.jpg)
Un rectangle, c’est facile !
Allumettes
![Page 6: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/6.jpg)
Un triangle rectangle, c’est plus dur
Allumettes
![Page 7: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/7.jpg)
Un triangle rectangle, c’est plus dur
45
3
Allumettes
![Page 8: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/8.jpg)
Ça ne marche pas toujours !
4
5
6
Allumettes
![Page 9: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/9.jpg)
C’est un problème de maths !
x allumettesz allumettes
y allumettes
Allumettes
![Page 10: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/10.jpg)
Théorème de Pythagore
x allumettesz allumettes
y allumettes
x2 + y2 = z2
Allumettes
![Page 11: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/11.jpg)
Traduction du problème
Trouver des entiers x, y et z tels que
x2 + y2 = z2
(avec x, y, z ≥ 1)
Allumettes
![Page 12: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/12.jpg)
Solution du problème (1)
Théorème : Il existe une infinité d’entiers x,y,z tels que x2 + y2 = z2.
Exemples :
32 + 42 = 52
52 + 122 = 132
Allumettes
![Page 13: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/13.jpg)
Solution du problème (2)
Théorème : On a x2 + y2 = z2 si, et seulement si :
x = 2mn x = m2 - n2
y = m2 - n2 ou y = 2mn z = m2 + n2 z = m2 + n2
avec m > n ≥ 1.
Allumettes
![Page 14: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/14.jpg)
Plan
1. Une histoire d'allumettes.
2. Un jeu de construction.
3. Le théorème de Fermat.
4. La conjecture de Catalan.
5. Les nombres 1111…111.
![Page 15: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/15.jpg)
Un jeu de construction
Léa et Léo jouent avec des petits cubes, comme celui-ci :
Ils assemblent leurs petits cubes pour faire des gros cubes.
Construction
![Page 16: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/16.jpg)
Chacun le fait de son côté…
Léa Léo
Construction
![Page 17: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/17.jpg)
avec ses propres petits cubes.
Léa Léo
4 4 4 = 64 petits cubes2 2 2 = 8 petits cubes
Construction
![Page 18: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/18.jpg)
Puis ils les mettent en commun !
Ensemble, ils ont 8 + 64 = 72 petits cubes…
Construction
![Page 19: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/19.jpg)
Puis ils les mettent en commun !
Ensemble, ils ont 8 + 64 = 72 petits cubes…Ils ne peuvent pas faire un gros cube ! Car :
Gros cube de côté 4 : 64 petits cubesdonc il en reste !
Gros cube de côté 5 : 125 petits cubesdonc il en manque !
Construction
![Page 20: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/20.jpg)
Peuvent-ils parfois réussir ?
Léa a x3 petits cubes : il en fait un gros cube de côté x.
Léo a y3 petits cubes : il en fait un gros cube de côté y.
A eux deux ils ont x3+y3 petits cubes…
Construction
![Page 21: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/21.jpg)
Peuvent-ils parfois réussir ?
Léa a x3 petits cubes : il en fait un gros cube de côté x.
Léo a y3 petits cubes : il en fait un gros cube de côté y.
A eux deux ils ont x3+y3 petits cubes : est-ce que ça peut faire z3 ? On veut :
x3 + y3 = z3
Construction
![Page 22: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/22.jpg)
Non, jamais !
• Théorème : Il n’existe pas d’entiers x,y,z ≥ 1 tels que
x3 + y3 = z3
• Démontré par Euler (1707 - 1783).
• Donc Léa et Léo ne pourront jamais réunir leurs cubes pour en faire un gros !
Construction
![Page 23: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/23.jpg)
Plan
1. Une histoire d'allumettes.
2. Un jeu de construction.
3. Le théorème de Fermat.
4. La conjecture de Catalan.
5. Les nombres 1111…111.
![Page 24: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/24.jpg)
Résumé
Allumettes : x2 + y2 = z2
Construction : x3 + y3 = z3
Généralisation : xn + yn = zn
avec un entier n ≥ 2.
Fermat
![Page 25: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/25.jpg)
Théorème de Fermat
Théorème : Si n ≥ 3, il n’existe pas d’entiers x,y,z ≥ 1 tels que
xn + yn = zn
Conjecturé par Fermat vers 1636…
… démontré par Wiles en 1994 !
Fermat
![Page 26: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/26.jpg)
Enoncé par Fermat (1636)
Cubem autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullamin infinitum ultra quadratum potestatemin duos eiusdem nominis fas est dividere.
Fermat
![Page 27: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/27.jpg)
Rappels de 1ère …
Pour un polynôme de degré 2 : a X2 + b X + c avec a=1
Racines : (-b-√∆)/2 et (-b+√∆)/2.Distance entre les racines : √∆.Donc le discriminant est le carré de la distance
entre les deux racines.
Fermat
![Page 28: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/28.jpg)
Stratégie de preuve (1)
Si xn + yn = zn, on considère le polynôme B (B - xn) (B + yn)
Racines : 0, xn et -yn.Distances entre les racines : xn, yn et xn + yn = zn.Discriminant : ∆ = (xyz)2n
(c’est le carré du produit des distances entre les racines)
Fermat
![Page 29: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/29.jpg)
Stratégie de preuve (2)
Ce polynôme incite à étudier l’équation A2 = B (B - xn) (B + yn)
qui est celle d’une « courbe elliptique »
dont le discriminant ∆ est une puissance 2n-ième…
Fermat
![Page 30: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/30.jpg)
Stratégie de preuve (3)
Cette courbe elliptique est tellement particulière qu’elle ne peut pas être modulaire (si n ≥ 3).
Synthèse : Si xn + yn = zn avec n ≥ 3 alors on a construit une courbe elliptique qui n’est pas modulaire.
Fermat
![Page 31: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/31.jpg)
Stratégie de preuve (4)
Conjecture (Taniyama - Weil) : Une telle courbe elliptique non modulaire ne peut pas exister.
Wiles a démontré cette conjecture, donc le théorème de Fermat.
Fermat
![Page 32: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/32.jpg)
Et après Fermat ?
Théorème : L’équation
xn + yn = 2zn avec n ≥ 3
n’a que des solutions triviales x,y,z ≥ 1.
Solutions triviales : telles que x = y = z.
Démontré par Darmon et Merel (1997).
Fermat
![Page 33: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/33.jpg)
Plan
1. Une histoire d'allumettes.
2. Un jeu de construction.
3. Le théorème de Fermat.
4. La conjecture de Catalan.
5. Les nombres 1111…111.
![Page 34: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/34.jpg)
Puissances pures
• Carrés : 12 = 1, 22 = 4, 32 = 9, 42 =16,
52 = 25, 62 = 36, 72 = 49, …
• Cubes : 13 = 1, 23 = 8, 33 = 27, 43 =64,
53 = 125, 63 = 216, 73 = 343, …
• Puissances quatrièmes : 14 = 1, 24 = 16, …
• Puissances cinquièmes : 15 = 1, 25 = 32, …
• etc.
Catalan
![Page 35: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/35.jpg)
Dans l’ordre croissant
1 4 8 9 16 25 27 32 36 49 64 …
On voit que 8 et 9 sont consécutifs.
Est-ce que ce sont les seules puissances pures consécutives ?
Catalan
![Page 36: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/36.jpg)
Conjecture de Catalan
• Théorème : Les seules puissances pures consécutives sont 8 et 9.
• Conjecturé par Catalan en 1844.
• Démontré par Mihailescu en 2002.
Catalan
![Page 37: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/37.jpg)
Autre formulation
• Conjecture de Catalan : L’équationxa = yb + 1
admet une seule solution x,a,y,b avec a,b ≥ 2 :(x,a,y,b) = (3,2,2,3).
• Tijdeman, 1976 : les solutions sont en nombre fini.
Catalan
![Page 38: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/38.jpg)
Plan
1. Une histoire d'allumettes.
2. Un jeu de construction.
3. Le théorème de Fermat.
4. La conjecture de Catalan.
5. Les nombres 1111…111.
![Page 39: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/39.jpg)
Nombres formés de 1
• 11 n’est pas une puissance pure.
• 111 n’est pas une puissance pure car :102 = 100 < 111 < 121 = 112
43 = 64 < 111 < 125 = 53
34 = 81 < 111 < 256 = 44
25 = 32 < 111 < 243 = 35
111…11
![Page 40: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/40.jpg)
Nombres formés de 1
• 1111 n’est pas une puissance pure car :332 = 1089 < 1111 < 1156 = 342
103 = 1000 < 1111 < 1331 = 113
54 = 625 < 1111 < 1296 = 64
45 = 1024 < 1111 < 3125 = 55
36 = 729 < 1111 < 4096 = 46
27 = 128 < 1111 < 2187 = 37
111…11
![Page 41: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/41.jpg)
De même…
• 11111 n’est pas une puissance pure.• 111111 n’est pas une puissance pure.• 1111111 n’est pas une puissance pure.• etc.
Un nombre formé de 1 peut-il être une puissance pure ?
111…11
![Page 42: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/42.jpg)
• Théorème : Un nombre formé de n fois le chiffre 1 ne peut jamais être une puissance pure (si n ≥ 2).
• Démontré par Bugeaud et Mignotte (1999).
111…11
![Page 43: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/43.jpg)
Comment généraliser ?
• 11111 = 99999 / 9
• 99999 = 100000 - 1 = 105 - 1
• 111….111 =
• Puissance pure : yq avec q ≥ 2.
10n - 1
10 - 1n chiffres
111…11
![Page 44: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/44.jpg)
Théorème de Bugeaud-Mignotte
Théorème : L’équation
= yq
n’a aucune solution n,y,q ≥ 2.
10n - 1
10 - 1
111…11
![Page 45: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/45.jpg)
Généralisation
Conjecture : L’équation
= yq
admet exactement trois solutions (x,n,y,q)
avec x,y,q ≥ 2 et n ≥ 3.
xn - 1
x - 1
111…11
![Page 46: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/46.jpg)
Les trois solutions
74 - 1
7 - 1= 202
35 - 1
3 - 1= 112
183 - 1
18 - 1= 73
35 = 243
74 = 2401
183 = 5832 et 73 = 343
111…11
![Page 47: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/47.jpg)
On en est loin…
On ne sait pas démontrer que l’équation
= yq
n’admet qu’un nombre fini de solutions
avec x,y,q ≥ 2 et n ≥ 3.
Seuls certains cas particuliers sont connus.
xn - 1
x - 1
111…11
![Page 48: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/48.jpg)
Méthodes de démonstration
• Théorie algébrique des nombres :Cas particuliers de Fermat ; Mihailescu.
• Modularité des courbes elliptiques :Wiles ; Merel-Darmon.
• Formes linéaires de logarithmes :Tijdeman ; Bugeaud-Mignotte.
• Et il y en a d’autres !
![Page 49: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/49.jpg)
Merci pour votre attention !
Sur le même thème :
exposé d’Eva Bayer à la BNF,
le 10 mai à 18h30
Hermann Minkowski, grand prix de
l'Académie des sciences à 18 ans
![Page 50: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/50.jpg)
Plan projectif éclaté en 3 points
![Page 51: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/51.jpg)
Produit de deux droites projectives
![Page 52: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/52.jpg)
Plan projectif
![Page 53: Equations en nombres entiers](https://reader035.fdocument.pub/reader035/viewer/2022062217/568159bc550346895dc71075/html5/thumbnails/53.jpg)
Droite projective sur Q(i)