# 導関数の定義と基本的な微分法：差分商の極限から連鎖律まで > 微分係数を差分商の極限として定義し、微分可能性が一次近似の存在と同値であることを示す。x^n・sin x・e^x の導関数を定義から導出し、線形性・積・商の法則、連鎖律、逆関数の微分法を証明する。 > https://rikai.mugen-giken.com/mathematics/calculus/derivatives ## 0. この記事の要点 - 微分係数 $f'(a)$ は差分商 $\dfrac{f(a+h)-f(a)}{h}$ の $h \to 0$ における極限です。「割ってから極限を取る」という順序が本質で、これによって $0/0$ という不定形の困難を回避します。 - 微分可能であることは、「$f(a+h)$ を $h$ の一次式 $f(a)+Ah$ で近似したときの誤差が $h$ より速く $0$ に近づくこと」と同値です。この言い換えが多変数への一般化の入口になります。 - 微分可能ならば連続です。逆は成り立たず、$|x|$ が反例になります。 - $x^n$、$\sin x$、$\cos x$、$e^x$ の導関数を定義から導きます。鍵になるのは $\lim_{x\to0}\frac{\sin x}{x}=1$ と $\lim_{h\to0}\frac{e^h-1}{h}=1$ という二つの極限だけです。 - 線形性・積の法則・商の法則・連鎖律の四つを証明すれば、初等関数の微分は機械的な計算に還元されます。連鎖律の証明では $0$ による除算を避ける工夫が必要です。 - 逆関数の微分公式 $(f^{-1})'(b)=1/f'(a)$ によって、$\log x$、$\sqrt{x}$、$\arctan x$、さらに実数指数の冪 $x^\alpha$ まで一気に扱えるようになります。 ## 1. 動機：接線問題と瞬間速度 17 世紀の数学者たちは、一見すると無関係な二つの問題を抱えていました。曲線に接する直線を引く**接線問題**（フェルマー、デカルト）と、刻々と変化する運動の**瞬間速度**を定めるという問題（ガリレオ、ニュートン）です。微分法とは、この二つが同じ一つの操作であることを見抜いたところに生まれた道具です。 まず接線問題を考えます。円であれば「円とちょうど 1 点を共有する直線」を接線と定義できます。しかしこの定義は一般の曲線ではまったく機能しません。放物線 $y=x^2$ と $y$ 軸は原点だけを共有しますが、$y$ 軸を「接線」と呼びたくはありません。逆に、$y=\sin x$ の $x=\pi/2$ における接線であってほしい直線 $y=1$ は、$x=\pi/2+2n\pi$（$n$ は整数）という無限個の点で曲線と接触します。また $y=x^3$ の原点における接線 $y=0$ は、曲線を貫いて反対側へ抜けます。共有点の個数という大域的な条件では、接線は捉えられないのです。 そこで発想を変えます。曲線上の 2 点 $(a, f(a))$ と $(a+h, f(a+h))$ を結ぶ直線（**割線**）の傾きは $$ \frac{f(a+h)-f(a)}{(a+h)-a} = \frac{f(a+h)-f(a)}{h} $$ と、割り算だけで確定します。この 2 点目を 1 点目に近づけていったとき、割線の傾きが一つの値に落ち着くなら、その値を接線の傾きと呼ぼう、というわけです。 次に瞬間速度です。時刻 $t$ における位置が $x(t)$ で与えられているとき、時刻 $a$ から $a+h$ までの平均速度は $\frac{x(a+h)-x(a)}{h}$ です。では「時刻 $a$ ちょうどの速度」は何でしょうか。$h=0$ を代入すると $\frac{0}{0}$ となり、意味を持ちません。ニュートンの「流率」やライプニッツの「無限小 $dx$」は、$dx \ne 0$ として割り算を実行した後に $dx=0$ とみなす、という論理的に一貫しない手続きを含んでいました。バークリは 1734 年の著作『解析家』でこれを痛烈に批判し、無限小を「消え去った量の亡霊」（ghosts of departed quantities）と呼んでいます。 この混乱に決着をつけたのが極限概念です。$h$ を $0$ にするのではなく、$h \ne 0$ のまま割り算を実行し、その**結果**の $h \to 0$ における極限を取る。順序を入れ替えるだけで、$0/0$ の困難は消えます。割線の傾きも平均速度も同じ形の式ですから、二つの問題は一つの定義で片づきます。 以下では、極限の厳密な定義（$\varepsilon$-$\delta$ 論法）は既知とします。必要に応じて [極限と連続性 ($\varepsilon$-$\delta$論法)](/mathematics/calculus/limits-and-continuity) を参照してください。 ## 2. 準備：記号とランダウの記号 この記事を通じて $I \subset \mathbb{R}$ は開区間とし、関数はすべて実数値とします。$a \in I$ が開区間の点であることから、十分小さい $|h|$ に対して $a+h \in I$ となります。したがって差分商 $\frac{f(a+h)-f(a)}{h}$ は $h = 0$ を除いた $0$ のある近傍で定義されており、$h\to0$ の極限を考えることに意味があります。 証明の中では、極限に関する次の性質を既知として使います（すべて [極限と連続性](/mathematics/calculus/limits-and-continuity) の結果です）。 | 使う性質 | 内容 | |---|---| | | 極限が存在すれば和・差・積の極限は極限の和・差・積。商は分母の極限が $0$ でないときに成立 | | | $g \le f \le h$ かつ $g, h$ の極限が一致すれば $f$ の極限も同じ | | | $x \to a$ で $u(x) \to b$、$\varphi$ が $b$ で連続ならば $\varphi(u(x)) \to \varphi(b)$ | | | 分母が $0$ でない点で連続 | 誤差の大きさを手短に述べるために、次の記号を導入します。 関数 $r$ が $0$ のある除外近傍で定義されているとします。 $$ \lim_{h \to 0} \frac{r(h)}{h} = 0 $$ が成り立つとき、$r(h) = o(h) \ (h \to 0)$ と書き、$r$ は $h$ より高位の無限小であるといいます。より一般に、$\lim_{h\to0} r(h)/h^{n} = 0$ のとき $r(h)=o(h^n)$ と書きます。 この「等式」は左辺と右辺が等しいという意味ではなく、「左辺の関数はこの性質を持つ関数の一つである」という意味の記号の濫用です。したがって $o(h)+o(h)=o(h)$ のような式は左から右へ読みます。実際、$r_1(h)/h \to 0$ かつ $r_2(h)/h \to 0$ ならば $(r_1(h)+r_2(h))/h \to 0+0=0$ ですから、和の極限法則だけでこの主張は従います。同様に、定数 $c$ に対して $c \cdot o(h) = o(h)$ です。 ## 3. 微分係数と導関数 $I$ を開区間、$f \colon I \to \mathbb{R}$、$a \in I$ とします。極限 $$ \lim_{h \to 0} \frac{f(a+h)-f(a)}{h} $$ が有限の実数として存在するとき、$f$ は点 $a$ で**微分可能**であるといい、この極限値を $f$ の $a$ における**微分係数**と呼んで $f'(a)$ と書きます。 $x = a+h$ とおけば $h \to 0$ と $x \to a$ は同じことですから、 $$ f'(a) = \lim_{x \to a} \frac{f(x)-f(a)}{x-a} $$ とも書けます。証明の場面によって使いやすい方を選びます。 $f$ が $a$ で微分可能なとき、直線 $$ y = f(a) + f'(a)(x-a) $$ を、$y=f(x)$ のグラフの点 $(a,f(a))$ における**接線**と定義します。「接する」という言葉を先に定義して傾きを求めるのではなく、割線の傾きの極限が存在することを微分可能性と呼び、その極限を傾きとする直線を接線と呼ぶ、という順序であることに注意してください。§1 で見たとおり、共有点の個数による定義は使いものにならないからです。
a a + h h f(a+h) - f(a) y = f(x) 割線 接線
$f(x)=x^2$ とし、任意の $a \in \mathbb{R}$ における微分係数を定義に従って計算します。$h \ne 0$ に対して $$ \frac{f(a+h)-f(a)}{h} = \frac{(a+h)^2 - a^2}{h} = \frac{2ah + h^2}{h} = 2a + h . $$ 途中で $h$ による約分を行いましたが、これが許されるのは差分商をそもそも $h \ne 0$ の範囲でしか考えていないからです。最後の式は $h$ の一次式ですから $h \to 0$ で $2a$ に収束します。よって $f$ はすべての点で微分可能で $f'(a)=2a$ です。 $a=1$ における接線は $y = 1 + 2(x-1) = 2x-1$ です。念のため共有点を調べると $x^2 - (2x-1) = (x-1)^2 = 0$ なので $x=1$ のみですが、§1 で述べたとおり、この「1 点だけを共有する」という性質は接線であることの理由ではなく、たまたま成り立つ結果にすぎません。 $f \colon I \to \mathbb{R}$ が $I$ のすべての点で微分可能であるとき、$f$ は $I$ 上で微分可能であるといい、各点 $x \in I$ に $f'(x)$ を対応させる関数 $f' \colon I \to \mathbb{R}$ を $f$ の**導関数**と呼びます。$\dfrac{df}{dx}$、$\dfrac{d}{dx}f(x)$、$Df$ とも書きます。 さらに $f'$ が $I$ 上で微分可能なとき、その導関数を $f'' = (f')'$ と書き、2 階導関数と呼びます。一般に $f^{(0)}=f$、$f^{(n)} = (f^{(n-1)})'$ と帰納的に定め、これを $n$ 階導関数といいます。$f^{(n)}$ が存在してさらに連続であるとき、$f$ は $C^n$ 級であるといいます。 微分可能性は、関数にかなり強い制約を課します。まずわかるのは次のことです。 $I$ を開区間、$f \colon I \to \mathbb{R}$、$a \in I$ とします。$f$ が $a$ で微分可能ならば、$f$ は $a$ で連続です。 $h \ne 0$ のとき、差分商に $h$ を掛け戻すという恒等式 $$ f(a+h) - f(a) = \frac{f(a+h)-f(a)}{h} \cdot h $$ が成り立ちます。仮定より右辺の第 1 因子は $h \to 0$ で $f'(a)$ に収束し、第 2 因子は $0$ に収束します。積の極限法則（§2）より右辺は $f'(a) \cdot 0 = 0$ に収束します。よって $\lim_{h\to0} f(a+h) = f(a)$ であり、これは $f$ が $a$ で連続であることにほかなりません。 この定理は以後の証明で繰り返し使います。たとえば積の法則の証明では「$g$ が微分可能だから $g(a+h) \to g(a)$」という一歩が必要で、そこで を使います。 逆は成り立ちません。 $f(x)=|x|$ とします。$f$ は $\mathbb{R}$ 上連続です。しかし $a=0$ における差分商は $$ \frac{f(0+h)-f(0)}{h} = \frac{|h|}{h} = \begin{cases} 1 & (h > 0) \\ -1 & (h < 0) \end{cases} $$ となり、右側極限は $1$、左側極限は $-1$ です。両者が一致しないので $h \to 0$ の極限は存在せず、$f$ は $0$ で微分可能ではありません。グラフに角があるとき、割線の傾きは右から近づくか左から近づくかで異なる値に落ち着くのです。 連続性と微分可能性の隔たりは、実は「角が有限個ある」という程度のものではありません。ワイエルシュトラスは 1872 年に、$\mathbb{R}$ 上いたるところ連続でありながらいたるところ微分不可能な関数（$\sum_{n=0}^{\infty} a^n \cos(b^n \pi x)$ の形）を構成しました。微分可能性は連続性よりずっと強い条件です。 ## 4. 一次近似としての微分可能性 差分商の極限という定義は計算には便利ですが、$h$ で割るという操作を含むため、$h$ がベクトルになる多変数の場合にはそのまま使えません。そこで、割り算を表に出さない同値な言い換えを用意しておきます。これは同時に「微分とは何をしている操作なのか」という問いへの答えでもあります。 $I$ を開区間、$f \colon I \to \mathbb{R}$、$a \in I$、$A \in \mathbb{R}$ とします。次の 2 条件は同値です。 **(i)** $f$ は $a$ で微分可能で、$f'(a) = A$ である。 **(ii)** $r(h) := f(a+h) - f(a) - Ah$ とおくと $r(h) = o(h) \ (h \to 0)$ である。すなわち $f(a+h) = f(a) + Ah + o(h)$ と書ける。 さらに、条件 (ii) を満たす実数 $A$ は存在すれば一意です。 $a$ は開区間 $I$ の点なので、ある $\rho > 0$ に対して $0 < |h| < \rho$ ならば $a + h \in I$ です。この範囲の $h$ について、$r(h)$ の定義の両辺を $h$（$\ne 0$）で割ると $$ \frac{r(h)}{h} = \frac{f(a+h)-f(a)}{h} - A $$ という恒等式が得られます。左辺が $h \to 0$ で $0$ に収束することと、右辺の第 1 項が $A$ に収束することは、和の極限法則により同値です（$A$ は定数なので極限操作を通り抜けます）。これが (i) と (ii) の同値性です。 一意性を示します。$A$ と $B$ がともに (ii) を満たすとし、対応する誤差を $r_A, r_B$ とします。差を取ると、$0 < |h| < \rho$ で $$ (B - A) h = r_A(h) - r_B(h) $$ です。両辺を $h$ で割ると $B - A = \dfrac{r_A(h)}{h} - \dfrac{r_B(h)}{h}$ となり、右辺は $h \to 0$ で $0 - 0 = 0$ に収束します。左辺は $h$ によらない定数で、定数関数の極限はその定数自身ですから、極限の一意性より $B - A = 0$、すなわち $A = B$ です。 は「微分可能とは、$f$ を局所的に一次関数で置き換えたときの誤差が $h$ より高位の無限小になること」だと述べています。$f'(a)$ は、その最良の一次関数の傾きです。この形には $h$ による除算が現れないので、$h$ をベクトル、$A$ を線形写像に置き換えればそのまま多変数の微分の定義になります。詳しくは [多変数関数の微分と偏微分](/mathematics/calculus/multivariable-differentiation) の を参照してください。 ## 5. 基本的な関数の導関数 ### 5.1. 二つの鍵となる極限 三角関数と指数関数の微分は、それぞれ一つの極限に帰着します。まず三角関数です。以下、角はつねにラジアンで測ります。 $$ \lim_{x \to 0} \frac{\sin x}{x} = 1, \qquad \lim_{x \to 0} \frac{1-\cos x}{x} = 0 . $$ まず $0 < x < \pi/2$ とします。単位円の中心 $O$、$x$ 軸上の点 $A=(1,0)$、円周上の点 $P=(\cos x, \sin x)$ を取り、さらに $A$ における接線と半直線 $OP$ の交点を $T=(1,\tan x)$ とします。三角形 $OAP$、扇形 $OAP$、三角形 $OAT$ はこの順に包含関係にあるので、面積について $$ \frac{1}{2}\sin x \;\le\; \frac{x}{2} \;\le\; \frac{1}{2}\tan x $$ が成り立ちます（扇形の面積は半径 $1$、中心角 $x$ ラジアンより $x/2$ です）。各辺を $2$ 倍し、$\sin x > 0$ で割ると $$ 1 \le \frac{x}{\sin x} \le \frac{1}{\cos x} $$ を得ます。$0 < x < \pi/2$ では各辺とも正なので逆数を取って不等号を逆にすると $$ \cos x \le \frac{\sin x}{x} \le 1 $$ です。$\cos$ は連続で $\cos 0 = 1$ ですから、はさみうちの原理（§2）より右側極限は $\lim_{x \to +0} \frac{\sin x}{x} = 1$ です。また $\frac{\sin(-x)}{-x} = \frac{-\sin x}{-x} = \frac{\sin x}{x}$ より差分商は偶関数なので、左側極限も $1$ です。両側極限が一致したので第 1 の主張が従います。 第 2 の主張は第 1 の主張に帰着します。$1 - \cos^2 x = \sin^2 x$ と $1 + \cos x \ne 0$（$|x| < \pi/2$ ならば $\cos x > 0$）を使って $$ \frac{1-\cos x}{x} = \frac{(1-\cos x)(1+\cos x)}{x(1+\cos x)} = \frac{\sin^2 x}{x(1+\cos x)} = \frac{\sin x}{x} \cdot \frac{\sin x}{1+\cos x} $$ と変形します。$x \to 0$ のとき第 1 因子は $1$、第 2 因子は $\sin$ と $\cos$ の連続性と商の極限法則より $\frac{0}{1+1} = 0$ に収束します。積の極限法則より全体は $1 \cdot 0 = 0$ です。 この証明は「扇形の面積が $x/2$ である」という幾何的事実を認めています。ところが弧長や面積を厳密に定義するには積分が必要で、その積分の計算にはしばしば三角関数の微分が使われます。つまり教科書の構成によっては循環論法になりかねません。これを避ける標準的な方法は、$\sin$ と $\cos$ を幾何ではなく冪級数 $$ \sin x = \sum_{k=0}^{\infty} \frac{(-1)^k x^{2k+1}}{(2k+1)!}, \qquad \cos x = \sum_{k=0}^{\infty} \frac{(-1)^k x^{2k}}{(2k)!} $$ で**定義**し、ラジアンや円周率をそこから作り直すことです。この道を通れば は級数の評価から直接得られます（次に述べる指数関数の扱いとまったく同じ議論です）。級数による定義については [級数と収束判定](/mathematics/calculus/series-and-convergence)、面積と積分の関係については [積分の基本定理と定積分](/mathematics/calculus/integration-and-ftc) を参照してください。 次に指数関数です。ここでは $\exp$ を冪級数 $$ \exp(x) := \sum_{n=0}^{\infty} \frac{x^n}{n!} \qquad (x \in \mathbb{R}) $$ で定義したものとし、[級数と収束判定](/mathematics/calculus/series-and-convergence) で示される次の 2 つの事実を使います。第一に、この級数はすべての $x$ で絶対収束します（）。第二に、加法定理 $\exp(x+y) = \exp(x)\exp(y)$ が成り立ちます（ する級数のコーシー積）。$e := \exp(1) = 2.71828\ldots$ とおき、以後 $\exp(x)$ を $e^x$ とも書きます。 $$ \lim_{h \to 0} \frac{e^h - 1}{h} = 1 . $$ まず $e < 3$ を確かめます。$n \ge 1$ に対して $n! = 1\cdot 2 \cdot 3 \cdots n \ge 2^{n-1}$ ですから $$ e = \sum_{n=0}^{\infty} \frac{1}{n!} \le 1 + \sum_{n=1}^{\infty} \frac{1}{2^{n-1}} = 1 + 2 = 3 $$ であり、$n=3$ 以降は不等号が真に成り立つので $e < 3$ です。 次に $0 < |h| \le 1$ とします。級数の最初の 2 項を分離すると $e^h - 1 - h = \sum_{n=2}^{\infty} \frac{h^n}{n!}$ なので、三角不等式（絶対収束するので項別に評価できます）より $$ |e^h - 1 - h| \le \sum_{n=2}^{\infty} \frac{|h|^n}{n!} = |h|^2 \sum_{n=2}^{\infty} \frac{|h|^{n-2}}{n!} . $$ ここで $n \ge 2$ のとき $n! = n(n-1)\cdot(n-2)! \ge 2 \cdot (n-2)!$ なので $\frac{1}{n!} \le \frac{1}{2 \cdot (n-2)!}$ です。$m = n-2$ と置き換えると $$ \sum_{n=2}^{\infty} \frac{|h|^{n-2}}{n!} \le \frac{1}{2}\sum_{m=0}^{\infty} \frac{|h|^{m}}{m!} = \frac{1}{2}\exp(|h|) . $$ $0 \le |h| \le 1$ では各項が $\frac{|h|^m}{m!} \le \frac{1}{m!}$ を満たすので $\exp(|h|) \le e < 3$ です。以上をまとめると $$ |e^h - 1 - h| \le \frac{3}{2}h^2 \qquad (0 < |h| \le 1) $$ となり、両辺を $|h|$ で割って $$ \left| \frac{e^h-1}{h} - 1 \right| \le \frac{3}{2}|h| . $$ したがって $\varepsilon > 0$ が与えられたとき $\delta := \min\{1,\ 2\varepsilon/3\}$ と取れば、$0 < |h| < \delta$ なるすべての $h$ に対して左辺は $\frac{3}{2}|h| < \frac{3}{2}\delta \le \varepsilon$ となります。これが求める極限の定義そのものです。 ### 5.2. 基本公式 次が成り立ちます。 **(1)** $n$ を正の整数とし $f(x)=x^n$（$x \in \mathbb{R}$）とすると、$f$ は $\mathbb{R}$ の各点で微分可能で $f'(x) = n x^{n-1}$ です。ここで $n=1$ のときは $x^0 = 1$（$x=0$ でも $1$）と約束します。 **(2)** $\sin$ は $\mathbb{R}$ の各点で微分可能で $(\sin)'(x) = \cos x$ です。 **(3)** $\cos$ は $\mathbb{R}$ の各点で微分可能で $(\cos)'(x) = -\sin x$ です。 **(4)** $\exp$ は $\mathbb{R}$ の各点で微分可能で $(\exp)'(x) = \exp(x) = e^x$ です。 **(1)** $a \in \mathbb{R}$ を固定します。$x \ne a$ に対する因数分解 $$ x^n - a^n = (x-a)\sum_{k=0}^{n-1} x^k a^{n-1-k} $$ を確かめます。右辺の和に $(x-a)$ を分配すると $$ \sum_{k=0}^{n-1} x^{k+1} a^{n-1-k} - \sum_{k=0}^{n-1} x^{k} a^{n-k} $$ となり、第 1 の和で $j = k+1$ と置き換えると $\sum_{j=1}^{n} x^{j} a^{n-j}$ です。第 2 の和は $\sum_{j=0}^{n-1} x^{j}a^{n-j}$ ですから、両者の共通部分 $j=1,\ldots,n-1$ が打ち消し合い、残るのは $j=n$ の項 $x^n$ と $j=0$ の項 $-a^n$ だけです。これで因数分解が示せました。 よって $x \ne a$ のとき $$ \frac{f(x)-f(a)}{x-a} = \frac{x^n - a^n}{x-a} = \sum_{k=0}^{n-1} x^k a^{n-1-k} $$ です。右辺は $x$ の多項式なので連続であり（§2）、$x \to a$ のとき $$ \sum_{k=0}^{n-1} a^k a^{n-1-k} = \sum_{k=0}^{n-1} a^{n-1} = n a^{n-1} $$ に収束します。$a$ は任意だったので (1) が示せました。 **(2)** $a \in \mathbb{R}$ と $h \ne 0$ に対し、加法定理 $\sin(a+h) = \sin a \cos h + \cos a \sin h$ を使うと $$ \frac{\sin(a+h)-\sin a}{h} = \sin a \cdot \frac{\cos h - 1}{h} + \cos a \cdot \frac{\sin h}{h} $$ です。 より第 1 項の分数は $-\frac{1-\cos h}{h} \to 0$、第 2 項の分数は $\to 1$ ですから、和と積の極限法則により全体は $\sin a \cdot 0 + \cos a \cdot 1 = \cos a$ に収束します。 **(3)** 同様に $\cos(a+h) = \cos a \cos h - \sin a \sin h$ より $$ \frac{\cos(a+h)-\cos a}{h} = \cos a \cdot \frac{\cos h - 1}{h} - \sin a \cdot \frac{\sin h}{h} \longrightarrow \cos a \cdot 0 - \sin a \cdot 1 = -\sin a . $$ **(4)** 加法定理 $e^{a+h} = e^a e^h$ より、$h \ne 0$ に対して $$ \frac{e^{a+h}-e^{a}}{h} = e^{a}\cdot\frac{e^{h}-1}{h} $$ です。$e^a$ は $h$ によらない定数で、 より右側の分数は $1$ に収束しますから、積の極限法則により全体は $e^a$ に収束します。 (4) は、$\exp$ が「微分しても変わらない」という際立った性質を持つことを示しています。これが指数関数が微分方程式のいたるところに現れる理由です。 ## 6. 微分の演算法則 個々の関数を毎回定義に戻って微分するのは現実的ではありません。次の定理により、微分は「部品の微分」と「組み立て規則」に分解されます。 $I$ を開区間、$f, g \colon I \to \mathbb{R}$、$a \in I$ とし、$f$ と $g$ はともに $a$ で微分可能とします。このとき次が成り立ちます。 **(1)（線形性）** 任意の実数 $\alpha, \beta$ に対して $\alpha f + \beta g$ は $a$ で微分可能で $$ (\alpha f + \beta g)'(a) = \alpha f'(a) + \beta g'(a) . $$ **(2)（積の法則）** 積 $fg$ は $a$ で微分可能で $$ (fg)'(a) = f'(a)g(a) + f(a)g'(a) . $$ **(3)（商の法則）** さらに $g(a) \ne 0$ ならば、$a$ を含むある開区間上で $g$ は $0$ にならず、そこで定義された $f/g$ は $a$ で微分可能で $$ \left(\frac{f}{g}\right)'(a) = \frac{f'(a)g(a) - f(a)g'(a)}{g(a)^2} . $$ **(1)** $h \ne 0$ に対し、差分商の定義から $$ \frac{(\alpha f + \beta g)(a+h) - (\alpha f + \beta g)(a)}{h} = \alpha\cdot\frac{f(a+h)-f(a)}{h} + \beta\cdot\frac{g(a+h)-g(a)}{h} $$ です。仮定より右辺の 2 つの差分商はそれぞれ $f'(a)$、$g'(a)$ に収束するので、和と定数倍の極限法則により左辺は $\alpha f'(a)+\beta g'(a)$ に収束します。 **(2)** 差分商の分子に $f(a)g(a+h)$ を足して引く、という一手を加えます。$h \ne 0$ に対し $$ \begin{aligned} \frac{f(a+h)g(a+h) - f(a)g(a)}{h} &= \frac{f(a+h)g(a+h) - f(a)g(a+h) + f(a)g(a+h) - f(a)g(a)}{h} \\ &= \frac{f(a+h)-f(a)}{h}\, g(a+h) \;+\; f(a)\,\frac{g(a+h)-g(a)}{h} . \end{aligned} $$ 第 1 項について、差分商は $f'(a)$ に収束し、$g(a+h)$ は $g(a)$ に収束します。後者は $g$ が $a$ で微分可能だから により $a$ で連続であることによります。ここが「微分可能ならば連続」を使う場所です。第 2 項は定数 $f(a)$ と $g'(a)$ に収束する差分商の積です。積と和の極限法則より、全体は $f'(a)g(a) + f(a)g'(a)$ に収束します。 **(3)** まず $f/g$ が $a$ の近くで定義されることを確認します。 より $g$ は $a$ で連続なので、連続性の定義で $\varepsilon = |g(a)|/2 > 0$ と取れば、ある $\delta > 0$ が存在して $|x-a| < \delta$（かつ $x \in I$）ならば $|g(x)-g(a)| < |g(a)|/2$ となります。このとき三角不等式より $$ |g(x)| \ge |g(a)| - |g(x)-g(a)| > |g(a)| - \frac{|g(a)|}{2} = \frac{|g(a)|}{2} > 0 $$ なので、この近傍で $g$ は $0$ になりません。よって $f/g$ はそこで定義されています。 次に $1/g$ を微分します。$h \ne 0$ かつ $|h| < \delta$ のとき、通分して $$ \frac{1}{h}\left(\frac{1}{g(a+h)} - \frac{1}{g(a)}\right) = \frac{1}{h}\cdot\frac{g(a)-g(a+h)}{g(a+h)g(a)} = -\frac{1}{g(a+h)g(a)}\cdot\frac{g(a+h)-g(a)}{h} $$ です。$h \to 0$ のとき $g(a+h) \to g(a) \ne 0$（再び ）なので、商の極限法則より第 1 因子は $-\frac{1}{g(a)^2}$ に、第 2 因子は $g'(a)$ に収束します。したがって $1/g$ は $a$ で微分可能で $\left(\frac{1}{g}\right)'(a) = -\frac{g'(a)}{g(a)^2}$ です。 最後に $\frac{f}{g} = f \cdot \frac{1}{g}$ と見て (2) を適用すると $$ \left(\frac{f}{g}\right)'(a) = f'(a)\cdot\frac{1}{g(a)} + f(a)\cdot\left(-\frac{g'(a)}{g(a)^2}\right) = \frac{f'(a)g(a) - f(a)g'(a)}{g(a)^2} $$ を得ます。 積の法則が $f'(a)g'(a)$ **ではない**ことは、面積の描像で納得できます。辺の長さが $f$ と $g$ の長方形の面積が $fg$ です。両辺をそれぞれ $\Delta f$、$\Delta g$ だけ伸ばすと、面積の増加は「横に伸びた帯 $\Delta f \cdot g$」＋「縦に伸びた帯 $f \cdot \Delta g$」＋「角の小さな長方形 $\Delta f \cdot \Delta g$」です。最後の項は $h$ に対して二次の微小量なので $o(h)$ となって消え、残る 2 本の帯が積の法則の 2 項に対応します。 **(a) 負の整数冪。** $n$ を正の整数、$x \ne 0$ とします。$f \equiv 1$（定数関数、$f' = 0$ は定義から直ちに従います）、$g(x)=x^n$ として (3) を使うと $$ \left(\frac{1}{x^n}\right)' = \frac{0 \cdot x^n - 1 \cdot n x^{n-1}}{(x^n)^2} = -\frac{n x^{n-1}}{x^{2n}} = -n x^{-n-1} . $$ $m=-n$ と書けば $(x^m)' = m x^{m-1}$ です。定数関数の場合 $m=0$ も含めて、$x \ne 0$ ではすべての整数 $m$ について公式 $(x^m)'=mx^{m-1}$ が成り立つことになりました。 **(b) 正接。** $\cos x \ne 0$ なる $x$ で $\tan x = \frac{\sin x}{\cos x}$ です。 (3) と (2)(3) より $$ (\tan)'(x) = \frac{\cos x \cdot \cos x - \sin x \cdot(-\sin x)}{\cos^2 x} = \frac{\cos^2 x + \sin^2 x}{\cos^2 x} = \frac{1}{\cos^2 x} = 1 + \tan^2 x . $$ 最後の等号は $\frac{\cos^2 x + \sin^2 x}{\cos^2 x} = 1 + \tan^2 x$ と分けて読んだものです。 **(c) 有理関数。** $x \ne 1$ で $F(x) = \dfrac{x^2+1}{x-1}$ とすると、分子の導関数は $2x$、分母の導関数は $1$ ですから $$ F'(x) = \frac{2x(x-1) - (x^2+1)\cdot 1}{(x-1)^2} = \frac{2x^2 - 2x - x^2 - 1}{(x-1)^2} = \frac{x^2-2x-1}{(x-1)^2} . $$ ## 7. 合成関数の微分法（連鎖律） 残る組み立て規則は合成 $x \mapsto f(g(x))$ です。直感的には、$g$ が入力の変化を $g'(a)$ 倍に拡大し、$f$ がそれをさらに $f'(g(a))$ 倍に拡大するので、全体の拡大率は 2 つの積になるはずです。
|"g による拡大率 g'(a)"| B["u の変化: およそ g'(a)h"] -->|"f による拡大率 f'(g(a))"| C["y の変化: およそ f'(g(a))g'(a)h"]`} />
素朴には、差分商を $$ \frac{f(g(a+h))-f(g(a))}{h} = \frac{f(g(a+h))-f(g(a))}{g(a+h)-g(a)} \cdot \frac{g(a+h)-g(a)}{h} $$ と分解して極限を取ればよさそうに見えます。しかしこの式は $g(a+h) = g(a)$ となる $h$ に対して分母が $0$ になり、意味を失います。しかも「$0$ に十分近い $h$ ではそんなことは起こらない」とは言えません。 で扱う関数 $g(x) = x^2 \sin(1/x)$（$g(0)=0$）は $a=0$ で微分可能ですが、$g(1/(n\pi)) = 0 = g(0)$ が $n = 1, 2, \ldots$ のすべてで成り立ち、$0$ にいくらでも近いところで分母が消えます。そこで証明には別の道具が要ります。 $I, J$ を開区間、$g \colon I \to \mathbb{R}$、$f \colon J \to \mathbb{R}$ とし、$g(I) \subset J$ とします。$a \in I$ において $g$ が微分可能であり、$b := g(a)$ において $f$ が微分可能であるとします。このとき合成関数 $f \circ g \colon I \to \mathbb{R}$ は $a$ で微分可能で $$ (f \circ g)'(a) = f'(g(a))\, g'(a) $$ が成り立ちます。 補助関数 $\varphi \colon J \to \mathbb{R}$ を $$ \varphi(y) := \begin{cases} \dfrac{f(y)-f(b)}{y-b} & (y \ne b) \\ f'(b) & (y = b) \end{cases} $$ で定義します。この $\varphi$ は次の 2 つの性質を持ちます。 第一に、$\varphi$ は $b$ で連続です。実際、$\lim_{y \to b}\varphi(y)$ は $f$ の $b$ における差分商の極限そのものなので、$f$ が $b$ で微分可能という仮定より $f'(b) = \varphi(b)$ に等しいからです。$\varphi$ の $y=b$ での値は、まさに連続になるように定めたものです。 第二に、すべての $y \in J$ に対して $$ f(y) - f(b) = \varphi(y)\,(y-b) $$ が成り立ちます。$y \ne b$ のときは $\varphi$ の定義式の分母を払っただけであり、$y = b$ のときは両辺とも $0$ だからです。$0$ による除算の危険を、この「掛け算の形」に書き直すことで回避したことになります。 さて $h \ne 0$ を $a + h \in I$ となるように取り、$y = g(a+h) \in J$ を上の等式に代入すると $$ f(g(a+h)) - f(g(a)) = \varphi(g(a+h))\,\bigl(g(a+h)-g(a)\bigr) $$ です。両辺を $h$（$\ne 0$）で割って $$ \frac{f(g(a+h)) - f(g(a))}{h} = \varphi(g(a+h)) \cdot \frac{g(a+h)-g(a)}{h} $$ を得ます。この等式は $g(a+h) = g(a)$ となる $h$ に対しても両辺が $0$ となって正しく成り立つ点が要点です。 あとは $h \to 0$ とします。$g$ は $a$ で微分可能なので より $a$ で連続で、$g(a+h) \to g(a) = b$ です。$\varphi$ は $b$ で連続ですから、連続関数との合成に関する極限の性質（§2）より $\varphi(g(a+h)) \to \varphi(b) = f'(b)$ となります。また第 2 因子は定義より $g'(a)$ に収束します。積の極限法則より $$ \lim_{h\to0}\frac{f(g(a+h)) - f(g(a))}{h} = f'(b)\,g'(a) = f'(g(a))\,g'(a) $$ が成り立ち、これは $f\circ g$ が $a$ で微分可能でその微分係数が右辺であることを意味します。 ライプニッツ記法では、$y = f(u)$、$u = g(x)$ とおくと連鎖律は $$ \frac{dy}{dx} = \frac{dy}{du}\cdot\frac{du}{dx} $$ と書けます。分数の約分のように見えるのが強力で、変数変換のときに間違えにくい利点があります。ただし $dy$ や $du$ は現段階では単独の意味を持つ量ではなく、$\frac{dy}{du}$ は「$u$ で微分する」という一つの記号です。約分に見えるのは の結論をうまく符号化した結果であって、証明ではありません。また $\frac{dy}{du}$ は $u = g(x)$ における値、つまり $f'(g(x))$ を表すという約束も忘れないでください。 **(a)** $\frac{d}{dx}\sin(x^2)$。外側 $f(u)=\sin u$、内側 $g(x)=x^2$ とすると $f'(u) = \cos u$、$g'(x)=2x$ なので $$ \frac{d}{dx}\sin(x^2) = \cos(x^2)\cdot 2x = 2x\cos(x^2). $$ **(b)** $\frac{d}{dx}e^{-x^2/2}$（正規分布の密度に現れる形）。外側 $f(u)=e^u$、内側 $g(x) = -x^2/2$ で、$g'(x) = -x$ ですから $$ \frac{d}{dx}e^{-x^2/2} = e^{-x^2/2}\cdot(-x) = -x\,e^{-x^2/2}. $$ **(c)** $\frac{d}{dx}(1+x^2)^{10}$。外側を $u^{10}$、内側を $1+x^2$ と見て $$ 10(1+x^2)^{9}\cdot 2x = 20x(1+x^2)^{9}. $$ 展開してから微分すれば $11$ 項の多項式を扱うことになりますが、連鎖律なら 1 行です。 **(d) 三重の合成。** $\frac{d}{dx}\cos^3(2x+1)$。$u = 2x+1$、$v = \cos u$、$y = v^3$ と分解すると、連鎖律を 2 回使って $$ \frac{dy}{dx} = 3v^2 \cdot (-\sin u)\cdot 2 = -6\sin(2x+1)\cos^2(2x+1). $$ 内側から外側へ「傾きを掛けていく」と覚えると間違えにくいと思います。 $$ f(x) = \begin{cases} x^2 \sin\dfrac{1}{x} & (x \ne 0) \\ 0 & (x = 0)\end{cases} $$ とします。 まず $x=0$ での微分可能性を定義から調べます。$h \ne 0$ に対して $$ \left|\frac{f(h)-f(0)}{h}\right| = \left|h \sin\frac{1}{h}\right| \le |h| $$ （$|\sin t| \le 1$ を使いました）なので、はさみうちの原理より差分商は $0$ に収束します。よって $f$ は $0$ で微分可能で $f'(0)=0$ です。 次に $x \ne 0$ では、積の法則 (2) と連鎖律 （$\sin$ と $1/x$ の合成、$\left(\frac1x\right)' = -\frac{1}{x^2}$ は (a)）により $$ f'(x) = 2x\sin\frac{1}{x} + x^2 \cdot \cos\frac1x \cdot\left(-\frac{1}{x^2}\right) = 2x \sin\frac1x - \cos\frac1x . $$ ここで $x_n = \frac{1}{2n\pi}$（$n=1,2,\ldots$）と取ると $x_n \to 0$ ですが $$ f'(x_n) = 2x_n\sin(2n\pi) - \cos(2n\pi) = 0 - 1 = -1 $$ なので、$f'(x_n) \to -1 \ne 0 = f'(0)$ です。つまり $f$ は $\mathbb{R}$ 全体で微分可能でありながら、$f'$ は $0$ で連続ではありません。微分可能であることと $C^1$ 級であることは違うのです。 なお、導関数はこのように不連続でありうる一方で、まったく自由なわけでもありません。導関数は中間値の性質を必ず持ちます（ダルブーの定理）。この話題は [平均値の定理とテイラーの定理](/mathematics/calculus/mean-value-and-taylor) で扱います。 ## 8. 逆関数の微分法 $\log$ や $\arctan$ のように、逆関数として定義される関数の導関数はどう求めればよいでしょうか。$f^{-1}$ のグラフは $f$ のグラフを直線 $y=x$ について折り返したものですから、接線の傾きも逆数になるはずです。これを厳密にしたのが次の命題です。 $I$ を開区間、$f \colon I \to \mathbb{R}$ を連続かつ狭義単調（増加または減少）な関数とします。このとき $J := f(I)$ は開区間であり、逆関数 $f^{-1}\colon J \to I$ が存在して連続です（中間値の定理から従います）。 さらに $a \in I$ で $f$ が微分可能で $f'(a) \ne 0$ ならば、$f^{-1}$ は $b := f(a)$ で微分可能で $$ (f^{-1})'(b) = \frac{1}{f'(a)} = \frac{1}{f'\bigl(f^{-1}(b)\bigr)} $$ が成り立ちます。 前半（$J$ が開区間であること、$f^{-1}$ が存在して連続であること）は連続関数の性質なので、[極限と連続性](/mathematics/calculus/limits-and-continuity) に譲り、ここでは後半を示します。 $y \in J$、$y \ne b$ とし、$x := f^{-1}(y)$ とおきます。$f$ は狭義単調なので単射であり、$y \ne b$ から $x \ne a$ が従います。したがって $f(x) - f(a) = y - b \ne 0$ で、次の変形が可能です。 $$ \frac{f^{-1}(y)-f^{-1}(b)}{y-b} = \frac{x-a}{f(x)-f(a)} = \left(\frac{f(x)-f(a)}{x-a}\right)^{-1} . $$ ここで $y \to b$ とします。$f^{-1}$ は $b$ で連続なので $x = f^{-1}(y) \to f^{-1}(b) = a$ であり、しかも上で見たとおり $y \ne b$ である限り $x \ne a$ が保たれます。この「値が $a$ に一致しない」という条件があるおかげで、$x$ を変数とする関数の $x \to a$ での極限をそのまま代入してよいことになります（§2 の合成に関する性質を、除外近傍の条件つきで使っています）。$f$ は $a$ で微分可能ですから $$ \frac{f(x)-f(a)}{x-a} \longrightarrow f'(a) \ne 0 $$ であり、商の極限法則（分母の極限が $0$ でない場合）より、その逆数は $\frac{1}{f'(a)}$ に収束します。よって $f^{-1}$ は $b$ で微分可能で $(f^{-1})'(b) = \frac{1}{f'(a)}$ です。$a = f^{-1}(b)$ を代入すれば最後の表示になります。 $f'(a) \ne 0$ という仮定は落とせません。$f(x)=x^3$ は $\mathbb{R}$ 上狭義単調増加で $f'(0)=0$ ですが、逆関数 $f^{-1}(y)=y^{1/3}$ は $y=0$ で差分商が $\frac{y^{1/3}}{y} = y^{-2/3} \to +\infty$ となり、微分可能ではありません。接線が垂直になってしまうのです。 **(a) 自然対数。** まず $\exp$ が $\mathbb{R}$ 上狭義単調増加であることを確かめます。$t > 0$ ならば級数 $\exp(t) = 1 + t + \frac{t^2}{2} + \cdots$ の各項は正なので $\exp(t) > 1$ です。また加法定理から $\exp(x)\exp(-x) = \exp(0) = 1$ なので $\exp(x) \ne 0$ であり、$\exp$ は (4) と より連続ですから、$\exp(0)=1 > 0$ と中間値の定理を合わせて $\exp > 0$ が従います。したがって $x < y$ のとき $\exp(y) - \exp(x) = \exp(x)\bigl(\exp(y-x) - 1\bigr) > 0$ です。値域が $(0,\infty)$ であることは級数の章に譲り、その逆関数を $\log$ と書きます。 (4) より $\exp' = \exp$ は決して $0$ にならないので、 が適用できて、$b > 0$ に対し $$ (\log)'(b) = \frac{1}{\exp(\log b)} = \frac{1}{b} . $$ **(b) 平方根。** $f(x)=x^2$ を $I=(0,\infty)$ に制限すると狭義単調増加で $J=(0,\infty)$、逆関数は $f^{-1}(y)=\sqrt{y}$ です。$f'(x)=2x$ は $I$ 上 $0$ になりません。よって $b > 0$ で $$ \left.\frac{d}{dy}\sqrt{y}\right|_{y=b} = \frac{1}{2\sqrt{b}} . $$ **(c) 逆正接。** $\tan$ を $I = (-\pi/2, \pi/2)$ に制限すると狭義単調増加で値域は $\mathbb{R}$ です。その逆関数を $\arctan$ と書きます。 (b) より $(\tan)'(x) = 1+\tan^2 x > 0$ なので が使えて、$b \in \mathbb{R}$ に対し $$ (\arctan)'(b) = \frac{1}{1+\tan^2(\arctan b)} = \frac{1}{1+b^2} . $$ $\tan(\arctan b) = b$ を代入しただけですが、右辺に三角関数が残らないのが面白いところです。 対数が手に入ったので、実数指数の冪も微分できます。$x > 0$、$\alpha \in \mathbb{R}$ に対して $x^{\alpha} := e^{\alpha \log x}$ と定義するのが標準的です。連鎖律 と (a) より $$ (x^{\alpha})' = e^{\alpha\log x}\cdot \frac{\alpha}{x} = x^{\alpha}\cdot\frac{\alpha}{x} = \alpha x^{\alpha-1} $$ となり、 (1) の公式が任意の実数指数まで拡張されました。同様に $a > 0$ に対して $a^x := e^{x\log a}$ とすれば $(a^x)' = a^x \log a$ です。$a=e$ のときだけ係数 $\log a$ が $1$ になる、というのが「$e$ を底に選ぶ理由」の一つの説明になっています。 ## 9. 演習 $f(x)=\sqrt{x}$ とします。 (1) $x > 0$ における導関数を、定義（差分商の極限）から求めてください。 (2) $f$ は $x=0$ において右微分可能でない、すなわち $\lim_{h\to+0}\frac{f(h)-f(0)}{h}$ が有限の値として存在しないことを示してください。 **(1)** $x > 0$ を固定し、$|h|$ を $x + h > 0$ となるほど小さく取ります。$h \ne 0$ に対して分子を有理化すると $$ \frac{\sqrt{x+h}-\sqrt{x}}{h} = \frac{(\sqrt{x+h}-\sqrt{x})(\sqrt{x+h}+\sqrt{x})}{h(\sqrt{x+h}+\sqrt{x})} = \frac{(x+h)-x}{h(\sqrt{x+h}+\sqrt{x})} = \frac{1}{\sqrt{x+h}+\sqrt{x}} $$ です（$x > 0$ より分母は正で、$0$ で割ってはいません）。$\sqrt{\ }$ は $(0,\infty)$ 上連続なので $h \to 0$ で $\sqrt{x+h}\to\sqrt{x}$ となり、商の極限法則より $$ f'(x) = \frac{1}{2\sqrt{x}} . $$ これは (b) を なしで直接確かめたことになります。 **(2)** $h > 0$ のとき $\frac{\sqrt{h}-0}{h} = \frac{1}{\sqrt{h}}$ です。任意の $M > 0$ に対して $0 < h < 1/M^2$ ならば $\frac{1}{\sqrt h} > M$ となるので、この差分商は $h \to +0$ で $+\infty$ に発散し、有限の極限を持ちません。よって $f$ は $0$ で（右）微分可能ではありません。グラフの原点における接線は垂直になります。 実数 $a, b$ に対して $$ f(x) = \begin{cases} x^2 + ax + b & (x \le 1) \\ 3x & (x > 1) \end{cases} $$ と定めます。$f$ が $x=1$ で微分可能となるような $a, b$ をすべて求めてください。 **必要条件（連続性）。** より、微分可能なら $x=1$ で連続でなければなりません。$f(1) = 1+a+b$、右側極限は $\lim_{x\to1+0}3x = 3$ ですから $$ 1 + a + b = 3 $$ すなわち $b = 2-a$ でなければなりません。以下この条件を条件 (C) と呼びます。 **片側差分商の計算。** 条件 (C) のもとで $f(1)=3$ です。$h > 0$ のとき $$ \frac{f(1+h)-f(1)}{h} = \frac{3(1+h)-3}{h} = \frac{3h}{h} = 3 $$ なので右側極限は $3$ です。$h < 0$（かつ $|h|$ が小さい）のときは $1+h \le 1$ なので $$ \frac{f(1+h)-f(1)}{h} = \frac{(1+h)^2 + a(1+h) + b - 3}{h} = \frac{(1 + 2h + h^2) + a + ah + b - 3}{h} . $$ 条件 (C) より $1 + a + b - 3 = 0$ なので分子は $2h + h^2 + ah$ となり、$h$ で割って $2 + h + a$ です。$h \to -0$ でこれは $2+a$ に収束します。 **結論。** 両側の極限が一致することが微分可能性の条件ですから $2 + a = 3$、すなわち $a = 1$。条件 (C) より $b = 1$ です。このとき $f'(1)=3$ となります。逆にこの $a,b$ に対して上の計算から両側極限がともに $3$ であることが確かめられるので、$a=b=1$ が求める答えです。 $x > 0$ で $$ y = \frac{(x^2+1)^3 \sqrt{x}}{(x+2)^5} $$ とします。対数微分法、すなわち両辺の対数を取ってから微分する方法で $y'$ を求めてください。連鎖律をどこで使ったかを明示してください。 $x > 0$ では $y > 0$ なので $\log y$ が定義でき、対数の性質から $$ \log y = 3\log(x^2+1) + \frac{1}{2}\log x - 5\log(x+2) $$ です。左辺を $x$ の関数として微分します。$u \mapsto \log u$ と $x \mapsto y(x)$ の合成なので、 と (a) より $\frac{d}{dx}\log y(x) = \frac{y'(x)}{y(x)}$ です。右辺の各項も同じく合成関数で、$\frac{d}{dx}\log(x^2+1) = \frac{2x}{x^2+1}$、$\frac{d}{dx}\log x = \frac1x$、$\frac{d}{dx}\log(x+2) = \frac{1}{x+2}$ です。線形性 (1) を使ってまとめると $$ \frac{y'}{y} = \frac{6x}{x^2+1} + \frac{1}{2x} - \frac{5}{x+2} . $$ したがって $$ y' = \frac{(x^2+1)^3\sqrt{x}}{(x+2)^5}\left(\frac{6x}{x^2+1} + \frac{1}{2x} - \frac{5}{x+2}\right) . $$ 積の法則と商の法則を直接使っても同じ答えに至りますが、積・商・冪が混ざった式では対数微分法のほうが計算量が少なくて済みます。 $f, g$ が開区間 $I$ 上で $n$ 回微分可能であるとき、積 $fg$ も $n$ 回微分可能で $$ (fg)^{(n)} = \sum_{k=0}^{n} \binom{n}{k} f^{(k)} g^{(n-k)} $$ が成り立つことを、$n$ に関する数学的帰納法で証明してください（ライプニッツの公式）。 帰納法の詳しい作法については [証明の技術 - 数学的帰納法と背理法](/mathematics/foundations/proof-techniques) の を参照してください。 **$n=1$ のとき。** (2) より $(fg)' = f'g + fg'$ であり、右辺は $\binom{1}{0}f^{(0)}g^{(1)} + \binom{1}{1}f^{(1)}g^{(0)}$ に一致します（$\binom10 = \binom11 = 1$、$f^{(0)}=f$）。 **$n$ で成立を仮定して $n+1$ を示す。** $f, g$ が $n+1$ 回微分可能とします。帰納法の仮定より $$ (fg)^{(n)} = \sum_{k=0}^{n}\binom{n}{k} f^{(k)}g^{(n-k)} $$ であり、右辺の各 $f^{(k)}, g^{(n-k)}$ はさらに 1 回微分可能です。両辺を微分し、線形性 (1) と積の法則 (2) を使うと $$ (fg)^{(n+1)} = \sum_{k=0}^{n}\binom{n}{k}\Bigl( f^{(k+1)}g^{(n-k)} + f^{(k)}g^{(n-k+1)} \Bigr) = \sum_{k=0}^{n}\binom{n}{k} f^{(k+1)}g^{(n-k)} + \sum_{k=0}^{n}\binom{n}{k} f^{(k)}g^{(n+1-k)} . $$ 第 1 の和で $j = k+1$ と置き換えると $\sum_{j=1}^{n+1}\binom{n}{j-1}f^{(j)}g^{(n+1-j)}$、第 2 の和は添字を $j$ と書き直して $\sum_{j=0}^{n}\binom{n}{j}f^{(j)}g^{(n+1-j)}$ です。$j=0$ の項（第 2 の和だけに現れる）と $j=n+1$ の項（第 1 の和だけに現れる）を分離し、$1 \le j \le n$ の部分をまとめると $$ (fg)^{(n+1)} = f^{(0)}g^{(n+1)} + \sum_{j=1}^{n}\left(\binom{n}{j-1}+\binom{n}{j}\right) f^{(j)}g^{(n+1-j)} + f^{(n+1)}g^{(0)} . $$ パスカルの法則 $\binom{n}{j-1}+\binom{n}{j} = \binom{n+1}{j}$ を使い、さらに $\binom{n+1}{0} = \binom{n+1}{n+1} = 1$ に注意すると、分離した 2 項もちょうど $j=0$ と $j=n+1$ の項として和に組み込めます。よって $$ (fg)^{(n+1)} = \sum_{j=0}^{n+1}\binom{n+1}{j} f^{(j)}g^{(n+1-j)} $$ となり、$n+1$ の場合が示せました。数学的帰納法よりすべての正の整数 $n$ で公式が成り立ちます。 二項定理 $(x+y)^n = \sum_k \binom nk x^k y^{n-k}$ とまったく同じ形をしているのは偶然ではありません。どちらも「2 つの対象への操作を $n$ 回繰り返し、各回でどちらを選ぶかを数え上げる」という同じ構造から来ています。 ## 参考文献 - 杉浦光夫『解析入門 I』東京大学出版会、1980 — 第 II 章「微分法」。$\varepsilon$-$\delta$ を徹底した標準的な教科書で、この記事の議論はおおむねこの構成に沿っています。 - 高木貞治『解析概論』改訂第三版、岩波書店、1983 — 第 2 章「微分法」。古典的名著で、導関数と接線の関係の記述が丁寧です。 - W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill, 1976 — Chapter 5 "Differentiation"。連鎖律の証明は本記事と同じ補助関数の方法です。 - M. Spivak, *Calculus*, 4th ed., Publish or Perish, 2008 — Chapters 9–10。微分の定義に至る動機づけの議論が非常に詳しく書かれています。 - G. Berkeley, *The Analyst*, 1734 — 無限小に対する批判の原典。§1 で触れた歴史的経緯の一次資料です。 ## Appendix: ライプニッツ記法をどう読むか $\frac{dy}{dx}$ という記法は、$dy$ と $dx$ という 2 つの量の比に見えます。この見え方は計算の助けになる一方で、初学者を混乱させる原因にもなります。現段階での正確な立場を確認しておきます。 第一に、$\frac{d}{dx}$ は「$x$ で微分する」という**演算子**を表す 1 個の記号であり、$\frac{dy}{dx}$ は $y$ をその演算子で写した結果です。分子と分母に分解して単独に意味を与えているわけではありません。したがって $\frac{dy}{dx} = \frac{dy}{du}\frac{du}{dx}$ が約分のように見えるのは、 の主張が偶然そういう形をしているからです。約分は証明ではありません。 第二に、それでもこの記法が信頼できるのには理由があります。 によれば、微分可能性とは $\Delta y = f'(a)\Delta x + o(\Delta x)$ と書けることでした。$dx$ を「$x$ の微小な増分そのもの」、$dy$ を「一次近似で予測される $y$ の増分 $f'(a)\,dx$」と読むことにすれば、$dy = f'(a)\,dx$ は定義として意味を持ち、両辺を $dx$ で割れば確かに $\frac{dy}{dx}=f'(a)$ になります。連鎖律の約分も、この読み方のもとでは一次近似の合成として正当化されます。この立場を一般化すると微分形式の理論になり、多変数の積分（置換積分やヤコビアン）で本領を発揮します。 第三に、$\frac{d^2y}{dx^2}$ は $\left(\frac{dy}{dx}\right)^2$ とは何の関係もありません。$\frac{d}{dx}$ を 2 回施すという意味を、演算子を $2$ 乗した記法で表しているだけです。この記法だけは分数として読もうとしないでください。 微分の道具立てはこれで揃いました。次章では、微分係数という「1 点の情報」から関数の大域的な振る舞いを取り出す [平均値の定理とテイラーの定理](/mathematics/calculus/mean-value-and-taylor) に進みます。