Montrer que :
$$\cos(\frac{\pi}{20})+\cos(\frac{9\pi}{20})=\frac{1}{2}\sqrt{3+\sqrt{5}}$$
Hassan Tarfaoui