微分積分の学習を進めていると、1/cosxの積分という形に出会うことがあります。
一見すると複雑に見えるこの式ですが、適切な変形を施すことで、きれいな公式として表すことができます。
この記事では、1/cosxの積分の公式とその証明、tanxとの関係、さらに例題を通じた解き方まで、順を追ってわかりやすく解説していきます。
1/cosxの積分の公式はlog|tanx＋1/cosx|＋C
それではまず、1/cosxの積分の公式について解説していきます。
1/cosxの積分は、次のように表されます。
∫(1/cosx)dx ＝ log|tanx＋1/cosx|＋C（Cは積分定数）
この公式は一見難しそうですが、証明の過程を追うと、なぜこの形になるのかが自然に理解できます。
1/cosxはsecxとも表記されるため、secxの積分として参考書に掲載されていることも多いでしょう。
公式の形が複数あるのは、対数の性質による変形が可能なためです。
公式の証明：分子分母にsinx＋1/cosxをかける方法
1/cosxの積分の証明は、被積分関数の分子と分母に工夫を加えることで導くことができます。
具体的には、分子と分母に（sinx＋1/cosx）をかけるという変形を行います。
∫(1/cosx)dx に対し、分子分母に（sinx＋1/cosx）をかけます。
f(x)＝sinx＋1/cosx とおくと、f'(x)＝cosx＋sinx/cos²x
整理すると被積分関数はf'(x)/f(x)の形になり、
∫f'(x)/f(x)dx＝log|f(x)|＋C の公式より、
∫(1/cosx)dx＝log|sinx＋1/cosx|＋C が得られます。
このポイントは∫f'(x)/f(x)dx＝log|f(x)|＋Cという基本公式を活用している点です。
分子が分母の微分になるよう式を整理することが、証明の核心といえるでしょう。
別証明：半角置換を使った方法
1/cosxの積分は、t＝tan(x/2)とおく半角置換によっても証明することができます。
t＝tan(x/2)とおくと、cosx＝(1－t²)/(1＋t²)、dx＝2/(1＋t²)dt
∫(1/cosx)dx＝∫(1＋t²)/(1－t²)×2/(1＋t²)dt
＝∫2/(1－t²)dt
部分分数分解を行うと、最終的に log|tan(π/4＋x/2)|＋C の形が得られます。
この方法は計算量が多くなりますが、三角関数の置換積分の練習としても非常に有益です。
どちらの証明方法も理解しておくと、応用問題への対応力が高まるでしょう。
積分定数Cと絶対値の注意点
不定積分を求める際は、積分定数Cを忘れずに付けることが必要です。
また、log内の絶対値記号も忘れやすいポイントです。
logの真数は正でなければならないため、絶対値をつけて一般的な形で表すのが正しい書き方となります。
1/cosxとtanxの関係を整理しよう
続いては、1/cosxとtanxの関係について確認していきます。
この2つの関数は、積分・微分の両面で密接なつながりを持っています。
| 関数 | 別表記 | 微分 | 積分 |
|---|---|---|---|
| 1/cosx | secx | sinx/cos²x | log|tanx＋1/cosx|＋C |
| tanx | sinx/cosx | 1/cos²x | －log|cosx|＋C |
| 1/cos²x | sec²x | 2sinx/cos³x | tanx＋C |
tanxを微分すると1/cos²x、つまり1/cosxの2乗になることがわかります。
また、1/cos²xを積分するとtanxになるという関係も重要です。
これらをセットで覚えておくと、試験問題に素早く対応できるでしょう。
secxとtanxの微積分の連携
secxとtanxは微分の場面でも深いつながりを持っています。
secxを微分するとsecx・tanxという結果が得られます。
d/dx(secx)＝sinx/cos²x＝secx・tanx
この関係は積分の計算においても応用される場面があり、secxとtanxが組み合わさった積分ではこの微分の結果を逆向きに利用できます。
1/cosxと1/cos²xの違いを理解する
混乱しやすいポイントとして、1/cosxと1/cos²xの違いがあります。
1/cosxの積分は対数関数を含む複雑な形ですが、1/cos²xの積分はtanx＋Cというシンプルな形です。
「cosxが1乗か2乗か」に注目して問題を読む習慣をつけるといいでしょう。
積分公式の一覧表を活用するコツ
三角関数の積分は種類が多く、すべてを一から証明するのは時間がかかります。
公式を丸暗記するだけでなく、証明の流れを大まかに理解しておくことで、忘れたときにも自分で導き直せるようになります。
公式の「なぜ」を知ることが、数学の実力向上につながるでしょう。
1/cosxの積分の例題で理解を深めよう
続いては、実際の例題を通じて1/cosxの積分の解き方を確認していきます。
例題①：基本的な不定積分
問題：∫(1/cosx)dx を求めよ。
解答：公式をそのまま適用して、
∫(1/cosx)dx＝log|tanx＋1/cosx|＋C
この問題は公式をそのまま当てはめるだけで解くことができます。
答えにCを忘れないこと、logの中に絶対値をつけることを必ず守りましょう。
例題②：引数に定数がある場合
問題：∫(1/cos(2x))dx を求めよ。
t＝2xとおくと dt＝2dx なので dx＝dt/2
∫(1/cos(2x))dx＝(1/2)∫(1/cost)dt
＝(1/2)log|tant＋1/cost|＋C
＝(1/2)log|tan(2x)＋1/cos(2x)|＋C
引数に定数がある場合は、置換積分で引数を単純化するのがポイントです。
最後にtをxに戻すことを忘れないようにしましょう。
例題③：sinxとの組み合わせ
問題：∫(sinx/cos²x)dx を求めよ。
t＝cosxとおくと dt＝－sinx dx より sinx dx＝－dt
∫(sinx/cos²x)dx＝∫(1/t²)(－dt)＝－∫t⁻²dt＝t⁻¹＋C＝1/cosx＋C
この例題ではt＝cosxとおく置換積分が有効に機能しています。
sinx/cos²xはsecx・tanxと同じ形であり、secxの微分とも一致する興味深い結果です。
まとめ
この記事では、1/cosxの積分の公式と証明、tanxとの関係、例題を通じた解き方について解説しました。
1/cosxの積分公式はlog|tanx＋1/cosx|＋Cであり、分子分母への乗算や半角置換によって証明することができます。
tanxとの関係では、1/cos²xを積分するとtanxになるという基本的な対応関係が重要です。
例題で確認したように、引数に定数がある場合や他の三角関数との組み合わせでは、置換積分が強力な武器になります。
公式の意味と証明の流れをセットで理解することで、応用力のある数学の実力が身につくでしょう。
