tga+ctga=(cos^2a+sin^2a)/(cosa*sina) = 1/(cosa*sina) = 2/sin2a

1-cos4a=1-(2cos^2(2a)-1)=2(1-cos^2(2a)) = 2*sin^2(2a)

Откуда 2/sin2a * 2*sin^2(2a) = 4*sin2a