この積分問題は、一見すると対数と三角関数が絡む複雑な形をしていますが、実は有名な対称性とパラメータ積分の性質を使うことで美しく評価できます。本記事では、∫[0,π]log((b−cosx)/(a−cosx))dx（a,b>1）の解き方を整理して解説します。
積分の基本構造と対称性
まず注目すべきは、分子と分母が同じ形の b−cosx と a−cosx になっている点です。
このような対数の比の積分は「差に分解する」ことで扱いやすくなります。
実際には log((b−cosx)/(a−cosx)) = log(b−cosx) − log(a−cosx) と分解できます。
積分を分離して考える
与式は次のように分けられます。
I = ∫[0,π] log(b−cosx) dx − ∫[0,π] log(a−cosx) dx
つまり同じ形の関数の差になっているため、一般形を考えることが重要になります。
標準積分公式の利用
a > 1 のとき、次の有名な結果が成立します。
∫[0,π] log(a−cosx) dx = π log((a + √(a^2 − 1))/2)
これはフーリエ解析や複素積分でも導かれる標準結果です。
この公式を使うことで、元の積分は一気に計算可能になります。
結果の整理
それぞれに公式を適用すると次のようになります。
∫ log(b−cosx) dx = π log((b + √(b^2 − 1))/2)
∫ log(a−cosx) dx = π log((a + √(a^2 − 1))/2)
したがって差を取ると積分値が求まります。
最終結果
以上より、求める積分は次の形に整理されます。
I = π [ log((b + √(b^2 − 1))/2) − log((a + √(a^2 − 1))/2) ]
対数の差は比にまとめられるため、さらに簡潔に表すこともできます。
まとめ
この問題は直接積分するのではなく、対数の分解と標準積分公式を利用することがポイントです。
特に ∫ log(a−cosx) dx の既知結果を知っているかどうかで難易度が大きく変わります。
積分問題では「形を既知公式に変形する」という発想が重要です。
コメント