Nombre transcendant - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Esquisse de démonstration de la transcendance de e

La première démonstration que e est transcendant date de 1873. Nous suivrons maintenant la stratégie de David Hilbert (1862 - 1943) qui donna une simplification de la démonstration originale de Charles Hermite. L'idée est la suivante :

Supposons, dans le but de trouver une contradiction, que e est algébrique. Alors, il existe un ensemble fini de coefficients entiers c_{0},c_{1},\ldots,c_{n}\, satisfaisant l'équation :

c_{0}+c_{1}e+c_{2}e^{2}+\cdots+c_{n}e^{n}=0\,

et c0 et cn sont tous deux différents de zéro.

Dépendant de la valeur de n, nous précisons un entier positif suffisamment grand k (pour nos besoin ultérieurs) et multiplions les deux côtés de l'équation ci-dessus par \int^{\infty}_{0}\, , où la notation \int^{b}_{a}\, sera utilisé dans cette démonstration comme abréviation de l'intégrale :

\int^{b}_{a}:=\int^{b}_{a}x^{k}[(x-1)(x-2)\cdots(x-n)]^{k+1}e^{-x}\,dx\, .

Nous arrivons à l'équation :

c_{0}\int^{\infty}_{0}+c_{1}e\int^{\infty}_{0}+\cdots+c_{n}e^{n}\int^{\infty}_{0} = 0\,

qui peut maintenant être écrite sous la forme

P_{1}+P_{2}=0\,

P_{1}=c_{0}\int^{\infty}_{0}+c_{1}e\int^{\infty}_{1}+c_{2}e^{2}\int^{\infty}_{2}+\cdots+c_{n}e^{n}\int^{\infty}_{n}\,
P_{2}=c_{1}e\int^{1}_{0}+c_{2}e^{2}\int^{2}_{0}+\cdots+c_{n}e^{n}\int^{n}_{0}\,

Le plan d'attaque maintenant est de montrer que pour un k suffisamment grand, les relations ci-dessus sont impossible à satisfaire parce que

\frac{P_{1}}{k!}\, est un entier différent de zéro et \frac{P_{2}}{k!}\, ne l'est pas.

Le fait que \frac{P_{1}}{k!}\, soit un entier différent de zéro résulte de la relation

\int^{\infty}_{0}x^{j}e^{-x}\,dx=j!\,

qui est valide pour tout entier positif j et peut être prouvé par récurrence au moyen d'une intégration par parties.

Pour montrer que

\left|\frac{P_{2}}{k!}\right|<1\, pour un k suffisamment grand

nous noterons d'abord que x^{k}[(x-1)(x-2)\cdots(x-n)]^{k+1}e^{-x}\, est le produit des fonctions [x(x-1)(x-2)\cdots(x-n)]^{k}\, et (x-1)(x-2)\cdots(x-n)e^{-x}\, . En utilisant la borne supérieure pour |x(x-1)(x-2)\cdots(x-n)|\, et |(x-1)(x-2)\cdots(x-n)e^{-x}|\, sur l'intervalle [0,n] et en employant le fait que

\lim_{k\to\infty}\frac{G^k}{k!}=0\, pour chaque nombre réel G

est alors suffisant pour achever la démonstration.

Une stratégie similaire, différente de l'approche originale de Lindemann, peut être utilisée pour montrer que le nombre \pi\, est transcendant. En outre, la fonction gamma, certaines estimations pour e et des faits à propos des polynômes symétriques jouent un rôle vital dans la démonstration.

Pour des informations détaillées concernant les démonstrations de transcendances de \pi\, et e\, , voir les références et les liens externes.

Page générée en 0.107 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise