Professional Documents
Culture Documents
This article provides a proof of the Lindemann-Weierstrass theorem, using a method similar to
those used by Ferdinand von Lindemann and Karl Weierstrass. This material is taken from [1] and
expanded for clarity.
Before attacking the general case, we first use the same methods to prove two earlier theorems,
namely that both e and π are transcendental. These proofs introduce the methods to be used in the
more general theorem. At the end, we present some trivial but important corollaries.
Both e and π were both known to be irrational in the 1700’s (Euler showed the former;
Lambert the latter). But e was not shown to be transcendental until 1873 (by Hermite, see [3] and
[4]), and Lindemann showed π to be transcendental as well in the late 1870’s. He also sketched a
proof of the general theorem, which was fleshed out by Weierstrass and Hilbert among others in the
late 1800’s.
The following construct is used in all three proofs. Suppose f (x) is a real polynomial, and let
t
t−x
I (t) = e f (x) x.
∫
0
t t
t
t−x ∣ t−x ′ t t−x ′
I (t) = (−e f (x))∣ + e f (x) x = e f (0) − f (t) + e f (x) x.
∣0 ∫ ∫
0 0
m m
t (j) (j)
I (t) = e
∑
f (0) −
∑
f (t) (1)
j=0 j=0
where f (j)
(x) is the j derivative of f .
th
whose coefficients are the absolute values of those for f . Then using trivial bounds
(http://planetmath.org/Bound2) on the integrand, we get
|I (t)| ≤ |e
t−x
f (x)| x ≤ |t| e
|t|
F (|t|) . (2)
∫
0
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 1/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
We now proceed to prove the theorems. The proofs of all three are similar, although the proof
for e is the easiest. The steps of the proofs are as follows:
• Assume the theorem is false, and write down an equation in exponential form that shows
that the number in question is algebraic (for π , we will use e = −1 to write the equation iπ
in that form).
• Define a polynomial or set of polynomials f , and an associated number J (or a sequence of
numbers) that is a linear combination of the values of I at the exponents in question. The
motivation for the choice of f used in each theorem is not given in Hermite’s proof. An
excellent exposition of how these definitions are relevant to the problem is given in [2]. In
essence, the ratio of the terms of I (t) in the proof that e is transcendental relates to a Padé
approximation to e ; this approximation is better the larger deg f gets.
t
The “magic” in the proof consists of finding the appropriate choice of f , as well as in defining the
transformation I to begin with. Once that is done, the work in the proof is in showing J integral
(which is harder for the more general theorems) and in deriving the lower bound. But the outline of
the proof remains the same across all three theorems.
Theorem 1. e is transcendental.
Proof. Suppose not, so that e is algebraic. Then e satisfies some integer polynomial ∑ a x i
i
= 0 with
a ≠ 0 . This means that
0
2 n
a0 + a1 e + a2 e + ⋯an e = 0.
and let
We derive two sets of inconsistent bounds on J , thus showing that the original hypothesis is false
and e is transcendental.
J = ak I (k)
∑
k=0
n m m
k (j) (j)
= ak e f (0) − f (k)
∑ ( ∑ ∑ )
k=0 j=0 j=0
n m n m
k (j) (j)
= ak e f (0) − ak f (k)
∑ ∑ ∑ ∑
k=0 j=0 k=0 j=0
m n
(j)
= − ak f (k)
∑∑
j=0 k=0
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 2/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
where the last equality follows because of the assumed linear dependence of the powers of e.
Consider the values of f (k) . If j < p − 1, then none of the factors in f vanish by
(j)
differentiation, so that f (k) = 0 for all k. If j = p − 1, then only the initial factor x
(j)
can vanish p−1
in any term in f (x) , and so f (k) = 0 if k > 0. In the case where j = p − 1, k = 0, the only term
(j) (j)
in the derivative that contributes a nonzero value is the term where x is differentiated each time; p−1
(p−1) np p
f (0) = (p − 1)! (−1) (n! ) .
p
Finally, if j ≥ p, then the terms in f (k) that are nonzero are those terms in which (x − k) has
(j)
been differentiated away; in these cases, the terms have a leading coefficient that is thus a multiple
of p! .
where M , N are integers and p ∤ M . Assume also p > a0 ; then N p + a 0M must be nonzero and thus
|J | ≥ (p − 1)! .
m
On the other hand, obviously F (k) ≤ (2n) and thus
n
n n (n+1)p−1
ane n+1
p
p
|J | ≤ |a1 | eF (1) + ⋯ |an | ne F (n) ≤ ane (2n) = ((2n) ) ≤ c
2n
where a = max(|a1 | , …, |an |) and c is some constant that does not depend on p.
Theorem 2. π is transcendental.
Proof. Again suppose not. Then iπ is also algebraic. Suppose the minimal polynomial, f , of iπ has
degree d, say
d
i
f (x) = ai x
∑
i=0
θ1 θ2 θd
(1 + e ) (1 + e ) ⋯ (1 + e ) = 0
Each term in this product can be written as a power of e, where the exponent is of the form
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 3/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
βϵ1 ,…,ϵd = ϵ1 θ1 + ϵ2 θ2 + ⋯ + ϵd θd
and each ϵ is either 0 or 1. Denote by α , …, α those exponents that are nonzero. Note that at least
i 1 n
d
one exponent is zero, and thus n < 2 . We then have
(2
d
− n) + e
α1
+ ⋯e
αn
= 0 (3)
np p−1 p p
f (x) = a x (x − α1 ) ⋯(x − αn )
d
J = I (α1 ) + ⋯ + I (αn )
J = I (αk )
∑
k=1
n m m
αk (j) (j)
= e f (0) − f (αk )
∑( ∑ ∑ )
k=1 j=0 j=0
n m n m
αk (j) (j)
= e f (0) − f (αk )
∑ ∑ ∑∑
k=1 j=0 k=1 j=0
m m n
d (j) (j)
= (n − 2 ) f (0) − f (αk )
∑ ∑∑
j=0 j=0 k=1
The remainder of the proof is quite similar to the above proof for e, except that we must first
show that the sum over k above is an integer; this was clear in the previous theorem.
Consider the inner sum over k. It is clear that this is a symmetric polynomial with integer
coefficients in a α , …, a α . The a α are algebraic integers since the a θ are. By the
d 1 d n d i d i
fundamental theorem of symmetric polynomials, it follows that the inner sum is in fact a polynomial
in the elementary symmetric functions on the a α . Since the α are the nonzero elements of the β ,
d i i …
we see that the sum is also a polynomial in the elementary symmetric functions of the a β , and d …
thus is a symmetric polynomial with integer coefficients in the a θ . Again applying the d i
fundamental theorem of symmetric polynomials, we see that the sum over k must be a polynomial in
the elementary symmetric functions of the a θ . But these elementary symmetric functions are
d i
simply the coefficients of the minimal polynomial of a iπ , which are integers. Thus the inner sum is
d
an integer.
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 4/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
By arguments identical to those in the previous theorem, we have that f (α ) = 0 when j < (j)
k p
and thus that f (α ) is an integral multiple of p! ; that f (0) is an integral multiple of p! when
(j)
k
(j)
j ≠ p − 1 ; and that
(p−1) np p
f (0) = (p − 1)! (−ad ) (α1 …αn )
if also p > n − 2 , we have that J is nonzero and divisible by (p − 1)! and thus |J | ≥ (p − 1)! .
d
But again, similar to the proof in the previous theorem, we have that
|α1 | |αn | p
|J | ≤ |α1 | e F (|α1 |) + ⋯ + |α1 | e F (|αn |) ≤ c
The Lindemann-Weierstrass theorem generalizes both these two statements and their proofs.
Theorem 3. If α 1
, …, αn are algebraic and distinct, and if β 1
, …, βn are algebraic and non-zero,
then
α1 αn
β1 e + ⋯βn e ≠ 0
Note that the facts that e and π are transcendental follow trivially from this theorem. For
example, if e were algebraic, then e is the root of a polynomial ∑ β x where β ∈ ℚ, in i
i
i
Proof. The proof follows the same general lines as above, but there are additional complexities
introduced by the arbitrary α . In the proof of the transcendality of π , we were able to use facts
i
about the relationship of the exponents in the proof; no such relationship is available to us in this
more general setting.
β1 e
α1
+ ⋯βn e
αn
= 0 (4)
where the α i
, βi are as given.
Claim we can assume, without loss of generality, that β ∈ ℤ. For if not, take all the i
expressions formed by substituting for one or more of the β one of its conjugates, and multiply i
those by the equation above. The result is a new expression of the same form (with different α ), but i
where the coefficients are rational numbers. Clear denominators, proving the claim.
Next, claim we can assume that the α are a complete set of conjugates, and that if α , α are
i i j
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 5/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
ασ(1) ασ(N)
(β1 e + ⋯βN e ) = 0
∏
σ∈SN
(Note the similarity with the proof for π ). There are N ! factors in this product, so expanding the
product, it is a sum of terms of the form
h1 α1 +⋯hN αN
e
with integral coefficients, and h + ⋯ + h = N ! . Clearly the set of all such exponents forms a
1 N
complete set of conjugates. By symmetry considerations, we see that the coefficients of two
conjugate terms are equal. Also, the product is not identically zero. To see this, consider the term in
the product formed by multiplying together, from each factor, the nonzero terms with the largest
exponents in the lexicographic order on ℂ . Since the α are unique (because the polynomial isi
irreducible), there is only one term with this largest exponent, and it has a nonzero coefficient by
construction.
Finally, order the terms so that the conjugates of a particular α appear together. That is, for the i
α1 αn
β1 e + ⋯ + βn e = 0
with the β i ∈ ℤ,and that there are integers 0 = n0 < n1 < ⋯ < nr = n chosen so that, foreach
0 ≤ t < n we have
βn +1 = βn +2 = ⋯βn
t t t+1
Now, since α i, βi are algebraic, we can choose l such that lα i, lβi are algebraic integers. Let
p
np
((x − α1 ) ⋯ (x − αn ))
f i (x) = l , 1 ≤ i ≤ n
(x − αi )
where again p is a (large) prime. We will develop contradictory estimates for |J 1 …Jn | , where
Ji = β1 I i (α1 ) + ⋯ + βn I i (αn ) , 1 ≤ i ≤ n
equation (1)).
Ji
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 6/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
n
= βk I i (αk )
∑
k=1
n np−1 n np−1
αk (j) (j)
= βk e f (0) − βk f (αk )
i
∑( ∑ ) ∑( ∑ i )
k=1 j=0 k=1 j=0
np−1 n n np−1
(j) αk (j)
= f (0) βk e − βk f (αk )
i
(∑ ) (∑ ) ∑( ∑ i )
j=0 k=1 k=1 j=0
np−1 n
(j)
= − (βk f i (αk )) .
∑ ∑
j=0 k=1
(j)
Arguing similarly to the foregoing proofs, we see that f (α ) is an algebraic integer divisible i
k
p−1 np p
f (αi ) = l (p − 1)! (αi − αk )
i
∏
k=1
k≠i
and so again, if p is large enough, this is divisible by (p − 1)! but not by p! . Thus J is a nonzero i
algebraic integer divisible by (p − 1)! but not by p! . As before, we can prove that J ≠ 0 . i
np−1 r−1
Note that by construction, f (x) can be written as a polynomial whose coefficients are polynomials
i
in α , and the integral coefficients of those polynomials are integers independent of i. Thus, noting
i
that the α form a complete set of conjugates and using the fundamental theorem on symmetric
i
polynomials as in the previous proof, we see that the product of the J is in fact a rational number. i
for each i,
n n
|αk |
|Ji | ≤ |βk | |I i (αk )| ≤ |βk αk | e Fi (|αk |)
∑ ∑
k=1 k=1
which as before is ≤ p
c for some sufficiently large c. These estimates are again in contradiction,
proving the theorem.
Note that Theorems 1 and 2 are trivial corollaries of Theorem 3, as one would expect. (To
prove that π is transcendental, note that if it were algebraic, then e = −1 would be transcendental). iπ
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 7/8
8/9/2018 proof of Lindemann-Weierstrass theorem and that e and π are transcendental
algebraic, then the other would be as well (and thus their sum would be) since cos α + sin α 2 2
= 1 .
Therefore, both cos α and sin α are transcendental. ∎
Corollary 6. If α > 0 is algebraic with α ≠ 1 , then ln α is transcendental.
Proof. If β = ln α , then e β
= α . By Corollary 4, since α is algebraic, β cannot be. ∎
References
1 A. Baker, Transcendental Number Theory, Cambridge University Press, 1990.
2 H. Cohn, A Short Proof of the Simple Continued Fraction Expansion of e, American
Mathematical Monthly, Jan. 2006, pp. 57-62.
3 C. Hermite, Sur la fonction exponentielle, Compte Rendu Acad. Sci. 77 (1873) 18-24, 74-79,
226-233, and 285-293; also in Œuvres, v. 3, Gauthier-Villiers, Paris, 1912 pp. 150-181.
4 U. G. Mitchell, M. Strain, Osiris, Vol. 1, Jan. 1936, pp. 476-496.
http://planetmath.org/proofoflindemannweierstrasstheoremandthateandpiaretranscendental 8/8