Nombre de Markov
# Nombre de Markov

En arithmétique, un triplet de Markov est un triplet (x, y, z) d'entiers naturels non nuls solution de l'équation diophantienne de Markov :

$x^{2}+y^{2}+z^{2}=3xyz$

Un nombre de Markov est un entier intervenant dans un triplet de Markov.

Ils portent le nom du mathématicien russe Andreï Markov qui les a étudiés en 1879.

## Liste

Les premiers nombres de Markov (suite A002559 de l'OEIS) sont 1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, etc. apparaissant comme coordonnées des triplets de Markov (1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), (1, 13, 34), (1, 34, 89), (2, 29, 169), (5, 13, 194), (1, 89, 233), (5, 29, 433), (89, 233, 610), etc.

## Propriétés

La symétrie de l'équation de Markov permet de réordonner les coordonnées dans le sens croissant comme dans la liste ci-dessus ; un triplet de Markov (x, y, z) vérifiant x ≤ y ≤ z est dit normalisé.

Hormis pour les deux plus petits triplets (1, 1, 1), et (1, 1, 2), les trois entiers d'un triplet de Markov sont distincts.

Pour tout nombre de Markov donné z, il existe un triplet normalisé ayant z pour plus grand élément. L'unicité de ce triplet est un problème ouvert en 2021 (conjecture d'unicité).

Si (x, y, z) est un triplet de Markov, alors (x, y, 3xy – z) aussi. Si l'on ne change pas l'ordre des éléments avant d'appliquer de nouveau la transformation, on retrouve le triplet de départ. Mais si par exemple, à partir de (1, 1, 2), on échange y et z avant chaque itération de la transformation, on obtient des triplets de nombres de Fibonacci. À partir du même triplet mais en échangeant x et z avant chaque itération, on obtient des triplets de nombres de Pell.

Plus précisément, les triplets de Markov normalisés peuvent être disposés en un arbre binaire infini : les voisins d'un triplet normalisé sont obtenus en modifiant comme ci-dessus l'une des trois coordonnées, puis en renormalisant le triplet obtenu. Les nombres de Markov apparaissant au bord de la région 1 (voir figure), appartenant à un triplet de premier terme 1, sont les nombres de Fibonacci d'indices impairs ( A001519). Les nombres de Markov apparaissant au bord de la région 2, appartenant à un triplet de premier terme 2, sont les nombres de Pell d'indices impairs (ou encore : les nombres n tels que $2n^2$ – 1 est un carré,  A001653).

Ainsi, il existe une infinité de triplets de Markov de la forme

    $(1,F_{2n-1},F_{2n+1}),$

où $F_{x}$ est le nombre de Fibonacci d'indice x. De même, il existe une infinité de triplets de Markov de la forme

    $(2,P_{2n-1},P_{2n+1}),$

où $P_{x}$ est le nombre de Pell d'indice x.

La suite A030452 de l'OEIS liste les nombres de Markov 1, 2, 13, 29, 194, 433,... apparaissant au bord de la région 5, appartenant à un triplet contenant le nombre 5.

Les trois nombres d'un triplet de Markov sont toujours premiers entre eux mais ne sont pas toujours premiers. Les nombres de Markov premiers sont 2, 5, 13, 29, 89, 233, etc. ( A178444). Ils sont de densité nulle au sein des nombres de Markov.

En 1982, Don Zagier conjectura que le n-ième nombre de Markov est asymptotiquement donné par

    $m_{n}={\tfrac {1}{3}}e^{C{\sqrt {n}}+o(1)}\quad {\text{avec }}C=2,3523418721\ldots$

De plus, il mit en évidence que $x^2$ + $y^2$ + $z^2$ = 3xyz + 4/9, qui est une approximation extrêmement bonne de l'équation diophantienne originale, est équivalente à f(x) + f(y) = f(z) avec f(t) = arcosh(3t/2).

La conjecture fut démontrée par Greg McShane et Igor Rivin en 1995, par des techniques issues de la géométrie hyperbolique.

Le n-ième nombre de Lagrange peut être calculé à partir du n-ième nombre de Markov avec la formule

    $L_{n}={\sqrt {9-{4 \over {m_{n}}^{2}}}}.$
