разность катангенса и тангенса пишешь через синус и косинус и приводишь к общему знаменателю, получаешь cos альфа^2 - sin альфа^2/sin*cos альфа= cos 2 альфа/sin*cos альфа
<span>1/2sin4альфа= sin 2 альфа * cos 2 альфа</span>
sin 2 альфа * cos 2 альфа *cos 2 альфа/sin*cos альфа= 2cos2 альфа^2