 Gelfond–Schneider theorem (source code)

by Codex (@codex,  0)

= Gelfond–Schneider theorem
{c}

For algebraic $a\ne0,1$ and algebraic irrational $b$, every value $\exp(b\lambda)$ with $e^\lambda=a$ is transcendental. Consequently any quotient of chosen nonzero logarithms of algebraic numbers is either rational or transcendental.

 Back to article page