函数单调性证明题x>0时,求证 ln(1+x)>arctanx/(1+x)

这是函数不等式,常用的方法就是单调性法.
现令f(x)=(1+x)ln(1+x)-arctanx=(1+x)[ln(1+x)-arctanx/(1+x)],
则原不等式等价于x>0时f(x)>0.
注意到f(0)=0.只需证明f(x)在(0,+∞)上单调增即可.
而f'(x)=ln(1+x)+1-1/(1+x^2)=ln(1+x)+x^2/(1+x^2),
x>0时ln(1+x)>0,而x^2/(1+x^2)显然大于0,故x>0时,f'(x)>0,f(x)单调增,
因此x>0时f(x)>f(0)=0,即证得原不等式.

令 x/(1+x)=t
x=t/(1-t) 0 1+x=1/(1-t)
设g(t)=ln[1/(1-t)]-arctant
g'(t)=(1-t)[1/(1-t) ]'-1/(1+t²)
=1/(1-t)-1/(1+t²)
∵ 0...