拉格朗日中值定理知道吗?
arcsinx-arcsiny=（x-y）/根号下(1-c^2),c属于（0,1）
1/根号下(1-c^2)大于1,所以原不等式成立.