Approximation diophantienne

Meilleurs approximations rationnelles pour les nombres irrationnels Π (vert), e (bleu), ϕ (rose), √3/2 (gris), 1/√2 (rouge) et 1/√3 (orange) tracées sous forme de pentes y/x avec des erreurs par rapport à leurs vraies valeurs (noirs) par CMG Lee.

En théorie des nombres, l'approximation diophantienne, qui porte le nom de Diophante d'Alexandrie, traite de l'approximation des nombres réels par des nombres rationnels.

Il est possible d'approcher tout nombre réel par un rationnel avec une précision arbitrairement grande (cette propriété s'appelle la densité de l'ensemble des rationnels dans l'ensemble des réels, muni de la distance usuelle). La valeur absolue de la différence entre le nombre réel à approcher et le nombre rationnel qui l'approche fournit une mesure brute de la précision de l'approximation.

Une mesure plus subtile tient compte de la taille du dénominateur.

Illustration

Nombre réel	Fraction de nombres rationnels
π	$\pi \cong \frac{22}{7}\cong 3.1426...$
e	$e\cong \frac{19}{7}\cong 2.714...$
φ	$\phi \cong \frac{34}{21}\cong 1.6190...$

Position du problème sur la droite réelle

(Approximation rationnelle d'un seul réel)

Du fait de la densité de $\mathbb{Q}$ (ensemble des rationnels) dans $ℝ$ (ensemble des réels), tout réel peut être approché par des rationnels aussi près qu'on le souhaite au sens où :

$\mathrm{\forall }\alpha \in ℝ\mathrm{\forall }\epsilon >0\mathrm{\exists }(p,q)\in \mathbb{Z}\times {\mathbb{N}}^{*},|\alpha -\frac{p}{q}|\le \epsilon$

Toute la subtilité de la démarche réside alors dans l'idée qu’il ne s’agit pas seulement d’effleurer au plus près la valeur d’un réel donné Modèle:Mvar par une fraction Modèle:Sfrac sans aucune autre considération, mais bien d'obtenir un compromis, le meilleur qui soit, entre :

• la « qualité », ou précision de l'approximation, dont $|\alpha -\frac{p}{q}|$ fournit une mesure brute,
• et son coût, ou « prix », c'est-à-dire la taille du dénominateur du rationnel en question.

Afin de conserver un certain contrôle sur l’approximation, il semble en effet naturel d’affirmer qu’un réel est bien approché par la fraction Modèle:Sfrac, si l’écart entre ce réel et Modèle:Math est petit sans que Modèle:Mvar ne soit trop grand : ce qui revient à chercher, en usant des termes précédemment employés, le meilleur « rapport qualité / prix » possible. Il paraît alors raisonnable d'essayer de majorer la distance de Modèle:Math à Modèle:Mvar par une fraction dont le dénominateur est une puissance de Modèle:Mvar, c'est-à-dire de la forme : Modèle:Math. On voit ici apparaître deux paramètres : une constante Modèle:Mvar, dite constante d'approximation, et une puissance Modèle:Mvar, appelée ordre d'approximation, que la théorie de l'approximation diophantienne a cherché à optimiser au cours des siècles.

Ordre d'approximation

On dit qu'un réel Modèle:Mvar est rationnellement approchable à l'ordre Modèle:Math s'il existe Modèle:Math tel que l'inéquation : $|\alpha -\frac{p}{q}|<\frac{K}{q^s}$ ait une infinité de solutions.

On définit alors la mesure d'irrationalité Modèle:Math d'un irrationnel Modèle:Mvar comme la valeur optimale de l'ordre d'approximation de Modèle:Mvar :

$\mu (\alpha )=\sup \{\mu \in {ℝ}^{\mathbb{*}}|\text{ il existe une infinité de couples }(p,q)\in \mathbb{Z}\times {\mathbb{N}}^{*}\text{ tels que }|\alpha -\frac{p}{q}|<\frac{1}{q^{\mu }}\}$.

Pour un irrationnel arbitraire Modèle:Mvar, un théorème de Dirichlet fournit un ordre d'approximation minimal Modèle:Math. Autrement dit, il affirme que la mesure d'irrationalité d'un irrationnel quelconque est supérieure ou égale à 2.

En divisant les irrationnels en plusieurs catégories, il est possible d'affiner grandement ce résultat. On peut par exemple distinguer les nombres bien approchés, appelés nombres transcendants, dont les nombres de Liouville, des nombres mal approchés, ou nombres diophantiens, comprenant les nombres algébriques. Cette distinction est rendue pertinente par le théorème de Liouville (1844) qui affirme qu'un nombre algébrique de degré Modèle:Mvar n'est approchable qu'à un ordre inférieur ou égal à Modèle:Mvar, limitant ainsi la précision des approximations rationnelles (Modèle:Math).

Celui-ci reçut au cours des décennies qui suivirent plusieurs améliorations successives sous forme de diminution de l’exposant Modèle:Mvar, Modèle:C.-à-d. des améliorations qui conduisirent à un encadrement toujours plus fin de la mesure d'irrationalité des nombres algébriques. Axel Thue (1909) (Modèle:Math), Carl Ludwig Siegel (1921) (Modèle:Math), Freeman Dyson (1947) (Modèle:Math) apportèrent ainsi chacun leur pierre à l'édifice, jusqu'au résultat final qui valut à Klaus Roth la médaille Fields en 1958, et qui fournit d'ailleurs un bon critère de transcendance : tout irrationnel algébrique Modèle:Mvar n'est approchable qu'à l'ordre 2 (Modèle:Math). (Voir « Théorème de Roth ».)

Constante d'approximation

Pour tout irrationnel Modèle:Mvar, on appelle constante d'approximation de Modèle:Mvar l'élément Modèle:Math positif de $ℝ\cup \{+\mathrm{\infty }\}$ défini par :

$\gamma (\alpha )=\lim {\mathrm{\backslash limits}}_{q\to +\mathrm{\infty }}q|q\alpha -p|(p,q)\in \mathbb{Z}\times {\mathbb{N}}^{\mathbb{*}}$.

Un premier résultat valable pour des irrationnels Modèle:Mvar et Modèle:Mvar quelconques, assure l'égalité des constantes d'approximation lorsque Modèle:Mvar et Modèle:Mvar sont équivalents au sens de la relation d'équivalence suivante :

$\mathrm{\exists }(a,b,c,d)\in {\mathbb{Z}}^4\text{tel que}y=\frac{ax+b}{cx+d}\text{et}|ad-bc|=1$.

On a également le théorème suivant, que l'on doit à Adolf Hurwitz :

Pour tout irrationnel Modèle:Mvar l'inégalité : $|\alpha -\frac{p}{q}|<\frac{1}{\sqrt{5}{q}^2}$ admet une infinité de solutions, et le nombre Modèle:Racine est optimal, au sens où le théorème n'est plus vrai si n'importe quel nombre strictement plus grand lui est substitué.

Cependant, Andreï Markov a démontré que ce résultat pouvait être amélioré. En effet, la théorie classique permet de calculer à l'aide de l'équation diophantienne de Markov

$x^2+y^2+z^2=3xyz$ (1)

et de la relation d'équivalence définie précédemment, une majoration optimale de la valeur Modèle:Math selon l'irrationnel Modèle:Mvar — voire une égalité dans certains cas — sous la forme : $\sqrt{9-\frac{4}{m^2}}$ où Modèle:Mvar est solution de (1). Ces constantes sont appelées nombres de Lagrange.

Fraction continue et approximation diophantienne

Modèle:Voir Les fractions continues sont reconnues comme étant les meilleures approximations rationnelles de réels, au sens suivant :

une fraction Modèle:Math est dite de « meilleure approximation » du réel Modèle:Mvar si $\mathrm{\forall }(p^{\prime },q^{\prime })\in \mathbb{Z}\times {\mathbb{N}}^{\mathbb{*}}(q^{\prime }<q\Rightarrow |q^{\prime }\alpha -p^{\prime }|>|q\alpha -p|)$.

L'algorithme de Stern-Brocot, qui s'appuie sur un calcul successif des médiantes de Farey, est cependant plus intéressant en termes de commodité calculatoire. On retrouve par ailleurs les réduites du développement en fraction continue d'un réel dans l'arbre de Stern-Brocot qui lui est associé.

Voir aussi

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:HardyWrightFr, chap. XI

Liens externes

• Modèle:Lien web
• Modèle:Lien web