■exp(x)(x-1)=exp(-x)(x+1) (その3)
log(1+x)/(1−x)=2(x+x^3/3+x^5/5+x^7/7+・・・)
一方,
arctanx=x−x^3/3+x^5/5−x^7/7+・・・
x=1遠くと,もうひとつのよく知られた結果(グレゴリー・ライプニッツ級数)
1−1/3+1/5−1/7+・・・=π/4
が得られる.
===================================
logx=∫(1,x)dt/t
arctanx=∫(0,x)dt/(1+t^2)
より,有理関数
t/(at+b),(dt+e)/(at^2+bt+c)
の積分は,logxないしarctanxに帰着される.
===================================