Prove that $\dfrac{1}{2}\sqrt{4\sin^2(36^{\circ})-1} = \cos(72^{\circ})$
This question seemed pretty simple so I first started out by turning the left-hand side into terms of $\cos(x)$. We have $\dfrac{1}{2}\sqrt{4(1-\cos^2(36^{\circ}))-1} = \dfrac{1}{2}\sqrt{3-4\cos^2(36^{\circ})}$. Then I would use $\cos(72^{\circ}) = 2\cos^2(36^{\circ})-1$. Thus, $\dfrac{1}{2}\sqrt{3-4\cos^2(36^{\circ})} = \dfrac{1}{2}\sqrt{3-2(\cos(72^{\circ})+1)} = \dfrac{1}{2}\sqrt{1-2\cos(72^{\circ})}$. I get stuck here.