Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

Cet article présente deux preuves algébriques de la transcendance du nombre $e$ utilisant les séries formelles, qui améliorent la démonstration analytique classique de Hilbert.

L'essentiel

Le Grand Mystère du Nombre $e$

Imaginez que le nombre $e$ (environ 2,718) soit un roi très puissant dans le monde des mathématiques. Pendant longtemps, les mathématiciens ont su qu'il était « transcendant ». Qu'est-ce que cela signifie ? Cela veut dire qu'il est si spécial qu'il ne peut pas être la solution d'une équation simple faite avec des nombres entiers (comme $2x + 3 = 0$). Il est unique, insaisissable, et ne se laisse pas capturer par les règles de l'algèbre ordinaire.

Le premier à prouver cela fut Hermite, puis Hilbert a donné une preuve célèbre. Mais cette preuve de Hilbert, bien que magnifique, utilisait une « boîte noire » un peu effrayante : les ensembles infinis non dénombrables.

Pour faire simple, imaginez que pour prouver que le roi $e$ est unique, Hilbert a dû faire appel à une foule infinie de personnes (une foule si grande qu'on ne peut même pas les compter, comme les grains de sable sur toutes les plages du monde). L'auteur de l'article, Martin Klazar, se demande : « Est-ce qu'on a vraiment besoin de toute cette foule immense pour prouver une chose aussi précise ? Ne peut-on pas le faire avec une équipe plus petite, plus maniable, et plus logique ? »

C'est l'objectif de cet article : prouver la même chose, mais en utilisant des outils plus « propres » et plus algébriques, sans avoir besoin de cette foule infinie.

Les Deux Nouvelles Approches

L'auteur nous présente deux nouvelles façons de prouver la transcendance de $e$, en remplaçant les « foules infinies » par des séries formelles.

1. La Métaphore des Lego (La preuve de Beukers, Bézivin et Robba)

Imaginez que vous essayez de construire une tour avec des Lego.

• L'ancienne méthode (Hilbert) : On utilisait des blocs de toutes les tailles possibles, y compris des blocs invisibles et infinis, pour voir si la tour tombait.
• La nouvelle méthode (Beukers et ses collègues) : Ils utilisent un jeu de Lego très spécifique et fini. Ils construisent une structure mathématique (une série formelle) qui ressemble à une machine à calculer.

L'idée est la suivante :

1. On suppose que $e$ n'est pas transcendant (c'est-à-dire qu'on peut l'exprimer avec une équation simple).
2. On construit une machine mathématique (une série) qui devrait, selon cette hypothèse, se comporter de manière très simple (comme une fraction simple).
3. Mais en regardant de plus près les pièces de Lego (les coefficients), on se rend compte que la machine est trop complexe pour être une simple fraction. Elle a des « défauts » (des pôles) qui ne devraient pas exister.
4. Le résultat : C'est comme si vous aviez dit « cette tour est stable », mais en regardant les Lego, vous voyez qu'elle est en train de s'effondrer parce que les pièces ne s'emboîtent pas. La contradiction prouve que votre hypothèse de départ (que $e$ est simple) était fausse.

Pourquoi c'est mieux ? Au lieu de faire appel à une infinité de nombres réels (la foule), on ne joue qu'avec des suites de nombres (des séquences) que l'on peut énumérer et compter. On reste dans le monde des nombres entiers et des suites logiques.

