通过替换 x = tantheta 计算 integrate (1)/(1 + x^2) dx 。