Or, 2 <√5, donc, en retranchant cette in´egalit´e de 5, 5 −√5<3 et en divisant par 8,
5−√5
8<3
8.
Enfin, comme la racine carr´ee est une fonction croissante sur R+, on a
s5−√5
8<r3
8=1
√2
√3
2<√3
2.
Cette derni`ere in´equation permet donc d’exclure x3comme valeur possible pour cos π10; il ne reste
donc plus que x4. En conclusion,
cos π10=s5 + √5
8.
Exercice 5. Soit x∈[0,2π]. On distingue ici plusieurs cas suivant les valeurs de x.
Premier cas : si 1 + cos(2x) = 0. Cette ´egalit´e est v´erifi´ee pour deux valeurs de x:π2et −π2. Pour
ces deux valeurs, on a sin(2x) = 0 ; l’´equation devient donc 2 = 0, qui n’a clairement aucune solution.
Second cas : on suppose maintenant 1 + cos(2x)6= 0. Le calcul du discriminant du trinˆome donne
∆ = 4 sin2(2x)−8(1 + cos(2x))
= 4(1 −cos2(2x)) −8(1 + cos(2x))
= 4(1 −cos2(2x)−2−2 cos(2x))
=−4(cos2(2x) + 2 cos(2x) + 1)
=−4(cos(2x) + 1)2.
Comme on a suppos´e 1 + cos(2x)6= 0, ce discriminant est clairement strictement n´egatif et il s’´ecrit
∆ = (2i(cos(2x) + 1))2.
Les deux solutions complexes de l’´equation sont donc
z1=2 sin(2x)−2i(cos(2x) + 1)
2(1 + cos(2x)) et z2=2 sin(2x)+2i(cos(2x) + 1)
2(1 + cos(2x))
=sin(2x)
1 + cos(2x)−i=2 sin xcos x
2 cos2x−i=sin(2x)
1 + cos(2x)+i=2 sin xcos x
2 cos2x+i
=1
cos x(sin x+icos x) = 1
cos x(sin x−icos x)
=1
cos xei(−x+π
2)=1
cos xei(x+π
2).
Remarque : Comme x6=±π
2, on a bien cos x6= 0 et la fraction ci-dessus a un sens.
Pour terminer la r´esolution de l’´equation, on cherche la forme trigonom´etrique de z1et z2. Pour cela,
il suffit d’´etudier le signe de cos x.
◦Premier sous-cas : Si cos x > 0, c’est-`a-dire si x∈[0,π2[ ou x∈]3π2,2π], alors z1et z2sont
d´ej`a sous forme trigonom´etrique.
◦Second sous-cas : Si cos x < 0, c’est-`a-dire si x∈]π2,3π2[, alors on change le signe du coefficient
devant l’exponentielle en retranchant π`a l’argument.
En conclusion, l’ensemble des solutions (´ecrites sous forme trigonom´etrique) de l’´equation initiale est
S=
∅si x=−π
2ou x=π
2;
n1
cos xei(−x+π
2);1
cos xei(x+π
2)osi x∈[0,π2[ ou x∈]3π2,2π];
n−1
cos xei(−x−π
2);−1
cos xei(x−π
2)osi x∈]π2,3π2[.