Aller au contenu

Fonction exponentielle/Annexe/Démonstration que la somme infinie de tous les inverses des k! est égale à e

Leçons de niveau 13
Une page de Wikiversité, la communauté pédagogique libre.
Démonstration que la somme infinie de tous les inverses des k! est égale à e
Image logo représentative de la faculté
Annexe 3
Leçon : Fonction exponentielle

Annexe de niveau 13.

Précédent :Activité d'introduction
Suivant :Restitution organisée de connaissances
En raison de limitations techniques, la typographie souhaitable du titre, « Annexe : Démonstration que la somme infinie de tous les inverses des k! est égale à e
Fonction exponentielle/Annexe/Démonstration que la somme infinie de tous les inverses des k! est égale à e
 », n'a pu être restituée correctement ci-dessus.




Le nombre e est appelé nombre d'Euler (constante de Neper). C'est la valeur en 1 de la fonction exponentielle : e = exp(1).

On cherche à démontrer que et plus généralement, que pour tout réel , , en utilisant quelques propriétés de la fonction exponentielle :

Cette démonstration peut se faire avec des outils mathématiques du niveau de Terminale scientifique.

Démonstration

[modifier | modifier le wikicode]

On se place dans le cas , pour alléger l'écriture mais englober le cas particulier (la preuve dans le cas serait analogue).

Rappelons tout d’abord que par convention, et pour tout réel , .

On pose, pour tout réel et tout entier naturel  :

(donc et )

puis .

Alors, et pour tout entier ,

donc :

Or (par un théorème de comparaison),

donc

ce qu’il fallait démontrer.

Corollaire : irrationalité de e

[modifier | modifier le wikicode]
Début d'un lemme
Fin du lemme

Remarquons que est entier, donc le lemme signifie que :

  • cet entier est la partie entière de  ;
  • le réel n'est pas entier.

On peut même démontrer de façon élémentaire que n'est pas algébrique de degré ≤ 2 : Intégration en mathématiques/Devoir/e est-il un rationnel ?.

En fait, est même transcendant, mais cela ne sera démontré qu'au niveau 16 : Introduction à la théorie des nombres/Annexe/Démonstration de la transcendance de e et pi.