已知函数Fx=sin(π/2+x)cosx-sinxcos(π-x).