- Théorème de liouville (approximation diophantienne)
-
Théorème de Liouville (approximation diophantienne)
Pour les articles homonymes, voir Théorème de Liouville.C'est un résultat d'approximation de nombres complexes par des rationnels : les nombres algébriques sont "mal" approchés par les rationnels.
Enoncé
Soit a un nombre algébrique, de polynôme minimal Pa, et de degré d > 1. Alors il existe une constante c > 0 telle que pour tout rationnel,
, on ait:
.En 1844, Liouville en déduit les premiers exemples de nombres transcendants comme la somme des inverses des 10n!
Démonstration du théorème
Soit
tel que
.Pour tout rationnel
, on a
entier car
, et Y n'est pas nul, puisque
. Donc :
.Si
, on a immédiatement
. Sinon, d'après l'inégalité des accroissements finis, on a![\left|a-\frac{p}{q}\right| \geq \frac{1}{\max_{[a-1,a+1]}|P'(x)|}\, |P(a)-P(p/q)| \geq \frac{1}{\max_{[a-1,a+1]}|P'(x)|}\,q^{-d}](/pictures/frwiki/99/ca91f3863966529f1ad3e130582e892b.png)
Posons C' = max[a − 1,a + 1] | P'(x) | , et C = min(1,1 / C'). On a dans tous les cas
.- Portail des mathématiques
Catégories : Théorème de mathématiques | Approximation diophantienne
Wikimedia Foundation. 2010.