cos(5x) = cos(3x+2x) = cos(2x).cos(3x) - sin(2x).sin(3x)
= (2cos²(x)-1).(4cos³(x) - 3.cos(x)) - 2.sin(x).cos(x).(3sin(x) - 4sin³(x))
= 8cos^5(x) - 6cos³(x) - 4cos³(x) + 3.cos(x) - 6.cos(x).sin²(x) + 8.cos(x).sin^4(x)
= 8cos^5(x) - 10cos³(x) + 3.cos(x) - 6.cos(x).(1 - cos²(x)) + 8.cos(x).(1 - cos²(x))²
= 8cos^5(x) - 10cos³(x) + 3.cos(x) - 6.cos(x) + 6cos³(x) + 8.cos(x).(1 + cos^4(x) - 2cos²(x))
= 8cos^5(x) - 6cos³(x) - 4cos³(x) + 3.cos(x) - 6.cos(x) + 6cos³(x) + 8.cos(x) + 8cos^5(x) - 16cos³(x)
= 16.cos^5(x) - 20.cos³(x) + 5.cos(x)
Et donc, cos(5x) = T(cos(x))
*****
Si x = Pi/5 --> cos(5x) = cos(Pi) = -1
Il faut résoudre T(x) = -1
16x^5 - 20.x³ + 5x + 1 = 0
x = -1 est solution triviale --> 16x^5 - 20.x³ + 5x + 1 est divisible par (x+1), on fait ma division euclidienne :
(x+1).(16x^4 - 16x³ - 4x² + 4x + 1) = 0
Et comme cos(Pi/5) est différent de -1, il reste à résoudre : 16x^4 - 16x³ - 4x² + 4x + 1 = 0
(4x² - 2x - 1)² = 0
4x² - 2x - 1 = 0
x = (1 +/- V5)/4
Mais comme Pi/5 est dans le 1er quadrant, cos(Pi/5) > 0 et donc :
cos(Pi/5) = (1 + V5)/4 qu'on peut écrire sous la forme plus "tordue" donnée dans l'énoncé, soit V[(3+racine(5))/8]
