La respuesta a mi segunda pregunta es "no". Supongamos que algunos de los $q\in\mathbb{Q}\cap [0,1)$ satisface $$\cos q\pi = x, \qquad x=\frac{1-\sqrt{5}}{2}$$
A continuación, la cantidad de $z=x+i\sqrt{-x}=e^{iq\pi}$ debe ser una raíz de la unidad.
Sin embargo, podemos calcular explícitamente $$z^n=(a_n x + b_n) + (c_n x + d_n)i\sqrt{-x}$$
(el uso de $x^2=x+1$)
con lo cual un simple inducción muestra que $a_n, b_n, c_n, d_n\in\mathbb{Z}^+$ creciente de las secuencias de $n\geq 1$, y, en particular,$a_n \geq 1$$n\geq 1$.
Desde $x$ es irracional tenemos $\Re(z^n)=a_n x + b_n \not = 1$$n\geq 1$, lo $z$ no es una raíz de la unidad, por lo tanto no hay tal $q$ existe. De ello se desprende que la toma de $a=0$ en la ecuación original conduce a un valor de $b$ que no conmensurables con las $\pi$.