Подскажите как решить тригонометрическое уравнение

[fiztech]

Дано вот такое равенство

$\ctg(t)-\sin(t)=2\sin^2(\frac{t}{2})\\ \ctg(t)-\sin(t)=1-\cos(t) \\ \frac{\cos(t)}{\sin(t)}-\sin(t)=1-\cos(t)\\ \cos(t)-\sin^2(t)=\sin(t)-\sin(t)\cos(t)$

Дальше пытался преобразовать но лажа какая-то получается.

[мат-ламер]

Правый член влево. Второй слева вправо.

[Sonic86]

В принципе можно тупо делать универсальную тригонометрическую подстановку и доказывать равенство многочленов

[fiztech]

мат-ламер

Ой , точно спасибо )