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

【1】有理関数の積分

φ(x)=∫dx/(1+x^2)

1+x^2=1+(tanθ)^2

dx=dθ/(cosθ)^2

φ(x)=∫dx/(1+x^2)=∫dθ=θ+C=arctanx+C

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

∫(0,1)dx/(1+x^2)=∫dθ=θ=arctanx|=π/4

∫(0,∞)dx/(1+x^2)=∫dθ=θ=arctanx|=π/2

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

ここでは

φ(x)=∫dx/(1+x^4)

を取り上げてみたい。

(1+x^4)=(x^2+2^1/2x+1)(x^2-2^1/2x+1)より

1/(1+x^4)=1/2^3/2・{(x+2^1/2)/(x^2+2^1/2x+1)-(x-2^1/2)/(x^2-2^1/2x+1)}

=1/2^3/2・{1/2・(2x+2^1/2)/(x^2+2^1/2x+1)-2^1/2/{(2^1/2x+1)^2+1}

-1/2^3/2・{1/2・(2x-2^1/2)/(x^2-2^1/2x+1)-2^1/2/{(2^1/2x-1)^2+1}

したがって、

φ(x)=1/4√2・log(x^2+2^1/2x+1)/(x^2-2^1/2x+1)+1/4√2・{arctan(√2x+1)+arctan(√2x-1)}

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