DIOPHANTIENNES ÉQUATIONS
Diophante d'Alexandrie, vers les années 250 de notre ère, fut le premier à rechercher systématiquement les solutions en nombres entiers, ou rationnels, d'une équation ou d'un système d'équations polynomiales à coefficients entiers. Bien que ce ne soit qu'avec Fermat (1601-1665) que les méthodes utilisées pour résoudre ces équations prirent un aspect vraiment arithmétique, c'est-à-dire faisant pleinement intervenir la factorisation des nombres entiers, une longue tradition appelle équation diophantienne la donnée d'un système d'équations polynomiales à coefficients entiers :
à résoudre en nombre entiers, ou rationnels, x1, ..., xn.Selon que l'on veut résoudre en nombre entiers ou rationnels, les méthodes et les résultats diffèrent souvent sensiblement.
Des méthodes générales existent pour résoudre un système d'équations du premier degré, ou encore une équation du second degré. On dispose encore de méthodes pour étudier une équation du troisième degré, mais déjà, là, les problèmes ouverts abondent. Quant aux équations de degré supérieur, il est significatif que beaucoup d'ouvrages consacrés aux équations diophantiennes n'apparaissent que comme une accumulation de résultats disparates.
De fait, il a maintenant été établi (J. Robinson, Yu. V. Matijasevic, 1970) que le dixième problème de Hilbert a une réponse négative : il n'existe pas d'algorithme universel permettant de décider si une équation diophantienne a une solution en nombre entiers.
On ne peut donc espérer obtenir des méthodes générales que pour des types particuliers de systèmes d'équations. Comment classifier ces « types » ? La façon la plus évidente est d'utiliser le degré des équations définissant le système. Cette classification est souvent trop grossière, mais peut être affinée grâce à la géométrie algébrique. Cette dernière permet d'obtenir des résultats généraux – parfois difficiles à traduire en termes d'équations concrètes. La géométrie algébrique nous donne aussi la mesure de notre ignorance : ainsi aucun changement de variables ne permet de ramener une équation du type :
(a, b, c, d entiers non nuls), à résoudre en (x, y, z) nombres rationnels, à un type d'équations que l'on sait actuellement traiter.Par extension, on appelle aussi équations diophantiennes des équations dans lesquelles les exposants figurent parmi les inconnues ; la plus fameuse équation de ce type est :
à résoudre en entiers (x, y, m, n) au moins égaux à 1, qui n'admettrait (E. Catalan, 1814-1894) que la solution :De grands progrès ont été réalisés dans cette direction.Dans cet article, l'ensemble des entiers naturels est désigné par N, l'anneau des entiers relatifs par Z, le corps des nombres rationnels par Q.
Le premier et le second degré
Le premier degré
L'équation :
ou a, b, c sont entiers relatifs, se traite classiquement.Si c n'est pas divisible par le plus grand commun diviseur de a et b, il n'y a pas de solution entière ; on peut donc supposer a et b premiers entre eux et utiliser la résolution de au + bv = 1 ( Bezout), d'où x = u0c + kb, y = v0c − ka, avec u0 et v0 solution particulière de l'équation de Bezout et k entier relatif quelconque.
La solution (u0, v0) peut se trouver par essais successifs, si a et b ne sont pas trop grands ; sinon, on développe a/b en fraction continuée et, si a/b = pn/qn est la n-ième réduite, on prend la (n − 1)-ième qui, au signe près, donne u0 = qn-1 et v0 = − pn-1. Par exemple, si 355 x + 113 y = 1, on a 355/113 = [3, 7, 16], d'où pn-1/qn-1 = 22/7 et u0 = − 7, v0 = 22. Cela correspond aussi, si l'on veut, à l'application de l'algorithme d'Euclide au couple (a, b).
L'équation :[...]
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-Louis COLLIOT-THÉLÈNE : chargé de recherche au C.N.R.S.
- Marcel DAVID : professeur à la faculté des sciences de Reims
- Encyclopædia Universalis : services rédactionnels de l'Encyclopædia Universalis
Classification
Média
Autres références
-
PRIX ABEL 2020
- Écrit par Jean-François QUINT
- 1 824 mots
- 2 médias
Le prix Abel 2020 a été attribué conjointement à Hillel Furstenberg et Gregory Margulis « pour l'utilisation visionnaire de méthodes issues de la théorie des probabilités et de celles des systèmes dynamiques en théorie des groupes, théorie des nombres et combinatoire ».
Hillel...
-
ARITHMÉTIQUES (Diophante)
- Écrit par Bernard PIRE
- 188 mots
Diophante d'Alexandrie, parfois appelé le « père de l'algèbre », est connu par son ouvrage les Arithmétiques, qui traite des solutions des équations algébriques. On ne sait pratiquement rien de sa vie et ses dates de naissance et de mort sont très controversées. Les Arithmétiques...
-
BAKER ALAN (1939-2018)
- Écrit par Bernard PIRE
- 338 mots
Alan Baker, mathématicien britannique, lauréat de la médaille Fields en 1970 pour ses travaux en théorie des nombres, est né le 19 août 1939 à Londres. Il a fait ses études supérieures à l'University College de Londres puis au Trinity College de Cambridge où il soutient sa thèse de doctorat en...
-
CASSELS JOHN WILLIAM SCOTT (1922-2015)
- Écrit par Bernard PIRE
- 328 mots
Mathématicien britannique, spécialiste de la théorie des nombres. Né le 11 juillet 1922 à Durham, John William Scott Cassels est le fils du directeur de l'agriculture du comté de Durham dans le nord de l'Angleterre. Après des études secondaires et supérieures à Édimbourg (Écosse), il est admis en...
- Afficher les 16 références