Solution par PM
voici la solution de TsQ
Ma réponse : sqrt(3)
Déjà y = sin(7pi/1Cool = sin (9pi/18 - 2pi/1Cool = cos (pi/9)
et x = cos (7pi/1Cool = sin(pi/9)
on cherche x/y + 4*x
On a (1) cos(pi/3) = 1/2 = 4y³ - 3y et (2) sin(pi/3) = 3x - 4x³
Ca donne donc x/y + 4x = (-sqrt(3) + 4*sqrt(3)*x^2 - 12*x + 16*x^3) / (-3+4*x^2) = sqrt(3) en réutilisant (2).