Resolver la ecuación \begin{equation} \cos \frac{4x}{3}=\cos x+1\tag 1\end{equation}
Había intentado por tomar $\cos\dfrac x3=t$ y a partir de esto, hemos $\displaystyle\cos\frac{4x}3=2\left(2t^2-1\right)^2-1; \cos x=4t^3-3t$
$(1) \iff t\left(8t^3-4t^2-8t+3\right)=0$
Pero no puedo solucionar $8t^3-4t^2-8t+3=0$ porque me da el aproximado de raíces cuando necesito raíces exacta