被积函数的定义域为 x≥0,在 x>0 上令 t=ex−1,则 ex=1+t2、dx=1+t22tdt。于是
I=∫e2xarctanex−1dx=∫(2t3+2t)arctantdt.
分部积分取 u=arctant、dv=(2t3+2t)dt,则 v=2t4+t2,du=1+t2dt,所以
I=(2t4+t2)arctant−∫1+t22t4+t2dt.
利用 t4+2t2=(1+t2)2−1,有
∫1+t22t4+t2dt=21∫(t2+1−1+t21)dt=6t3+2t−21arctant+C.
代回并合并,2t4+t2+21=2(1+t2)2=2e2x,且 6t3+2t=(ex+2)6ex−1,故
I=2e2xarctanex−1−6(ex+2)ex−1+C.
分部时也可直接取 v=2(1+t2)2,其导数仍为 2t3+2t,而 (1+t2)v=2(1+t2),可直接得到 I=(1+t2)22arctant−6t3−2t+C。
求导复核:记 t=ex−1,则 (arctant)′=(2t)1。最终式第一项导数为原被积函数加 (4t)e2x,第二项导数为 −(4t)e2x,附加项抵消。