别听楼上的,就会背公式
令x=tan(t),带入,求得积分∫1/(1+x^2)dx=∫[sec(t)]^(-2)d(tant)=∫dt=t+c=arctanx+C