平均変化率:直線の傾きは曲線に当てはまらない
直線の傾きは、その直線上のどこでも一定であり、変化の割合(ライズオーバーラン)として計算されます。つまり、直線上の任意の2点間における垂直方向の値の変化を、水平方向の値の変化で割ったものです。これに対して曲線は、点ごとに連続的に変化する傾きを持ちます — f(x) = x^2のグラフはx = 0付近では傾きが緩やかで、そこから離れるほど急になるため、曲線全体をひとつの傾きの値で表すことはできません。
関数の点aとb間における平均変化率は、直線の傾きと同じ方法、すなわち[f(b) − f(a)] / (b − a)で計算されます。この数値は、その区間全体にわたって関数がどれだけ平均的に変化したかを表しますが、その区間内の特定の1点で関数がどれだけ急であるかは表しません — 曲線は区間の一方の端で急激に上昇し、もう一方の端ではゆるやかに変化しながらも、区間全体を通しては同じ平均変化率を持つことがあります。
割線から接線へ:導関数の極限による定義
曲線上の2点を通る直線は割線と呼ばれ、その傾きはその2点間の平均変化率、すなわち[f(x+h) − f(x)] / hに等しくなります。ここでhは2点間の水平方向の距離です。2つ目の点が1つ目の点にどんどん近づいていくにつれて — hが0に向かって縮んでいくにつれて — 割線は回転し、接線と呼ばれる極限の位置に近づいていきます。接線とは、曲線上の1点だけに触れ、その点で曲線の方向と一致する直線のことです。
xにおけるfの導関数は、この接線の傾きとして定義され、正式にはhが0に近づくときの割線の傾きの極限として次のように表されます:f'(x) = lim(h→0) [f(x+h) − f(x)] / h。これは標準的な微積分の授業で教えられる正式な定義であり、「瞬間変化率」という漠然とした概念を、評価または近似が可能な厳密な極限へと変換するものです。
数値微分と記号微分:2つの異なる問い
記号微分は、べき乗則、積の法則、連鎖律などの代数的な規則を関数の式に直接適用し、新しい式f'(x)を導き出します。この式は、元の関数が微分可能であるすべてのxで有効です。f(x) = x^2が与えられた場合、記号微分は一般的な公式f'(x) = 2xを返し、これは以降さらなる微積分の計算を行うことなく任意の点で評価できます:x = 3では6、x = 10では20になります。
数値微分はより限定的な問いに答えます:一般的な公式を一切導出することなく、特定の1点x0における導関数の値は何かという問いです。このサイトの導関数計算機は5点中心差分を使用します。これはx0の両側に非常に近い複数の点でfを評価し、それらの値を組み合わせて、x0における傾きの高精度な推定値を1つ算出する標準的な数値解析の手法です。この2つのアプローチは同じ出力を競って求める手法ではありません — 一方は公式を生み出し、もう一方は1つの点における1つの数値を生み出します — そしてこの2つを混同することが、導関数計算機の結果を読む際に最もよくある誤解です。
| アプローチ | 何を返すか | f(x) = x²の例 |
|---|---|---|
| 記号微分 | すべてのxで有効な一般的な公式、f'(x) | f'(x) = 2x |
| 数値微分(5点中心差分) | 選択した1点におけるf'(x0)の推定値という1つの数値 | f'(3) ≈ 6 |
計算例:x = 3におけるx²の導関数
記号的には、f(x) = x^2の導関数はべき乗則によりf'(x) = 2xとなるため、f'(3) = 2 × 3 = 6と厳密に求まります。数値的には、5点中心差分の公式は小さなステップ幅hに対してf'(x0) ≈ [−f(x0+2h) + 8f(x0+h) − 8f(x0−h) + f(x0−2h)] / (12h)としてf'(x0)を推定します。h = 0.000001、x0 = 3として計算すると、この数値公式はおよそ6.000000001と評価され、厳密な記号的結果と小数点以下8桁まで一致します。
この一致は偶然ではなく、予期された結果です:x^2のような滑らかな関数では、中心差分法の誤差はh^4に比例して縮小するため、非常に小さいhを用いれば、通常表示される精度において厳密な記号的答えと事実上区別できない数値推定値が得られます。この2つの手法は、x = 3における接線の傾きという同じ根本的な数学の問いに、代数的で厳密な経路と、数値的で近似的ながらも滑らかな関数に対しては極めて正確な経路という、2つの異なる方法で答えているのです。
計算機の結果を読む際にこの違いが重要な理由
このサイトのものを含め、数値による導関数計算機が2xのような公式を出力することは決してありません — 出力されるのは、入力された唯一のx0における推定された傾き、1つの数値だけです。別の点における導関数の値を求めるには、その新しい点を改めて入力し、再計算する必要があります。なぜなら、その過程でf'(x)についての一般的な式が生成されたり保存されたりすることはないからです。
この違いには実用上の帰結があります:数値微分は、記号的に閉じた形で微分することが難しい、あるいは不可能な関数の導関数を評価できます — 例えば、データやシミュレーションから構築された関数、あるいは単純な代数的導関数を持たない式などです。なぜなら、数値微分は近くの点でfを評価する必要があるだけで、その式を操作する必要がないからです。その代償として、各結果は再利用可能な一般的な公式ではなく、1点における推定値にとどまります。
よくある質問
導関数とは簡単に言うと何ですか?
導関数とは、特定の1点における関数の瞬間変化率であり、その点で関数のグラフに接する直線の傾きに相当します。正式には、その割線を定義する2点が1点に近づいていくときの平均変化率(割線の傾き)の極限として定義されます。
導関数の極限による定義とは何ですか?
xにおけるfの導関数はf'(x) = lim(h→0) [f(x+h) − f(x)] / hと定義されます。これは、hが0に向かって縮んでいくときの、点xとx+hの間の割線の傾きの極限です。この極限が、瞬間変化率という非公式な概念を、厳密な数学的定義へと変換します。
数値微分と記号微分の違いは何ですか?
記号微分は関数の式に代数的な規則を適用し、すべての点で有効な新しい一般的な公式f'(x)を導き出します。一方、数値微分は、5点中心差分のような近くの関数評価値を用いて、一般的な公式を一切生成することなく、特定の1点における導関数の値を推定します。
なぜ数値による導関数計算機は公式ではなく1つの数値しか返さないのですか?
数値微分は、要求された1点に非常に近い点で関数を評価し、それらの値を組み合わせて傾きの推定値を算出する仕組みだからです — 関数の代数的な構造を操作することは一切ないため、他の点でも有効な公式を生成する手段がありません。別の場所で導関数を評価するには、新しい点を入力し直して計算をやり直す必要があります。
x = 3におけるx²の導関数は何ですか?
厳密に6です。記号的には、べき乗則によりf(x) = x²に対してf'(x) = 2xとなるため、f'(3) = 6です。数値的には、小さなステップ幅を用いた5点中心差分でも小数点以下多くの桁まで同じ結果が得られます。これは、この2つの手法がどちらも、x = 3における接線の傾きという同じ根本的な量を、異なる経路で計算しているためです。
参考文献
- Stewart J. Calculus. Cengage Learning (the derivative as the limit of a difference quotient and the slope of the tangent line).
- Burden RL, Faires JD. Numerical Analysis. Cengage Learning (finite-difference approximations to derivatives).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and the derivative).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.