cosx是偶函数
cos(4a-π/2)=cos(π/2-4a)=sin(4a)=2sin2acos2a
sin(π/2-a)=cosa
1+cos2a=2cos²a-1+1=2cos²a
1+cos4a=2cos²2a-1+1=2cos²2a
原式
=(2sin2acos2a*cosa*cos2a)/(2cos²a*2cos²2a*cosa)
=(sin2a)/(2cos²a)
=(2sinacosa)/(2cos²a)
=tana