令x=1/t，dx=-dt/t²，1/(1+x²)=t²/(1+t²)1/(1+x²)dx=-1/(1+t²)dt负号提到积分号外面去，交换积分上下限，改变符号，于是负号没了。最终把t换成x（定积分与积分变量无关，随便换什么字母都可以的）
