If a·t² + b·π² is rational for a real logarithm t ≠ 0 of an algebraic number, with a ≠ 0 and b rational, then e^{iγ/π} is transcendental for every rational γ ≠ 0

Initializing...

If a·t² + b·π² is rational for a real logarithm t ≠ 0 of an algebraic number, with a ≠ 0 and b rational, then e^{iγ/π} is transcendental for every rational γ ≠ 0 · Prove2Me