Bonjour,

Je cherche à prouver que si a et b sont des réels tels que l'équation :
sin(x)^3 = a*cos(x) + b*sin(x) admettent 3 solutions distinctes x1, x2, x3, sur [0,Pi], alors x1 + x2 + x3 = 0 mod(Pi)

J'ai cherché dans tous les sens avec les formules trigos mais sans succès.

Quelqu'un aurait-il une idée?

Merci