令p=arcsinx q=arccosx
sin(π/2-q)=cosq=x
且有sin(p)=x
由于q属于(0~π) 所以π/2-q属于(-π/2~π/2)
且sinx在(-π/2~π/2)是单调函数
所以必有 π/2-q=p
即p+q=π/2
arcsinx+arccos=π/2