x²-x
=(x-1/2)-1/4>=-1/4
arccos是减函数,定义域是[-1.1]
所以areccos1