🎛️ Explore les solutions entières de quelques équations célèbres
Du triplet pythagoricien aux équations de Pell, l'algorithme parcourt les solutions entières.
Équation
x² + y² = z²
Solutions ?
Infinité ✓
Découvert par
Babyloniens (−1800)
Triplets pythagoriciens : (3,4,5), (5,12,13), (8,15,17), (7,24,25)... Infinité de solutions, formule explicite par paramétrisation.
🏛️ Diophante d'Alexandrie (~250 ap. J.-C.)
Diophante est un mathématicien grec qui a vécu à Alexandrie au IIIᵉ siècle après J.-C. Son œuvre la plus célèbre est « Arithmetica », une compilation de 130 problèmes algébriques avec leurs solutions.
Particularité : Diophante ne cherche que les solutions rationnelles (entières ou fractions). C'est la naissance d'une discipline : la théorie des équations diophantiennes, où on impose à toutes les variables d'être des entiers ou des rationnels.
Définition (équation diophantienne)
Une équation diophantienne est une équation polynomiale
P(x₁, x₂, ..., xn) = 0
dont on cherche les solutions entières (ou rationnelles).
🎯 Pourquoi est-ce difficile ?
Si on accepte les solutions réelles ou complexes, l'algèbre est « simple » (le TFA garantit l'existence des solutions). Mais imposer que les solutions soient des entiers change radicalement la nature du problème.
Exemple naïf : x² + 1 = 5. Solutions réelles : x = ±2. Solutions entières : x = ±2. OK.
Mais x² + 1 = 4 : solutions réelles x = ±√3. Solutions entières : aucune.
Plus dramatique : x² − 2 = 0. Solutions réelles : x = ±√2. Solutions entières : aucune. Mais x² − 2y² = 1 (équation de Pell) a une infinité de solutions entières !
🎓 Les quatre grandes catégories
1. Équations linéaires diophantiennes
Forme : ax + by = c avec a, b, c entiers. La théorie est complète depuis Euclide :
- L'équation a des solutions ⇔ pgcd(a, b) divise c.
- Si une solution (x₀, y₀) existe, toutes les solutions sont (x₀ + k·b/d, y₀ − k·a/d) pour tout k ∈ ℤ (d = pgcd(a, b)).
- L'algorithme d'Euclide étendu permet de trouver (x₀, y₀) explicitement.
Exemple : 3x + 5y = 1. pgcd(3, 5) = 1 divise 1, donc des solutions existent. Une solution : x = 2, y = −1 (vérification : 6 − 5 = 1 ✓). Toutes les solutions : (2 + 5k, −1 − 3k) pour k ∈ ℤ.
2. Équation de Pythagore : x² + y² = z²
Les triplets pythagoriciens (x, y, z) avec x² + y² = z² ont été étudiés depuis les Babyloniens (~1800 av. J.-C.). La tablette Plimpton 322 contient déjà 15 triplets.
Diophante donne la formule générale des triplets primitifs :
x = m² − n², y = 2mn, z = m² + n²
Pour tout couple (m, n) d'entiers premiers entre eux, de parité opposée, avec m > n > 0. Liste :
- (m=2, n=1) → (3, 4, 5)
- (m=3, n=2) → (5, 12, 13)
- (m=4, n=1) → (15, 8, 17)
- (m=4, n=3) → (7, 24, 25)
- (m=5, n=2) → (21, 20, 29)
- ... infinité de triplets primitifs
3. Équation de Pell : x² − Ny² = 1
Soit N un entier non carré parfait. L'équation x² − Ny² = 1 a toujours une infinité de solutions entières. Démontré par Lagrange (1768).
Exemple : x² − 2y² = 1. Solutions : (1, 0), (3, 2), (17, 12), (99, 70), (577, 408), ... Chaque solution est générée par la précédente via une formule de récurrence.
Curiosité : Pell n'est pas le découvreur de l'équation qui porte son nom. C'est une erreur attribuée à Euler. La vraie histoire : Brahmagupta (628), mathématicien indien, a inventé la méthode pour les résoudre, des siècles avant les Européens.
4. Grand théorème de Fermat : xn + yn = zn (n ≥ 3)
Grand théorème de Fermat (1637, démontré en 1995)
Pour n ≥ 3, l'équation xn + yn = zn n'a aucune solution en entiers strictement positifs.
En 1637, Pierre de Fermat (1601-1665), magistrat à Toulouse et mathématicien amateur, écrit en marge de sa copie d'Arithmetica de Diophante : « j'ai trouvé une démonstration véritablement merveilleuse, mais la marge est trop étroite pour la contenir ».
Cette « démonstration » a été cherchée pendant 357 ans. Tous les plus grands mathématiciens s'y sont attaqués sans succès. Finalement, Andrew Wiles, mathématicien britannique, a démontré le théorème en 1995 — avec une preuve qui utilise des outils que Fermat ne pouvait pas connaître (théorie des formes modulaires, courbes elliptiques).
🚧 Le 10ᵉ problème de Hilbert
En 1900, David Hilbert publie une liste de 23 problèmes pour le XXᵉ siècle. Le 10ᵉ : « existe-t-il un algorithme qui décide, pour toute équation diophantienne, si elle a des solutions entières ? ».
En 1970, Yuri Matiyasevich a démontré que la réponse est NON. Il n'existe aucun algorithme général pour décider la résolubilité des équations diophantiennes.
C'est l'un des plus profonds résultats de logique mathématique du XXᵉ siècle. Il dit que les nombres entiers sont irréductibles à un algorithme.
🔑 Pourquoi les équations diophantiennes sont si difficiles ?
- La structure additive des entiers (somme, produit) interagit avec la structure multiplicative (premiers, divisibilité) de manière incontrôlée.
- Le saut entre rationnels et réels change tout : ℚ est « petit » dans ℝ, et chercher des solutions dans ℚ est radicalement différent.
- Pas d'« analyse » des solutions : on ne peut pas dériver, intégrer, faire tendre vers des limites — les solutions sont des entiers, pas des points d'une courbe lisse.
🌍 Applications modernes
- Cryptographie : le problème du logarithme discret est une équation diophantienne. Sa difficulté est la base de la sécurité des protocoles cryptographiques (Diffie-Hellman, ECDSA).
- Théorie du codage : les codes correcteurs d'erreur reposent sur la structure des espaces de polynômes sur les corps finis, étroitement liés aux équations diophantiennes.
- Cryptosystèmes post-quantiques : la cryptographie résistante aux ordinateurs quantiques utilise des problèmes d'équations diophantiennes sur les réseaux (LWE).
- Optimisation discrète : trouver des solutions entières d'inégalités est au cœur de la planification, du routage logistique, etc.
📐 Le lien avec ton programme
Les équations diophantiennes sont au cœur du programme arithmétique 2BAC SM :
- Équations diophantiennes linéaires : ax + by = c. Résolution par algorithme d'Euclide étendu. Très classique au bac.
- Théorème de Bézout : pgcd(a, b) = ax + by pour certains x, y entiers.
- Congruences modulo : la théorie des résidus est intimement liée aux équations diophantiennes.
- Théorème de Gauss : si a divise bc et pgcd(a, b) = 1, alors a divise c. Outil fondamental pour les équations diophantiennes.
- Triplets pythagoriciens : exercice classique du bac.
- Codes cryptographiques RSA : utilisent des équations diophantiennes modulaires.
🎯 Exemple d'exercice BAC SM
Soit l'équation 7x − 12y = 3.
- Vérifier que pgcd(7, 12) = 1.
- Trouver une solution particulière (x₀, y₀).
- Donner l'ensemble des solutions entières.
Solution :
- pgcd(7, 12) = 1 ✓ (Euclide : 12 = 1·7 + 5, 7 = 1·5 + 2, 5 = 2·2 + 1, 2 = 2·1).
- Algorithme d'Euclide étendu : 1 = 5 − 2·2 = 5 − 2·(7 − 5) = 3·5 − 2·7 = 3·(12 − 7) − 2·7 = 3·12 − 5·7. Donc 1 = (−5)·7 + 3·12. Multiplier par 3 : 3 = (−15)·7 + 9·12. Une solution particulière : x₀ = −15, y₀ = −9.
- Solutions générales : (−15 + 12k, −9 + 7k) pour tout k ∈ ℤ.