查看要证明的等式的形式（辅助函数一般设为f/g,f*g,f*e^x,f*e^(-x)等）
如果等式中有导数存在，可以先对要被证明的等式进行解常微分方程。那么辅助函数的形式就和这个常微分方程的解结构相似
令f(x)=1+x*ln(x+√1+x^2)-√1+x^2再利用中值定理证明，只能帮你到这了
