Уравнение решено, нужно кое что пояснить 10 кл алгебра

2*sin^2(x)+5*cosx+1=0

2(1-cos^2(x)+5*cosx+1=0

2cos^2(X)-5cosx+3=0

ПУСТЬ t=cosx

-2t^2-5t+3=0

t=-0.5

t=3

cosx=-0.5 x=+-2пи/3+2пиk, к принадлежит множеству целых чисел

cos x=3 нет решений

Получили x=+-2пи/3+2пиk
cosx=-0.5 x=+-2пи/3+2пиk по какой это формуле? дайте точно её