cos(x+π/2)我觉得应该等于负cosx啊,为什么是负sinx?