Hum, pas sûr qu'au lycée on ait vu les formules trigo autre que celles avec plus ou moins pi, plus ou moins pi sur deux (elles ne sont pas au programme de la terminale spé).
Par contre on peut s'en tirer (c'est un peu plus calculatoire) en posant X=cos²(x) puis sin²(x)=1-X et résoudre une inéquation en X du second degré : il s'agit de résoudre sur [0,pi]
\cos(x)-2\geq 0)
On peut remarquer que sur [pi/2,pi] c'est jamais vrai car le cosinus est négatif.
Donc on étudie sur [0,pi/2] et cela donne
\cos(x)\geq 1)
qu'on peut élever au carré
\cos^2(x)\geq 1)
Soit avec X=cos²(x)

Et on trouve les intervalles pour X pour lesquels c'est vrai, d'où pour cos²(x).
Sinon, la formule trigo dont parle GaBuMoZeu est
=2\sin(x)\cos(x))
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.