证明 (1)/(x^2 + 1) 已是一个简单分式（分母为不可约二次式），并计算其积分。