Résoudre cos x.cos(2x).cos(4x)=1/8.

Problème paru dans La Jaune et la Rouge de novembre 2019

 Solution