利用拉格朗日中值定理推论 证明恒等式arcsinx+arccosx=π/2(-1≤x≤1)