数学IIでは、多項式しか微分できませんでした。この章では、微分できる関数の仲間を一気に増やします。まず、関数どうしの積・商、関数の中に関数が入った**合成関数**の微分法を学び、第10章 例題8 で予告したとおり、$(x^n)' = nx^{n-1}$ を分数や負の数の $n$ にまで広げます。続いて、第10章の $\dfrac{\sin\theta}{\theta} \to 1$ を鍵に三角関数を微分します。後半では、自然対数の底 **$e$**($= 2.718\cdots$)という特別な数を導入し、指数関数・対数関数の導関数を求めます。最後に、2回・3回と続けて微分する高次導関数と、$y = f(x)$ の形に解けていない曲線の微分を扱います。
積と商の微分
第10章 例題8 で、y y y = x {}= \sqrt{x} = x を定義に従って微分し、d y d x \dfrac{dy}{dx} d x d y = 1 2 x {}= \dfrac{1}{2\sqrt{x}} = 2 x 1 を得ました。毎回このように定義から計算するのは大変です。この章では、どんな関数でも組み立て方さえわかれば導関数が求められるように、計算の規則をそろえていきます。最初は、2つの関数の積と商です。
数学IIでは、( x 2 + 1 ) ( 3 x − 2 ) (x^2 + 1)(3x - 2) ( x 2 + 1 ) ( 3 x − 2 ) のような積は展開してから微分しました。展開できない x sin x x\sin x x sin x のような積や、分数の形の関数を扱うには、次の公式が必要です。
お店の1日の売上は「単価 × 客数」です。値上げで単価が上がり、同時に客数も増えたとき、売上の増え方には2つの原因があります。単価の上がった分に今の客数を掛けたものと、客数の増えた分に今の単価を掛けたものです。積の微分法の2つの項は、この「どちらの変化から来た増え方か」を分けて足したものです。
積の導関数は「片方ずつ微分して、残りはそのまま」の2項の和になり、商の導関数は分子が f ′ g f'g f ′ g − f g ′ {}- fg' − f g ′ , 分母が g 2 g^2 g 2 になるということです。
例題1:積・商の微分
次の関数を微分しなさい。
(1) y \displaystyle \text{(1)}\ y (1) y = ( x 2 + 1 ) ( 3 x − 2 ) \displaystyle {}= (x^2 + 1)(3x - 2) = ( x 2 + 1 ) ( 3 x − 2 ) (2) y \displaystyle \text{(2)}\ y (2) y = 2 x − 1 x 2 + 1 \displaystyle {}= \frac{2x - 1}{x^2 + 1} = x 2 + 1 2 x − 1 (3) y \displaystyle \text{(3)}\ y (3) y = 1 x 3 \displaystyle {}= \frac{1}{x^3} = x 3 1 【解答】
(1) 積の微分法を使います。
y ′ \displaystyle y' y ′ = ( x 2 + 1 ) ′ ( 3 x − 2 ) \displaystyle {}= (x^2 + 1)'(3x - 2) = ( x 2 + 1 ) ′ ( 3 x − 2 ) + ( x 2 + 1 ) ( 3 x − 2 ) ′ \displaystyle {}+ (x^2 + 1)(3x - 2)' + ( x 2 + 1 ) ( 3 x − 2 ) ′ = 2 x ( 3 x − 2 ) \displaystyle {}= 2x(3x - 2) = 2 x ( 3 x − 2 ) + 3 ( x 2 + 1 ) \displaystyle {}+ 3(x^2 + 1) + 3 ( x 2 + 1 ) = 9 x 2 ‾ \displaystyle {}= \underline{\rule[-0.0833em]{0em}{0.9474em}9x^2} = 9 x 2 − 4 x ‾ \displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}- 4x} − 4 x + 3 ‾ \displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}+ 3} + 3 (2) 商の微分法を使います。
y ′ \displaystyle y' y ′ = 2 ( x 2 + 1 ) − ( 2 x − 1 ) ⋅ 2 x ( x 2 + 1 ) 2 \displaystyle {}= \frac{2(x^2 + 1) - (2x - 1) \cdot 2x}{(x^2 + 1)^2} = ( x 2 + 1 ) 2 2 ( x 2 + 1 ) − ( 2 x − 1 ) ⋅ 2 x = 2 x 2 + 2 − 4 x 2 + 2 x ( x 2 + 1 ) 2 \displaystyle {}= \frac{2x^2 + 2 - 4x^2 + 2x}{(x^2 + 1)^2} = ( x 2 + 1 ) 2 2 x 2 + 2 − 4 x 2 + 2 x = − 2 x 2 + 2 x + 2 ( x 2 + 1 ) 2 ‾ \displaystyle {}= \underline{\frac{-2x^2 + 2x + 2}{(x^2 + 1)^2}} = ( x 2 + 1 ) 2 − 2 x 2 + 2 x + 2 (3) y y y = x − 3 {}= x^{-3} = x − 3 なので
y ′ \displaystyle y' y ′ = − 3 x − 4 \displaystyle {}= -3x^{-4} = − 3 x − 4 = − 3 x 4 ‾ \displaystyle {}= \underline{-\frac{3}{x^4}} = − x 4 3 ※ (1) は展開してから微分しても同じ答えになります。確かめてみましょう。
合成関数の微分
y y y = ( 2 x + 3 ) 5 {}= (2x + 3)^5 = ( 2 x + 3 ) 5 は、展開すれば微分できますが、5乗の展開は大変です。この関数は「u u u = 2 x {}= 2x = 2 x + 3 {}+ 3 + 3 を作り、それを5乗する」という2段階の組み立てになっています。このように、関数の中に関数が入ったものを合成関数 といいます。
3つの歯車がかみ合っているとします。歯車 A が1回転すると B が3回転し、B が1回転すると C が2回転するなら、A が1回転したとき C は 3 × 2 3 \times 2 3 × 2 = 6 {}= 6 = 6 回転します。x x x が u u u を動かし、u u u が y y y を動かすとき、y y y の変化の速さは、途中の歯車ごとの倍率を掛け合わせたものになります。
合成関数の導関数は、外側の関数の導関数と中身の導関数の積であり、歯車の倍率のように変化の倍率を掛け合わせればよいということです。
例題2:合成関数の微分
次の関数を微分しなさい。
(1) y \displaystyle \text{(1)}\ y (1) y = ( 2 x + 3 ) 5 \displaystyle {}= (2x + 3)^5 = ( 2 x + 3 ) 5 (2) y \displaystyle \text{(2)}\ y (2) y = ( x 2 − x + 1 ) 3 \displaystyle {}= (x^2 - x + 1)^3 = ( x 2 − x + 1 ) 3 (3) y \displaystyle \text{(3)}\ y (3) y = 1 ( x 2 + 1 ) 2 \displaystyle {}= \frac{1}{(x^2 + 1)^2} = ( x 2 + 1 ) 2 1 【解答】
(1) u u u = 2 x {}= 2x = 2 x + 3 {}+ 3 + 3 とおくと y y y = u 5 {}= u^5 = u 5 です。
d y d x \displaystyle \frac{dy}{dx} d x d y = d y d u ⋅ d u d x \displaystyle {}= \frac{dy}{du} \cdot \frac{du}{dx} = d u d y ⋅ d x d u = 5 u 4 ⋅ 2 \displaystyle {}= 5u^4 \cdot 2 = 5 u 4 ⋅ 2 = 10 ( 2 x + 3 ) 4 ‾ \displaystyle {}= \underline{10(2x + 3)^4} = 10 ( 2 x + 3 ) 4 (2) 中身 x 2 x^2 x 2 − x {}- x − x + 1 {}+ 1 + 1 の導関数は 2 x 2x 2 x − 1 {}- 1 − 1 なので
y ′ \displaystyle y' y ′ = 3 ( x 2 − x + 1 ) 2 ⋅ ( 2 x − 1 ) \displaystyle {}= 3(x^2 - x + 1)^2 \cdot (2x - 1) = 3 ( x 2 − x + 1 ) 2 ⋅ ( 2 x − 1 ) = 3 ( 2 x − 1 ) ( x 2 − x + 1 ) 2 ‾ \displaystyle {}= \underline{3(2x - 1)(x^2 - x + 1)^2} = 3 ( 2 x − 1 ) ( x 2 − x + 1 ) 2 (3) y y y = ( x 2 + 1 ) − 2 {}= (x^2 + 1)^{-2} = ( x 2 + 1 ) − 2 と見ます。
y ′ \displaystyle y' y ′ = − 2 ( x 2 + 1 ) − 3 ⋅ 2 x \displaystyle {}= -2(x^2 + 1)^{-3} \cdot 2x = − 2 ( x 2 + 1 ) − 3 ⋅ 2 x = − 4 x ( x 2 + 1 ) 3 ‾ \displaystyle {}= \underline{-\frac{4x}{(x^2 + 1)^3}} = − ( x 2 + 1 ) 3 4 x ※ 第7章 j10 で、( x + a ) n (x + a)^n ( x + a ) n の不定積分を ( x + a ) n + 1 n + 1 \dfrac{(x + a)^{n+1}}{n + 1} n + 1 ( x + a ) n + 1 + C {}+ C + C としてよいと説明しました。その根拠が、中身の微分が 1 1 1 になるこの公式です。
逆関数の微分と x の r 乗
y y y = x 3 {}= \sqrt[3]{x} = 3 x は、「3乗すると x x x になる数」です。y y y を直接微分するのは難しくても、x x x = y 3 {}= y^3 = y 3 という逆向きの関係なら簡単に微分できます。
y y y = f ( x ) {}= f(x) = f ( x ) を x x x について解いた関係 x x x = g ( y ) {}= g(y) = g ( y ) で、x x x と y y y の役割を入れかえたものを逆関数 といいます(y y y = x 3 {}= x^3 = x 3 の逆関数は y y y = x 3 {}= \sqrt[3]{x} = 3 x ,y y y = 10 x {}= 10^x = 1 0 x の逆関数は y y y = log 10 x {}= \log_{10} x = log 10 x )。
マラソンのランナーは、速さを「時速 12 km」ではなく、「1 km あたり 5 分」のように言うことがあります。時速 12 km は1時間に 12 km 進むことなので、1 km 進むのにかかる時間は 1 12 \dfrac{1}{12} 12 1 時間、つまり 5 分です。どちらも同じ走りを表していて、一方がわかれば逆数でもう一方がわかります。d y d x \dfrac{dy}{dx} d x d y (x x x が1増えるときの y y y の増え方)と d x d y \dfrac{dx}{dy} d y d x (y y y が1増えるときの x x x の増え方)も、このように逆数の関係です。
逆関数の導関数は、もとの向きの導関数の逆数で求められ、これを使うと ( x r ) ′ (x^r)' ( x r ) ′ = r x r − 1 {}= rx^{r-1} = r x r − 1 が分数の r r r でも成り立つということです。
例題3:根号を含む関数の微分
次の関数を微分しなさい。ただし (1),(3) は x x x > 0 {}> 0 > 0 とする。
(1) y \displaystyle \text{(1)}\ y (1) y = x 2 3 \displaystyle {}= \sqrt[3]{x^2} = 3 x 2 (2) y \displaystyle \text{(2)}\ y (2) y = x 2 + 1 \displaystyle {}= \sqrt{x^2 + 1} = x 2 + 1 (3) y \displaystyle \text{(3)}\ y (3) y = 1 x \displaystyle {}= \frac{1}{\sqrt{x}} = x 1 【解答】
(1) y y y = x 2 3 {}= x^{\frac{2}{3}} = x 3 2 なので
y ′ \displaystyle y' y ′ = 2 3 x − 1 3 \displaystyle {}= \frac{2}{3}x^{-\frac{1}{3}} = 3 2 x − 3 1 = 2 3 x 3 ‾ \displaystyle {}= \underline{\frac{2}{3\sqrt[3]{x}}} = 3 3 x 2 (2) y y y = ( x 2 + 1 ) 1 2 {}= (x^2 + 1)^{\frac{1}{2}} = ( x 2 + 1 ) 2 1 と見て、合成関数の微分法を使います。
y ′ \displaystyle y' y ′ = 1 2 ( x 2 + 1 ) − 1 2 ⋅ 2 x \displaystyle {}= \frac{1}{2}(x^2 + 1)^{-\frac{1}{2}} \cdot 2x = 2 1 ( x 2 + 1 ) − 2 1 ⋅ 2 x = x x 2 + 1 ‾ \displaystyle {}= \underline{\frac{x}{\sqrt{x^2 + 1}}} = x 2 + 1 x (3) y y y = x − 1 2 {}= x^{-\frac{1}{2}} = x − 2 1 なので
y ′ \displaystyle y' y ′ = − 1 2 x − 3 2 \displaystyle {}= -\frac{1}{2}x^{-\frac{3}{2}} = − 2 1 x − 2 3 = − 1 2 x x ‾ \displaystyle {}= \underline{-\frac{1}{2x\sqrt{x}}} = − 2 x x 1 ※ 第10章 例題8 の ( x ) ′ (\sqrt{x})' ( x ) ′ = 1 2 x {}= \dfrac{1}{2\sqrt{x}} = 2 x 1 は、r r r = 1 2 {}= \dfrac{1}{2} = 2 1 の場合です。定義から苦労して求めた結果が、公式1行で出るようになりました。
三角関数の微分
三角比と三角関数の分野 第5章の小話で、「ラジアンで測ると、sin \sin sin を微分したとき係数なしでぴったり cos \cos cos になる」と予告しました。いよいよその計算をします。道具は、三角関数 第12章の和積の公式と、第10章 公式6の lim θ → 0 sin θ θ \displaystyle \lim_{\theta \to 0}\frac{\sin\theta}{\theta} θ → 0 lim θ sin θ = 1 \displaystyle {}= 1 = 1 です。
自転車をこいでいるとき、ペダルの高さに注目してみましょう。ペダルは円を描いて回るので、その高さは sin \sin sin の形で上がり下がりします。ペダルがいちばん上やいちばん下にある瞬間、ペダルは真横に動いていて、高さは変わっていません。逆に、ペダルが真横(前か後ろ)に来た瞬間は、真上や真下に向かって動くので、高さがいちばん速く変わります。高さが sin \sin sin のとき、高さの変化の速さは「頂上と底で 0 0 0 , 真ん中で最大」になり、これがちょうど cos \cos cos の形です。
ラジアンで測ると、sin \sin sin の導関数は cos \cos cos ,cos \cos cos の導関数は − sin -\sin − sin になり、その根拠は sin θ θ \dfrac{\sin\theta}{\theta} θ sin θ → 1 {}\to 1 → 1 だということです。
例題4:三角関数の微分
次の関数を微分しなさい。
(1) y \displaystyle \text{(1)}\ y (1) y = sin 3 x \displaystyle {}= \sin 3x = sin 3 x (2) y \displaystyle \text{(2)}\ y (2) y = cos 2 x \displaystyle {}= \cos^2 x = cos 2 x (3) y \displaystyle \text{(3)}\ y (3) y = x sin x \displaystyle {}= x\sin x = x sin x + cos x \displaystyle {}+ \cos x + cos x 【解答】
(1) 中身 3 x 3x 3 x の微分 3 3 3 を掛けます。
y ′ \displaystyle y' y ′ = cos 3 x ⋅ 3 \displaystyle {}= \cos 3x \cdot 3 = cos 3 x ⋅ 3 = 3 cos 3 x ‾ \displaystyle {}= \underline{3\cos 3x} = 3 cos 3 x (2) y y y = ( cos x ) 2 {}= (\cos x)^2 = ( cos x ) 2 と見て、合成関数の微分法を使います。
y ′ \displaystyle y' y ′ = 2 cos x ⋅ ( − sin x ) \displaystyle {}= 2\cos x \cdot (-\sin x) = 2 cos x ⋅ ( − sin x ) = − 2 sin x cos x \displaystyle {}= -2\sin x\cos x = − 2 sin x cos x = − sin 2 x ‾ \displaystyle {}= \underline{-\sin 2x} = − sin 2 x (3) x sin x x\sin x x sin x には積の微分法を使います。
y ′ \displaystyle y' y ′ = ( 1 ⋅ sin x + x cos x ) \displaystyle {}= (1 \cdot \sin x + x\cos x) = ( 1 ⋅ sin x + x cos x ) + ( − sin x ) \displaystyle {}+ (-\sin x) + ( − sin x ) = x cos x ‾ \displaystyle {}= \underline{x\cos x} = x cos x ※ (3) は、sin x \sin x sin x の項がちょうど打ち消し合って、きれいな形になりました。逆に読むと「x cos x x\cos x x cos x の原始関数は x sin x x\sin x x sin x + cos x {}+ \cos x + cos x 」 で、第14章の部分積分で再び出会います。
自然対数の底 e
次は指数関数 y y y = a x {}= a^x = a x の微分です。定義に従って計算してみると
a x + h − a x h \displaystyle \frac{a^{x + h} - a^x}{h} h a x + h − a x = a x ⋅ a h − 1 h \displaystyle {}= a^x \cdot \frac{a^h - 1}{h} = a x ⋅ h a h − 1
となり、( a x ) ′ (a^x)' ( a x ) ′ = a x × ( lim h → 0 a h − 1 h ) {}= a^x \times \left(\displaystyle\lim_{h \to 0}\frac{a^h - 1}{h}\right) = a x × ( h → 0 lim h a h − 1 ) です。最後のかっこは、y y y = a x {}= a^x = a x のグラフの点 ( 0 , 1 ) (0,\ 1) ( 0 , 1 ) における接線の傾きで、底 a a a によって値が変わります。h h h = 0.001 {}= 0.001 = 0.001 で計算すると、次のようになります。
底が 2 2 2 なら傾きは 1 1 1 より小さく、3 3 3 なら 1 1 1 より大きいので、2 2 2 と 3 3 3 の間に、傾きがちょうど 1 1 1 になる底があるはずです。その底を e e e と書きます。底が e e e なら、( e x ) ′ (e^x)' ( e x ) ′ = e x × 1 {}= e^x \times 1 = e x × 1 = e x {}= e^x = e x となり、微分しても形が変わりません。
y
x
O
1
−1
(0, 1)
y = 2x
y = ex
y = 3x
y = x + 1
(0, 1) での接線の傾き
2x :約 0.69
ex :ちょうど 1
3x :約 1.10
y y y = e x {}= e^x = e x の点 ( 0 , 1 ) (0,\ 1) ( 0 , 1 ) での接線は y y y = x {}= x = x + 1 {}+ 1 + 1 です。h h h が 0 0 0 に近いとき e h e^h e h ≒ 1 {}\fallingdotseq 1 ≒ 1 + h {}+ h + h , 両辺を 1 h \dfrac{1}{h} h 1 乗すると e e e ≒ ( 1 + h ) 1 h {}\fallingdotseq (1 + h)^{\frac{1}{h}} ≒ ( 1 + h ) h 1 となります。この「≒ \fallingdotseq ≒ 」 を極限の等号にしたものが、e e e の定義です。
指数・対数の分野では、底が 10 10 10 の常用対数を使って、大きな数の桁数を調べました。10 10 10 という底は、私たちの指が10本で、10進法で数を書くという「人間の都合」で選ばれた数です。これに対して e e e は、「( 0 , 1 ) (0,\ 1) ( 0 , 1 ) での傾きがちょうど 1 1 1 」 という「微分の都合」で選ばれた数です。微分の世界では、e e e を底にするのがいちばん式がすっきりします。名前に「自然」と付くのはそのためです。
e e e の定義の式は、銀行の複利を思い浮かべると身近になります。年利 100 % 100\% 100% の預金に 1 万円を預けると、1年後は 2 万円です。半年ごとに 50 % 50\% 50% ずつ利息を付けると 1.5 2 1.5^2 1. 5 2 = 2.25 {}= 2.25 = 2.25 万円、毎月 100 12 % \dfrac{100}{12}\% 12 100 % ずつなら ( 1 + 1 12 ) 12 \left(1 + \dfrac{1}{12}\right)^{12} ( 1 + 12 1 ) 12 = 2.613 ⋯ {}= 2.613\cdots = 2.613 ⋯ 万円、毎日なら ( 1 + 1 365 ) 365 \left(1 + \dfrac{1}{365}\right)^{365} ( 1 + 365 1 ) 365 = 2.714 ⋯ {}= 2.714\cdots = 2.714 ⋯ 万円と、細かく付けるほど増えます。ところが、どれほど細かくしても、2.718 ⋯ 2.718\cdots 2.718 ⋯ 万円、つまり e e e 万円を超えることはありません。
e e e は y y y = a x {}= a^x = a x の ( 0 , 1 ) (0,\ 1) ( 0 , 1 ) での傾きがちょうど 1 1 1 になる底で、( 1 + h ) 1 h (1 + h)^{\frac{1}{h}} ( 1 + h ) h 1 の極限として定まり、e e e を底とする対数を自然対数 log x \log x log x と書くということです。
例題5:e に関する極限
次の極限を求めなさい。
(1) lim n → ∞ ( 1 + 2 n ) n \displaystyle \text{(1)}\ \lim_{n \to \infty}\left(1 + \frac{2}{n}\right)^n (1) n → ∞ lim ( 1 + n 2 ) n (2) lim x → 0 ( 1 + 3 x ) 1 x \displaystyle \text{(2)}\ \lim_{x \to 0}(1 + 3x)^{\frac{1}{x}} (2) x → 0 lim ( 1 + 3 x ) x 1 (3) lim n → ∞ ( 1 − 1 n ) n \displaystyle \text{(3)}\ \lim_{n \to \infty}\left(1 - \frac{1}{n}\right)^n (3) n → ∞ lim ( 1 − n 1 ) n 【解答】
(1) h h h = 2 n {}= \dfrac{2}{n} = n 2 とおくと、n n n → ∞ {}\to \infty → ∞ のとき h h h → + 0 {}\to +0 → + 0 で、n n n = 2 h {}= \dfrac{2}{h} = h 2 です。
( 1 + 2 n ) n \displaystyle \left(1 + \frac{2}{n}\right)^n ( 1 + n 2 ) n = ( 1 + h ) 2 h \displaystyle {}= (1 + h)^{\frac{2}{h}} = ( 1 + h ) h 2 = { ( 1 + h ) 1 h } 2 \displaystyle {}= \left\{(1 + h)^{\frac{1}{h}}\right\}^2 = { ( 1 + h ) h 1 } 2 ⟶ e 2 ‾ \displaystyle {}\longrightarrow \underline{e^2} ⟶ e 2 (2) h h h = 3 x {}= 3x = 3 x とおくと、x x x → 0 {}\to 0 → 0 のとき h h h → 0 {}\to 0 → 0 で、1 x \dfrac{1}{x} x 1 = 3 h {}= \dfrac{3}{h} = h 3 です。
( 1 + 3 x ) 1 x \displaystyle (1 + 3x)^{\frac{1}{x}} ( 1 + 3 x ) x 1 = { ( 1 + h ) 1 h } 3 \displaystyle {}= \left\{(1 + h)^{\frac{1}{h}}\right\}^3 = { ( 1 + h ) h 1 } 3 ⟶ e 3 ‾ \displaystyle {}\longrightarrow \underline{e^3} ⟶ e 3 (3) 1 1 1 − 1 n {}- \dfrac{1}{n} − n 1 = n − 1 n {}= \dfrac{n - 1}{n} = n n − 1 なので、逆数にして m m m = n {}= n = n − 1 {}- 1 − 1 とおくと
( 1 − 1 n ) n \displaystyle \left(1 - \frac{1}{n}\right)^n ( 1 − n 1 ) n = 1 ( n n − 1 ) n \displaystyle {}= \frac{1}{\left(\dfrac{n}{n - 1}\right)^n} = ( n − 1 n ) n 1 = 1 ( 1 + 1 m ) m ( 1 + 1 m ) \displaystyle {}= \frac{1}{\left(1 + \dfrac{1}{m}\right)^m\left(1 + \dfrac{1}{m}\right)} = ( 1 + m 1 ) m ( 1 + m 1 ) 1 n n n → ∞ {}\to \infty → ∞ のとき m m m → ∞ {}\to \infty → ∞ なので、極限は 1 e ⋅ 1 \dfrac{1}{e \cdot 1} e ⋅ 1 1 = 1 e ‾ {}= \underline{\dfrac{1}{e}} = e 1 です。
※ (1) で「1 1 1 + 2 n {}+ \dfrac{2}{n} + n 2 → 1 {}\to 1 → 1 だから、1 1 1 を何乗しても 1 1 1 」 としてはいけません。底が 1 1 1 に近づくのと同時に、指数が ∞ \infty ∞ に向かうので、1 ∞ 1^{\infty} 1 ∞ の形は極限を調べないと値がわかりません。
対数関数の微分
e e e の定義 lim h → 0 ( 1 + h ) 1 h \displaystyle \lim_{h \to 0}(1 + h)^{\frac{1}{h}} h → 0 lim ( 1 + h ) h 1 = e \displaystyle {}= e = e を使うと、対数関数がすぐに微分できます。
同じ 10 円の値上げでも、100 円のガムなら1割の値上げで大ごとですが、1000 円の本なら 1 % 1\% 1% で、ほとんど気になりません。対数は「何倍になったか」を足し算で数える道具なので、同じだけ増えても、今の大きさ x x x で割った「割合」の分しか増えません。( log x ) ′ (\log x)' ( log x ) ′ = 1 x {}= \dfrac{1}{x} = x 1 は、この「今の大きさで割る」ことを表しています。
自然対数の導関数は 1 x \dfrac{1}{x} x 1 で、中身があるときは「中身の微分 ÷ 中身」になり、絶対値を付けても同じ形だということです。
例題6:対数関数の微分
次の関数を微分しなさい。
(1) y \displaystyle \text{(1)}\ y (1) y = log ( 3 x + 1 ) \displaystyle {}= \log(3x + 1) = log ( 3 x + 1 ) (2) y \displaystyle \text{(2)}\ y (2) y = log ∣ cos x ∣ \displaystyle {}= \log|\cos x| = log ∣ cos x ∣ (3) y \displaystyle \text{(3)}\ y (3) y = x log x \displaystyle {}= x\log x = x log x − x \displaystyle {}- x − x 【解答】
(1) 中身の微分 ÷ 中身 です。
y ′ \displaystyle y' y ′ = 3 3 x + 1 ‾ \displaystyle {}= \underline{\frac{3}{3x + 1}} = 3 x + 1 3 (2) 中身 cos x \cos x cos x の導関数は − sin x -\sin x − sin x なので
y ′ \displaystyle y' y ′ = − sin x cos x \displaystyle {}= \frac{-\sin x}{\cos x} = cos x − sin x = − tan x ‾ \displaystyle {}= \underline{-\tan x} = − tan x (3) x log x x\log x x log x に積の微分法を使います。
y ′ \displaystyle y' y ′ = ( 1 ⋅ log x + x ⋅ 1 x ) \displaystyle {}= \left(1 \cdot \log x + x \cdot \frac{1}{x}\right) = ( 1 ⋅ log x + x ⋅ x 1 ) − 1 \displaystyle {}- 1 − 1 = log x ‾ \displaystyle {}= \underline{\log x} = log x ※ (3) を逆に読むと、log x \log x log x の原始関数が x log x x\log x x log x − x {}- x − x だとわかります。第14章の部分積分で、この結果を導きます。
指数関数の微分と対数微分法
e e e は「( e x ) ′ (e^x)' ( e x ) ′ = e x {}= e^x = e x となる底」として探したものでした。そのことを、逆関数の微分法で確かめます。
雪の上で雪玉を転がすと、大きな雪玉ほど一度にたくさんの雪をくっつけて、どんどん速く大きくなります。「増える速さが、今の大きさに比例する」という増え方です。y y y = e x {}= e^x = e x は、その比例の係数がちょうど 1 1 1 の場合で、どの瞬間でも増える速さ(導関数)と今の大きさ(関数の値)が等しくなっています。
e x e^x e x は微分しても e x e^x e x のままで、ほかの底では log a \log a log a が掛かり、複雑な積や x x x^x x x は両辺の対数をとってから微分すればよいということです。
例題7:指数関数の微分と対数微分法
次の関数を微分しなさい。ただし (3) は x x x > 0 {}> 0 > 0 とする。
(1) y \displaystyle \text{(1)}\ y (1) y = e 2 x \displaystyle {}= e^{2x} = e 2 x (2) y \displaystyle \text{(2)}\ y (2) y = x e − x \displaystyle {}= xe^{-x} = x e − x (3) y \displaystyle \text{(3)}\ y (3) y = x x \displaystyle {}= x^x = x x 【解答】
(1) 中身 2 x 2x 2 x の微分 2 2 2 を掛けます。
y ′ \displaystyle y' y ′ = e 2 x ⋅ 2 \displaystyle {}= e^{2x} \cdot 2 = e 2 x ⋅ 2 = 2 e 2 x ‾ \displaystyle {}= \underline{2e^{2x}} = 2 e 2 x (2) 積の微分法と、( e − x ) ′ (e^{-x})' ( e − x ) ′ = e − x ⋅ ( − 1 ) {}= e^{-x} \cdot (-1) = e − x ⋅ ( − 1 ) を使います。
y ′ \displaystyle y' y ′ = 1 ⋅ e − x \displaystyle {}= 1 \cdot e^{-x} = 1 ⋅ e − x + x ⋅ ( − e − x ) \displaystyle {}+ x \cdot (-e^{-x}) + x ⋅ ( − e − x ) = ( 1 − x ) e − x ‾ \displaystyle {}= \underline{(1 - x)e^{-x}} = ( 1 − x ) e − x (3) x x x^x x x > 0 {}> 0 > 0 なので、両辺の自然対数をとると log y \log y log y = x log x {}= x\log x = x log x 。 両辺を x x x で微分すると
y ′ y \displaystyle \frac{y'}{y} y y ′ = 1 ⋅ log x \displaystyle {}= 1 \cdot \log x = 1 ⋅ log x + x ⋅ 1 x \displaystyle {}+ x \cdot \frac{1}{x} + x ⋅ x 1 = log x \displaystyle {}= \log x = log x + 1 \displaystyle {}+ 1 + 1 よって
y ′ \displaystyle y' y ′ = y ( log x + 1 ) \displaystyle {}= y(\log x + 1) = y ( log x + 1 ) = x x ( log x + 1 ) ‾ \displaystyle {}= \underline{x^x(\log x + 1)} = x x ( log x + 1 ) ※ (3) を ( x x ) ′ (x^x)' ( x x ) ′ = x ⋅ x x − 1 {}= x \cdot x^{x-1} = x ⋅ x x − 1 や x x log x x^x\log x x x log x としてはいけません。前者は「指数が定数」、後者は「底が定数」のときの公式で、x x x^x x x はどちらでもありません。
高次導関数
導関数 f ′ ( x ) f'(x) f ′ ( x ) も x x x の関数なので、さらに微分できます。
SNS のフォロワー数を思い浮かべてください。フォロワー数そのものが y y y , 1日あたりの増加数が y ′ y' y ′ です。では y ′ ′ y'' y ′′ は何かというと、「増加数がどう変わっているか」、つまり人気の伸びが加速しているのか、失速しているのかを表します。増加数が毎日同じなら y ′ ′ y'' y ′′ = 0 {}= 0 = 0 , 日に日に増加数が増えていれば y ′ ′ y'' y ′′ > 0 {}> 0 > 0 です。第2次導関数は、変化の「勢いの変化」を見る道具で、第12章ではグラフの曲がり方を調べるのに使います。
導関数をくり返し微分したものが高次導関数で、第 n n n 次導関数は規則を見つけて帰納法で確かめるということです。
例題8:高次導関数
(1) y y y = x log x {}= x\log x = x log x の第2次導関数を求めなさい。
(2) y y y = e − x sin x {}= e^{-x}\sin x = e − x sin x の第2次導関数を求めなさい。
(3) y y y = 1 x {}= \dfrac{1}{x} = x 1 の第 n n n 次導関数を求めなさい。
【解答】
(1) y ′ y' y ′ = log x {}= \log x = log x + 1 {}+ 1 + 1 なので y ′ ′ y'' y ′′ = 1 x ‾ {}= \underline{\dfrac{1}{x}} = x 1 です。
(2) 積の微分法を2回使います。
y ′ \displaystyle y' y ′ = − e − x sin x \displaystyle {}= -e^{-x}\sin x = − e − x sin x + e − x cos x \displaystyle {}+ e^{-x}\cos x + e − x cos x = e − x ( cos x − sin x ) \displaystyle {}= e^{-x}(\cos x - \sin x) = e − x ( cos x − sin x ) y ′ ′ \displaystyle y'' y ′′ = − e − x ( cos x − sin x ) \displaystyle {}= -e^{-x}(\cos x - \sin x) = − e − x ( cos x − sin x ) + e − x ( − sin x − cos x ) \displaystyle {}+ e^{-x}(-\sin x - \cos x) + e − x ( − sin x − cos x ) = − 2 e − x cos x ‾ \displaystyle {}= \underline{-2e^{-x}\cos x} = − 2 e − x cos x (3) y y y = x − 1 {}= x^{-1} = x − 1 を順に微分すると
y ′ \displaystyle y' y ′ = − x − 2 , \displaystyle {}= -x^{-2}, = − x − 2 , y ′ ′ \displaystyle y'' y ′′ = 2 x − 3 , \displaystyle {}= 2x^{-3}, = 2 x − 3 , y ′ ′ ′ \displaystyle y''' y ′′′ = − 6 x − 4 \displaystyle {}= -6x^{-4} = − 6 x − 4 = − 3 ! x − 4 \displaystyle {}= -3!\,x^{-4} = − 3 ! x − 4 となるので、y ( n ) y^{(n)} y ( n ) = ( − 1 ) n n ! x − ( n + 1 ) {}= (-1)^n n!\,x^{-(n+1)} = ( − 1 ) n n ! x − ( n + 1 ) と予想できます。n n n = k {}= k = k で正しいとすると
y ( k + 1 ) \displaystyle y^{(k+1)} y ( k + 1 ) = ( − 1 ) k k ! ⋅ { − ( k + 1 ) } x − ( k + 2 ) \displaystyle {}= (-1)^k k! \cdot \{-(k + 1)\}x^{-(k+2)} = ( − 1 ) k k ! ⋅ { − ( k + 1 )} x − ( k + 2 ) = ( − 1 ) k + 1 ( k + 1 ) ! x − ( k + 2 ) \displaystyle {}= (-1)^{k+1}(k + 1)!\,x^{-(k+2)} = ( − 1 ) k + 1 ( k + 1 )! x − ( k + 2 ) で n n n = k {}= k = k + 1 {}+ 1 + 1 でも正しいので、数学的帰納法により
y ( n ) \displaystyle y^{(n)} y ( n ) = ( − 1 ) n n ! x n + 1 ‾ \displaystyle {}= \underline{\frac{(-1)^n n!}{x^{n+1}}} = x n + 1 ( − 1 ) n n ! ※ (3) は、微分するたびに符号が入れかわり、係数が 1 , 1, 1 , 2 , \ 2, 2 , 3 , \ 3, 3 , … \ \ldots … と掛かっていくので n ! n! n ! が現れます。
陰関数と媒介変数表示の微分
円 x 2 x^2 x 2 + y 2 {}+ y^2 + y 2 = 25 {}= 25 = 25 は、y y y について解くと y y y = ± 25 − x 2 {}= \pm\sqrt{25 - x^2} = ± 25 − x 2 と2つに分かれてしまいます。このように、y y y = f ( x ) {}= f(x) = f ( x ) の形に解けていない関係式で表された曲線でも、d y d x \dfrac{dy}{dx} d x d y は求められます。
陰関数の微分は、つり合った天秤を思い浮かべるとわかりやすくなります。x x x がどう動いても、左右の皿がいつもつり合っている(左辺=右辺)なら、左の皿の重さの変化と右の皿の重さの変化も等しいはずです。だから、両辺を同時に微分してよいのです。
媒介変数表示は、空を飛ぶドローンの記録にたとえられます。時刻 t t t ごとに「東へ毎秒 4 m,北へ毎秒 3 m」と記録されていれば、ドローンの進む向きの傾きは、北への速さ ÷ 東への速さ = 3 4 = \dfrac{3}{4} = 4 3 です。d y d t ÷ d x d t \dfrac{dy}{dt} \div \dfrac{dx}{dt} d t d y ÷ d t d x は、この割り算そのものです。
y y y について解けていない曲線は、y y y を x x x の関数と見て両辺を微分し、媒介変数表示の曲線は、y y y の速さを x x x の速さで割れば d y d x \dfrac{dy}{dx} d x d y が求められるということです。
例題9:陰関数・媒介変数表示と接線
(1) 円 x 2 x^2 x 2 + y 2 {}+ y^2 + y 2 = 25 {}= 25 = 25 上の点 ( 3 , 4 ) (3,\ 4) ( 3 , 4 ) における接線の方程式を求めなさい。
(2) 媒介変数 t t t を用いて x x x = 2 cos t {}= 2\cos t = 2 cos t ,y y y = sin t {}= \sin t = sin t と表された曲線(楕円)について、t t t = π 4 {}= \dfrac{\pi}{4} = 4 π に対応する点における接線の方程式を求めなさい。
【解答】
(1) 両辺を x x x で微分すると
2 x \displaystyle 2x 2 x + 2 y d y d x \displaystyle {}+ 2y\,\frac{dy}{dx} + 2 y d x d y = 0 \displaystyle {}= 0 = 0 より \displaystyle \text{より} より d y d x \displaystyle \frac{dy}{dx} d x d y = − x y \displaystyle {}= -\frac{x}{y} = − y x ( y ≠ 0 ) \displaystyle (y \neq 0) ( y = 0 ) 点 ( 3 , 4 ) (3,\ 4) ( 3 , 4 ) での傾きは − 3 4 -\dfrac{3}{4} − 4 3 なので、接線は y y y − 4 {}- 4 − 4 = − 3 4 ( x − 3 ) {}= -\dfrac{3}{4}(x - 3) = − 4 3 ( x − 3 ) , つまり
y = − 3 4 x ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}y = -\frac{3}{4}x} y = − 4 3 x + 25 4 ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}+ \frac{25}{4}} + 4 25 (2) d x d t \dfrac{dx}{dt} d t d x = − 2 sin t {}= -2\sin t = − 2 sin t ,d y d t \dfrac{dy}{dt} d t d y = cos t {}= \cos t = cos t なので
d y d x \displaystyle \frac{dy}{dx} d x d y = cos t − 2 sin t \displaystyle {}= \frac{\cos t}{-2\sin t} = − 2 sin t cos t t t t = π 4 {}= \dfrac{\pi}{4} = 4 π のとき、点は ( 2 , 2 2 ) \left(\sqrt{2},\ \dfrac{\sqrt{2}}{2}\right) ( 2 , 2 2 ) , 傾きは 2 2 − 2 \dfrac{\frac{\sqrt{2}}{2}}{-\sqrt{2}} − 2 2 2 = − 1 2 {}= -\dfrac{1}{2} = − 2 1 です。接線は y y y − 2 2 {}- \dfrac{\sqrt{2}}{2} − 2 2 = − 1 2 ( x − 2 ) {}= -\dfrac{1}{2}(x - \sqrt{2}) = − 2 1 ( x − 2 ) , つまり
y = − 1 2 x ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}y = -\frac{1}{2}x} y = − 2 1 x + 2 ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}+ \sqrt{2}} + 2 ※ (1) の傾き − 3 4 -\dfrac{3}{4} − 4 3 は、半径の傾き 4 3 \dfrac{4}{3} 3 4 と掛けて − 1 -1 − 1 になります。「円の接線は半径に垂直」という図形の性質と、微分の結果がぴったり合っています。
この章のまとめと第12章へ
この章で、数学IIIで出てくる関数はすべて微分できるようになりました。組み立ての規則(積・商・合成・逆関数)と、部品の導関数(x α x^\alpha x α , sin x \sin x sin x ,cos x \cos x cos x ,tan x \tan x tan x ,e x e^x e x ,log x \log x log x ) の組み合わせで、どんな複雑な関数も微分できます。
次の第12章では、これらの道具で y y y = x e − x {}= xe^{-x} = x e − x や y y y = log x x {}= \dfrac{\log x}{x} = x log x のようなグラフの増減を調べ、第2次導関数を使ってグラフの曲がり方(凹凸)まで描き分けます。
※ここは発展ページ です。高校の範囲では、本文の公式を正しく使えれば十分です。ここでは、本文で「わけ」を省いたり、ざっくり説明したりしたところ——e e e がきちんと存在すること、合成関数の微分法の Δ u \Delta u Δ u = 0 {}= 0 = 0 の問題、逆関数が微分できる条件——を補い、e x e^x e x が「微分しても変わらない」ただ1つの関数であることを示します。
定義1:自然対数の底 e
数列 a n a_n a n = ( 1 + 1 n ) n {}= \left(1 + \dfrac{1}{n}\right)^n = ( 1 + n 1 ) n (n n n = 1 , {}= 1, = 1 , 2 , \ 2, 2 , 3 , \ 3, 3 , … \ \ldots … ) の極限を e e e と定める。
e \displaystyle e e = lim n → ∞ ( 1 + 1 n ) n \displaystyle {}= \lim_{n \to \infty}\left(1 + \frac{1}{n}\right)^n = n → ∞ lim ( 1 + n 1 ) n
この定義は、極限が本当に存在するときにだけ意味をもちます。そこで、第10章 厳密定義の定理2(単調で有界な数列は収束する)を使って、収束することを示します。
定理1:(1 + 1/n)ⁿ は増加し、3 を超えない
数列 a n a_n a n = ( 1 + 1 n ) n {}= \left(1 + \dfrac{1}{n}\right)^n = ( 1 + n 1 ) n は増加で、すべての n n n について 2 2 2 ≦ a n {}\leqq a_n ≦ a n < 3 {}< 3 < 3 である。したがって { a n } \{a_n\} { a n } は収束し、その極限 e e e は 2 2 2 < e {}< e < e ≦ 3 {}\leqq 3 ≦ 3 を満たす。
証明 二項定理で展開すると
a n \displaystyle a_n a n = ∑ k = 0 n n C k 1 n k \displaystyle {}= \sum_{k=0}^{n}{}_n\mathrm{C}_k\frac{1}{n^k} = k = 0 ∑ n n C k n k 1 = 1 \displaystyle {}= 1 = 1 + 1 \displaystyle {}+ 1 + 1 + ∑ k = 2 n 1 k ! ( 1 − 1 n ) \displaystyle {}+ \sum_{k=2}^{n}\frac{1}{k!}\left(1 - \frac{1}{n}\right) + k = 2 ∑ n k ! 1 ( 1 − n 1 ) × ( 1 − 2 n ) ⋯ ( 1 − k − 1 n ) \displaystyle \qquad \times \left(1 - \frac{2}{n}\right)\cdots\left(1 - \frac{k - 1}{n}\right) × ( 1 − n 2 ) ⋯ ( 1 − n k − 1 ) (n C k 1 n k {}_n\mathrm{C}_k\dfrac{1}{n^k} n C k n k 1 = 1 k ! ⋅ n n ⋅ n − 1 n ⋯ n − k + 1 n {}= \dfrac{1}{k!} \cdot \dfrac{n}{n} \cdot \dfrac{n - 1}{n} \cdots \dfrac{n - k + 1}{n} = k ! 1 ⋅ n n ⋅ n n − 1 ⋯ n n − k + 1 を使った。)
増加であること a n + 1 a_{n+1} a n + 1 も同じように展開すると、各項のかっこ ( 1 − j n ) \left(1 - \dfrac{j}{n}\right) ( 1 − n j ) が、より大きい ( 1 − j n + 1 ) \left(1 - \dfrac{j}{n + 1}\right) ( 1 − n + 1 j ) に変わり、さらに k k k = n {}= n = n + 1 {}+ 1 + 1 の正の項が1つ加わる。よって a n a_n a n < a n + 1 {}< a_{n+1} < a n + 1 である。
3 を超えないこと かっこはどれも 1 1 1 以下なので、k k k ≧ 2 {}\geqq 2 ≧ 2 で k ! k! k ! ≧ 2 k − 1 {}\geqq 2^{k-1} ≧ 2 k − 1 を使うと
a n \displaystyle a_n a n ≦ 1 \displaystyle {}\leqq 1 ≦ 1 + 1 \displaystyle {}+ 1 + 1 + 1 2 ! \displaystyle {}+ \frac{1}{2!} + 2 ! 1 + ⋯ \displaystyle {}+ \cdots + ⋯ + 1 n ! \displaystyle {}+ \frac{1}{n!} + n ! 1 ≦ 1 \displaystyle {}\leqq 1 ≦ 1 + 1 \displaystyle {}+ 1 + 1 + 1 2 \displaystyle {}+ \frac{1}{2} + 2 1 + 1 2 2 \displaystyle {}+ \frac{1}{2^2} + 2 2 1 + ⋯ \displaystyle {}+ \cdots + ⋯ + 1 2 n − 1 \displaystyle {}+ \frac{1}{2^{n-1}} + 2 n − 1 1 < 1 \displaystyle {}< 1 < 1 + 1 1 − 1 2 \displaystyle {}+ \frac{1}{1 - \frac{1}{2}} + 1 − 2 1 1 = 3 \displaystyle {}= 3 = 3 また a 1 a_1 a 1 = 2 {}= 2 = 2 で増加なので a n a_n a n ≧ 2 {}\geqq 2 ≧ 2 。 第10章の定理2より { a n } \{a_n\} { a n } は収束し、e e e は 2 2 2 < e {}< e < e ≦ 3 {}\leqq 3 ≦ 3 を満たす(a 2 a_2 a 2 = 2.25 {}= 2.25 = 2.25 で増加なので、e e e > 2 {}> 2 > 2 )。 (証明終)
本文の公式5では、h h h が整数の逆数に限らない lim h → 0 ( 1 + h ) 1 h \displaystyle \lim_{h \to 0}(1 + h)^{\frac{1}{h}} h → 0 lim ( 1 + h ) h 1 = e \displaystyle {}= e = e も使いました。h h h → + 0 {}\to +0 → + 0 の場合は、n n n ≦ 1 h {}\leqq \dfrac{1}{h} ≦ h 1 < n {}< n < n + 1 {}+ 1 + 1 となる自然数 n n n をとると
( 1 + 1 n + 1 ) n \displaystyle \left(1 + \frac{1}{n + 1}\right)^n ( 1 + n + 1 1 ) n < ( 1 + h ) 1 h \displaystyle {}< (1 + h)^{\frac{1}{h}} < ( 1 + h ) h 1 < ( 1 + 1 n ) n + 1 \displaystyle {}< \left(1 + \frac{1}{n}\right)^{n+1} < ( 1 + n 1 ) n + 1
で、両端はどちらも e e e に近づくので、はさみうちの原理から示せます。h h h → − 0 {}\to -0 → − 0 の場合も、h h h = − t 1 + t {}= -\dfrac{t}{1 + t} = − 1 + t t とおきかえると h h h → + 0 {}\to +0 → + 0 の場合に帰着できます(計算は略)。
定理2:合成関数の微分法
u u u = g ( x ) {}= g(x) = g ( x ) が x x x = a {}= a = a で微分可能で、y y y = f ( u ) {}= f(u) = f ( u ) が u u u = b {}= b = b = g ( a ) {}= g(a) = g ( a ) で微分可能ならば、y y y = f ( g ( x ) ) {}= f(g(x)) = f ( g ( x )) は x x x = a {}= a = a で微分可能で、微分係数は f ′ ( b ) g ′ ( a ) f'(b)\,g'(a) f ′ ( b ) g ′ ( a ) である。
証明 本文の「わけ」では Δ y Δ u \dfrac{\Delta y}{\Delta u} Δ u Δ y を使ったが、x x x が a a a の近くでも Δ u \Delta u Δ u = g ( x ) {}= g(x) = g ( x ) − g ( a ) {}- g(a) − g ( a ) = 0 {}= 0 = 0 となることがある(たとえば g g g が定数関数のとき)。そのときは Δ u \Delta u Δ u で割れない。そこで、割り算を使わない関数
φ ( u ) \displaystyle \varphi(u) φ ( u ) = { f ( u ) − f ( b ) u − b ( u ≠ b ) f ′ ( b ) ( u = b ) \displaystyle {}= \begin{cases}
\dfrac{f(u) - f(b)}{u - b} & (u \neq b) \\
f'(b) & (u = b)
\end{cases} = ⎩ ⎨ ⎧ u − b f ( u ) − f ( b ) f ′ ( b ) ( u = b ) ( u = b ) を用意する。f f f が b b b で微分可能なので、φ \varphi φ は u u u = b {}= b = b で連続である。この φ \varphi φ を使うと、u u u = b {}= b = b の場合も含めて f ( u ) f(u) f ( u ) − f ( b ) {}- f(b) − f ( b ) = φ ( u ) ( u − b ) {}= \varphi(u)(u - b) = φ ( u ) ( u − b ) が成り立つ。u u u = g ( x ) {}= g(x) = g ( x ) を代入して x x x − a {}- a − a (≠ 0 \neq 0 = 0 ) で割ると
f ( g ( x ) ) − f ( g ( a ) ) x − a \displaystyle \frac{f(g(x)) - f(g(a))}{x - a} x − a f ( g ( x )) − f ( g ( a )) = φ ( g ( x ) ) ⋅ g ( x ) − g ( a ) x − a \displaystyle {}= \varphi(g(x)) \cdot \frac{g(x) - g(a)}{x - a} = φ ( g ( x )) ⋅ x − a g ( x ) − g ( a ) x x x → a {}\to a → a のとき、g g g は連続なので g ( x ) g(x) g ( x ) → b {}\to b → b ,φ \varphi φ は b b b で連続なので φ ( g ( x ) ) \varphi(g(x)) φ ( g ( x )) → f ′ ( b ) {}\to f'(b) → f ′ ( b ) 。 右辺は f ′ ( b ) g ′ ( a ) f'(b)\,g'(a) f ′ ( b ) g ′ ( a ) に近づく。(証明終)
定理3:逆関数の微分法
f ( x ) f(x) f ( x ) がある区間で連続かつ増加(または減少)で、x x x = a {}= a = a で微分可能かつ f ′ ( a ) f'(a) f ′ ( a ) ≠ 0 {}\neq 0 = 0 ならば、逆関数 g g g は b b b = f ( a ) {}= f(a) = f ( a ) で微分可能で、g ′ ( b ) g'(b) g ′ ( b ) = 1 f ′ ( a ) {}= \dfrac{1}{f'(a)} = f ′ ( a ) 1 である。(証明略)
条件 f ′ ( a ) f'(a) f ′ ( a ) ≠ 0 {}\neq 0 = 0 は外せません。f ( x ) f(x) f ( x ) = x 3 {}= x^3 = x 3 は増加関数ですが、f ′ ( 0 ) f'(0) f ′ ( 0 ) = 0 {}= 0 = 0 です。その逆関数 g ( x ) g(x) g ( x ) = x 3 {}= \sqrt[3]{x} = 3 x は、原点での接線が y y y 軸(傾きが定まらない)になり、x x x = 0 {}= 0 = 0 で微分可能ではありません。実際、本文の公式3で ( x 1 3 ) ′ (x^{\frac{1}{3}})' ( x 3 1 ) ′ = 1 3 x − 2 3 {}= \dfrac{1}{3}x^{-\frac{2}{3}} = 3 1 x − 3 2 は、x x x = 0 {}= 0 = 0 で分母が 0 0 0 になります。グラフを直線 y y y = x {}= x = x で折り返すと、傾き 0 0 0 の接線は傾きのない縦の接線に移る、と考えるとわかりやすいでしょう。
定理4:f'(x) = f(x) を満たす関数は Ceˣ だけ
すべての実数 x x x で f ′ ( x ) f'(x) f ′ ( x ) = f ( x ) {}= f(x) = f ( x ) を満たす関数 f ( x ) f(x) f ( x ) は、定数 C C C を用いて f ( x ) f(x) f ( x ) = C e x {}= Ce^x = C e x と表される。
証明 g ( x ) g(x) g ( x ) = f ( x ) e − x {}= f(x)e^{-x} = f ( x ) e − x とおくと、積の微分法より
g ′ ( x ) \displaystyle g'(x) g ′ ( x ) = f ′ ( x ) e − x \displaystyle {}= f'(x)e^{-x} = f ′ ( x ) e − x − f ( x ) e − x \displaystyle {}- f(x)e^{-x} − f ( x ) e − x = { f ′ ( x ) − f ( x ) } e − x \displaystyle {}= \{f'(x) - f(x)\}e^{-x} = { f ′ ( x ) − f ( x )} e − x = 0 \displaystyle {}= 0 = 0 導関数がつねに 0 0 0 の関数は定数である(第4章 厳密定義、平均値の定理による)。g ( x ) g(x) g ( x ) = C {}= C = C とおくと f ( x ) f(x) f ( x ) = C e x {}= Ce^x = C e x である。(証明終)
C C C = f ( 0 ) {}= f(0) = f ( 0 ) なので、「微分しても変わらず、x x x = 0 {}= 0 = 0 で値が 1 1 1 」 という関数は e x e^x e x ただ1つです。e x e^x e x を、この性質で定義する 立場もあります。本文の小話の雪玉のように「増える速さ = 今の量」という法則は、放射性物質の減り方や人口の増え方などの自然現象にたびたび現れ、そのたびに e e e が顔を出すのはこの定理のためです。
最後に、三角比と三角関数の分野 第5章 厳密定義で予告した「度で測ると sin \sin sin の微分に π 180 \dfrac{\pi}{180} 180 π が付きまとう」ことを、合成関数の微分法で確かめます。x x x 度はラジアンでは π x 180 \dfrac{\pi x}{180} 180 π x なので、度で測った正弦を S ( x ) S(x) S ( x ) = sin π x 180 {}= \sin\dfrac{\pi x}{180} = sin 180 π x とすると
S ′ ( x ) \displaystyle S'(x) S ′ ( x ) = π 180 cos π x 180 \displaystyle {}= \frac{\pi}{180}\cos\frac{\pi x}{180} = 180 π cos 180 π x
となり、係数 π 180 \dfrac{\pi}{180} 180 π がどうしても残ります。ラジアンを使うのは、この係数を 1 1 1 にするためです。これは、指数関数の底を e e e にすると ( a x ) ′ (a^x)' ( a x ) ′ = a x log a {}= a^x\log a = a x log a の log a \log a log a が 1 1 1 になるのと、まったく同じ発想です。