查看原题
设 $x>0$ ，证明 $\int_0^x \frac{1}{1+t^2} d t+\int_0^{\frac{1}{x}} \frac{1}{1+t^2} d t=\frac{\pi}{2}$ ．
                        
不再提醒