■三角関数の積分(その4)

[Q]∫(0,φ)dθ/cosθ=?

はメルカトール図法と関係する積分である.ここでは,t=tan(θ/2)とおく.

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

 すると

  tan(θ/2)=sinθ/(1+cosθ)=(1−cosθ)/sinθ,

  cosθ=(1−t^2)/(1+t^2),

  sinθ=2t/(1+t^2),

  dθ/dt=2/(1+t^2)

より,

  ∫1/cosxdx=∫2/(1−t^2)dt

 ここで,

  2/(1−t^2)=1/(1+t)+(1/1−t)

より

  ∫1/cosxdx=log|1+t|−log|1−t|+C

  ∫1/cosxdx=log|(1+t)/(1−t)|+C

  ∫1/cosxdx=log|tan(x/2+π/4)|+C

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