Пошаговое объяснение:
Разность катангенса и тангенса пишешь через синус и косинус и приводишь к общему знаменателю, получаешь cos альфа^2 - sin альфа^2/sin*cos альфа = cos 2 альфа/sin*cos альфа
1/2sin4 альфа = sin 2 альфа * cos 2 альфа
sin 2 альфа * cos 2 альфа * cos 2 альфа/sin*cos альфа = 2cos2 альфа^2
cos4 альфа+1=2cos2 альфа^2
cos4 альфа=cos4 альфа