三角関数を含む積分の中でも、分母に三角関数が現れる形は特に工夫が必要となります。
その代表例が、∫1/(1-cosx)dx という積分です。
この積分は、一見すると難しそうに見えるかもしれませんが、半角の公式や置換積分を用いることで、美しく解くことができます。
大学初年度の微積分学や、理工系の専門科目で頻繁に登場するこの形の積分は、三角関数の性質を深く理解する良い機会となるでしょう。
特に、tan(x/2)による置換積分は、三角関数の有理関数を積分する際の強力な武器です。
本記事では、∫1/(1-cosx)dx の積分を複数の方法で解き、それぞれのアプローチの特徴と使い分けを詳しく解説していきます。
半角の公式を用いた変形、tan(x/2)置換の技法、そして部分分数分解との関連まで、段階を追って丁寧に説明していきましょう。
∫1/(1-cosx)dxの積分結果と基本公式
それではまず、∫1/(1-cosx)dxの積分結果について解説していきます。
この積分の答えを先に示すと、次のようになります。
∫1/(1-cosx)dx = -cot(x/2) + C
別の表現として、∫1/(1-cosx)dx = -1/tan(x/2) + C とも書けます。ここで、Cは積分定数を表します。
この公式は、半角の公式を用いた変形によって導出できます。
なぜこのような形になるのか、その背景には三角関数の美しい性質が隠れているのです。
まず、この結果が正しいことを微分によって確認してみましょう。
【検算（微分による確認）】
y = -cot(x/2) = -cos(x/2)/sin(x/2) を微分します。
dy/dx = -[{-sin(x/2)·(1/2)·sin(x/2) – cos(x/2)·cos(x/2)·(1/2)}/sin²(x/2)]
= (1/2)[sin²(x/2) + cos²(x/2)]/sin²(x/2)
= (1/2)·1/sin²(x/2)
= 1/(2sin²(x/2))
ここで、半角の公式 1-cosx = 2sin²(x/2) を用いると、
dy/dx = 1/(1-cosx) ✓
確かに元の関数に戻ることが確認できました。
関連する積分公式として、次のものも重要です。
【関連する三角関数の積分公式】
∫1/(1+cosx)dx = tan(x/2) + C
∫1/(1-sinx)dx = tan(x/2) – sec(x/2) + C
∫1/sinx dx = log|tan(x/2)| + C
これらは、三角関数の有理式の積分として頻出するため、パターンとして覚えておくと便利でしょう。
半角の公式を用いた解法
続いては、半角の公式を使った解法を確認していきます。
この方法は最も直接的で、計算も比較的シンプルです。
半角の公式による変形
まず、分母の 1-cosx を半角の公式を用いて変形することから始めます。
半角の公式には、次のようなものがあります。
【半角の公式】
sin²(x/2) = (1-cosx)/2
cos²(x/2) = (1+cosx)/2
これより、
1-cosx = 2sin²(x/2)
1+cosx = 2cos²(x/2)
この公式を用いると、1-cosx = 2sin²(x/2) となりますね。
したがって、積分は次のように変形できます。
【積分の変形】
∫1/(1-cosx)dx = ∫1/(2sin²(x/2))dx
= (1/2)∫1/sin²(x/2)dx
= (1/2)∫cosec²(x/2)dx
ここで、cosec(x/2) = 1/sin(x/2) という関係を使っています。
次に、∫cosec²(x/2)dx を計算する必要があります。
cosec²の積分公式
∫cosec²u du = -cot u + C という公式は、基本的な三角関数の積分として知られています。
これは、cot u の導関数が -cosec²u であることから導かれます。
【積分の計算】
(1/2)∫cosec²(x/2)dx
u = x/2 とおくと、du = (1/2)dx より dx = 2du
= (1/2)∫cosec²u · 2du
= ∫cosec²u du
= -cot u + C
= -cot(x/2) + C
このように、半角の公式を用いることで、比較的スムーズに積分できることが分かります。
別の表現方法
cot(x/2) = cos(x/2)/sin(x/2) = 1/tan(x/2) という関係があるため、答えは次のようにも表現できます。
【答えの別表現】
∫1/(1-cosx)dx = -cot(x/2) + C
= -1/tan(x/2) + C
= -cos(x/2)/sin(x/2) + C
状況に応じて、最も使いやすい形を選ぶと良いでしょう。
たとえば、tan を用いた形は、数値計算の際に便利な場合があります。
| 表現形 | 特徴 | 使用場面 |
|---|---|---|
| -cot(x/2) | 最も簡潔 | 理論的な計算 |
| -1/tan(x/2) | tan関数で表現 | 数値計算 |
| -cos(x/2)/sin(x/2) | sin, cosで表現 | さらなる変形が必要な場合 |
tan(x/2)置換による解法
続いては、tan(x/2)による置換積分の方法を見ていきます。
この手法は、三角関数の有理関数を積分する際の万能的な方法として知られています。
Weierstrassの置換とは
t = tan(x/2) という置換は、「Weierstrassの置換」または「半角の正接置換」と呼ばれます。
この置換を用いると、あらゆる三角関数の有理式が代数的な有理式に変換されるのです。
t = tan(x/2) とおくと、次の関係式が成り立ちます。
sin x = 2t/(1+t²)
cos x = (1-t²)/(1+t²)
dx = 2/(1+t²) dt
これらの公式は、半角の公式と三角関数の定義から導出できます。
特に重要なのは、cos x の表現です。
置換積分の実行
t = tan(x/2) という置換を用いて、実際に積分を計算してみましょう。
【置換積分の計算】
cos x = (1-t²)/(1+t²) より、
1-cosx = 1 – (1-t²)/(1+t²)
= [(1+t²) – (1-t²)]/(1+t²)
= 2t²/(1+t²)
したがって、
∫1/(1-cosx)dx = ∫1/(2t²/(1+t²)) · 2/(1+t²) dt
= ∫(1+t²)/(2t²) · 2/(1+t²) dt
= ∫1/t² dt
= -1/t + C
= -1/tan(x/2) + C
= -cot(x/2) + C
このように、tan(x/2)置換を用いると、積分が ∫1/t² dt という非常にシンプルな形に帰着されます。
この方法の利点は、どんな三角関数の有理式でも機械的に処理できる点にあるでしょう。
Weierstrassの置換の応用範囲
この置換は、1/(1-cosx) だけでなく、様々な三角関数の積分に応用できます。
【Weierstrassの置換が有効な積分例】
∫1/(a + b cosx) dx
∫1/(a sinx + b cosx + c) dx
∫sinx/(1+cosx) dx
∫(sinx + cosx)/(sinx – cosx) dx
これらはすべて、t = tan(x/2) という置換によって有理関数の積分に変換できます。
ただし、計算が煩雑になる場合もあるため、状況に応じて他の方法と使い分けることが重要です。
| 積分の形 | 推奨される方法 | 理由 |
|---|---|---|
| 1/(1-cosx) | 半角の公式 | 計算が最も簡単 |
| 1/(a+b cosx) | tan(x/2)置換 | 一般的な係数に対応 |
| sinx/(1+cosx) | 直接置換（u=1+cosx） | より簡潔 |
| 複雑な有理式 | tan(x/2)置換 | 万能的に使える |
関連する積分公式と応用
続いては、∫1/(1-cosx)dx に関連する積分公式について確認していきます。
類似の形を持つ積分を理解することで、より広い視野が得られるでしょう。
1/(1+cosx)の積分
1-cosx を 1+cosx に変えた場合の積分も見てみましょう。
【∫1/(1+cosx)dx の計算】
半角の公式より、1+cosx = 2cos²(x/2)
∫1/(1+cosx)dx = ∫1/(2cos²(x/2))dx
= (1/2)∫sec²(x/2)dx
u = x/2 とおくと、
= ∫sec²u du = tan u + C
= tan(x/2) + C
このように、符号が変わるだけで答えの形も変わります。
1-cosx の場合は -cot(x/2)、1+cosx の場合は tan(x/2) という対照的な結果になるのです。
一般形への拡張
∫1/(a + b cosx)dx という、より一般的な形の積分を考えてみましょう。
これは、tan(x/2)置換を用いると解くことができます。
【一般形の積分】
t = tan(x/2) とおくと、
cosx = (1-t²)/(1+t²), dx = 2/(1+t²) dt
∫1/(a + b cosx)dx = ∫1/(a + b(1-t²)/(1+t²)) · 2/(1+t²) dt
= ∫2/[a(1+t²) + b(1-t²)] dt
= ∫2/[(a+b) + (a-b)t²] dt
この後は、a+b と a-b の符号に応じて、arctan 型または log 型の積分に帰着されます。
定積分と応用例
∫1/(1-cosx)dx の定積分を考える際には、注意が必要です。
なぜなら、x=0 で 1-cosx = 0 となり、被積分関数が発散するからです。
∫1/(1-cosx)dx は、x=0, ±2π, ±4π, … で特異点を持ちます。定積分を計算する際は、これらの点を避けた区間で積分する必要があります。
実用的な応用例としては、次のようなものがあります。
【応用分野】
・振動現象の解析（非線形振動）
・光学における位相差の計算
・電気回路の交流理論
・フーリエ級数の係数計算
特に、物理学や工学において周期的な現象を扱う際、この種の積分が頻繁に現れます。
また、複素解析の留数定理を用いると、より高度な計算方法も存在します。
大学の専門課程では、これらの発展的な手法も学ぶことになるでしょう。
まとめ
∫1/(1-cosx)dx の積分について、複数の解法とその背景を詳しく見てきました。
この積分の答えは、-cot(x/2) + C または -1/tan(x/2) + C と表されます。
最も直接的な解法は、半角の公式 1-cosx = 2sin²(x/2) を用いる方法でした。
この変形により、積分は (1/2)∫cosec²(x/2)dx という形になり、容易に計算できます。
より汎用的な方法として、t = tan(x/2) というWeierstrassの置換があります。
この置換を用いると、三角関数の有理式が代数的な有理関数に変換され、機械的に積分できるようになるのです。
関連する積分として、∫1/(1+cosx)dx = tan(x/2) + C という公式も重要でした。
1-cosx と 1+cosx という符号の違いだけで、答えが -cot(x/2) と tan(x/2) という対照的な形になることは興味深いですね。
より一般的な形 ∫1/(a + b cosx)dx は、tan(x/2)置換によって処理でき、最終的には arctan 型または log 型の積分に帰着されます。
実用面では、振動現象の解析、光学、電気回路理論など、様々な分野でこの種の積分が応用されています。
定積分を扱う際は、x=0 などの特異点に注意が必要です。
三角関数の積分は、半角の公式、置換積分、そして三角関数の性質を総合的に理解することで、スムーズに解けるようになります。
∫1/(1-cosx)dx という一見複雑な積分も、適切な変形と置換によって美しく解けることを、ぜひ実感していただければ幸いです。
