一道不等式证明题~~实在证不出来，大家帮帮我

Question

没有积分了，顺便再问到简单的二重积分题

Answer 1

23题，如果实在不会，就直接用最原始的办法，就是用导数。不要去想什么拉格朗日中值定理，积分中值定理等。由积分上限函数知
(∫ [0,x]arctant/tdt) ' =arctanx/x，所以构造函数f(x)=（∫ [0,x]arctant/tdt）-x/(1+x^2)
g(x)=(∫ [0,x]arctant/tdt)-x，用导数分别证明。
第9题，就是把x、y转换成三角函数，即利用极坐标来计算积分，可惜我很久没算过，只能留给你了，见谅。