à tous!
Voilà j'étais entrain de montrer la validité de l'égalité de Huygens, un moment j'étudie le signe de
2cos(x)^3 - 3cos(x)² + 1
Alors j'ai trouvé "au feeling" cette factorisation :
(cos(x) - 1)²(2cos(x) + 1)
Mais je ne vois pas comment y arriver rigouresement...