exo7 3920

1

Simplifier \(\cos(3\arctan x)\) et \(\cos^2\left(\frac 12\arctan x\right)\).