Salut !
Tu étudies donc les racines de

, définie sur

par
=x^2+x-2\cos x)
.
Tu dérives, puis tu auras
=2x+2\sin x+1)
, et la dérivée est trivialement croissante ( tu peux vérifier ) .
L'idée est d'appliquer la dichotomie à
la dérivée sur

pour étudier les variations de

.
Tu trouveras rapidement que
)
s'annule en un seul et unique réel qui appartient à

( tu pourras trouver mieux mais c'est inutile ) .
Mais vu que la dérivée est croissante, on aura
 0)
.
Donc

est décroissante sur

et croissante sur

.
Mais il y a un problème, on ne sait pas comment se comporte

sur

... Il nous suffira de prouver qu'elle ne s'annule pas dedans . Un petit encadrement devrait suffire pour montrer qu'elle y est strictement négative .
Donc finalement, tu appliques la dichotomie à

sur

pour ta première solution, puis sur

pour la deuxième .