DIOPHANTIENNES ÉQUATIONS

Carte mentale

Élargissez votre recherche dans Universalis

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 mes [...]

1 2 3 4 5

pour nos abonnés,
l’article se compose de 10 pages




Écrit par :

Classification


Autres références

«  DIOPHANTIENNES ÉQUATIONS  » est également traité dans :

ARITHMÉTIQUES (Diophante)

  • Écrit par 
  • Bernard PIRE
  •  • 192 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 sont une collection de solutions numériques de 130 équations. La méthode […] Lire la suite☛ http://www.universalis.fr/encyclopedie/arithmetiques/#i_24176

BAKER ALAN (1939-2018)

  • Écrit par 
  • Bernard PIRE
  •  • 340 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 1964. Il est nommé professeur à l'université de Cambridge en 1966. Ce spécialiste de la théorie des nombr […] Lire la suite☛ http://www.universalis.fr/encyclopedie/alan-baker/#i_24176

CASSELS JOHN WILLIAM SCOTT (1922- )

  • Écrit par 
  • Bernard PIRE
  •  • 322 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 1943 au Trinity College de l'université de Cambridge, où il soutient sa thèse de doctorat en 1949 sous […] Lire la suite☛ http://www.universalis.fr/encyclopedie/john-william-scott-cassels/#i_24176

CATALAN ÉQUATION DE

  • Écrit par 
  • Maurice MIGNOTTE
  •  • 535 mots

Dans une note publiée au Journal de Crelle en 1844, le Belge Eugène Catalan (1814-1894), alors répétiteur à l'École polytechnique, proposait l'énoncé suivant : « Il n'existe que deux nombres entiers consécutifs qui soient également des puissances parfaites, et ces deux nombres sont 8 et 9 ». L'expression algébrique de cette conjecture est : l'équation x […] Lire la suite☛ http://www.universalis.fr/encyclopedie/equation-de-catalan/#i_24176

DÉMONSTRATION DU GRAND THÉORÈME DE FERMAT (A. J. Wiles)

  • Écrit par 
  • Bernard PIRE
  •  • 197 mots
  •  • 1 média

Dans un article intitulé « Courbes elliptiques modulaires et dernier théorème de Fermat », Andrew John Wiles (né en 1953) donne la première démonstration intégrale du grand théorème de Fermat. En 1630, Pierre de Fermat avait affirmé que l'équation x n  +  y n   […] Lire la suite☛ http://www.universalis.fr/encyclopedie/demonstration-du-grand-theoreme-de-fermat/#i_24176

DIOPHANTE D'ALEXANDRIE

  • Écrit par 
  • Roshdi RASHED
  •  • 2 918 mots

Dans le chapitre « Organisation et nature des « Arithmétiques » »  : […] Mais, avant de confronter ces interprétations, décrivons les Arithmétiques. Le but de Diophante y est clair : édifier une théorie mathématique dont les éléments constitutifs seraient les nombres, considérés comme pluralités d'unités, et les parties fractionnaires comme fractions de grandeurs. Ces éléments de la théorie ne sont pas seulement présents « en personne », mais aus […] Lire la suite☛ http://www.universalis.fr/encyclopedie/diophante-d-alexandrie/#i_24176

ÉQUATION, mathématique

  • Écrit par 
  • Gilles LACHAUD
  •  • 1 488 mots

Dans le chapitre « Équations algébriques »  : […] Ce sont les équations dont chaque terme est un polynôme , c'est-à-dire une expression obtenue en additionnant et en multipliant entre eux des nombres et des variables (en revanche, si les termes comportent des fonctions transcendantes, on dit que l'équation est transcendante ). La nature du problème de la résolution d'une équation algébrique dépend de l' […] Lire la suite☛ http://www.universalis.fr/encyclopedie/equation-mathematique/#i_24176

ÉQUATIONS ALGÉBRIQUES

  • Écrit par 
  • Jean ITARD
  •  • 5 789 mots

Dans le chapitre « Second exemple »  : […] Problème 7 de la tablette BM 13901, remontant à l'ancien âge babylonien, 1800 environ avant notre ère : « J'ai additionné sept fois le côté de mon carré et onze fois la surface : 6 0  15′. » Soit 11  x 2  + 7  = 6 0  15′. Solution : « Tu inscriras 7 et 11. Tu porteras 11 à 6 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/equations-algebriques/#i_24176

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « Problème 10 : résolubilité des équations diophantiennes »  : […] Il faut bien sûr saluer le coup de tonnerre que fut la résolution du problème de Fermat par Wiles (1994). Hilbert ne proposait que de chercher un algorithme (nous emploierons ce terme, qui n'est pas celui qu'emploie Hilbert, en admettant son sens intuitif) permettant de déterminer en un nombre fini d'opérations si une équation diophantienne a des solutions (entières). La théorie des fonctions réc […] Lire la suite☛ http://www.universalis.fr/encyclopedie/david-hilbert/#i_24176

