Théorème de Liouville (approximation diophantienne)

Théorème de Liouville (approximation diophantienne)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Théorème de Liouville.

En mathématiques, et plus précisément en théorie des nombres, le théorème de Liouville, démontré par Joseph Liouville en 1844, est un résultat d'approximation de nombres complexes par des rationnels : les nombres irrationnels algébriques sont "mal" approchés par les rationnels.

Énoncé

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, \frac{p}{q}, on ait:

\left| a - \frac{p}{q} \right| > \frac{c}{q^d}.

En 1844, Liouville en déduit les premiers nombres transcendants découverts, par exemple la somme des inverses des 10n! ; ces nombres sont connus désormais sous le nom de nombres de Liouville.

Démonstration du théorème

Soit k \in \mathbb{N}^* tel que P=k.P_a \in \mathbb{Z}[X].

Pour tout rationnel \frac{p}{q}, on a Y = q^dP\left(\frac{p}{q}\right) entier car P \in \mathbb{Z}[X], et Y n'est pas nul, puisque d \geq 2. Ainsi, |q^d(P(a)-P(p/q))| = |q^dP(p/q)| \geq 1.

Soit C' = max [a − 1,a + 1] | P'(x) | .

Si \left|a-\frac{p}{q}\right| \geq 1, on a immédiatement \left|a-\frac{p}{q}\right| \geq q^{-d}.

Sinon, l'inégalité des accroissements finis assure que \left|a-\frac{p}{q}\right| \geq \frac{1}{C'}\, |P(a)-P(p/q)| \geq \frac{1}{C'}\,q^{-d}

Posons C = min(1,1 / C'). On a dans tous les cas \left|a-\frac{p}{q}\right| \geq \frac{C}{q^d}.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Liouville (approximation diophantienne) de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Theoreme 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Théorème de Hurwitz (approximation diophantienne) — Pour les articles homonymes, voir Théorème de Hurwitz. En théorie des nombres, le théorème de Hurwitz sur les approximations diophantiennes, établi en 1891 par Adolf Hurwitz, dit que pour tout nombre irrationnel x, il existe une infinité de… …   Wikipédia en Français

  • Approximation diophantienne — 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. La plus petite distance (au sens de la valeur absolue) entre le nombre réel …   Wikipédia en Français

  • Theoreme de Liouville — Théorème de Liouville Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mathématicien Joseph Liouville a laissé son nom à plusieurs théorèmes : le théorème de Liouville en analyse complexe ;… …   Wikipédia en Français

  • Théorème de liouville — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mathématicien Joseph Liouville a laissé son nom à plusieurs théorèmes : le théorème de Liouville en analyse complexe ; le théorème de… …   Wikipédia en Français

  • Théorème de Liouville — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mathématicien Joseph Liouville a laissé son nom à plusieurs théorèmes : le théorème de Liouville en analyse complexe ; le théorème de… …   Wikipédia en Français

  • Fraction continue et approximation diophantienne — Le mathématicien indien Âryabhata fait usage d approximations diophantiennes construites à l aide de fractions continues dès le Ve siècle, pour extraire des racines carrées. En mathématiques, la réduite d une fraction continue …   Wikipédia en Français

  • Théorème de roth — Le Théorème de Roth est un énoncé de la théorie des nombres, concernant plus particulièrement l approximation diophantienne. Le résultat est le suivant : Pour tout nombre algébrique α et pour tout ε > 0, l équation d inconnues (p,q)… …   Wikipédia en Français

  • Théorème de Roth — Le théorème de Roth, ou théorème de Thue Siegel Roth, est un énoncé de théorie des nombres, concernant plus particulièrement l approximation diophantienne. Le résultat est le suivant : Pour tout nombre algébrique α et pour tout ε > 0, l… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”