sinxdx=d(-cosx)是否成立