微分は高校数学から大学数学まで幅広く登場する重要なテーマです。
公式だけを覚えて計算している方も多いのではないでしょうか。
しかし微分の証明を理解しておくと、公式の意味がぐっと深く見えてきます。
この記事では微分の証明は？公式の導出方法も！（定義からの証明・積の微分・商の微分・合成関数など）というテーマで、微分の基本的な証明から積の微分、商の微分、合成関数の微分まで丁寧に解説していきます。
数式の導出過程を一つずつ追いながら、なぜその公式が成り立つのかを確認していきましょう。
証明の流れを押さえれば、公式を忘れてしまったときにも自分で導き出せるようになります。
それでは早速、微分の証明の全体像から見ていきましょう。
微分の証明は極限の定義から導かれる（結論）
それではまず、微分の証明は？公式の導出方法も！という疑問に対する結論からお伝えしていきます。
結論から言うと、微分の証明はすべて極限の定義から出発します。
微分係数とは、ある点における関数の瞬間的な変化率のことです。
この変化率を数式で表すために、平均変化率の極限を利用します。
つまり、微分のあらゆる公式は、まず定義に基づいて式を立て、その後に極限の性質や既知の公式を組み合わせて導出されているのです。
微分の証明における最重要ポイントは、すべての公式が次の定義式に還元できるという点です。
f'(x) は、hを0に限りなく近づけたときの（f(x+h)－f(x)）÷hの極限として定義されます。
積の微分や商の微分、合成関数の微分といった応用公式も、この定義式を出発点として証明されています。
したがって、微分の証明を理解するうえで最初に押さえるべきは、この定義式そのものなのです。
積の微分公式や商の微分公式は、一見すると別々の公式に見えるかもしれません。
しかし根っこの部分をたどれば、どれも同じ定義から派生した兄弟のような関係にあります。
合成関数の微分、いわゆる連鎖律も例外ではありません。
それぞれの証明を個別に暗記するのではなく、共通の出発点があることを意識すると理解が深まるでしょう。
次の見出しからは、この定義式を使った具体的な証明の流れを詳しく見ていきます。
微分の定義と基本的な証明の流れ
続いては、微分の定義と基本的な証明の流れを確認していきます。
微分係数の定義式は、先ほど触れた通り極限を用いた式で表されます。
この式の意味を丁寧に理解することが、以降のすべての証明の土台となります。
微分係数の定義式とは
微分係数の定義式は、関数f(x)上の2点を結ぶ直線の傾きから出発します。
xとx+hという2点における関数値の差を、hで割ったものが平均変化率です。
平均変化率は次のように表されます。
（f(x+h)－f(x)）÷h
この式でhを限りなく0に近づけたときの極限値が、微分係数f'(x)です。
数式では lim（h→0）（f(x+h)－f(x)）÷h と表記されます。
この極限が存在するとき、関数f(x)は点xで微分可能であるといいます。
逆に極限が存在しない場合、その点では微分不可能ということになるでしょう。
絶対値関数の原点付近などが、微分不可能な典型例として挙げられます。
極限の考え方が証明のカギになる理由
なぜ微分の証明において極限が重要なのでしょうか。
それは、瞬間の変化率という概念そのものが、極限なしには定義できないからです。
hをどれだけ小さくしても、hが0そのものになってしまうと分母が0になり、式が成立しません。
そこで「限りなく近づける」という極限の考え方を用いることで、この矛盾を回避しているのです。
この発想はニュートンやライプニッツの時代から続く、微分積分学の根幹をなす考え方といえます。
極限の性質、たとえば和の極限や積の極限に関する法則も、証明の随所で活用されます。
証明の基本的なステップを整理する
微分の証明は、おおむね次のようなステップで進められます。
| ステップ | 内容 |
|---|---|
| 1 | 証明したい関数の定義式を立てる |
| 2 | f(x+h)とf(x)の差を計算する |
| 3 | 差の式をhで割り、平均変化率を求める |
| 4 | hを0に近づける極限を計算する |
| 5 | 得られた極限値が求める公式であることを確認する |
この流れさえ押さえておけば、どのような関数の微分証明でも応用が利くはずです。
特にステップ2の「差の計算」が式変形の見せどころになることが多いでしょう。
因数分解や有理化、三角関数の加法定理などを駆使して式を整理していきます。
次の章では、実際にべき乗関数や三角関数の証明を通じて、この流れを体感していきましょう。
べき乗関数・三角関数・指数関数の微分の証明
続いては、代表的な関数であるべき乗関数、三角関数、指数関数の微分の証明を確認していきます。
これらは微分公式の中でも特によく使われる基本公式です。
べき乗関数xⁿの微分の証明
xⁿを微分するとnxⁿ⁻¹になるという公式は、多くの方が暗記しているのではないでしょうか。
この公式も定義式から証明することができます。
f(x)＝xⁿとします。
f(x+h)－f(x)＝（x+h）ⁿ－xⁿです。
二項定理を用いると（x+h）ⁿは、xⁿ＋nxⁿ⁻¹h＋（hの2乗以上の項の和）と展開できます。
したがって差の部分はnxⁿ⁻¹h＋（hの2乗以上の項）となります。
これをhで割ると、nxⁿ⁻¹＋（hを含む項）となります。
hを0に近づけると後半の項はすべて0に収束するため、極限値はnxⁿ⁻¹に一致します。
このように二項定理を利用することで、べき乗関数の微分公式を厳密に証明できます。
nが自然数の場合だけでなく、負の指数や分数指数の場合にも同様の公式が成り立つことが知られています。
その証明には商の微分公式や合成関数の微分を利用する場合が多いでしょう。
三角関数sinx・cosxの微分の証明
三角関数の微分証明では、加法定理と有名な極限公式が重要な役割を果たします。
sinxを微分するとcosxになる、という公式を例に見ていきましょう。
f(x)＝sinxとします。
f(x+h)－f(x)＝sin（x+h）－sinxです。
加法定理を使うとsin（x+h）＝sinxcosh＋cosxsinhと展開できます。
これを代入すると、差はsinx（cosh－1）＋cosxsinhとなります。
この式をhで割り、hを0に近づけると、（cosh－1）÷hは0に、sinh÷hは1に収束します。
結果としてf'(x)＝cosxという公式が導かれます。
この証明のポイントは、sinh÷hがhを0に近づけたとき1に収束するという極限公式にあります。
この極限公式自体は、扇形の面積比較などを用いた別の証明が必要になる点も覚えておきたいところです。
cosxの微分がマイナスsinxになる証明も、同様の流れで導くことができます。
指数関数eⁿの微分の証明
指数関数の中でも、自然対数の底eを用いたeⁿの微分は特別な性質を持っています。
eⁿを微分してもeⁿのまま変わらないという、非常にシンプルな公式です。
f(x)＝eⁿとします。
f(x+h)－f(x)＝eⁿ⁺ʰ－eⁿ＝eⁿ（eʰ－1）と変形できます。
これをhで割ると、eⁿ×（eʰ－1）÷hとなります。
ここで（eʰ－1）÷hがhを0に近づけたとき1に収束するという極限公式を用います。
したがって極限値はeⁿそのものになります。
この性質があるからこそ、eは自然対数の底として特別視されているのです。
微分方程式や物理現象のモデル化など、さまざまな分野でeⁿが好んで使われる理由もここにあるでしょう。
基本関数の証明を一通り理解したら、次は複数の関数を組み合わせた場合の証明に進みましょう。
積の微分公式の証明
続いては、積の微分公式の証明を確認していきます。
2つの関数を掛け合わせた関数を微分する際に使われる、実務でも頻出の公式です。
積の微分公式とは何か
2つの関数f(x)とg(x)の積をF(x)＝f(x)g(x)とします。
このときF'(x)はf'(x)g(x)＋f(x)g'(x)という形で表されます。
単純にf'(x)g'(x)にはならない点に注意が必要です。
この違いを理解していないと、計算ミスにつながりやすいでしょう。
積の微分公式を定義から証明する
それでは実際に定義式からこの公式を導いてみましょう。
F(x+h)－F(x)＝f(x+h)g(x+h)－f(x)g(x)です。
ここでf(x+h)g(x)という項を足して引くという工夫を行います。
式は次のように変形できます。
f(x+h)g(x+h)－f(x+h)g(x)＋f(x+h)g(x)－f(x)g(x)
これを整理すると、f(x+h)｛g(x+h)－g(x)｝＋g(x)｛f(x+h)－f(x)｝となります。
両辺をhで割り、hを0に近づけると、それぞれの項が微分係数の定義に収束します。
結果としてF'(x)＝f(x)g'(x)＋g(x)f'(x)という公式が得られます。
「足して引く」という一見遠回りに見えるテクニックが、この証明の最大のポイントといえます。
このテクニックは他の証明でも頻繁に登場するため、ぜひ覚えておきたいところです。
積の微分公式の具体例で理解を深める
公式だけを見てもピンとこない方のために、具体例を確認してみましょう。
f(x)＝x²、g(x)＝sinxとします。
F(x)＝x²sinxのとき、F'(x)は次のように計算されます。
F'(x)＝2x×sinx＋x²×cosx
このように、片方を微分してもう片方はそのまま、という操作を2パターン足し合わせるのが積の微分公式の使い方です。
慣れないうちはどちらを先に微分すべきか迷うかもしれません。
しかし公式の形さえ覚えてしまえば、機械的に計算できるようになるはずです。
3つ以上の関数の積の場合も、同様の考え方を繰り返し適用することで対応できます。
商の微分公式の証明
続いては、商の微分公式の証明を確認していきます。
分数の形をした関数を微分する際に必要となる公式です。
商の微分公式の形を確認する
F(x)＝f(x)÷g(x)（ただしg(x)は0でない）とします。
このときF'(x)は次のように表されます。
商の微分公式は次の通りです。
F'(x)＝｛f'(x)g(x)－f(x)g'(x)｝÷｛g(x)｝²
分子の順番を間違えると符号が逆になってしまうため、非常に注意が必要な公式です。
覚え方としては「分子微分×分母－分子×分母微分、割る分母の2乗」という語呂で押さえておくと便利でしょう。
商の微分公式を証明する方法
商の微分公式には主に2通りの証明方法があります。
1つ目は定義式から直接導く方法、2つ目は積の微分公式を応用する方法です。
ここでは積の微分公式を利用した証明を紹介します。
F(x)＝f(x)÷g(x)は、F(x)g(x)＝f(x)と書き換えることができます。
両辺を積の微分公式でxについて微分すると、F'(x)g(x)＋F(x)g'(x)＝f'(x)となります。
F'(x)について解くと、F'(x)＝｛f'(x)－F(x)g'(x)｝÷g(x)です。
ここにF(x)＝f(x)÷g(x)を代入し、分母をそろえて整理します。
最終的にF'(x)＝｛f'(x)g(x)－f(x)g'(x)｝÷｛g(x)｝²という形にたどり着きます。
積の微分公式さえ証明できていれば、商の微分公式もそこから比較的スムーズに導けることが分かります。
このように、微分の公式同士は独立しているようで、実は互いにつながっているのです。
商の微分公式でよくあるミスと注意点
商の微分公式の計算では、いくつかの典型的なミスが見られます。
1つ目は分子の順番を逆にしてしまうミスです。
f'(x)g(x)－f(x)g'(x)を、うっかりf(x)g'(x)－f'(x)g(x)としてしまうケースが少なくありません。
2つ目は分母を｛g(x)｝²ではなくg(x)のままにしてしまうミスです。
3つ目は、分子や分母が複雑な式のときに、積の微分公式の適用を忘れてしまうケースでしょう。
これらのミスを防ぐには、公式を丸暗記するだけでなく、証明の流れを一度は自分の手で追ってみることが有効です。
証明を理解していれば、公式のどの部分がなぜその形になっているのか、自然と思い出せるようになります。
合成関数の微分（連鎖律）の証明
続いては、合成関数の微分、いわゆる連鎖律の証明を確認していきます。
関数の中に関数が入れ子になっている、少し複雑な形の関数を微分する際に使う公式です。
合成関数と連鎖律の基本
y＝f(u)、u＝g(x)という2つの関数があり、y＝f(g(x))という合成関数を考えます。
このときyをxで微分すると、次のような関係が成り立ちます。
連鎖律の公式は次の通りです。
dy÷dx＝（dy÷du）×（du÷dx）
つまり合成関数の微分は、外側の関数を微分したものと、内側の関数を微分したものの積になります。
この公式は入試や大学の講義でも頻繁に使われる、非常に重要な公式です。
連鎖律の証明の流れ
連鎖律の証明も、基本的には定義式からスタートします。
uの変化量をΔu、xの変化量をΔxとします。
Δy÷Δxは、（Δy÷Δu）×（Δu÷Δx）と書き換えられます。
Δxを0に近づけると、Δuも0に近づいていきます。
したがってΔy÷Δuはdy÷duに、Δu÷Δxはdu÷dxに、それぞれ収束します。
この2つの極限の積が、求めるdy÷dxになるというわけです。
ただし、この証明にはΔuが0になってしまう場合の扱いなど、厳密には注意すべき点がいくつか存在します。
大学の解析学では、そうした細部までを含めたより厳密な証明が扱われることが一般的でしょう。
高校数学の範囲では、まずはこの直感的な証明の流れを理解しておけば十分といえます。
合成関数の微分の具体例
実際の計算例で連鎖律の使い方を確認してみましょう。
y＝（3x＋2）⁵という関数を考えます。
外側の関数をf(u)＝u⁵、内側の関数をu＝3x＋2とおきます。
f'(u)＝5u⁴、u’＝3ですから、dy÷dx＝5u⁴×3＝15u⁴となります。
uを元に戻すと、dy÷dx＝15（3x＋2）⁴です。
このように、外側と内側を分けて考えることで、複雑に見える関数も落ち着いて微分できるようになります。
合成関数の微分は、三角関数や指数関数、対数関数などと組み合わさって出題されることが多いでしょう。
どの部分が外側でどの部分が内側なのか、丁寧に切り分ける習慣をつけておきたいところです。
微分の証明を理解する際のよくある疑問とつまずきポイント
続いては、微分の証明を学ぶ中でよく出てくる疑問やつまずきポイントを確認していきます。
なぜ証明が必要なのか、公式暗記だけではダメなのか
公式を暗記するだけでもテストの点数はある程度取れるかもしれません。
しかし証明を理解していないと、公式を忘れたときに何もできなくなってしまいます。
また、応用問題や証明問題そのものが出題された場合には、暗記だけでは太刀打ちできないでしょう。
証明の流れを理解しておくことは、いわば公式という結果を自分の力で再現できる保険のようなものです。
極限の計算でつまずきやすいポイント
微分の証明でつまずく多くの原因は、極限の計算そのものにあります。
特に0÷0の形になる不定形の扱いに戸惑う方が多いのではないでしょうか。
三角関数の証明で登場するsinh÷hの極限や、指数関数の証明で登場する（eʰ－1）÷hの極限は、その代表例です。
これらは高校数学ではやや天下り的に与えられることが多く、丸ごと覚えてしまっても問題ないでしょう。
大学以降で学ぶ厳密な極限の理論、いわゆるイプシロンデルタ論法まで踏み込むと、さらに正確な理解が得られます。
証明問題への取り組み方のコツ
微分の証明問題に取り組む際は、まず定義式を正確に書き出すことから始めましょう。
次に、f(x+h)－f(x)の部分をどう変形すれば極限が計算できる形になるかを考えます。
積の微分の証明で使った「足して引く」テクニックのように、証明特有のパターンをいくつか知っておくと役立ちます。
| 公式 | 証明の主なテクニック |
|---|---|
| べき乗の微分 | 二項定理による展開 |
| 三角関数の微分 | 加法定理と極限公式の利用 |
| 指数関数の微分 | 指数法則と極限公式の利用 |
| 積の微分 | 項を足して引く工夫 |
| 商の微分 | 積の微分公式への置き換え |
| 合成関数の微分 | 変数の連鎖を利用した式変形 |
こうしたテクニックはパターンとして数が限られているため、繰り返し練習すれば必ず身につくはずです。
焦らず一つずつ手を動かして証明を書き写してみることが、遠回りに見えて実は一番の近道でしょう。
まとめ
今回は微分の証明は？公式の導出方法も！（定義からの証明・積の微分・商の微分・合成関数など）というテーマで解説してきました。
微分のあらゆる公式は、hを0に近づける極限の定義式から出発しています。
べき乗関数の証明には二項定理、三角関数の証明には加法定理と極限公式が使われていました。
積の微分公式では項を足して引く工夫が、商の微分公式では積の微分公式への置き換えがポイントでした。
合成関数の微分、つまり連鎖律は、外側と内側の関数をそれぞれ微分した値の積として証明されます。
それぞれの証明は一見バラバラに見えるかもしれません。
しかし根本をたどれば、すべて同じ定義式につながっているのです。
公式を暗記するだけでなく、証明の流れも一度は自分の手で追ってみてください。
きっと微分という分野への理解が、これまで以上に深まるはずです。
