Équations diophantiennes
Les équations diophantiennes recherchent des solutions d'équations polynomiales en nombres entiers ou rationnels, une exigence d'une simplicité trompeuse qui a stimulé le développement d'une grande partie de la théorie des nombres et de la géométrie algébrique modernes.
Definition
Une équation diophantienne est une équation polynomiale, généralement à plusieurs variables avec des coefficients entiers, pour laquelle on recherche des solutions en nombres entiers ou rationnels. L'analyse diophantienne étudie l'existence, le nombre et la structure de ces solutions.
Scope
Ce domaine couvre les équations diophantiennes linéaires et l'équation de Pell, la riche arithmétique des courbes elliptiques et de leurs points rationnels, la résolution du dernier théorème de Fermat par la modularité, et l'approximation diophantienne mesurant la qualité de l'approximation des nombres réels par des nombres rationnels. Il relie des techniques élémentaires à des théorèmes profonds concernant les points rationnels sur les courbes et les variétés de dimension supérieure.
Sub-topics
Core questions
- Quand une équation diophantienne admet-elle des solutions entières ou rationnelles, et combien ?
- Comment la géométrie de la courbe de solution (son genre) contrôle-t-elle l'ensemble des points rationnels ?
- Pourquoi les courbes elliptiques sont-elles dotées d'une loi de groupe, et comment le groupe des points rationnels est-il structuré ?
- Dans quelle mesure les nombres irrationnels peuvent-ils être approximés par des rationnels, et qu'est-ce que cela révèle sur la résolubilité ?
Key theories
- Théorème de Mordell-Weil
- Les points rationnels sur une courbe elliptique définie sur les nombres rationnels forment un groupe abélien de type fini ; son rang et sa torsion encodent l'arithmétique de la courbe.
- Théorème de Faltings (conjecture de Mordell)
- Une courbe lisse de genre au moins deux ne possède qu'un nombre fini de points rationnels, de sorte que la géométrie d'une équation diophantienne limite sévèrement ses solutions rationnelles.
- Modularité et dernier théorème de Fermat
- Toute courbe elliptique rationnelle est modulaire ; ce théorème, prouvé par Wiles et Taylor, implique le dernier théorème de Fermat et relie les équations diophantiennes aux formes modulaires.
Clinical relevance
Les courbes elliptiques sur les corps finis constituent le fondement de la cryptographie à courbe elliptique et des signatures numériques. La difficulté de trouver des points rationnels et de résoudre des problèmes de logarithme discret sur ces courbes est à la base de protocoles de sécurité largement déployés.
History
Le sujet tire son nom de Diophante, dont l'Arithmetica (vers 250 de notre ère) a rassemblé des problèmes de solutions rationnelles et inspiré les conjectures marginales de Fermat. Le traitement moderne s'est développé grâce aux théorèmes de structure de Mordell et Weil au XXe siècle, à la preuve de la conjecture de Mordell par Faltings en 1983, et à la preuve du dernier théorème de Fermat par Wiles en 1994.
Key figures
- Diophantus of Alexandria
- Pierre de Fermat
- Louis Mordell
- Andrew Wiles
Related topics
Seminal works
- silverman2009
Frequently asked questions
- Existe-t-il une méthode générale pour résoudre toutes les équations diophantiennes ?
- Non. Le dixième problème de Hilbert a reçu une réponse négative : il n'existe pas d'algorithme qui décide si une équation diophantienne arbitraire possède des solutions entières, de sorte que chaque famille nécessite ses propres techniques.
- Pourquoi les courbes elliptiques sont-elles si centrales ici ?
- Elles sont les équations diophantiennes les plus simples dotées d'une structure riche et accessible — une loi de groupe sur leurs points — ce qui en fait à la fois un terrain d'essai pour des conjectures profondes et un outil pratique en cryptographie.