2. Valeurs transcendantes de fonctions entières
Le premier résultat profond sur les nombres transcendants fut obtenu par C. Hermite en 1872 : par une méthode très originale reposant sur l'approximation de la fonction exponentielle ez par des fonctions rationnelles, il put montrer que le nombre e est transcendant, et c'est par une extension de la méthode d'Hermite que Ferdinand von Lindemann, en 1882, prouva que π est aussi transcendant. De nouveaux résultats de cette nature n'apparurent qu'après 1929 ; ils concernent, comme les précédents, des nombres qui sont des valeurs prises par certaines fonctions entières ou méromorphes (ou leurs fonctions inverses) pour des valeurs algébriques de la variable ; les méthodes, développées à partir d'idées de C. L. Siegel et de A. Gelfond, raffinées par T. Schneider et récemment par A. Baker, utilisent, comme celle d'Hermite, des propriétés des fonctions entières d'une variable complexe. Aucune méthode n'a encore été trouvée pour des nombres qui ne sont pas donnés de cette manière, par exemple la constante d'Euler :
Les théorèmes d'Hermite et de Lindemann sont des cas particuliers du résultat suivant.
Théorème I. Un nombre complexe α ≠ 0 ne peut être tel que α et eα soient tous deux algébriques.
En effet, ce théorème entraîne, en faisant α = 1, que e est transcendant et, en faisant α = iπ, que π est transcendant.
La méthode de Siegel-Gelfond-Schneider déduit le théorème I d'un théorème plus général concernant les valeurs de deux fonctions entières liées par des équations différentielles algébriques :
Théorème II. Soit f et g deux fonctions entières d'ordre fini ρ, c'est-à-dire vérifiant des majorations,[…]
… pour nos abonnés, l'article se prolonge sur 3 pages…
