ну буду писать также...
разность катангенса и тангенса пишешь через синус и косинус и приводишь к общему знаменателю, получаешь 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альфа