sin(a-π/4)怎么推算出 根号2/2(sina-cosa)?