Lindemann theorem
The exponential function takes transcendental values (cf. Transcendental number) at algebraic points
(cf. Algebraic number); proved by F. Lindemann in 1882. The following more general assertion, which was stated without proof by Lindemann and was proved by K. Weierstrass in 1885, is known as the Lindemann–Weierstrass theorem.
Let be non-zero algebraic numbers and let
be pairwise distinct algebraic numbers; then
![]() |
This assertion is equivalent to the following: If are algebraic numbers, linearly independent over the field of rational numbers, then the numbers
are algebraically independent.
The method of proving Lindemann's theorem is known as the Hermite–Lindemann method. It is a development of Hermite's method by which he proved in 1873 that is transcendental, and it is based on the application of the Hermite identity to certain specially constructed polynomials.
From Lindemann's theorem one can deduce that is transcendental, that the problem of squaring the circle has no solution, and also that the functions
,
and
take transcendental values for algebraic
, and that
takes transcendental values for algebraic
.
References
[1] | A.O. Gel'fond, "Transcendental and algebraic numbers" , Dover, reprint (1960) (Translated from Russian) |
[2] | N.I. Fel'dman, A.B. Shidlovskii, "The development and present state of the theory of transcendental numbers" Russian Math. Surveys , 22 : 3 (1967) pp. 1–79 Uspekhi Mat. Nauk , 22 : 3 (1967) pp. 3–81 |
Comments
D. Hilbert gave a simplified proof of the theorem, which was later polished by a large number of other authors, see [a1]. In 1988, F. Beukers, J.P. Bézivin and Ph. Robba gave a new elementary proof, see [a2].
References
[a1] | A. Baker, "Transcendental number theory" , Cambridge Univ. Press (1975) |
[a2] | F. Beukers, J.P. Bézivin, Ph. Robba, "An alternative proof of the Lindemann–Weierstrass theorem" Amer. Math. Monthly (Forthcoming (1989)) |
Lindemann theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lindemann_theorem&oldid=33021