Équation diophantienne
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, une équation diophantienne est une équation entre deux polynômes à coefficients entiers avec un nombre quelconque d'inconnues. Un problème diophantien veut dire une équation diophantienne, où des nombres entiers mis pour les inconnues, fournissent les solutions qui satisfont l'équation.
L'exemple le plus simple : 32 + 42 = 52
Une équation diophantienne linéaire est une équation entre deux sommes de monômes de degrés zéro ou un.
Ce type d'équation doit son nom au mathématicien grec Diophante (IVe siècle).
Sommaire |
[modifier] Exemples d'équations diophantiennes
- : voir l'identité de Bézout ; ceci est une équation diophantienne linéaire.
- : pour n = 2, il existe une infinité de solutions (x,y,z), les triplets pythagoriciens. Pour de plus grandes valeurs de n, le dernier théorème de Fermat établit qu'il n'existe pas de solution en nombre entier x, y, z satisfaisant à l'équation ci-dessus.
- avec p premier, il existe des solutions si, et seulement si p = 2 ou p est congru à 1 modulo 4, ce résultat s'appelle le théorème des deux carrés de Fermat.
- : (équation de Pell) qui est nommée, improprement, en l'honneur du mathématicien anglais John Pell. Elle fut étudiée par le mathématicien français Fermat.
- , où et : ce sont les équations de Thue, et sont, en général, résolvables.
[modifier] Résolution d'une équation diophantienne
Soit , une équation diophantienne d'inconnues , on note l'ensemble de ces solutions. si et seulement si le pgcd de et divise c :. Supposons . On peut simplifier l'équation par . On a alors
- .
Considérons l'équation homogène
- . On a
- .
Soit
une solution particulière. On peut obtenir cette solution en considérant la relation de Bézout associée à et :
- car . En multipliant par , on a :
- .
On a alors
[modifier] Relation avec la géométrie
La résolution d'une équation diophantienne permet d'obtenir un système du type
Cependant, lorsque k parcourt , ce système est également la représentation paramétrique d'une droite; lorsque k parcourt un intervalle, c'est la représentation paramétrique soit d'un segment, soit d'une demi-droite. En connaissant ces différentes figures, on peut en déduire l'ensemble des solutions de l'équation diophantienne considérée : c'est l'ensemble des coordonnées des points situés sur la figure et dont les coordonnées sont des entiers relatifs.
[modifier] Le dixième problème de Hilbert
Ces problèmes traditionnels sont posés et souvent non-résolus pour des siècles, les mathématiciens d'ailleurs en viennent graduellement à les comprendre dans leur profondeur (dans certains cas), plutôt que les traiter comme des puzzles. En 1900, en reconnaissance de leur profondeur, Hilbert proposa la résolubilité de tous les problèmes diophantiens comme le dixième de ses célèbres problèmes. En 1970, un nouveau résultat en logique mathématique connu sous le nom de théorème de Matiyasevich posa le problème négativement : en général les problèmes diophantiens ne sont pas résolubles. Le point de vue de la géométrie diophantienne, qui est une application des techniques de la géométrie algébrique dans ce domaine, a continué de croître comme résultat ; puisqu'en traitant arbitrairement les équations, cela mène à une impasse, l'attention se tourne vers les équations qui ont aussi un sens géométrique.
[modifier] Recherche moderne
Une des approches générales est à travers le principe de Hasse. La descente infinie est la méthode traditionnelle, et a été poussée très loin.
La profondeur de l'étude des équations diophantiennes générales est montrée par la caractérisation des ensembles diophantiens comme récursivement énumérables.
Le domaine de l'approximation diophantienne a à voir avec les cas d'inégalités diophantiennes : les variables sont toujours supposées être entières, mais certains coefficients peuvent être des nombres irrationnels, et le signe de l'égalité est remplacé par des bornes supérieures et inférieures.
[modifier] Liens externes
- Diophantine Equation. From MathWorld at Wolfram Research.
- Diophantine Equation. From PlanetMath.
Mathématiques > Équation > Équation diophantienne