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

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

を変数変換しないで求めてみる.

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

1/cosθ=1/sin(θ+π/2)=1/2sin(θ/2+π/4)cos(θ/2+π/4)

=1/2・{cos(θ/2+π/4)/sin(θ/2+π/4)+sin(θ/2+π/4)/cos(θ/2+π/4)

∫dθ/cosθ

=logsin(θ/2+π/4)−logcos(θ/2+π/4)

=logtan(θ/2+π/4)

∫(0,φ)dθ/cosθ=logtan(φ/2+π/4)

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