\cos \frac{\pi}{5}=\sqrt{\frac{1+\cos \frac{2\pi}{5}}{2}}