令f(x)=x-sinx0＜x＜π/2
f'(x)=1-cosx>0
所以
f(x)是增函数,从而
因为0＜a＜β＜π/2
所以
β－sinβ>a－sina