El ejemplo de alex.jordan termina el asunto, y se pueden construir otros similares. Tenemos un ángulo $$ \theta = \arctan \left( \frac{1}{\sqrt{12}} \right) $$ y queremos saber si $ x = \frac{\theta}{\pi} $ es la raíz de una ecuación con coeficientes racionales.
Bueno, $$ e^{i \theta} = \sqrt{\frac{12}{13}} + i \sqrt{\frac{1}{13}} $$ Siguiente, $\cos 2 \theta = 2 \cos^2 \theta - 1 = \frac{11}{13}.$ Así, por el Corolario 3.12 de la página 41 de NIVEN sabemos que $2 \theta$ no es un múltiplo racional de $\pi.$ Por lo tanto, tampoco es $\theta,$ y $$ x = \frac{\theta}{\pi} $$ es irracional.
Ahora, el logaritmo es multivalente en el plano complejo. Podemos elegir $$ \log(-1) = \pi i. $$ Con un verdadero $x,$ hemos elegido $$ (-1)^x = \exp(x \log(-1)) = \exp(x\pi i) = \cos \pi x + i \sin \pi x. $$ Con nuestro $ x = \frac{\theta}{\pi}, $ tenemos $$ (-1)^x = e^{i \pi x} = e^{i \theta} = \sqrt{\frac{12}{13}} + i \sqrt{\frac{1}{13}} $$ El lado derecho es algebraico.
El teorema de Gelfond-Schneider, Niven página 134, dice que si $\alpha,\beta$ son números algebraicos no nulos, con $\alpha \neq 1$ y $\beta$ no es un número racional real, entonces cualquier valor de $\alpha^\beta$ es trascendental.
Tomando $\alpha = -1$ y $\beta = x,$ que es real pero irracional. Somos ASUMIENDO que $x$ es algebraico sobre $\mathbb Q.$ La suposición, junto con Gelfond-Schneider, dice que $ (-1)^x$ es trascendental. Sin embargo, ya sabemos que $ (-1)^x = \sqrt{\frac{12}{13}} + i \sqrt{\frac{1}{13}} $ es algebraico. Este contradice la suposición. Así que $x = \theta / \pi$ es trascendental, con $ \theta = \arctan \left( \frac{1}{\sqrt{12}} \right) $