quation diophantienne

Une quation diophantienne, en mathmatiques, est une quation dont les coefficients sont des nombres entiers et dont les solutions recherches sont galement entires. Le terme est aussi utilis pour les quations coefficients rationnels. Les questions de cette nature entrent dans une branche des mathmatiques appele arithmtique. Si l'expression du problme pos est parfois simple, les mthodes de rsolution peuvent devenir complexes. arl !riedrich "auss #$%%% & $'((), un mathmaticien du *+*e sicle, disait des problmes de cette nature , - Leur charme particulier vient de la simplicit des noncs .ointe la difficult des preuves. /$ ertaines quations diophantiennes ont demand pour leur rsolution les efforts con.ugus de nombreux mathmaticiens sur plusieurs sicles. "auss se plaignait - des efforts dmesurs que lui a co0t la dtermination d'un signe d'un radical dans la thorie des nombres1 bien d'autres choses ne l'ont pas retenu autant de .ours que cette question l'a retenu d'annes. /2. Le dernier thorme de !ermat est un exemple archt3pal, il est con.ectur par 4ierre de !ermat #$56$ & $55() et rsolu en $778 par 9ndre: ;iles aprs <(% ans d'efforts de la part de nombreux mathmaticiens. L'intr=t de la rsolution de questions de cette nature rside rarement dans l'tablissement d'un thorme cl pour les mathmatiques, la ph3sique ou les applications industrielles, m=me s'il existe des contre exemples comme la cr3ptologie, qui fait grand usage du petit thorme de !ermat. Leur anal3se amne le dveloppement d'outils mathmatiques puissants dont l'usage dpasse le cadre de l'arithmtique. Les formes quadratiques sont cet gard exemplaires. La richesse et la beaut formelle des techniques issues de la rsolution d' quations diophantiennes fait de l'arithmtique la branche reine des mathmatiques pour >avid ?ilbert2. e t3pe d'quation doit son nom au mathmaticien grec >iophante d'9lexandrie, un mathmaticien vivant une date incertaine, probablement autour du +++e sicle. +l est l'auteur d'un trait 9rithmtiques tudiant des questions de cette nature.

Arithmtique lmentaire
Si les questions diophantiennes deviennent rapidement difficiles, il existe certaines exceptions rsolubles avec un minimum d'outils thoriques et une dmonstration courte et simple.

Identit de Bzout

9rticles dtaills , @quation diophantienne axAb3 B c & Chorme de Dachet&DEout

Fuelques techniques lmentaires permettent de rsoudre une premire famille d'quations diophantiennes<. Un exemple est donne par l'quation linaire du premier degr deux indtermines,

ette quation porte le nom d'identit de DEout, du nom du mathmaticien qui a gnralis ce rsultat aux pol3nGmes8. Sa rsolution n'utilise que la division euclidienne et l'algorithme d'Huclide. ette identit possde un double statut. Hlle correspond une quation diophantienne et reprsente un des piliers soutenant l'difice de l'arithmtique lmentaire. Le lemme d'Huclide se dmontre l'aide de cette identit et le thorme fondamental de l'arithmtique l'aide du lemme d'Huclide. Le thorme fondamental permet de dterminer les proprits des oprateurs plus grand commun diviseur et plus petit commun multiple ainsi que celles des nombres premiers entre eux.

Thorme de Wilson
9rticle dtaill , Chorme de ;ilson.

Un exemple d'quation diophantienne utilisant ces outils pour sa rsolution est le thorme de ;ilson. +l correspond la rsolution de l'quation suivante, le signe I dsignant la fonction factorielle ,

Les seules valeurs de x diffrentes de un vrifiant cette quation sont les nombres premiers.

Triplet pythagoricien
9rticle dtaill , Criplet p3thagoricien.

Le lemme d'Huclide permet de venir bout de la recherche des triplets p3thagoriciens, c'est&&dire des triplets de nombres entiers #x, y, z) vrifiant l'quation ,

es m=mes techniques permettent de montrer que l'quation suivante, correspondant au dernier thorme de !ermat pour n gal 8, n'a pas de solutions autres que celles qui vrifient x.y.z B 6. ette quation diophantienne correspond ,(

Petit thorme de Fermat JmodifierK

9rticle dtaill , 4etit thorme de !ermat.

4ierre de !ermat consacre une large part de ses recherches mathmatiques la rsolution de questions diophantiennes. +l dcouvre le petit thorme de !ermat qu'il exprime de la manire suivante , - Cout nombre premier mesure infailliblement une des puissances &$ de quelque progression que ce soit, et l'exposant de la dite puissance est sous&multiple du nombre premier donn &$ ... /5. Hn terme diophantien, il offre une rponse partielle l'quation suivante, oL a dsigne un entier et p un nombre premier ,

Le petit thorme de !ermat indique que p M $ est une valeur possible pour x. e rsultat possde de nombreuses applications. +l permet de construire des grands nombres premiers, comme ceux de Nersenne, correspondant l'quation suivante oL y est recherch parmi les nombres premiers ,

+l est relativement ais de montrer que x est alors aussi un nombre premier. ette question diophantienne permet de trouver les plus grands nombres premiers connus en 266'%. !ermat s'intresse une quation analogue, permettant de construire d'autres nombres premiers portant maintenant son nom. +ci y est encore recherch dans les nombres premiers' ,

9 cette occasion, !ermat commet la seule con.ecture fausse connue de lui. +l imagine que tout nombre de !ermat est premier , - Si .e puis une fois tenir la raison fondamentale que <, (, %, $%, 2(%, 5((<%... sont nombres premiers, il me semble que .e trouverai de trs belles choses en cette matire, car .'ai d. trouv des choses merveilleuses dont .e vous ferai part /7. 4resque un sicle s'coule avant que Leonhard Huler #$%6% & $%'<) prsente$6 un diviseur du cinquime nombre de !ermat. +l ne dvoile la construction de sa preuve$$ que quinEe ans plus tard. Hlle correspond exactement aux travaux de !ermat, a3ant permis de dmontrer$2 en $586 la non primalit de deux nombres de Nersenne. L'intr=t du petit thorme de !ermat ne se limite pas l'tude de la primalit de nombres entiers. +l permet aussi de rsoudre certaines quations, la suivante est un exemple oL p dsigne un nombre premier$< ,

Hlle correspond une tape de la rsolution de l'quation suivante ,

Si cette quation est rsolue pour p premier, il devient relativement ais de la rsoudre pour p un entier positif quelconque. La rsolution de cette quation se fonde sur un rsultat nomm thorme des deux carrs de !ermat et dont la premire preuve connue est l'Ouvre d'Huler$8. e mathmaticien gnralise le petit thorme en apportant une rponse de m=me nature que celle de !ermat l'quation suivante, ici a et b dsignant deux entiers premiers entre eux ,

e rsultat est connu sous le nom de thorme d'Huler.

Autres techniques
Poseph&Louis Lagrange #$%<5 & $'$<) cherche gnraliser des quations diophantiennes d. traites dans des cas particuliers. L'quation du thorme des deux carrs devient, si n dsigne un entier sans facteur carr et p un nombre premier ,

4our cela, il tudie les formes quadratiques deux variables, c'est&&dire les fonctions Q qui un couple #x, y) associe$( ,

+l cherche savoir quelle forme linaire est quivalente quelle autre. Hquivalente signifie en termes modernes qu'un changement de base dans Z2 #Z dsigne l'ensemble des nombres entiers) permet de passer d'une forme une autre. ette dmarche lui permet de rsoudre l'quation (1) dans le cas oL n est gal $, 2, < ou ($5. Le cas gnral reste hors de porte. Une autre gnralisation de cette quation est rsolue l'aide de cette mthode, elle consiste trouver le plus petit nombre de carrs ncessaire pour trouver au moins une solution pour tout entier positif. La rponse est 8, elle correspond l'quation suivante ,

Le Chorme des quatre carrs de Lagrange affirme que pour toute valeur de n, cette quation admet une solution. Hd:ard ;aring #$%<5 & $%7') gnralise la question sous le nom de problme de ;aring qui s'exprime de la manire suivante. ombien faut&il de termes dans une somme de puissance kime pour obtenir tous les entiers positifs R L'quation #$), pour une valeur donne de n, impose de rsoudre pour la m=me valeur du paramtre n et pour p un nombre premier quelconque, l'quation ,

4our chaque valeur de n, il est souvent relativement simple de trouver la liste des nombres premiers admettant une solution pour l'quation (2). L'expression de la solution gnrale est con.ecture par Huler$%, mais sa dmonstration chappe aux arithmticiens du *S+++e sicle$'. Lagrange s'intresse une autre question, d. souleve par !ermat $(6 ans plus tGt et par >iophante dans l'antiquit. Hlle correspond l'quation dite de 4ell&!ermat. Si n est un entier sans facteur carr, elle s'crit ,

ette question est ob.et d'tude par les mathmaticiens indiens si m est gal $. La mthode dite de chaTravala permet de trouver les solutions$7 avec une grande efficacit. DhUsTara ++ #$$$8M$$'( R) l'utilise pour n gal 5$ et trouve la solution x B $ %55 <$7 687 et y B 225 $(< 7'6. !ermat redcouvre cette mthode et la dmontre selon les critres de rigueur de l'poque. Lagrange trouve une autre mthode, fonde sur les fractions continues. Hlle permet aussi de trouver une infinit de solutions pour toutes valeurs de n, la dmonstration du fait que toutes les solutions sont bien atteintes pour m B AV&$ est enfin dmontre, le cas gnral reste nanmoins hors de porte.26

Arithmtique modulaire
9rticle dtaill , 9rithmtique modulaire.

Si quelques cas particuliers se traitent avec les mthodes lmentaires, en revanche les solutions gnrales restent inabordables. 9ucun des trois cas d'quations diophantiennes quadratique deux indtermines, n'est trait dans le cas gnral. +ls correspondent soit une ellipse avec l'quation (1) du paragraphe prcdent, soit une parabole avec l'quation (2), soit une h3perbole avec l'quation (3). Les mthodes de l'arithmtique lmentaire ne sont pas asseE puissantes. Hn $'6$ "auss propose l'usage d'une nouvelle approche2$ maintenant appele arithmtique modulaire. Hlle consiste, en termes modernes, user d'une dmarche structurelle. >es ensembles sont munis d'oprations, une addition et parfois une multiplication. Les structures, c'est&&dire l'ensemble et ses oprations sont tudies dans un cadre gnral, permettant d'obtenir des thormes au vaste champ d'application. ette dmarche permet de simplifier les rsolutions d'quations diophantiennes d. connues, de rsoudre des cas particuliers nouveaux et m=me d'tablir des solutions gnrales, par exemple pour l'quation (2).

Groupe a lien !ini

9rticle dtaill , groupe ablien fini.

+l est possible de considrer le quotient de l'anneau Z par n Z, l'lment gnrique de cette structure est la classe de tous les entiers a3ant m=me reste par la division euclidienne par n. Les lments de cette structure s'additionnent et se multiplient. L'tude du quotient apporte une formulation plus simple de certaines quations diophantiennes. Le petit thorme de !ermat s'crit, si p est un nombre premier et a un entier non nul22 ,

Si n est un nombre premier, alors l'ensemble des lments non nuls forment un groupe ablien non seulement fini, mais aussi c3clique. L'galit prcdente devient une consquence directe du thorme de Lagrange sur les groupes. Si n n'est pas premier, l'ensemble des lments inversibles de ZVn ZW forme encore un groupe ablien fini, offrant ainsi une dmonstration simple de la gnralisation d'Huler du petit thorme de !ermat. La structure gnrale d'un groupe ablien fini, lucide par le thorme de XronecTer, n'est dmontre que bien plus tard, en $'%62<. e formalisme simplifie aussi la dmonstration du thorme de ;ilson. La rsolution de l'quation (2) revient au problme suivant, au signe prs ,

ette quation admet une solution non nulle si et seulement si n est lment du sous&groupe des carrs de #ZVp ZW, .). L'tude des morphismes de ce groupe dans celui des racines de l'unit des nombres complexes permet "auss de rsoudre l'quation (2) dans toute sa gnralit. e rsultat est connu sous le nom de loi de rciprocit quadratique28. 'est la premire famille d'quations quadratiques entirement rsolue, elle correspond au cas parabolique2(.

Anneau euclidien
9rticle dtaill , 9nneau euclidien.

Une autre structure, permettant de rsoudre des quations diophantiennes, est au cOur de l'arithmtique modulaire , celle d'anneau euclidien. Un anneau est un ensemble munis d'une addition et d'une multiplication compatibles entre

elles. 4arfois, il est possible de dfinir une division euclidienne. Un tel anneau dispose de tous les thormes de l'arithmtique lmentaire , l'identit de DEout, le lemme d'Huclide et le thorme fondamental de l'arithmtique s'appliquent encore. "auss tudie l'ensemble des nombres de la forme a A i.b oL a et b dsignent deux nombres entiers et i l'unit imaginaire. L'ensemble forme un anneau euclidien dont les lments portent le nom d'entier de "auss. Cravailler sur cet anneau simplifie la rsolution de certaines quations diophantiennes comme celle des deux carrs25. +l existe d'autres anneaux euclidiens de cette nature. !erdinand Hisenstein #$'2< & $'(2) tudie ceux de la forme a A j.b oL a et b dsigne encore deux nombres entiers et j la racine cubique de l'unit dont la composante imaginaire est strictement positive. Un tel nombre est appel entier d'Hisenstein. et anneau est le cadre d'une rsolution de l'quation (1) pour n gal trois2%. +l permet aussi de rsoudre le dernier thorme de !ermat pour n gal trois2'. Hlle reprend les grandes lignes d'une tentative d'Huler de rsolution de cette question. Hn revanche, le mathmaticien utilisait l'anneau des nombres de la forme a A iY<.b27. +l supposait que l'anneau considr est euclidien, ce qui n'est pas le cas et invalidait sa dmonstration. Hn effet, le nombre quatre possde deux dcompositions en facteurs irrductibles, ce qui est impossible dans un anneau euclidien ,

Hn $'2( Pohann 4eter "ustav Le.eune >irichlet #$'6( & $'(7) utilise un anneau analogue, compos d'entiers de >irichlet et initialise une preuve du grand thorme de !ermat pour n gal (. Hlle est finalise par 9drien&Narie Legendre #$%(2 & $'<<) quelques mois plus tard<6.

Thorme de la progression arithmtique

9rticle dtaill , Chorme de la progression arithmtique.

Une quation diophantienne, pose une question dont la rponse est d. con.ecture par "auss et Legendre. Si a et b sont deux entiers premiers entre eux, elle prend une des deux formes suivantes, toutes deux quivalentes ,

Les solutions recherches sont celles oL x est un nombre premier. La con.ecture affirme qu'il existe une infinit de valeurs de x satisfaisant l'quation. >irichlet parvient dmontrer ce rsultat<$ en $'<%. La dmonstration utilise l'arithmtique modulaire travers l'tude des morphismes du groupe multiplicatif de ZVa Z dans . +l gnralise l'anal3se harmonique sur un groupe ablien fini entame par "auss avec les sommes et priodes de "auss qui ne traitaient que le cas oL a est un nombre premier. >irichlet s'inspire des dcouvertes de Poseph !ourier #$%5' & $'<6) sur ses sries. harles "ustave Pacob Pacobi #$'68 & $'($) dit de lui , - Hn appliquant les sries de !ourier la thorie des nombres, >irichlet a rcemment trouv des rsultats atteignant les sommets de la perspicacit humaine /<2. Sa dmonstration est remarquable au sens oL elle ne se limite pas au simple usage de techniques algbriques. +l reprend les travaux d'Huler sur un produit infini, trouv la suite de l'tude du problme de Nengoli<< et qui tablit le rsultat suivant, si ! dsigne l'ensemble des nombres premiers ,

La dmonstration ouvre la porte une nouvelle arithmtique, faisant aussi usage de l'anal3se et maintenant appele thorie anal3tique des nombres.

Thorie alg rique des nom res

9rticle dtaill , Chorie algbrique des nombres.

FuatorEe ans plus tard, le succs de >irichlet est suivi par une tentative russie de "abriel Lam #$%7( & $'%6) pour rsoudre le cas n gal % du dernier thorme de !ermat. Une fois encore les techniques modulaire sont l'Ouvre, la structure cl est encore un anneau euclidien<8. Nais la complexit de la preuve montre que la dmarche n'est pas gnralisable. 9insi, l'arithmtique modulaire permet de vritables avances, mais la rsolution gnrale de famille d'quations reste trs gnralement hors de porte. ette remarque est valable pour le dernier thorme de !ermat ainsi que pour les quations quadratiques. Hn effet, s'il est possible de trouver une infinit de solution l'quation (3), personne ne sait dmontrer si l'ensemble des solutions est exhaustif ou non. Hnfin l'quation (1) reste inabordable dans le cas gnral. Une famille d'anneaux reprsentent des bons candidats pour aller plus loin, ils sont constitus d'entiers algbriques.

"ntier alg rique

9rticle dtaill , Hntier algbrique.

ette figure illustre le groupe des units de l'anneau des entiers de >irichlet. +ci Z dsigne l'entier de >irichlet gal $V2.#$ A Y(). 4lusieurs exemples d'anneau entiers algbriques ont d. t observs dans cet article , les entiers de "auss, d'Hisenstein ou de >irichlet. Une dmarche plus gnrale consiste tudier un corps quadratique c'est&&dire le plus petit sous&corps de #l'ensemble des nombres complexes) contenant les racines d'un pol3nGme de degr deux. Un entier quadratique est un lment de ce corps qui est racine d'un pol3nGme unitaire #le monGme de degr deux a pour coefficient un) et coefficients dans Z. Les entiers quadratiques forment un anneau inclus dans le corps quadratique. 9 certains gards, les exemples utiliss sont exceptionnels. >ans le cas gnral, deux obstru"tions demandent d'amnager les rsultats de l'arithmtique modulaire pour permettre de rsoudre des quations diophantiennes. Une fois la structure de ces obstructions comprises, les quations de t3pe (1) et (3) peuvent =tre traites. La premire est mise .our par >irichlet. 4our les entiers quadratiques, elle ne concerne que les cas oL les lments sont tous inclus dans l'ensemble des nombres rels, on parle de corps quadratique totalement rel. Le groupe des units, est l'ensemble des lments inversibles de l'anneau. +l devient infini sur un corps quadratique totalement rel. L'quation (3) revient trouver tous les lments du groupe des units de l'anneau. Le thorme des units de >irichlet donne la structure d'un tel groupe, sans se limiter aux extensions associes aux pol3nGmes de degr deux. >ans le cas d'un corps quadratique totalement rel, il est isomorphe au groupe additif ZV2Z x Z. "raphiquement, l'illustration de gauche montre que les lments se situent sur quatre branches d'h3perboles. Coute solution de l'quation de 4ell&!ermat correspond un couple de racines inverse l'une de l'autre. Les fractions continues permettent de dterminer une racine primitive du groupe des units, c'est&&dire que cette racine gnre toutes les autres. La comprhension de la structure de cette obstruction montre que la mthode de Lagrange permet effectivement de trouver toutes les solutions de l'quation (3) et clGt la question.<( La deuxime obstruction concerne la dcomposition en facteurs premiers d'un entier algbrique. Hlle est unique dans le cas des anneaux euclidiens, principaux ou factoriels. ette proprit, exprime par le thorme fondamental de l'arithmtique, est l'un des fondements de l'arithmtique lmentaire ou modulaire. Hlle n'est plus vrifie dans le cas d'un anneau d'entiers algbriques. Hrnst Xummer #$'$6 & $'7<) interprte cette ralit comme un d#aut de nombres premiers, c'est parce qu'il en manque que l'unicit de la dcomposition dispara[t. +l a l'ide d'enrichir l'anneau de

nombres idaux pour remplacer les nombres premiers manquants<5. \ichard >edeTind #$'<$ & $7$5) donne cette thorie son formalisme moderne. +l met en vidence en $'%5 que les nombres idaux de Xummer se formalisent simplement l'aide du concept d'idal, un sous&groupe de l'anneau stable par multiplication par un lment quelconque. +l reprend cette occasion le vocabulaire de Xummer, tout en modifiant le formalisme. $es nombres premiers idaux correspondent en fait des idaux premiers non principaux<%. "r]ce la notion d'idal fractionnaire, il trouve un quivalent du thorme fondamental , tout idal se dcompose de manire unique en un produit d'idaux premiers. +l reste alors dterminer la structure des idaux premiers principaux et non principaux. ^ l'aide d'un groupe quotient d'idaux par des idaux principaux, il dfinit le thorme cl, savoir que ce quotient, appel groupe des classes d'idaux est un groupe ablien fini<'. >ans les cas simples, comme celui des anneaux d'entiers quadratiques, ce rsultat permet de dterminer les idaux premiers non principaux et par la m=me occasion de rsoudre l'quation (3) dans le cas gnral<7.

#orps cyclotomique JmodifierK

9rticle dtaill , orps c3clotomique.

Si le formalisme moderne venant bout de la deuxime obstruction est l'Ouvre de >edeTind et date de la fin du *+*e sicle, une partie non ngligeable du travail mathmatiques provient des travaux de Xummer du milieu du sicle. Sa proccupation est la gnralisation de la loi de rciprocit quadratique ainsi que le dernier thorme de !ermat. La dmonstration du cas n gal sept de Lam se fonde encore sur l'anneau des entiers algbriques d'un corps quadratique. L'impossibilit de rponse gnrale fonde sur l'tude des entiers quadratiques poussent Lam et Xummer tudier d'autres corps de nombres, c'est&&dire que plus petit sous&corps de contenant toutes les racines d'un pol3nGme. +ls choisissent tous deux les pol3nGmes c3clotomiques, c'est&&dire les pol3nGmes unitaires de degr minimal a3ant pour racine une racine de l'unit. Le corps de nombre associ est appel corps cyclotomique. >e tels corps possdent de multiple bonnes proprits. Le pol3nGme c3clotomique est coefficients dans Z86 ainsi une racine de l'unit est tou.ours un entier algbrique. Un corps c3clotomique reste plus longtemps principal et, si tel est le cas, l'anneau des entiers vrifie le thorme fondamental de l'arithmtique. 9insi, les anneaux d'entiers algbriques des corps c3clotomiques d'indice (, %, $$, $<, $% et $7 sont principaux. ette observation pousse Lam8$ prsenter une solution qu'il croit gnrale au grand thorme de !ermat en $'8%. Xummer est plus prudent, il a d. dmontr trois ans plus tGt que pour l'indice 2<, l'anneau n'est pas principal82. Le formalisme utilis dans cet article est celui en vigueur actuellement et diffre de celui de Xummer, cependant le contenu mathmatique est le m=me. La difficult rsoudre est de comprendre comment s'agencent les idaux premiers non principaux. e problme, bien que rsolu plus tGt, est finalement plus complexe que celui des anneaux d'entiers quadratiques. Le pol3nGme l'origine du corps de nombres est de degr quelconque et non plus gal deux. La thorie de "alois est d'une grande aide. >ans le cas d'un corps c3clotomique %, l'extension est dite galoisienne, c'est&&dire qu'il existe autant d'automorphismes de % que l'ensemble possde de dimensions s'il est considr comme un & espace vectoriel. es automorphismes forment un groupe fini ', appel groupe de "alois. L'image d'un idal premier par un automorphisme est aussi un idal premier. ette remarque permet de comprendre la structure des idaux premier l'aide de la ramification. Cout idal premier ! contient un unique nombre premier p. La technique consiste alors dcomposer l'idal principal p% en idaux premiers. Le groupe ' agit transitivement sur le idaux premiers dcomposant p% ce qui permet de dterminer la dcomposition des idaux premiers dans les extensions galoisiennes. >e plus, % est une extension ablienne et m=me c3clique, c'est&&dire que le groupe de "alois est c3clique. Une consquence est que le groupe des classes est aussi c3clique. Le groupe des classes devient relativement ais dterminer et, si p est un nombre premier rgulier, alors il ne divise pas l'ordre du groupe des classes. ette proprit permet d'obtenir une dmonstration relativement aise du dernier thorme de !ermat8<. Les seules exceptions plus petites que $66 sont <%, (7 et 5%.

Gomtrie alg rique JmodifierK

La dmarche fonde sur l'anal3se fine d'un corps de nombres possde des limites. 4our une quation pol3nomiale diophantienne non homogne, c'est&&dire si le degr des diffrents monGmes n'est pas le m=me, les outils imposent des acrobaties limitant largement la porte de la mthode. N=me dans les cas les plus simples, comme celui de

l'extension c3clotomique, la structure des idaux premiers est parfois complexe, tel est le cas pour les idaux associes des nombres premiers non rguliers. Hn revanche, les outils dveloppes dans ce contexte, se gnralisent d'autres branches des mathmatiques. La thorie des anneaux, et particulirement des anneaux de >edeTind avec ses idaux premiers ou fractionnaires s'appliquent aussi la gomtrie algbrique. Une varit algbrique se dfinit comme l'ensemble des racines communes d'un idal de pol3nGmes. La thorie de "alois est aussi oprationnelle dans ce domaine. Hnfin d'autres outils sont disponibles, un pol3nGme se drive alors qu'un entier non, une surface possde de nombreuses proprits topologiques comme le genre, source de thormes nouveaux. Une quation pol3nomiale diophantienne s'interprte aussi comme l'intersection d'une varit algbrique et d'un rseau gal Zn. ette approche permet des mthodes de rsolutions simples d'quations diophantiennes comme la recherche de triplets p3thagoricien. es diffrentes raisons poussent le **e sicle tudier les quations diophantiennes avec cet axe.

$e di%ime pro lme de &il ert JmodifierK

es problmes traditionnels sont poss et souvent non&rsolus durant des sicles, les mathmaticiens d'ailleurs en viennent graduellement les comprendre dans leur profondeur #dans certains cas), plutGt qu' les traiter comme des puEEles. Hn $766, en reconnaissance de leur profondeur, ?ilbert proposa la rsolubilit de tous les problmes diophantiens comme le dixime de ses clbres problmes. Hn $7%6, un nouveau rsultat en logique mathmatique connu sous le nom de thorme de Nati3asevich le rsolut ngativement , en gnral les problmes diophantiens ne sont pas rsolubles, au sens oL l'on peut construire explicitement de tels problmes pour lesquels l'existence d'une solution est indcidable #dans le s3stme axiomatique oL l'on s'est plac 1 on construit un pol3nGme prcis en partant de la liste des axiomes). Le point de vue de la gomtrie diophantienne, qui est une application des techniques de la gomtrie algbrique dans ce domaine, a continu de cro[tre comme rsultat 1 puisqu'en traitant arbitrairement les quations, cela mne une impasse, l'attention se tourne vers les quations qui ont aussi un sens gomtrique.

'echerche moderne
Une des approches gnrales est travers le principe de ?asse. La descente infinie est la mthode traditionnelle, et a t pousse trs loin. La profondeur de l'tude des quations diophantiennes gnrales est montre par la caractrisation des ensembles diophantiens comme rcursivement numrables. Le domaine de l'approximation diophantienne a voir avec les cas d'in(alits diophantiennes , les variables sont tou.ours supposes =tre entires, mais certains coefficients peuvent =tre des nombres irrationnels, et le signe de l'galit est remplac par des bornes suprieures et infrieures.