！
微分の学習を進めていると、1/cosxの微分という形に出会う場面があります。
分数の形をした三角関数の微分は少し複雑に見えますが、基本的な微分の法則を使えばしっかりと導き出すことができます。
この記事では、1/cosxの微分公式の内容とその証明方法、さらにtanxとの重要な関係について、わかりやすく丁寧に解説していきます。
1/cosxの微分の公式はsinx/cos²x
それではまず、1/cosxの微分の公式について解説していきます。
1/cosxを微分すると、次のような結果が得られます。
d/dx(1/cosx)＝sinx/cos²x（＝secx・tanxとも表記できます）
sinx/cos²xという形は、一見複雑に見えますが、商の微分を使えば自然に導き出すことができます。
また、secx・tanxという形は三角関数の別表記を使った同値な表現です。
どちらの形も正しく、問題の文脈に応じて使い分けることができるでしょう。
商の微分公式を使った証明
1/cosxの微分は、商の微分公式を使って証明するのが最もスタンダードな方法です。
1/cosx＝1/cosxの形なので、商の微分公式 d/dx(f/g)＝(f’g－fg’)/g² を適用します。
f＝1 → f’＝0
g＝cosx → g’＝－sinx
d/dx(1/cosx)＝(0・cosx－1・(－sinx))/cos²x＝sinx/cos²x
商の微分公式を正確に覚えていれば、代入するだけで証明が完了します。
分子の「0・cosx」の部分は0になるため、計算はとてもシンプルです。
合成関数の微分を使った証明
別の証明方法として、1/cosxを(cosx)⁻¹と見なして合成関数の微分を使う方法があります。
1/cosx＝(cosx)⁻¹とおくと、
d/dx((cosx)⁻¹)＝(－1)・(cosx)⁻²×(－sinx)
＝sinx/cos²x
この方法では冪乗の微分公式 d/dx(xⁿ)＝nxⁿ⁻¹を合成関数に拡張した形を使っています。
2つの証明方法を理解しておくと、微分の問題全般に対する応用力が高まるでしょう。
結果をsecx・tanxで表す意味
微分結果のsinx/cos²xは、secx・tanxとも書くことができます。
sinx/cos²x＝(1/cosx)・(sinx/cosx)＝secx・tanx
secx・tanxという表記は、特に英語圏の教科書では標準的な形として用いられています。
この変換がスムーズにできると、より高度な積分問題にも対応しやすくなります。
1/cosxの微分とtanxの関係を整理しよう
続いては、1/cosxの微分とtanxの関係について確認していきます。
この2つは密接につながっており、まとめて理解することでより深い学びが得られます。
| 関数 | 微分結果 | 補足 |
|---|---|---|
| tanx（＝sinx/cosx） | 1/cos²x | sec²xとも表記 |
| 1/cosx（＝secx） | sinx/cos²x | secx・tanxとも表記 |
| 1/cos²x（＝sec²x） | 2sinx/cos³x | 2sec²x・tanxとも表記 |
表から、tanxを微分すると1/cos²xになることがわかります。
微分と積分は逆の操作であるため、この関係を双方向で理解しておくことが大切です。
tanxとsecxを含む微分の連携
tanxとsecxは、微分の計算で互いに結びついている関数です。
secxを微分するとsecx・tanxが現れ、tanxを微分するとsec²xが現れます。
積の微分や合成関数の微分でこれらが登場した際、それぞれの微分結果を即座に使えるようにしておきましょう。
よくある間違いと注意点
1/cosxの微分では、いくつかの典型的なミスが見られます。
1/cosxの微分を－sinxと間違えるケースがありますが、これはcosxを微分したときの結果と混同したものです。
「逆数にしてから微分」と「微分してから逆数」は異なることを、しっかりと意識してください。
商の微分や合成関数の微分の手順を丁寧に追うことで、こうしたミスを防ぐことができるでしょう。
微分の結果を利用した積分への応用
1/cosxの微分結果sinx/cos²xは、積分の問題にも応用できます。
∫(sinx/cos²x)dxを求めるときは、1/cosxの微分がsinx/cos²xであることを逆用することができます。
∫(sinx/cos²x)dx＝1/cosx＋C
（1/cosxを微分するとsinx/cos²xになるため、逆に積分すると1/cosxに戻る）
微分と積分の逆関係を意識することで、計算の見通しが立てやすくなります。
1/cosxの微分の応用例で理解を深めよう
続いては、1/cosxの微分の応用例を通じてさらに理解を深めていきます。
合成関数を含む微分の例
1/cos(2x)のように、引数が変わった場合の微分を確認しましょう。
問題：d/dx(1/cos(2x))を求めよ。
合成関数の微分より、
d/dx(1/cos(2x))＝sin(2x)/cos²(2x)×2＝2sin(2x)/cos²(2x)
外側の微分（1/cosxの微分）と内側の微分（2xの微分＝2）をかけ合わせることで答えが得られます。
合成関数の微分では「外×内の微分」というルールを意識するとスムーズです。
積の微分との組み合わせ
x・(1/cosx)のように積の形になった場合は、積の微分公式を使います。
問題：d/dx(x/cosx)を求めよ。
f＝x → f’＝1
g＝1/cosx → g’＝sinx/cos²x
d/dx(x・(1/cosx))＝1/cosx＋x・sinx/cos²x
この結果は1/cosx＋xsinx/cos²xとなり、2つの項の和として表されます。
積の微分をしっかりと身につけることで、こうした応用問題にも落ち着いて対応できるでしょう。
微分の検算方法
微分の計算が正しいかどうかを確認する方法として、具体的な数値を代入して近似値と比較する方法があります。
たとえばx＝0を代入すると、微分結果sinx/cos²xの値はsin0/cos²0＝0/1＝0となります。
x＝0での1/cosxのグラフの傾きが0であることとも一致し、計算が正しいことの確認になります。
まとめ
この記事では、1/cosxの微分の公式と証明、tanxとの関係について解説しました。
1/cosxの微分結果はsinx/cos²x（＝secx・tanx）であり、商の微分または合成関数の微分によって証明することができます。
tanxを微分すると1/cos²xになるという関係とあわせて覚えておくと、試験問題を解く際に大きな武器になるでしょう。
合成関数や積の微分との組み合わせについても、例を通じて確認しました。
公式の意味と証明の流れをしっかり理解した上で、さまざまな問題に挑戦してみてください。
