∫和d抵消
-∫dx
=-x+c
=-arccost+c
因为aecsint+arccost=π/2
所以-arccost+c
=aecsint-π/2+c
-π/2+c是常数,所以可以写在一起
所以=arcsint+c