Construction du pentagone régulier

[leeloo]

bonjour j'ai un petit souci en mats jarrive pas a faire cette exercice

montrer que cos(4x) = 8 cos^4(x)-8cos²(x) + 1
endéduire que cos (2pi)/5 vérifie l'équation 8x^4-8x^2-x+1=O(E)
résoudre l'équation (E)
en déduire la valeur exacte de cos (2pi)/5
le plan est muni dun repère orthonormé (o;oi;ij) et on désigne par (T) le cercle trigonométrique
de centre O. on appelle K le milieu de [oi'] . Le cercle de centre K et passant par J,
coupe [OI]en L . on appelle A le milieu de [OL]
montrer que OA = cos(2pi/5)

voila merci a tous si vous pouvez m'aider sa serait vraiment gentil
bonne soirée

[le_fabien]

C'est grâce à cos²x=(1+cos2x)/2 et (cosx)^4=(cos²x)²