■18世紀における微積分(その185)
【3】三角関数の有理式の積分
exp(ix)=cosx+isinx
exp(-ix)=cosx-isinx
z=exp(ix)を用いると
cosx=1/2(exp(ix)+exp(-ix))=1/2(z+1/z)=(z^2+1)/2z
sinx=1/2i(exp(ix)-exp(-ix))=1/2i(z-1/z)=(z^2-1)/2iz
tanx=(z^2-1)/i(z^2+1)
dx=dz/iz
という関係で結ばれている
===================================
φ(x)=∫tanxdx=-log|cosx|
はtanx=sinx/cosx=-(cosx)'/cosxより即座に示される
===================================
z=exp(ix)を用いると
φ(x)=∫tanxdx=-∫(z^2-1)dz/z(z^2+1)=・・・
===================================