第227回 微分係数ジグソーパズル(前編)

「とりあえず微分してみたんですが、だめなんでしょうか?」というテトラちゃん。関数を探ろうとしたけれど……「関数を組み立てよう」シーズン第4章前編。

登場人物紹介

:数学が好きな高校生。

テトラちゃんの後輩。 好奇心旺盛で根気強い《元気少女》。言葉が大好き。

$ \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\HIRANO}{\unicode[sans-serif,STIXGeneral]{x306E}} \newcommand{\UL}[1]{\underline{#1}} \newcommand{\FBOX}[1]{\fbox{$#1$}} \newcommand{\GEQ}{\geqq} \newcommand{\LEQ}{\leqq} \newcommand{\LL}{\left\langle\,} \newcommand{\RR}{\,\right\rangle} \newcommand{\ABS}[1]{\left|\mathstrut #1\right|} \newcommand{\EPSLN}{\varepsilon} \newcommand{\DLT}{\delta} \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\SET}[1]{\bigl\{\,#1\,\bigr\}} \newcommand{\SETM}{\,\bigm|\,} \newcommand{\HAT}[1]{#1_\infty} \newcommand{\COMMA}{,\,} \newcommand{\REAL}{\mathbb R} \newcommand{\LOGL}{\Bigl[\,} \newcommand{\LOGR}{\,\Bigr]} \newcommand{\EMPTYSET}{\{\,\}} $

図書室にて

が図書室にいくとテトラちゃんがノートに向かっていた。

「テトラちゃん、今日はどんな問題を解いているの?」

テトラ「あ、先輩! 問題といいますか……問題なんでしょうか?」

「何か書いてたよね」

テトラ「ええ、これです」

テトラちゃんのノート

$$ f(x) = f(a) + f'(c)(x - a) $$

「ああ、このあいだの《平均値の定理》だね(第223回参照)」

テトラ「やっぱり、すぐにおわかりになるんですね……」

「だって、そうだよね。ちょっと式の形は違うけど。このあいだは、閉区間を$[a,b]$で書いていたし、分数の形で書いてた」

$$ \frac{f(b) - f(a)}{b - a} = f'(c) $$

テトラ「はい、そうですね。ですから《平均値の定理》の式の両辺に$b - a$を掛けて、$f(a)$を移項して、それから$b$を$x$に変えたら、さっきの式になります」

$$ \begin{align*} \frac{f(b) - f(a)}{b - a} &= f'(c) && \REMTEXT{平均値$\HIRANO$定理}\\ f(b) - f(a) &= f'(c)(b - a) && \REMTEXT{両辺に$b - a$を掛ける}\\ f(b) &= f(a) + f'(c)(b - a) && \REMTEXT{両辺に$f(a)$を加える}\\ f(x) &= f(a) + f'(c)(x - a) && \REMTEXT{文字$b$を文字$x$に変える}\\ \end{align*} $$

「そうだね。それで、この式変形は……」

テトラ「は、はい。これは村木先生から教えていただいたんです。先日のロルの定理や実数の話などをレポートにまとめて持っていったとき」

村木先生は、僕たちの数学教師。 僕たちは自主的に数学のレポートを持っていくことがある。 テトラちゃんは、 先日僕たちが取り組んでいた《平均値の定理》→《ロルの定理》→《デデキントの公理》といった話をレポートにして持っていったんだろう。

「ああ、なるほどね。《平均値の定理》を別の方向から調べてみようという謎かけだ」

テトラ「そうなんですね。テトラは鈍くて、そもそもこの式が《平均値の定理》だと気付くのに時間が掛かってしまいました」

「うん、これは僕もやったことがあるよ。とても《楽しい話》があるんだ、あのね」

テトラ「だ、駄目ですようっ! まず、あたしが考えていたことをお聞きください」

「そうだね。ごめんごめん。テトラちゃん、どうぞ」

テトラちゃんの話

テトラ「と、いっても第一歩目からあたしは大混乱しているのですけれど」

「この式を考察したんだよね」

テトラちゃんのノート

$$ f(x) = f(a) + f'(c)(x - a) $$

テトラ「はい、そうです。村木先生がわざわざ$b$を$x$に変えたのにあたしは意味があると思いました。 つまり、この$x$を変数だと考えたらどうかというアドバイスだと思ったんです」

「先生は何か解説してくれたの?」

テトラ「い、いえ。あたしがレポートを持っていって《平均値の定理》を少し話したら、先生はにこにこして、こんな式はどうだろうとおっしゃっただけです」

「なるほど」

テトラ「あたしは、この式$f(x) = f(a) + f'(c)(x - a)$を見て、$x$が変数だとしたらどうなるかを考えてみました。 $x$は実数で、値をいろいろ変えます。$f(x)$は$x$の関数ですから$f(x)$の値もいろいろと変わります」

「まあそうだね」

テトラ「でも、ここで出てきている$f(x)$は具体的にどんな関数かはわかりませんから、$f(x)$の値がどんな値になるかは具体的にはさっぱりわかりません」

「……」

テトラ「たとえば$x^2 + x + 1$のように具体的な関数だったらいいのですけれど、具体的にわかっていない関数$f(x)$について何が考えられるだろう……と思いました。 でも、そこであたしは思い出しました。先輩とのお話ですっ!」

「僕? 何か言ったっけ」

テトラ「具体的な関数が与えられないと、雲をつかむような話で……とあたしが愚痴ったときに、先輩は『与えられているよ』とおっしゃってくださいました(第226回参照)」

「ああ、言ったかも。条件のことだね」

テトラ「そうです、そうです。$f(x)$には微分ができるという条件がありました。ですからあたしは、この式をとりあえず微分してみたんです! でも……」

$$ \begin{align*} f(x) &= f(a) + f'(c)(x - a) && \REMTEXT{平均値の定理から} \\ f'(x)&= (f(a) + f'(c)(x - a))' && \REMTEXT{両辺を微分した} \\ f'(x)&= 0 + (f'(c)(x - a))' && \REMTEXT{$f(a)$を微分したら$0$になる} \\ f'(x)&= f'(c)(x - a)' && \REMTEXT{$(x - a)$を微分……?} \\ f'(x)&= f'(c) && \REMTEXT{……???} \\ \end{align*} $$

「なるほどね……テトラちゃんの《大混乱》の意味がわかってきたよ」

テトラ「あたしは、先輩方とごいっしょに《平均値の定理》の証明を追いました。実数の難しいところはまだ怪しいですけれど、 《平均値の定理》そのものはわかっているつもりでした。 でも、このちょっとした式変形を使って考えを進めようと思ったら、 いきなり$f'(x) = f'(c)$という変なことになってしまいました。 $f(x)$を微分した導関数$f'(x)$が$f'(c)$という定数に等しいなんて、 どういうことでしょうっ!」

「あのね、テトラちゃん。テトラちゃんのチャレンジはすごいと思うよ。自分が知っている数式を観察して、変形して、何か新しいことを探ろうとしたってことだよね」

テトラ「は、はい……」

「そのチャレンジはすごいけど、惜しいのは数式だけを頼りにしてしまったというところ。 それはすごくあぶないんだ」

テトラ「え! でも、数学ってそこがすごいのではないんでしょうか。先輩がよくおっしゃることですよね。数式を使って、数式だけを手掛かりに進んでいっても新しい世界が開ける……」

「そうなんだけど、僕がいいたいのは……うん、具体的に話すよ」

テトラ「よろしくお願いします」

僕の話

「順を追って話そうね。出発点はテトラちゃんのノート」

テトラちゃんのノート

$$ f(x) = f(a) + f'(c)(x - a) $$

テトラ「はい」

「これは《平均値の定理》だとテトラちゃんは言ったし、僕もそう言っちゃったけど、それはちょっとウソがあった」

テトラ「はい?!」

「《平均値の定理》の主張をするためには、式をぼんと出すだけじゃなくて、 その式で使われている文字のことをちゃんといわなくちゃいけないから。 具体的にはこんなふうに……おっと、$x$という文字がかぶるからそこはちょっと注意して……」

平均値の定理

二つの実数$a,x$は、$a < x$を満たすとする。

関数$f(\heartsuit)$は、$a \LEQ \heartsuit \LEQ x$で連続とする。

さらに関数$f(\heartsuit)$は、$a < \heartsuit < x$で微分可能とする。

このとき、 $$ f(x) = f(a) + f'(c)(x - a) $$ を満たす実数$c$が、$a$と$x$のあいだに存在する($a < c < x$)。

テトラ「で、でも、これは、あたしはわかっているつもりでした。それに、先輩がいまお書きになったものでも、やはり、 $$ f(x) = f(a) + f'(c)(x - a) $$ という数式に変わりはありませんよね。関数$f$が微分可能であることに変わりはありません。 ですから、あたしは、できることをまずやってみようととりあえず微分して……」

「うん、その気持ちはわかるんだけど、この式に出てくる文字をよく考えてみて。$a$と$x$はいま考えている区間の両端だね。では、$c$は?」

テトラ「それはわかります。$c$というのは《接点$c$での接線の傾き》が《両端$a$と$x$とを結ぶ線分の傾き》と等しくなるところです。《$c$での微分係数》が《$a$から$x$への平均変化率》に等しくなるところ……で、いいんですよね。 だってそのような$c$が存在することこそ《平均値の定理》ですから」

「テトラちゃんのその理解は百点満点だよ。問題は、$x$を動かしても、$c$は動かないとテトラちゃんが考えたところにあるんだ。 $x$を変数として、$c$を定数だと考えちゃったよね」

テトラ「……あっ!」

「わかった?」

この続きは有料会員登録をすると
読むことができます。
cakes会員の方はここからログイン

1週間無料のお試し購読する

cakesは定額読み放題のコンテンツ配信サイトです。簡単なお手続きで、サイト内のすべての記事を読むことができます。cakesには他にも以下のような記事があります。

人気の連載

おすすめ記事

ケイクス

この連載について

初回を読む
数学ガールの秘密ノート

結城浩

数学青春物語「数学ガール」の中高生たちが数学トークをする楽しい読み物です。中学生や高校生の数学を題材に、 数学のおもしろさと学ぶよろこびを味わいましょう。本シリーズはすでに12巻も書籍化されている大人気連載です。 (毎週金曜日更新)

この連載の人気記事

関連記事

関連キーワード

コメント

chibio6 ウィキペディアを読んでもよくわからなかったテイラー展開がわかってくるかもしれない。後半が楽しみ。 2年以上前 replyretweetfavorite

inaba_darkfox これ微分した時に同じ形になるからって事で自然に階乗出てくる面白いやつ・・(証明は覚えてない) 2年以上前 replyretweetfavorite

choiyaki あとで読もう。 2年以上前 replyretweetfavorite