If $\cos{x}*\cos{2x}=\frac{1}{4}$, $x\in[0,90^o)$, then what is the solution of the equation?
I attempted to solve this question as follows:
$\cos{2x}=\cos^2{x}-\sin^2{x}$
$\implies \cos{x}(\cos^2{x}-\sin^2{x})=\frac{1}{4}$
$\cos^3{x}-\sin{x}(\cos{x}\sin{x})$
And I got stuck here, I did not know how to continue. I plugged in a few values for $x$ and worked out that $x=36^o$ is the solution. Could you please help me solve this question?
Since $x \neq 0$, multiplying both sides by $4\sin x$ and using double angle formula, $\sin 2\theta = 2\sin \theta \cos \theta \,$ twice, it is obtained $$\sin 4x = \sin x$$
whence $$4x+x=\pi \Rightarrow x=\pi/5=36^{\circ}$$