求∫(x*arctan x)/(1+x*x)
做变换,令arctan x=t,x=tan t,dx=sec² t dt=∫ t*(tan t)*(sec t) dt=∫ td(sec t)=t*(sec t)-∫ (sec t)dt=t*(sec t)-ln|（sec t）-（tan t）|=(√(1+x² ))*（arctan x）-ln|x+(√(1+x²))|+c2.但是不知道t*(sec t)-ln|（sec t）-（tan t）|=(√(1+x² ))*（arctan x）-ln|x+(√(1+x²))|+c2.这一步是怎么得出来的?求老师赐教