sin(x-π/2)怎么用诱导公式化简?