2. La Métaphore du Voyageur et de la Route (La preuve de l'auteur)

La deuxième preuve est l'œuvre de Martin Klazar lui-même. Elle est basée sur une idée ingénieuse : traduire le vieux raisonnement de Hilbert dans le langage des séries formelles.

Imaginez que vous devez mesurer la distance parcourue par un voyageur ($e$) sur une route infinie.

• L'ancienne méthode : Pour mesurer, on utilisait une règle magique qui nécessitait de connaître chaque point de la route, y compris les points invisibles à l'infini. C'était comme essayer de compter chaque grain de poussière sur la route.
• La nouvelle méthode : Klazar invente un « voyageur formel ». Ce voyageur ne marche pas sur la route réelle, mais sur une carte dessinée avec des règles strictes (les séries formelles).

L'astuce consiste à utiliser une « intégrale » (une sorte de calcul de surface sous une courbe) mais en version « semi-formelle ».

1. On prend une fonction spéciale (comme un véhicule) qui voyage de 0 à l'infini.
2. On calcule la « distance » parcourue en utilisant des règles de calcul qui ne nécessitent pas de toucher l'infini réel, mais qui fonctionnent comme des formules algébriques.
3. On découpe le voyage en deux parties : un petit trajet au début (facile à calculer) et un grand trajet vers l'infini.
4. Le petit trajet est très petit (il tend vers zéro). Le grand trajet, lui, doit être un nombre entier très gros (un multiple de factorielles).
5. Le paradoxe : Si $e$ n'était pas transcendant, la somme de ces deux trajets devrait être zéro. Mais mathématiquement, c'est impossible ! Vous ne pouvez pas additionner un nombre entier énorme et un tout petit nombre pour obtenir zéro.

L'amélioration : Ici, l'auteur remplace les intégrales réelles (qui nécessitent de manipuler des ensembles infinis non dénombrables) par des « intégrales de Newton » sur des séries. C'est comme passer d'une mesure faite avec une règle magique à l'infini, à une mesure faite avec une calculatrice qui suit des règles strictes et finies.

En Résumé : Pourquoi est-ce important ?

Ce papier est un peu comme une rénovation d'un bâtiment historique.

• Le bâtiment (la preuve que $e$ est transcendant) est solide et fonctionne depuis 100 ans.
• Mais il avait des fondations un peu « sales » : il utilisait des concepts d'infini infini (les ensembles non dénombrables) qui sont parfois difficiles à manier pour les logiciens purs.
• Martin Klazar et ses collègues ont nettoyé les fondations. Ils ont remplacé les matériaux « infinis » par des matériaux « finis et comptables » (les séries formelles).

Le message clé : On peut prouver des vérités mathématiques profondes sans avoir besoin de s'imaginer des foules infinies de nombres. On peut le faire avec des outils plus simples, plus élégants et plus « propres », en restant dans le monde des nombres que l'on peut compter un par un. C'est une victoire de la logique pure sur la complexité de l'infini.

Résumé technique

1. Problématique et Contexte

L'article aborde la question fondamentale de la transcendance du nombre $e$. Bien que la preuve originale d'Hermite et la version simplifiée de Hilbert soient des classiques de l'analyse mathématique, elles reposent sur l'utilisation d'intégrales définies sur des ensembles non dénombrables (les fonctions réelles $x^n e^{-x}$ sur $[0, +\infty)$).

L'auteur s'interroge sur la possibilité de prouver ce résultat sans faire appel substantiel à des ensembles non dénombrables (comme l'intervalle réel continu), en utilisant uniquement des objets dénombrables. L'objectif est de fournir des preuves purement algébriques ou « formelles » qui évitent la théorie de l'intégration réelle classique, tout en conservant la rigueur nécessaire.

2. Méthodologie

Klazar propose deux nouvelles preuves algébriques basées sur le langage des séries formelles (formal power series). La méthodologie centrale consiste à traduire les arguments analytiques de Hilbert (intégrales, dérivées, limites) en opérations algébriques sur des séries formelles à coefficients entiers ou rationnels.

Les deux approches présentées sont :

A. Spécialisation de la preuve de Beukers, Bézivin et Robba

Cette première preuve adapte la démonstration du théorème de Lindemann-Weierstrass donnée par Beukers, Bézivin et Robba (1990).

• Outils : Utilisation des séries formelles rationnelles dans $\mathbb{C}[[x]]$.
• Stratégie :
  1. On suppose par l'absurde qu'il existe une relation linéaire à coefficients entiers entre puissances de $e$.
  2. On définit une suite d'entiers $v_n$ basée sur des sommes partielles de séries exponentielles.
  3. On démontre que si la relation d'algébricité existe, la série génératrice $V(x) = \sum v_n x^n$ doit être une série rationnelle.
  4. En utilisant la décomposition en fractions partielles et les propriétés des pôles, on montre que l'expression $(1-x)V(x) - x^2 V'(x)$ conduit à une contradiction avec la structure des pôles d'une série rationnelle (Proposition 2.1).
• Avantage : Cette méthode remplace les fonctions continues par des suites complexes et des séries formelles, éliminant ainsi la nécessité d'intégrales sur des intervalles réels.

B. Preuve par intégration « semi-formelle » (Intégrale de Newton)

La seconde preuve, originale de l'auteur, traduit directement la preuve de Hilbert dans le cadre des séries formelles.

• Outils : Définition d'une « intégrale de Newton » pour les séries formelles convergentes ($R\{x\}$).
• Concepts clés :
  • Intégrale formelle : Définie comme l'opérateur inverse de la dérivation formelle ($\int \sum a_n x^n = \sum \frac{a_n}{n+1} x^{n+1}$).
  • Intégrale impropre : Définie comme la limite d'intégrales propres sur des suites tendant vers l'infini, mais calculée algébriquement via les propriétés de convergence des séries.
  • Identité d'Euler formelle : Démontrée par récurrence sans utiliser l'analyse réelle, établissant que $\int_0^{+\infty} x^k \text{Exp}(-x) = k!$.
• Stratégie :
  1. On construit un polynôme $p_r(x)$ similaire à celui de Hilbert.
  2. On considère l'intégrale impropre formelle $I_r = \int_0^{+\infty} p_r(x) \text{Exp}(-x) dx$.
  3. On décompose cette intégrale en deux parties : $A_r$ (sur $[0, n]$) et $B_r$ (sur $[n, +\infty)$).
  4. On montre que $B_r$ est un multiple entier de $r!$ et non nul pour une infinité de $r$, tandis que $A_r$ est borné exponentiellement (et donc négligeable devant $r!$).
  5. La contradiction $A_r + B_r = 0$ est obtenue purement par des estimations algébriques sur les coefficients.

3. Résultats Principaux

• Preuve 1 (Algorithme de Beukers-Bézivin-Robba) : Une preuve rigoureuse de la transcendance de $e$ (cas particulier du théorème de Lindemann-Weierstrass) utilisant uniquement les propriétés des séries formelles rationnelles et des suites récurrentes, sans intégration réelle.
• Preuve 2 (Intégration semi-formelle) : Une preuve directe de la transcendance de $e$ qui reproduit la structure de la preuve de Hilbert mais en remplaçant les intégrales de Riemann/Lebesgue par des intégrales de Newton sur des séries formelles.
• Élimination des ensembles non dénombrables : Les deux preuves démontrent que la transcendance de $e$ peut être établie sans invoquer la structure topologique complète de $\mathbb{R}$ ou des ensembles non dénombrables, en se restreignant à des objets dénombrables (séries formelles, suites d'entiers).

4. Contributions et Signification

• Réduction ontologique : La contribution majeure de l'article n'est pas l'utilisation des séries formelles en soi (outil courant), mais la démonstration qu'elles permettent d'éviter l'utilisation substantielle d'ensembles non dénombrables dans des preuves de transcendance. Cela répond à une question épistémologique sur la nature des objets nécessaires pour prouver des propriétés des nombres réels.
• Clarification pédagogique et logique : L'auteur réorganise la preuve de Beukers, Bézivin et Robba pour la spécialiser au cas de $e$, la rendant plus accessible.
• Nouveauté technique : La définition et l'utilisation systématique de l'intégrale de Newton et des opérations « semi-formelles » (décalages $f(x+b)$, intégrales impropres formelles) offrent un nouveau cadre méthodologique pour traiter des problèmes d'analyse numérique et de théorie des nombres de manière purement algébrique.
• Critique de la littérature : L'article souligne que, malgré son élégance et son importance pour la logique mathématique (élimination des ensembles infinis non dénombrables), le travail de Beukers, Bézivin et Robba est peu cité, et l'auteur cherche à remettre en lumière ces approches.

En conclusion, Martin Klazar fournit deux démonstrations élégantes qui transforment un problème d'analyse classique en un problème d'algèbre formelle, prouvant que la transcendance de $e$ est une propriété qui peut être déduite de la structure algébrique des séries formelles, indépendamment de la théorie des ensembles réels continus.