「教科書に逆関数の微分法というお題がある.そこにある
逆関数の導関数を用いてもとの関数の導関数を求めることを考えよう
という記述がどうも気になる.不自然だよね」
「ですね.『逆関数の微分法』といったら, に対して, を求める方法,っていう意味かと思いますよね」
「相対的に見れば, は の逆関数だから間違いではないのだが…… を微分するために,まず逆関数 を求めて,それの導関数を求めて,そしてようやく を求める……この教科書の一行だけでなんてけったいな議論をしようとしているんだ,という印象は拭えないよな」
「実際,逆関数の微分法が真価を発揮するのは, や のような初等的な表示ができない逆関数の導関数を求めるときですからねえ.もとの関数の導関数を用いて逆関数の導関数を求めよう,だったらちょっとは価値がありそうに聞こえますよね」
「俺も同意見.そして,教科書に書いてある逆関数の導関数で致命的なのは,さっきの対数微分法の時と同様,微分可能か不明なものを微分可能であること仮定して議論を進めている点にある.まったくいいことないよな」
「ちょっと見せてもらっていいですか——なるほど, の逆関数を として, に対して
なる変形をしていますね.逆関数の導関数を用いるということは の微分可能性は使えますが, の微分可能性は……って感じですね.あ,でも,一応
一般に,関数 の逆関数 が存在して, が微分可能であるとする
っていう謎の仮定を明記してますね」
「さっきやった, で定義される数列 が収束したと仮定したら に収束する,という話と同じで無意味な論理だ」
「厳しいですね」
「細かいことを言ってたらきりがないし高校生に厳密過ぎることを求めるのもかえって教育的とは言えないだろう.恐らく,ここら辺は を分数のようにして扱ってよいという感覚を養わせるための単元だと思う.しかし……」
「数学の教員になるんだったらちゃんと心得ておかないと,ですよね」
「分かってるじゃないか.いずれ,本当にできる生徒がいたらこの点について突っ込んでくることもあるだろう.教員はそういう生徒の言葉に対して,『言われてみたらそうだねえ』じゃなくて,『実はそれはね』と,ちゃんとした数学を伝えねば威厳は保てんだろうな」
「先輩にしては,凄く考えてますね」
「ちなみに大学生向けの数学書では,ちゃんと逆関数の導関数の求め方として記述してある.関数 ,すなわち に対して, となる範囲で は微分可能であり, が成り立つ,みたいに説明してあるからな.一応証明を与えよう.逆関数 に対して, における微分係数を求める. とおくと であり, の単射性から のとき であり, であり, のとき だから, ならば上の式は に収束する」
「……そういえば逆関数の導関数って合成関数の微分法で証明できるのになんで大学の教科書はこういう証明なんだろって疑問に思っていた記憶が」
「 を分数のように扱えることを言いたいのは分かるが, と のグラフは直線 に関して対称なのだから,接線も対称になっていることを利用する.これがある意味で高校生らしい逆関数の導関数の求め方なのではないのかな.例えば直線 と に関して対称な直線は だ.この例で明らかのように, に関して対称な直線の傾きは逆数の関係にある.ということは,曲線 上の点 における接線の傾きは であり,その点と対称な位置にある曲線 上の点 における接線の傾きは で,これは当然 に等しいから と書けて, を変数 に置き換えれば,逆関数の導関数 を得る」
「へえ.これなら当たり前のように の逆関数の微分可能性がビジュアルで説明できますね」