第210回 シーズン21 エピソード10

逆転インバース（後編）

図書室にて

僕「せっかく、 $\frac{1}{f(x)}$ の微分がわかったんだから、 その《式の形》をしっかり見るのは大事だよね。さもないと……」

テトラ「はい、もったいないです！」

僕「それでね、テトラちゃん。さっきまで僕たちは、 $$ \frac{1}{f(x)} $$ のことを、 《関数 $f(x)$ の逆数として作った関数》だと考えてきたよね」

テトラ「そうですね……」

僕「もちろん、それはまちがいじゃないんだけど、 これを《二つの関数を合成した関数》だと考えることもできるんだ。つまり合成関数だね」

テトラ「ああ、なるほどです！……と、 すぐに言えたらステキだなあと、あたしはいつも思うんです。 でも、あたしはそんなにパパッと理解することができません。 《二つの関数を合成した関数》というのはどういうことでしょうか。 $\frac{1}{f(x)}$ には、 $f(x)$ という一つの関数しか出てきませんよね？」

僕「テトラちゃんのノリ突っ込みはレアだなあ。 パパッとわかる必要はないよ。そんなに難しい話でもないし。 僕が言いたかったのは 《逆数を求める》という計算も一つの関数と見なせるよということなんだ。 具体的には、 $$ g(y) = \frac{1}{y} $$ という $y$ の関数を新たに考えるということ」

テトラ「ははあ……だとしたら、 $\frac{1}{f(x)}$ というのは、 関数 $f(x)$ と関数 $g(y)$ を合わせたもの……合成したものだと？」

僕「そういうことだね。 $x$ が与えられれば、 $f(x)$ の値が決まる。 そして、この $f(x)$ の値を $y$ とおくことにする。 $y$ が与えられれば、 $g(y)$ の値が決まる。 ということは、結局、 $x$ を与えれば $g(y)$ の値が決まることになる。 そしてその値は、 $$ \frac{1}{f(x)} $$ に等しくなる……ということ。くどく言えばね。簡単に言えば、 $\frac{1}{f(x)}$ という関数は、 $g(f(x))$ という形で表せるという話」

テトラ「はい。ここまでは理解したと思います。少なくとも、先輩のおっしゃっていることで、 わからないことはありません……」

僕「でも？」

テトラ「でも……なぜそういうふうに考えなくてはならないか、それがわかりません。 逆数は逆数のままで、あたしにはわかりやすいと思うんです。 $\frac{1}{f(x)}$ は $f(x)$ の逆数で作った関数ですよね？　それにまちがいないなら、 それを、どうしてわざわざ関数の合成と見なさなければならないか、そのお気持ちがわかりません」

僕「そうだよね。テトラちゃんなら、そう言うと思ったよ。 まずね、こういうふうに考えなければならないってわけじゃないんだ。 $\frac{1}{f(x)}$ は $f(x)$ の逆数で作った関数と考えるのは正しいことだから。 僕が関数の合成を持ち出したのは、 式の形を見ているうちに《そう考えても、ちゃんとつじつまが合うなあ》と思ったからなんだ」

テトラ「つじつまが合うというのは？」

僕「さっきテトラちゃんは、 《逆数になった関数の微分》を計算したよね。 つまり、 $\frac{1}{f(x)}$ を微分したらどうなるかを、 $f(x)$ と $f'(x)$ を使って表した」

テトラ「そうですね。逆数の定義を使って、 $$ \left(\, \dfrac{1}{f(x)} \,\right)' = - \frac{f'(x)}{\bigl(\,f(x)\,\bigr)^2} $$ という式を導きました」

僕「それはそれとして、僕は《合成関数の微分》の方法を知っている。 そして、 $\frac{1}{f(x)}$ を合成関数だと見なして、 その方法にあてはめると、 ちゃんとテトラちゃんが求めたものと同じ導関数が得られるんだよ。 つまり、式の形をどのように見なしたかに依存せず、正しい答えが得られる。 その部分で、なるほど！とすっきりしたんだ」

テトラ「逆数だと見なしても、合成関数の微分と見なしても、同じ結果が出るということですか？　 《どちらの道を通っても、同じ村にたどり着く》みたいな話ですね」

僕「そうだね。合成関数の微分の公式はこうだよ」

テトラ「は、はい……これは、あたしも覚えています。 理解は怪しいんですけれど」

僕「$g(f(x))$ というのは、 二つの関数 $f$ と $g$ をこの順番で合成して得られる関数だね。 $$ x \mapsto f(x) \mapsto g(f(x)) $$ という《二段階ジャンプ》の途中を見ない振りして、 $$ x \mapsto g(f(x)) $$ という関数だと思ったわけだ」

テトラ「はい、わかります。ブラックボックスの二段重ねですねっ！」

僕「そういうこと。 そしてこの関数 $g(f(x))$ を $x$ で微分したときに得られる導関数はどうなるか、 というのがこの公式だね」

テトラ「はい。以前、この公式を見たとき、 さっぱり意味がわかりませんでした。 特に、この部分です。 $$ g'(f(x)) $$ いまから求めようとしている $g(f(x))$ の微分がいきなり出てきたと思って、 テトラは大混乱しました。意味がまったくわからない公式だと思ったんです」

僕「そうだよね。 $g'(f(x))$ という書き方はまぎらわしいよね。 $g(f(x))$ という関数を微分したものみたいに見えちゃうから」

• $g(y)$ という $y$ の関数がある。
• $g(y)$ を $y$ で微分した導関数を $g'(y)$ と書く。
• その $y$ の部分に $f(x)$ をあてはめて得られる $x$ の関数を $g'(f(x))$ と書く。

テトラ「そうですそうです！」

僕「僕は四角を使ってまとめて覚えたなあ」

テトラ「$f(x)$ の部分をまとめて $\fbox{$ f(x) $}$ と考えるということですね」

僕「そうそう。でね、この《合成関数の微分》の公式に $\frac{1}{f(x)}$ をあてはめてみると、 テトラちゃんがさっき求めた《逆数で作った関数の微分》と同じ形になるんだよ。 当然といえば当然だけれど」

テトラ「それは、 $y = f(x)$ と $g(y) = \frac{1}{y}$ を合成するということですね？」