x≠±1
x的绝对值*根号1-x^2<=[(x的绝对值)^2+(1-x^2)]/2=1/2
y<=1/2能不能把第二步写得详细点呢 要步骤的ab<=(a^2+b^2)/2