exo7 3917

1

Soit \(x = \arcsin \frac{1+\sqrt5}4\). Calculer \(\cos 4x\) et en déduire \(x\).