Lindemann-Weierstrass theorem

The Lindemann-Weierstrass theorem is a theorem in mathematics that is very useful in establishing the transcendence of numbers. The theorem states:

If are distinct algebraic numbers, and are any nonzero algebraic numbers, then

The transcendence of e and &pi are direct corollaries of this theorem. To show the transcendence of e, note that if e were algebraic, there would exists nonzero rational_numbers such that

Since every rational number is algebraic, this violates the Lindemann-Weierstrass theorem, and so e must be transcendental.

To show the transcendence of π, suppose that π was algebraic. Since the set of all algebraic numbers forms a field, this implies that πi and 2πi are also algebraic. Taking

the Lindemann-Weierstrass theorem gives us the equation (see Euler's formula)

and this contradiction establishes the transcendence of π.