cos(π/4-a)怎么化简