DIOPHANTIENNES APPROXIMATIONS
Approximations des irrationnels algébriques
On dit qu'un irrationnel τ est rationnellement approchable à l'ordre α s'il existe une constante dépendant de τ, soit K(τ), telle que :
![](/media_src/v07f0515c08.png)
On voit sans peine qu'un rationnel u/v est approchable à l'ordre 1 et pas au-delà. D'autre part, les propriétés des fractions continuées montrent que tout irrationnel est approchable à l'ordre 2 au moins et qu'un irrationnel quadratique est approchable à l'ordre 2 et pas au-delà (à cause de la périodicité du développement). Ce dernier résultat est un cas particulier du théorème de Liouville (1844) relatif aux irrationnels algébriques de degré n : si τ est de degré n, il n'est pas approchable à un ordre supérieur strictement à n. En effet, si f (τ) = 0, où f est le polynôme de degré n définissant τ, l'étude de :
![](/media_src/v07f0516a01.png)
![](/media_src/v07f0516a02.png)
Le théorème de Liouville a une grande importance historique, puisqu'il a permis de définir explicitement les premiers nombres transcendants ( nombres de Liouville), grâce à des développements (décimaux ou en fraction continuée) lacunaires tels que :
![](/media_src/v07f0516a03.png)
Le résultat de Liouville a été successivement amélioré par Thue (1908), établissant α ≤ (n/2) + 1, par Siegel (1921) α ≤ 2 √ n, par Dyson (1947) α ≤ √2 n, et, en 1955, à l'aide d'une démonstration très technique, Roth améliorait définitivement le théorème : Tout irrationnel algébrique τ est approchable à l'ordre 2 et pas au-delà. Cela permet d'affirmer par exemple que le développement décimal lacunaire x = 10-1 + 10-3 + 10-9 + ... + 10-3n + ... représente un nombre transcendant.
La recherche, pour un nombre algébrique τ, de la plus petite constante k(τ), pour laquelle :
![](/media_src/v07f0516a04.png)
![](/media_src/v07f0516a05.png)
![](/media_src/v07f0516a06.png)
![](/media_src/v07f0516a07.png)
Mais, si l'on excepte le nombre α et ceux qui lui sont équivalents par transformation modulaire, on peut établir que :
![](/media_src/v07f0516a08.png)
Cela rejoint d'ailleurs les chaînes de Markoff-Hurwitz, qui, pour les irrationnels τ, étudient la limite supérieure M(τ) des constantes c telles que |τ − (p/q)| = 1/(cq2) ; on obtient M(τ) = √5 pour le nombre d'or et ses équivalents, puis M(τ) ≥ 2 √2 pour les autres irrationnels, avec M(τ) = 2 √2 pour τ équivalent à 1 + √2, puis M(τ) ≥ √221/5 pour les autres irrationnels, et ainsi de suite, les valeurs successives de M(τ) apparaissant étant données par la formule :
![](/media_src/v07f0516b01.png)
Citons encore deux résultats sur les approximations asymétriques. Ségré établit, en 1946, que, pour tout r ≥ 0 et pour tout irrationnel τ, il existe une infinité d'approximations p/q telles que :
![](/media_src/v07f0516b02.png)
![](/media_src/v07f0516b03.png)
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Marcel DAVID : professeur à la faculté des sciences de Reims
Classification
Autres références
-
DIOPHANTIENNES ÉQUATIONS
- Écrit par Jean-Louis COLLIOT-THÉLÈNE , Marcel DAVID et Encyclopædia Universalis
- 6 121 mots
- 1 média
La solution (u0, v0) peut se trouver par essais successifs, si a et b ne sont pas trop grands ; sinon, on développe a/b en fraction continuée et, si a/b = pn/qn est la n-ième réduite, on prend la (n − 1)-ième qui, au signe près, donne u0 = qn-1 et v0 = − pn-1.... -
KHINTCHINE ALEXANDRE IAKOVLEVITCH (1894-1959)
- Écrit par Encyclopædia Universalis
- 290 mots
Mathématicien soviétique, né à Kondrovo et mort à Moscou, membre correspondant de l'Académie des sciences de l'U.R.S.S., professeur à l'université de Moscou, prix Staline (1941). Ses premiers travaux concernent la théorie des fonctions d'une variable réelle, où il introduit la notion de dérivée...
-
NOMBRES (THÉORIE DES) - Vue d'ensemble
- Écrit par Jean DIEUDONNÉ
- 3 176 mots
Dans la plupart des civilisations parvenues au stade de l'écriture, les nombres entiers ont, dès l'origine, été liés à des pratiques religieuses ou magiques, et leurs propriétés ont exercé une sorte de fascination sur les esprits, qui est loin d'être disparue de nos jours, où la « numérologie » conserve...