Cos4a+1=( sin4a(ctga-tga) )/2
cos²2a-sin²2a+sin²2a+cos²2a=( sin4a(cosa/sina - sina/cosa) )/2
2cos²2a=( sin4a(cos²a/(sinacosa) - sin²a/(sinacosa)) )/2
2cos²2a=( sin4a((cos²a-sin²a)/(sinacosa)) )/2
2cos²2a=(sin4acos2a)/(2sinacosa)
2cos²2a=(2sin2acos2acos2a)/sin2a
2cos²2a=2cos²2a