解:令arctant=u,则t=tanut:0→x,则u:0→arctanx∫[0:x]arctantdt=∫[0:arctanx]ud(tanu)=utanu|[0:arctanx] -∫[0:arctanx]tanudu=(arctanx)·tan(arctanx) -0·tan0 +ln|cosu|[0:arctanx]=x·arctanx+ln|cos(arctanx)| -ln|cos0|=x·arctanx-½ln(1+x²)