Для доказательства данного тождества начнем с левой части уравнения:
sin^2t / (1+cos(t)) - sin(t) * ctg(t)
Преобразуем sin^2t в выражение с cos(t) с помощью тождества sin^2t = 1 - cos^2t:
(1 - cos^2t) / (1+cos(t)) - sin(t) * ctg(t)
Далее преобразуем дробь, умножив числитель и знаменатель на (1-cos(t)):
((1 - cos^2t) - cos^2t) / (1 - cos^2t) - sin(t) * ctg(t)
Сократим (1 - cos^2t) в числителе и знаменателе:
-2cos^2t / -2cos^2t - sin(t) * ctg(t)
Упростим:
cos^2t / cos^2t + sin(t) * ctg(t)
Теперь преобразуем cos^2t в выражение с sin(t) с помощью тождества cos^2t = 1 - sin^2t:
(1 - sin^2t) / (1 - sin^2t) + sin(t) * ctg(t)
Сократим (1 - sin^2t) в числителе и знаменателе:
1 / 1 + sin(t) * ctg(t)
Таким образом, мы получили правую часть уравнения, что доказывает истинность данного тождества.