積分対数シリーズ#2 log(1+tan(x)) 加法定理で我に返る
今回は対数の中にtan(x)を包んだものを見ていきましょう。
本題は、
なのですがこれがなかなかヤバい積分でしたので、前編後編に分けて今回は前フリです。
まずは肩慣らし。
前回の結果を利用して、を見てみましょう。
実は拍子抜けするほど簡単で、tanはsin/cosですから、
はい、積分区間0からπ/2において、log(sin(x))とlog(cos(x))は同じ値になるのでしたね。
pedantic-ganger.hatenablog.com
では準備運動。
に挑みましょう。
Step1:King Rule
まずはお馴染み「King Rule」です。
これひとつで問題の取っつきやすさがガラッと変わることもあるので、指針に迷った時にはとりあえず考えてみるのもいいかもしれませんね。
変数x = π/4 + 0 - t と置換すると、
dx = - dt となりますから、与式Iは
Step2:tanの加法定理
tanにとってπ/4はとても扱いやすい助かる値ですね。
ですのでこれを利用しようと、「加法定理」を使いましょう。
tanの加法定理
でしたので、
FINAL:同形出現
もう分かりますね。
ですから、
でした。
まとめ
結果出現した値はやっぱりπとlog(2)が絡んでくるものでした。
数学には基本定数となるような無理数がいろいろとあるのですが、このlog(2)、「2の自然対数」もその一つですね。
これの出てくる積分でぜひ紹介したい興味深い問題もあるのですが、それはまたの機会に取っておきましょう。
次回は、本題へ挑みます。
A4計算用紙二枚は埋める計算量となる上に、新しい数学定数を導入して表されることになります。
お楽しみに。
参考:
天地有情 [LaTeX] cancel --- 数式にスラシュ,バックスラシュなどを引く