(1+sin4a-cos4a)/2tana=(1+sin4a+cos4a)/(1-tan²a)
(1+sin4a-cos4a)/(1+sin4a+cos4a)=2tana/(1-tan²a)
[(2sin2acos2a+2sin²(2a)]/[2sin2acos2a+2cos²(2a)]=sin2a/cos2a
sin2a(cos2a+sin2a)/[cos2a(sin2a+cos2a)]=sin2a/cos2a
[cos(2a)+sin(2a)]/[sin(2a)+cos(2a)]=1
明显成立,此时采用逆推法,可证