在这个视频中, 我们求解了积分 int_0^1 ln(1+x)/(x^2+1) dx 首先: 利用凑微分得到 int_0^1 ln(1+x) d arctanx 然后: 换元得到积分的另一种形式; 再次: 再一次换元, 利用 tan 的展开式, 得到定积分等式. 最后, 通过求解定积分相关等式得到结果.