令f(x)=x-ln(1+x^2)
则f'(x)=1-2x/(1+x^2)=(x-1)^2/(1+x^2)≥0
所以f(x)在定义域内单调递增
又f(0)=0
故当x≥0时,f(x)≥0
即x≥ln(1+x^2)