exo7 3921

1

Simplifier \(\arccos(\cos x) - \frac 12\arccos(\cos 2x)\) pour \(x \in {[0,2\pi]}\).