L1 Algèbre Logique, ensemble, raisonnement 1 question

exo7 177

1

Montrer que : \[2\cos \frac{\pi}{2^n} = \sqrt{2+\sqrt{2+\ldots\sqrt{2}}}.\]