Prvo rješenje:
Zamjenom sin2x s lijeve strane s 1−cos2x, dobivamo ekvivalentnu nejednakost:
1−cos2x+acosx+a2≥1+cosx,
odnosno
0≥cos2x+(1−a)cosx−a2.
Primijetimo da je desna strana kvadratna funkcija u cosx pa uvedimo supstituciju t=cosx. Pri tome je t∈[−1,1].
Zadnja dobivena nejednakost znači da graf kvadratne funkcije f(t)=t2+(1−a)t−a2 leži ispod x-osi za t∈[−1,1].
Da bi graf na tom intervalu ležao ispod x-osi, nužno je i dovoljno da je f(−1)≤0 i f(1)≤0.
Budući da je f(−1)=1−1+a−a2=a(1−a), iz uvjeta f(−1)≤0 slijedi da je a∈(−∞,0]∪[1,∞).
Slično, iz f(1)=2−a−a2≤0 dobivamo da je a∈(−∞,−2]∪[1,∞).
Presjekom dobivenih skupova zaključujemo da je rješenje
a∈(−∞,−2]∪[1,∞).
Drugo rješenje:
Uvrštavanjem x=0 dobivamo da mora vrijediti a+a2≥2, odnosno a2+a−2≥0, što je ekvivalentno (a+2)(a−1)≥0. Iz toga slijedi da je a∈(−∞,−2]∪[1,∞).
Dokažimo sad da za takve a nejednakost zbilja vrijedi za sve realne x. Nejednakost je ekvivalentna sljedećima:
acosx−cosx+a2−1+sin2x≥0,
(a−1)cosx+(a−1)(a+1)+sin2x≥0,
(a−1)(a+1+cosx)+sin2x≥0.
Umnožak s lijeve strane je nenegativan za a≥1 jer su oba faktora nenegativna (tj. vrijedi a−1≥0 te a+1+cosx≥1+1+(−1)=1>0).
Za a≤−2 je prvi faktor a−1 očito negativan, a drugi a+1+cosx≤−2+1+1=0, pa su oba faktora negativna ili nula, što znači da im je produkt nenegativan.
U oba slučaja nejednakost vrijedi jer je i sin2x nenegativan.
Rješenje je
a∈(−∞,−2]∪[1,∞).