e est un nombre irrationnel

Les élèves ont parfois la chance, en classe, de suivre les preuves montrant que et sont des nombres irrationnels.  Ces preuves, relativement courtes et peu exigeantes, utilisent néanmoins un raisonnement par l’absurde.  Cette forme puissante de raisonnement logique, nouvelle pour les élèves, n’est pas toujours facile à comprendre ni à accepter.

Dans le même ordre d’idées, voici une preuve assez simple de l’irrationalité du nombre e (considérant une connaissance préalable des factorielles et des séries géométriques).

En se rappelant que le nombre e est égal à la série infinie suivante

on appelle Sn la somme partielle des termes de cette série.  C’est-à-dire la somme des n premiers termes de cette série telle que

Remarquons que pour tout n = 1, 2, 3, 4, … on a

Cela implique aussi que

Que reste-t-il lorsqu’on soustrait Sn à e ?  Il reste

ce qui est égal à

En effectuant une mise en évidence simple, on obtient

Nous posons alors l’inéquation suivante, étape clé de la démarche,

puisque, toujours avec n = 1, 2, 3, 4, …, les dénominateurs de chaque terme étant respectivement strictement plus petits, les fractions sont respectivement strictement plus grandes


Or, cette nouvelle expression est constituée d’une série géométrique infinie (dans la parenthèse).  Le premier terme a de cette série géométrique est 1 et la raison r de cette série géométrique est

Or, comme n = 1, 2, 3, 4, … il se trouve très certainement que

et on peut donc exprimer la somme de cette série géométrique infinie de façon succincte, c’est

On trouve

En reprenant seulement ce qui nous intéresse

et en mettant sur dénominateur commun

et en effectuant la soustraction, on obtient

et enfin en simplifiant

Le numérateur s’annule avec le facteur (n + 1)! du dénominateur.  Comme

il reste

En multipliant par n! de chaque côté (n! étant strictement positif, on ne change pas les signes de côté) on obtient

Notons à ce moment que cette inégalité tient pour tout n = 1, 2, 3, 4, …

Supposons que e soit un nombre rationnel.  Il pourrait alors s’écrire comme une fraction d’entiers.  Sachant que la valeur de e est entre 2 et 3, supposons que la fraction réduite représentant le nombre e soit

avec et

Cette supposition nous mènera à une contradiction.

Puisque l’inégalité ci-haut tient pour tout n = 1, 2, 3, 4, … choisissons n tel que

Certainement,sans quoi e serait un entier (ce qui n’est clairement pas le cas).  On en déduit donc que

et que

c’est-à-dire une fraction strictement plus petite que 1.  Dans l’inégalité suivante

l’expression du milieu

est comprise en 0 et 1 (exclusivement) et ne peut donc pas être un nombre entier.  En remplaçant e par la fraction réduite qui lui est égale, obtient

puis en développant Sn

Enfin réexprimant le premier terme et en distribuant n! dans la deuxième parenthèse on obtient

Or, on a choisit

Cela implique que q divise n! puisque

Le premier terme

est donc un nombre entier.  Par ailleurs, le même argument s’applique à chaque terme à l’intérieur de la parenthèse : n! est certainement un entier, 2! divise n!, c’est donc aussi un entier,  3! divise n!, encore là un entier…  Et ce jusqu’au dernier terme, n! divisant certainement n!, il s’agit encore d’un entier.  L’expression entre parenthèse

est donc aussi un nombre entier.  Aussi surprenant que cela puisse paraître, l’expression

est un entier.  Or comme

n’est pas un entier, et que nous avions plus haut

nous obtenons la contradiction recherchée !  Le nombre e est irrationnel et ne peut s’exprimer comme un quotient d’entiers.

5 thoughts on “e est un nombre irrationnel

  1. Une première questio qui se pose: l’écriture de e à l’aide des séries exige du lecteur des connaissances de haut niveau en maths. Par conséquent la preuve par absurde de l’irrationnalité de e ne lui poserait pas de problème. Elle est plus onvaincante que celle avec les séries. Cette dernière est formelle et éclairante mais pas convaincante.
    De plus dans votre preuve il y a aussi raisonnement par absurde

  2. Bonjour Cherif Zhor,

    vous avez un bon point. Si on veut montrer que (1 + 1/k)^k lorsque k tend vers l’infini est égal à la somme des 1/(n!) lorsque n tend vers l’infini, alors oui, cela exige du lecteur des connaissances mathématiques de plus haut niveau (donc effectivement, aucun problème à comprendre la preuve).

    Cependant, si on ne considère que la série des 1/(n!), il n’est pas difficile de montrer que cette série converge vers une valeur entre 2 et 3. On pourrait donc sans problème, dans un premier temps, s’attarder à cette valeur et montrer qu’elle est irrationnelle. La suite viendrait éventuellement…

    Quant au raisonnement par l’absurde, c’était bien sûr voulu ! C’était le but de la chose !

  3. Merci beaucoup, c’est bien détaillé et de fait très agréable à suivre et à lire.
    La méthode m’a permis de démontrer que la série des ((-1)^n)/(2n!) convergeait vers un irrationnel en raisonnant de façon similaire. C’est une démonstration que je ne parvenais pas à faire depuis un moment et je n’ai trouvé nulle par ailleurs de quoi m’aider.

  4. Ok j’ai suivi le raisonnement et j’ai compris donc merci.
    Pourquoi avoir écrit on choisit n > q
    Ca laisse entendre que vous allez tester n < q
    Or n tend vers l'infini d'apres la définition de e qui est une somme infinie de 1/n
    Donc n est forcément supérieur à n'importe quel entier q

  5. Bonjour Paul,

    ici, n est choisi pour « séparer » la série qui correspond à e :
    e = (1 + 1/1! + 1/2! + … + 1/n!) + (1/(n + 1)! + 1/(n + 2)! + … )
    La première parenthèse comporte un nombre fini de termes, c’est la somme partielle, Sn. La deuxième parenthèse contient un nombre infini de termes.

    Ce n’est pas n qui tend vers l’infini. Dans le billet, j’ai mis trois petits points, mais on aurait pu écrire (peut-être plus rigoureusement) quelque chose du genre

    e = lim k→∞ 1 + 1/1! + 1/2! + 1/3! + … + 1/n! + … + 1/k!

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit exceeded. Please complete the captcha once again.