1/cos²xの積分は、三角関数の積分の中でも特に重要なテーマのひとつです。
この積分はtanxの微分と深く関係しており、tanxの導関数を知っていれば即座に答えが出せるという特徴があります。
この記事では、1/cos²xの積分の公式からやり方、tanxとの関係、不定積分・定積分の例題まで丁寧に解説していきます。
三角関数の積分が苦手な方でもわかりやすいようステップごとに説明していますので、ぜひ最後まで読んでみてください。
1/cos²xの積分の公式と結論
それではまず、1/cos²xの積分の公式と結論を確認していきます。
1/cos²xの不定積分の公式は次のとおりです。
∫1/cos²x dx = tanx + C
（Cは積分定数）
これはtanxを微分するとd/dx[tanx] = 1/cos²x になることから、逆に積分するとtanxが得られるという関係に基づいています。
微分と積分が逆の操作であるという基本原理をそのまま活用した公式です。
1/cos²xの積分はtanx + C。これはd/dx[tanx] = 1/cos²xという微分公式の逆の関係から導かれます。tanxの微分公式とセットで覚えておきましょう。
tanxの微分公式との関係
tanxの微分公式は次のとおりです。
d/dx[tanx] = 1/cos²x
この公式は商の微分を使って証明できます。
tanx = sinx/cosxであるため、d/dx[sinx/cosx] = (cosx・cosx – sinx・(-sinx))/cos²x = (cos²x + sin²x)/cos²x = 1/cos²x となります。
sin²x + cos²x = 1という三角関数の基本公式を使うのがポイントです。
sec²xとの関係
1/cos²xはsec²xとも表記されます。
secx = 1/cosxという定義から、sec²x = 1/cos²x が成り立ちます。
大学の教科書や問題ではsec²xという表記が使われることも多いため、両方の表記に慣れておくとよいでしょう。
いずれの表記でも積分結果はtanx + Cとなります。
積分定数の扱いと注意点
不定積分の最終的な答えには積分定数Cが必要です。
tanx + Cというシンプルな答えですが、Cの書き忘れは減点対象になるため注意しましょう。
また1/cos²xはcosx = 0となるx = π/2 + nπ（nは整数）で定義されないため、積分の定義域にも注意が必要です。
定積分を行う際はこの点を意識した上で積分範囲を設定しましょう。
1/cos²xの積分の証明とやり方
続いては、1/cos²xの積分の証明とやり方を確認していきます。
tanxの微分公式から逆向きに導く方法が最もシンプルです。
tanxの微分からの導出
積分と微分は逆の操作であるという原始関数の定義から、次のように導けます。
d/dx[tanx] = 1/cos²x
↓（両辺を積分する）
tanx = ∫1/cos²x dx
よって ∫1/cos²x dx = tanx + C
このように微分公式を逆向きに使うだけで積分公式が得られます。
証明の流れはシンプルですが、tanxの微分公式を正確に覚えていることが前提となります。
tanxの微分公式の証明
tanxの微分公式は商の微分公式を使って次のように証明できます。
tanx = sinx/cosxとして商の微分を適用すると、
d/dx[sinx/cosx]
= (cosx・cosx – sinx・(-sinx)) / cos²x
= (cos²x + sin²x) / cos²x
= 1/cos²x ✓
sin²x + cos²x = 1という三角関数の基本公式の活用が証明のポイントです。
この証明の流れを一度自分の手で書いてみると、公式の意味が深く理解できるでしょう。
1 + tan²x = sec²xとの関係
1/cos²xにはもうひとつ重要な恒等式があります。
sin²x + cos²x = 1 の両辺をcos²xで割ると、
tan²x + 1 = 1/cos²x = sec²x
つまり1/cos²x = 1 + tan²xという関係も成り立ちます。
この恒等式は三角関数の積分や変換でよく使われるため、合わせて覚えておくとよいでしょう。
1/cos²xの積分の応用と例題
続いては、1/cos²xの積分の応用と具体的な例題を確認していきます。
定積分への応用や類似する積分との比較を通じて、理解をさらに深めていきましょう。
定積分の例題
【例題】∫₀^(π/4) 1/cos²x dx を求めよ。
[tanx]₀^(π/4)
= tan(π/4) – tan(0)
= 1 – 0
= 1
tan(π/4) = 1、tan(0) = 0 であることに注意すれば、計算はスムーズに進みます。
答えは1となります。
類似する三角関数の積分との比較
1/cos²xと形が似た三角関数の積分公式をまとめて確認しておきましょう。
| 積分の形 | 積分結果 |
|---|---|
| ∫1/cos²x dx | tanx + C |
| ∫1/sin²x dx | -cotx + C |
| ∫cosx dx | sinx + C |
| ∫sinx dx | -cosx + C |
1/cos²xの積分がtanx + C、1/sin²xの積分が-cotx + Cという対称的な関係を押さえておきましょう。
符号の違いに注意しながら両方セットで覚えておくと便利です。
合成関数との組み合わせ例題
【例題】∫1/cos²(2x) dx を求めよ。
t = 2xと置くとdx = dt/2
∫1/cos²(t)・(dt/2) = (1/2)tan(t) + C
tを戻して → (1/2)tan(2x) + C
合成関数との組み合わせでは置換積分を使うことで、係数(1/2)が前に付く形になります。
この手順を覚えておくと、1/cos²(ax)の形の積分にも対応できるでしょう。
まとめ
1/cos²xの積分はtanx + C であり、d/dx[tanx] = 1/cos²xという微分公式の逆の関係から導かれます。
tanxの微分公式は商の微分とsin²x + cos²x = 1を使って証明でき、この流れを理解しておくことが大切です。
1/cos²xはsec²xとも表記されるため、両方の表記に慣れておくと大学数学でもスムーズに対応できます。
定積分ではcosx = 0となる点を積分範囲に含まないよう注意しながら、tan値を正確に代入して計算してみてください。
