证明y=x-ln(1+x^2)单调增加