1 差分商の定義
1.1 関数の変化量と入力の変化量
差分商は、ある関数の出力がどれだけ変わったかを、入力がどれだけ変わったかで割って比の形に整理した量である。ここで対象となる「出力の変化」は関数値の差として、また「入力の変化」は引数の差として扱われる。割り算により、単なる差よりも単位が揃った比較が可能になり、入力の規模が変わっても変化の度合いを捉えやすくなる。
数学的には、入力の値を2点取り、それぞれで関数が取る値の差と、2点の間隔（刻み幅）の差を用いて作る。連続性や滑らかさを仮定しない段階でも定義でき、まずは離散的な点同士の比較として導入される。
1.2 差分商の基本形（左右の点の取り方）
1.2.1 左差分商
左差分商は、注目する点より左側にある入力値を用いて差を取る構成である。具体的には、ある点 \(x\) より小さい値 \(x-h\)（\(h>0\)）を用意し、関数値 \(f(x)\) と \(f(x-h)\) の差を、入力の差 \(h\) で割る。符号や配置の取り方により見た目の式は変わりうるが、「左側の点から得た変化率」という意味づけは共通する。
この量は、点 \(x\) の近くで左方向に向かって入力を少し動かしたときの出力の増減を、一定の幅で割り返していると理解できる。
1.2.2 右差分商
右差分商は、注目する点の右側にある入力値を用いる構成である。たとえば \(x+h\)（\(h>0\)）で関数値を比較し、\(f(x+h)\) と \(f(x)\) の差を入力の差 \(h\) で割る。左差分商と対になる形で、「右方向の点で計測した変化率」を表す。
左右の差分商は、関数の形が非対称であったり角のある形状では一致しないことがある。したがって左右いずれを用いるかは、その後に極限操作を行う際の条件や解釈に影響する。
1.2.3 平均差分商
平均差分商は、2点の間での「平均的な変化の度合い」をまとめて表す。左や右に固定せず、一般に2つの異なる入力 \(a\) と \(b\) を選び、差 \(\frac{f(b)-f(a)}{b-a}\) を考える形で表される。
この量は区間全体をひとまとめにした見方であり、途中で変化が速くなったり遅くなったりしても、最終的には区間の両端を結ぶ「割線」の傾きとして1つの数に圧縮される。
1.3 通常の差分商とその記号
通常、差分商は2点 \(x\) と \(x+h\) の比較として書かれることが多い。典型的には \[ \frac{f(x+h)-f(x)}{h} \] の形を差分商として扱う。ここで \(h\) は刻み幅（増分）であり、入力の変化量を明示している。
記号としては、差分商そのものを「導関数の定義に出てくる式」として位置づけ、のちに \(h\to 0\) の極限を取ることで微分へつながることを念頭に置く。したがって、差分商は計算中の変数依存の量として現れ、結果として極限が存在すれば単一の導関数に落ち着く。
1.4 存在条件と分母が意味すること
差分商は分母に入力差を持つため、分母が0になる場合には定義できない。すなわち、比較する2点が同一（\(a=b\)）であるとき、割線の傾きという解釈が成立せず、比として意味を失う。
さらに、刻み幅 \(h\) が小さくなる過程では、関数値の差が安定して極限へ収束するかどうかが重要になる。ここで必要なのは連続性だけでなく、極限の一致（左右の極限が同じであること等）も関わる。分母は「入力の変化量の大きさ」を表し、分子は「出力の変化量」を表すため、比としての意味は「同じだけ入力が動いたときの出力の動きの平均的な大きさ」に対応する。
2 幾何学的・直観的な意味
2.1 グラフ上の傾き（割線の傾き）
差分商は、関数のグラフ上で2点を結ぶ直線（割線）の傾きに対応する。点 \((a,f(a))\) と \((b,f(b))\) を結ぶ直線の傾きが \[ \frac{f(b)-f(a)}{b-a} \] で与えられるのと同じ構造である。
この幾何学的見方により、差分商は「その区間でどれくらい上向きに進むか」という傾きとして直観化される。勾配が大きいほど出力が入力に対して急に変化し、負の値なら減少傾向を示す。
2.2 平均的な増え方としての解釈
割線の傾きという言い換えは、差分商を「平均的な増え方」に結びつける。たとえば入力が \(a\) から \(b\) まで動いたとき、出力は \(f(a)\) から \(f(b)\) へ変わる。この変化を入力の移動量で割ったものが差分商であり、区間全体を通した平均の変化率として解釈できる。
途中で変化が速くなったり遅くなったりしても、この平均は区間両端の情報だけで決まる。そのため、変化の局所的な様子をそのまま反映するとは限らないが、「ざっくりした増加傾向」を数値として持つことはできる。
2.3 ステップ幅が与える見え方の違い
同じ点 \(x\) を基準にしても、刻み幅 \(h\) を変えると差分商の値が変わりうる。これは、割線が結ぶ相手の点が変わるためである。大きな \(h\) を取れば区間が広くなり、平均的な振る舞いが前面に出る。小さな \(h\) では、グラフの局所的な形が支配しやすくなる。
関数が十分に滑らかなら、刻み幅を縮めていくにつれて差分商は一定の値へ近づく。逆に、角のような形状があると、縮め方によって左右から得られる値が異なる場合があるため、ステップ幅は「どのスケールで平均化しているか」という観点で意味を持つ。
3 極限による微分との関係
3.1 極限としての導関数
微分（導関数）は、差分商が刻み幅の縮小によりどこへ落ち着くかを極限で表した概念である。典型的には \[ f'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h} \] のように記述され、刻み幅 \(h\) を0へ近づけることで「瞬間的な変化率」を定義する。
極限が存在するとは、刻み幅が小さくなるにつれて差分商がある値に近づくことを意味する。存在しない場合には、瞬間の変化率として単一の数が定められない。
3.2 差分商から微分へ（瞬間の変化率）
差分商は区間両端での平均的な傾きであるのに対し、微分はその区間を極端に小さくしたときの傾きに相当する。割線が接線へ近づくイメージであり、数学的には極限操作がその接続を保証する。
この意味で微分可能性が成り立つと、局所の振る舞いが安定し、刻み幅の選び方に依存しない変化率が得られる。つまり「入力をごくわずか動かしたとき、出力がどの程度の割合で増減するか」を、単一の数値で表現できる。
3.3 微分可能性と極限の一致
導関数の定義は極限を含むため、左右の縮小過程が一致して初めて微分可能と判断できる場合がある。具体的には、左から近づけた極限と右から近づけた極限が同じ値になることがポイントになる。
関数によっては、差分商の極限が左右で食い違ったり、そもそも収束しなかったりする。この場合、瞬間的な変化率を1つの数にまとめることはできないが、平均的な変化率としては差分商が依然として計算可能である。極限の一致は、局所的な形の左右対称性や滑らかさの表れとして理解できる。
4 応用と計算
4.1 一次近似（差分商を用いた近似の考え方）
差分商の極限が導関数であるという関係から、導関数がわかると局所的な近似が可能になる。点 \(x\) の近くで関数 \(f\) を一次式で置き換えたものが一次近似であり、基本的には \[ f(x+h)\approx f(x)+f'(x)h \] の形で表される。
この近似の意味は、差分商が小さな刻み幅に対して導関数に近づくため、割線の傾きが接線の傾きに置き換えられる点にある。したがって、微分が存在し導関数が定まるほど、近似は局所で精度を増す。
4.2 数値微分（刻み幅を有限値で扱う）
理論上の極限は実装できないため、数値計算では刻み幅 \(h\) を有限に取り、差分商をそのまま近似として用いる。たとえば \[ \frac{f(x+h)-f(x)}{h} \] を小さい \(h\) のもとで計算し、導関数の代わりとする方法である。
ただし \(h\) を小さくしすぎると、計算誤差（差の取り扱いに伴う丸め誤差）が目立つことがある。逆に大きすぎると、極限からのずれにより近似誤差が大きくなる。したがって刻み幅は、精度と安定性のバランスを取りながら選ぶ必要がある。
4.3 テスト関数による理解（多項式・指数・三角関数など）
差分商は基本的な関数で試すと、その収束の様子が直感的に理解できる。たとえば多項式では差分商が比較的素直な形で整理され、導関数への一致が確認しやすい。指数関数では入力変化に対する相対的な増え方が一定の性質を持ち、差分商が導関数と自然に整合する。三角関数でも周期的な挙動があるため、極限操作を通じた局所傾きの取り方が具体的に見える。
テスト関数として選ぶことで、「刻み幅を縮めると値がどう振る舞うか」「左右で一致するか」「数値計算でどの程度誤差が出るか」を同時に観察できる。これにより、定義から計算法への橋渡しが実感しやすくなる。
4.4 誤差の考え方（刻み幅と精度）
差分商を導関数の近似に使うとき、誤差には性質の異なる要因が混ざる。主に、刻み幅が有限であることによる近似誤差と、数値計算で生じる丸め誤差がある。
刻み幅を小さくすると近似誤差は減りやすい一方、丸め誤差は拡大しやすくなる傾向がある。結果としてある程度の最適な範囲の \(h\) が存在し、そこでは全体誤差が小さくなることが多い。誤差の見積もりを行う際には、用いる関数の滑らかさや計算環境の精度（浮動小数点の性質など）を考慮することが重要である。