ISLAM (La civilisation islamique) - Les mathématiques et les autres sciences

  • Écrit par 
  • Georges C. ANAWATI, 
  • Roshdi RASHED
  • , Universalis
  •  • 22 470 mots
  •  • 1 média

Dans le chapitre « L'analyse indéterminée »  : […] L'émergence de l'analyse indéterminée, ou, comme on la nomme aujourd'hui, de l'analyse diophantienne, en tant que chapitre distinct de l'algèbre, remonte aux successeurs d'al-Khwārizmī, et notamment à Abū Kāmil, dans son Algèbre , écrite vers 880. Abū Kāmil entend ne plus s'arrêter à un exposé dispersé, mais donner un exposé plus systématique, où apparaissent, outre les probl […] Lire la suite☛ http://www.universalis.fr/encyclopedie/islam-la-civilisation-islamique-les-mathematiques-et-les-autres-sciences/#i_24176

NOMBRES (THÉORIE DES) - Nombres algébriques

  • Écrit par 
  • Christian HOUZEL
  •  • 14 064 mots

Dans le chapitre « Équations diophantiennes »  : […] Les problèmes de théorie des nombres conduisant à résoudre des équations de degré ≥ 2 ont progressivement montré la nécessité d'étudier les propriétés arithmétiques des nombres algébriques et de bâtir ainsi une extension de l'arithmétique élémentaire. Le premier de ces problèmes est probablement celui qu' Euler a improprement attribué à Pell : il s'agit de résoudre en nombre entiers […] Lire la suite☛ http://www.universalis.fr/encyclopedie/nombres-theorie-des-nombres-algebriques/#i_24176

POINCARÉ HENRI (1854-1912)

  • Écrit par 
  • Gérard BESSON, 
  • Christian HOUZEL, 
  • Michel PATY
  •  • 6 143 mots
  •  • 2 médias

Dans le chapitre « Géométrie analytique, algèbre, arithmétique et analysis situs »  : […] Outre les résultats algébriques obtenus à partir de l'étude des fonctions automorphes, Poincaré s'intéressa, dès 1881, aux fonctions abéliennes et à la géométrie algébrique, dans la suite des travaux de Riemann et de Weierstrass. Il démontra le « théorème de réductibilité complète » des variétés abéliennes (décomposition en variétés simples d'intersections finies), d'où il tira de nombreux résult […] Lire la suite☛ http://www.universalis.fr/encyclopedie/henri-poincare/#i_24176

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

Dans le chapitre « Indécidabilité de propriétés classiques »  : […] Propriété b . Pour tout ensemble non vide A ⊂ F R ( p ) , l'ensemble ϕ −1 (A) est non récursif. Ainsi, si on considère une propriété des fonctions calculables définissant un ensemble non vide A ⊂ *F R ( […] Lire la suite☛ http://www.universalis.fr/encyclopedie/recursivite-logique-mathematique/#i_24176

SIEGEL CARL LUDWIG (1896-1981)

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 434 mots

Mathématicien allemand, né à Berlin et mort à Göttingen, dont les travaux portent principalement sur la théorie des nombres et les fonctions automorphes. Carl Ludwig Siegel fut l'élève de G. F. Frobenius ; il enseigna aux universités de Francfort et de Göttingen et fut membre de l'Institute for Advanced Study de Princeton à partir de 1940, ayant préféré s'expatrier que de rester professeur sous le […] Lire la suite☛ http://www.universalis.fr/encyclopedie/carl-ludwig-siegel/#i_24176

SYLVESTER JAMES JOSEPH (1814-1897)

  • Écrit par 
  • Universalis
  •  • 412 mots

Mathématicien anglais, né et mort à Londres, qui a créé avec Arthur Cayley la théorie des invariants algébriques. En 1838, James Joseph Sylvester devint professeur de philosophie naturelle au collège de l'université de Londres. En 1841, il accepta la chaire de mathématiques de l'université de Virginie (Charlottesville), mais donna sa démission au bout de trois mois. Quatre ans plus tard, il revint […] Lire la suite☛ http://www.universalis.fr/encyclopedie/james-joseph-sylvester/#i_24176

Voir aussi

Pour citer l’article

Marcel DAVID, Jean-Louis COLLIOT-THÉLÈNE, « DIOPHANTIENNES ÉQUATIONS », Encyclopædia Universalis [en ligne], consulté le 21 septembre 2019. URL : http://www.universalis.fr/encyclopedie/equations-diophantiennes/