title: Diophantien
text: # Diophantien
  
  L'adjectif diophantien (/djo.fɑ̃.tjɛ̃/) (du nom de Diophante d'Alexandrie) s'applique à tout ce qui concerne les équations polynomiales à coefficients entiers, également appelées équations diophantiennes. Les notions qui suivent ont été développées pour venir à bout du dixième problème de Hilbert. Il s'agit de savoir s'il existe un algorithme général permettant de dire si, oui ou non, il existe une solution à une équation diophantienne. Le théorème de Matiyasevich prouve l'impossibilité de l'existence d'un tel algorithme.
  
  ## Ensemble diophantien
  
  Un sous-ensemble M de $ℕ^n$ est dit diophantien s'il existe un polynôme D à n + p variables à coefficients entiers relatifs tel que :
  
         a ∈ M ⇔ il existe x élément de $ℕ^p$ tel que D(a, x) = 0
  
  ### Exemple
  
  * L'ensemble des nombres pairs est diophantien car :
  
         a pair ⇔ il existe x tel que a – 2x = 0
  * L'ensemble des nombres non premiers est diophantien car :
  
         a est non premier ⇔ il existe (x,y) tel que a - (x+2)(y+2) = 0
  
  ### Ensemble des valeurs positives d'un polynôme
  
  Une astuce simple due à Hilary Putnam permet de montrer que si un ensemble M d'entiers naturels non nuls est diophantien, il est l'ensemble des valeurs strictement positives d'un polynôme à coefficients entiers, pour des valeurs positives des variables.
  
  En reprenant la définition dans le cas où n = 1. Il existe un polynôme D à p + 1 variables et coefficients entiers relatifs tel que
  
         a ∈ M ⇔ ∃ x ∈ $ℕ^p,$ D(a, x) = 0.
  
  On introduit alors le polynôme (1 – $D(y,x)^2)$ dont toutes les valeurs sont inférieures ou égales à 1.
  
  En particulier la seule valeur strictement positive 1 est atteinte si et seulement si D(y,x) est nul et donc si et seulement si y ∈ M.
  
  L'ensemble M est donc l'ensemble des valeurs strictement positives du polynôme y(1 – $D(y,x)^2)$ :
  
         M = $ℕ^*$ ∩ {y(1 – $D(y,x)^2)$ | x ∈ $ℕ^p$ et y ∈ ℕ}
  
  Par exemple, l'ensemble des nombres de Fibonacci est constitué des valeurs positives du polynôme y(2 – $(x^2$ + xy – $y^2)^2).$
  
  Les paramètres x ont été choisis positifs, mais, tout entier naturel étant somme de 4 carrés, il est possible, en modifiant le polynôme, de prendre des paramètres dans ℤ.
  
  ### Réunion et intersection d'ensembles diophantiens
  
  On montre aisément que la réunion ou l'intersection de deux ensembles diophantiens est diophantien. En effet, si $M_1$ et $M_2$ sont diophantiens, représentés respectivement par les équations $D_1$ et $D_2,$ alors :
  
         a ∈ $M_1$ ∪ $M_2$ ⇔ il existe (x,y) tel que $D_1(a,x)D_2(a,y)$ = 0.
  
  $M_1$ ∪ $M_2$ est donc diophantien, représenté par D(a,x,y) = $D_1(a,x)D_2(a,y).$
  
  De même, $M_1$ ∩ $M_2$ est diophantien, représenté par D(a,x,y) = $D_1(a,x)^2$ + $D_2(a,y)^2.$
  
  Par contre, le complémentaire d'un ensemble diophantien n'est pas toujours diophantien.
  
  ## Propriété diophantienne
  
  Une propriété P est dite diophantienne s'il existe un polynôme D tel que
  
         P(a) ⇔ il existe x tel que D(a,x) = 0
  
  ce qui revient à dire que l'ensemble des a vérifiant la propriété P est un ensemble diophantien. La conjonction ou la disjonction de propriétés diophantiennes est diophantienne. Par contre, la négation ou l'implication ne conserve pas le caractère diophantien.
  
  On définit de proche en proche des propriétés diophantiennes de plus en plus compliquées, par exemple, le fait qu'un entier soit un nombre premier.
  
  ## Fonction diophantienne
  
  Une fonction F de $\mathbb {N}$ dans $\mathbb {N}$, ou plus généralement de $\mathbb {N} ^{n}$ dans $\mathbb {N} ^{m}$, est diophantienne si son graphe est diophantien. Autrement dit :
  
         a = F(b) ⇔ il existe x, D(a, b, x) = 0
  
  Les applications polynomiales sont évidemment diophantiennes. Mais on montre également que l'exponentielle est diophantienne, autrement dit, il existe un polynôme D tel que :
  
         a = $b^n$ ⇔ il existe x, D(a, b, n, x) = 0
  
  Nous soulignons bien que l'expression de gauche a = $b^n$ possède les trois variables a, b et n et est donc une relation exponentielle, et non une simple relation polynomiale telle que a = $b^3,$ où n s'est vu fixer la valeur 3. Il est absolument remarquable qu'une expression exponentielle puisse être caractérisée uniquement par des relations polynomiales. Cette propriété, démontrée par Matiyasevich, est un point clé de la réponse négative apportée au 10e problème de Hilbert. On peut utiliser pour cela le fait que des suites de solutions d'équations diophantiennes peuvent croître exponentiellement. Ainsi, $b^n$ est quasiment égal à $a_n$ où $(a_n)$ est la suite définie par :
  
         $a_0$ = 0, $a_1$ = 1, $a_{n+2}$ = $ba_{n+1}$ – $a_n$
  
  et que :
  
         il existe n, x = $a_n$ et y = $a_{n+1}$ ⇔ $x^2$ – bxy + $y^2$ = 1
  
  Ou bien, en utilisant un codage passant par l'intermédiaire de solutions d'équations de Pell-Fermat, on montre qu'il y a équivalence entre a = $b^n$ et :
  
         il existe (f,g,h,k,l,m,s,t,u,v,w,x,y,z) entiers strictement positifs tels que :
            $m^2$ – $(w^2$ – 1)(w – $1)^2z^2$ = 1
            w = b + h = n + l
            a + g = 2mb – $b^2$ – 1
            (x – y(m – b) – $a)^2$ = (f – $1)^2(2mb$ – $b^2$ – $1)^2$
            $x^2$ – $(m^2$ – $1)y^2$ = 1
            $u^2$ – $(m^2$ – $1)v^2$ = 1
            $s^2$ – $(k^2$ – $1)t^2$ = 1
            v = $ry^2$
            k = 1 + 4py = m + qu
            s = x + cu
            t = n + 4(d – 1)y
            y = n + e – 1
  
  On montre que les coefficients binomiaux sont diophantiens en les considérant comme coefficients dans une base b assez grande de $(b+1)^n.$ Il en est de même des factorielles et des nombres premiers.
  
  ## Le dixième problème de Hilbert
  
  Le dixième problème de Hilbert consiste à définir un algorithme acceptant comme paramètre une équation diophantienne D et donnant comme réponse le fait que D admette ou non des solutions. En 1970, Matiyasevic montra qu'il était impossible qu'un tel algorithme existe.
  
  On montre en effet qu'il y a équivalence entre les ensembles diophantiens et les ensembles reconnaissables par machine de Turing (ensembles également dits récursivement énumérables ou semi-calculables). Une machine de Turing modélise un programme donné sur un calculateur universel sans limitation de mémoire. Un ensemble récursivement énumérable E est un ensemble pour lequel il existe un algorithme tel que, si on donne comme paramètre à l'algorithme un élément a de E, alors l'algorithme s'arrête en fournissant une réponse positive, alors que si on donne comme paramètre un élément a n'appartenant pas à E, ou bien l'algorithme s'arrête en donnant une réponse négative, ou bien il boucle indéfiniment. Un ensemble récursivement énumérable est un ensemble dont on peut lister un à un les éléments. On peut être dans l'impossibilité de lister les éléments de son complémentaire.
  
  ### Tout ensemble diophantien est récursivement énumérable
  
  Il est facile de montrer qu'un ensemble diophantien E défini par une équation D est récursivement énumérable. L'algorithme le reconnaissant est le suivant :
  
  * lire en entrée la valeur du paramètre a
  * donner à x la valeur 0
  * tant que D(a,x) est différent de 0, augmenter x de 1 fin tant que
  
  Cet algorithme est donné dans le cas où x décrit $\mathbb {N}$. Si x doit décrire $\mathbb {N} ^{p}$, il convient de remplacer l'énumération des éléments de $\mathbb {N}$ par une énumération des éléments de $\mathbb {N} ^{p}$.
  
  Si a est élément de E, il existera un x tel que D(a,x) = 0. L'algorithme précédent finira par le trouver et s'arrêtera sur cette valeur de x. Par contre, si a n'est pas élément de E, aucun x ne convient, et l'algorithme bouclera indéfiniment. E est donc bien récursivement énumérable.
  
  ### Tout ensemble récursivement énumérable est diophantien
  
  La réciproque est extrêmement délicate et constitue le nœud du théorème de Matiyasevich. Une façon de le prouver est de montrer que la fonction qui à une configuration d'une machine de Turing associe la configuration suivante, celle obtenue après une étape de calcul, est une fonction diophantienne, les configurations étant codées par des entiers. Si p est un nombre codant une configuration d'une machine de Turing, il existe un polynôme D tel que D(p, $x_1,$ ..., $x_n)$ possède une solution si et seulement si la Machine de Turing démarrant par la configuration p s'arrête. La reconnaissance des ensembles diophantiens est donc équivalent à celle des ensembles récursivement énumérables.
  
  La méthode précédente permet explicitement d'associer un polynôme à un algorithme définissant un ensemble récursivement énumérable. Ainsi, Jones, Sato, Wada et Wiens ont explicité en 1976 un polynôme de degré 25 et des 26 variables dont l'ensemble des valeurs strictement positives, quand les variables parcourent les entiers naturels, coïncide avec l'ensemble des nombres premiers. Le polynôme est construit à partir de la représentation diophantienne de l'ensemble des nombres premiers en utilisant l'astuce de Putnam ci-dessus.
  
  ### Impossibilité du dixième problème de Hilbert
  
  La théorie de la calculabilité a montré qu'il existe des ensembles récursivement énumérables dont le complémentaire n'est pas récursivement énumérable.
  
  Plus précisément, à toute équation diophantienne D sans paramètre, définissons Card(D) comme étant le cardinal de son ensemble de solutions (éventuellement infini). Alors l'ensemble E = {D | Card(D) ≥ 1} est récursivement énumérable. Car si D appartient à un tel ensemble, il suffit d'énumérer les x les uns après les autres et de tester si D(x) est nul pour finir par un trouver un, ce qui permet de dire que D appartient à E. Si D n'admet pas de solution, l'algorithme précédent boucle indéfiniment. Et précisément, on montre que {D | Card(D) = 0} n'est pas récursivement énumérable. Cela signifie qu'il existe bien un algorithme général permettant de dire si une équation diophantienne D admet une solution, mais aucun algorithme permettant de dire si D n'en admet pas.
  
  Le dixième problème de Hilbert n'admet donc pas de solution. La résolution générale des équations diophantiennes est un problème indécidable.
  
  