■18世紀における微積分(その82)

【3】三角関数の有理式の積分

変数変換t=tan(x/2)が有効であることが知られている。

(-1,0)、(cosx,sinx)を通り傾きtの直線を考えると、その傾きはt=tan(x/2)にほかならないからである

===================================

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)=∫(0,π/2)dx/{(cosx)^4+(sinx)^4}=π/(2^1/2)を示す。

φ(x)=∫dx/{(cosx)^4+(sinx)^4}=∫dx/{(cosx)^4+(sinx)^4}=∫dt/(2-(sint)^2),2x=t

ここでさらに変数変換u=cottを行うと、(sint)^2=1/(1+u^2),du=-dt/((sint)^2=-(1+u^2)dt,dt=du/(1+u^2)

したがって、

φ(x)=∫dx/{(cosx)^4+(sinx)^4}=-1/(2^1/2)・arctan{(2^1/2)cot2x}

===================================

φ(x)=∫dx/sinx=log|tanx/2|を示す。

t=tan(x/2),sinx=2t/(1+t^2), dx=2dt(1+t^2)

φ(x)=∫dx/sinx=∫(1+t^2)/2t・2dt/(1+t^2)=∫dt/t=log|t|=log|tanx/2|

Ψ(x)=∫dx/cosx=log|tan(x/2+π/4)|はΨ(x)=φ(x+π/2)より示される

===================================