Category:Hermite-Lindemann-Weierstrass Theorem

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Hermite-Lindemann-Weierstrass Theorem:


Let $a_1, \cdots, a_n$ be algebraic numbers (possibly complex) that are linearly independent over the rational numbers $\Q$.

Then:

$e^{a_1}, \cdots, e^{a_n}$ are algebraically independent

where $e$ is Euler's number.


Source of Name

This entry was named for Charles HermiteCarl Louis Ferdinand von Lindemann and Karl Theodor Wilhelm Weierstrass.