Лучше доказывать такие тождества так. Преобразовать наиболее сложную часть тождества, приведя её к более простой. Поработаем с левой частью.
Замечаем, коллега, что 1 - 2cos^2 a = -cos 2a
sin a * cos a = 1/2 sin 2a
Теперь перепишем левую часть с учётом этих преобразований:
-cos 2a / 1/2 sin 2a = -2 * ctg 2a
А теперь, раз довольно неясно, как это выражение можно привести к правой части, пока оставлю её как есть, преобразую правую часть.
Распишу тангенс и котангенс по определению
tg a - ctg a = sin a/cos a - cos a/sin a = (sin^2 a - cos^2 a)/sin a * cos a
А теперь, коллега, замечаем, что sin^2 a - cos^2 a = -cos 2a!
Получаем:
-cos 2a / 1/2 sin 2a = -2ctg 2a
Таким образом, я привёл правую часть к виду левой. Тождество доказано.