ctgx-
упростим левую часть тождества,
по определению ctgx=, приведем к общему знаменателю, применим основное тригонометрическое тождество
после преобразований получили выражение, равное выражению в правой части равенства, тождество доказано
