证明y=x-ln(1+x^2)单调增加
0所以y单调增加"}}}'>