(2cos∧2 a/2-1)-sin a)/根号2sin(a π/4)
=(cosa-sin a)/根号2sin(a π/4)
=根号2cos(a π/4)/根号2sin(a π/4)
=tan(a十π/4)