Lettre n° 198. Septembre 2005
Equations
Comment résoudre une équation diophantienne avec Mathematica

Mathematica peut résoudre les équations diophantiennes quadratiques à deux variables de type hyperbolique avec déterminant carré, de type hyperbolique avec déterminant non carré, de type parabolique, de type elliptique, ainsi que les équations diophantiennes de Thue.

Article mis en ligne le 1er septembre 2005
dernière modification le 10 juin 2016

Lorsqu’on recherche des solutions qui sont des nombres entiers ou rationnels dans une équation, on l’appelle équation diophantienne. Ce sujet est étudié depuis Diophante qui vécut à Alexandrie au IIIe siècle de notre ère. L’étude de ces équations s’avère difficile et beaucoup de problèmes diophantiens ont joué un rôle important dans l’histoire des mathématiques. Ils sont, aujourd’hui encore, considérés comme de grands classiques.

Lorsqu’on recherche des solutions qui sont des nombres entiers ou rationnels dans une équation, on l’appelle équation diophantienne. Ce sujet est étudié depuis Diophante qui vécut à Alexandrie au IIIe siècle de notre ère. L’étude de ces équations s’avère difficile et beaucoup de problèmes diophantiens ont joué un rôle important dans l’histoire des mathématiques. Ils sont, aujourd’hui encore, considérés comme de grands classiques. Le critère permettant de décider si une équation diophantienne a une infinité de solutions ou non repose par exemple sur une conjecture (de Birch et Swinnerton-Dyer) non démontrée à ce jour. Cette question figure parmi les sept problèmes du troisième millénaire dotés d’un prix d’un million de dollars !

[Graphics:HTMLFiles/LettreMA198_3.gif]

Fig. 1 : L’équation 1+12 x+2 x^2+7y+5 x y+2 y^2 = 0 possède une infinité de solutions. Ce sont les coordonnées des points appartenant aux hyperboles partiellement représentées ci-dessus. Mais cette équation ne possède que trois solutions entières données par les coordonnées des points rouges.

Activités proposées

1. Résoudre une équation

Résolvez l’équation ci-dessous :
a) ax^2 + bx + c = 0
b) Exprimez, à l’aide des coefficients a, b et c, la condition pour que l’équation possède :
• deux solutions réelles distinctes
• deux solutions réelles confondues
• deux solutions complexes

2. Résoudre un système d’équations

Résolvez le système d’équations ci-dessous :

x^2 + y^2= 1
1/2x^2 + 2y^2= 3/2

a) pour x et y
b) en éliminant d’abord y et en résolvant ensuite pour x
c) Dessinez les courbes correspondant à ces deux équations

3. Résoudre une équation diophantienne

Résolvez les équations ci-dessous pour des valeurs entières de x et de y :
a) 1+12 x+2 x^2+7y+5 x y+2 y^2 = 0
b) 7 + 5x + x^2 + 7y +3xy + y^2 = 0
c) x^2 - 61 y^2 = 1
d) x^2 - 2xy + y^2 + 5x - 7y = 22
e) 23 x^2 + 17 y^2 = 1693339429465935072912802926367922572800 avec x > 0 et y > 0
f) x^3 - 4xy^2 + y^3 = 1

Pour en savoir plus
• 
Les dossiers de La Recherche n° 20. Août - Octobre 2005. Mathématiques. Nouveaux défis et vieux casse-tête.

Corrigé des exercices

Voir aussi
 Equations diophantiennes
 Problèmes du millénaire
 Equations de Thue
 Coincidences in Powers of Integers from Wolfram Demonstrations Project.

Lettre précédente
Lettre suivante