log x の微分が 1/x になる仕組みを分かりやすく

log x\log x の微分が 1x\cfrac{1}{x} になるって習ったけど,何でそうなるのか分かりません。
公式だから暗記すれば良い。入試で聞かれることはまずないと思うけど,証明に ee の定義を使うから,考えてみるといい練習にはなるよ。

log x の微分


まず,微分係数のおさらいから。
f(x)=limh0f(x+h)f(x)hf'(x)=\displaystyle\lim_{h\rightarrow0}\cfrac{f(x+h)-f(x)}{h}

微分ってのは結局この式を求めることに他ならないわけで。

式に f(x)=log xf(x)=\log x を当てはめると
log(x+h)log xh\cfrac{\log(x+h)-\log x}{h}
=1h{log(x+h)log x}=\cfrac{1}{h}\{\log(x+h)-\log x\}
=1hlogx+hx=\cfrac{1}{h}\log\cfrac{x+h}{x}
=1hlog(1+hx)=\cfrac{1}{h}\log\Big(1+\cfrac{h}{x}\Big)
ここでネイピア数の定義を利用します。
ネイピア数とはいわゆる ee のことです。

数IIIで ee って出てくるけど,何でこんなの使うんですか?
ee についてはあんまり分からないでも気にしない方がいいと思うけど。結局 (ex)=ex(e^x)’=e^x っていう公式にあるように,微分してももとの式と同じなるっていう便利な性質を持つ特殊な数として理解しておけば良い。

ネイピア数の定義
 e=limk0(1+k)1k\displaystyle e=\lim_{k\rightarrow0}(1+k)^{\large{\frac{1}{k}}}

式をこの定義に合わせていきましょう。
k=hxk=\cfrac{h}{x} とすると
 e=limhx0(1+hx)xh\displaystyle e=\lim_{\small{\frac{h}{x}}\rightarrow0}\Big(1+\cfrac{h}{x}\Big)^{\large{\frac{x}{h}}}
が成り立ちます。
これを利用して
1hlog(1+hx)\cfrac{1}{h}\log\Big(1+\cfrac{h}{x}\Big)
=1hhxxhlog(1+hx)=\cfrac{1}{h}\cdot\cfrac{h}{x}\cdot\cfrac{x}{h}\log\Big(1+\cfrac{h}{x}\Big)
=1hhxlog(1+hx)xh=\cfrac{1}{h}\cdot\cfrac{h}{x}\log\Big(1+\cfrac{h}{x}\Big)^{\large{\frac{x}{h}}}
=1xlog(1+hx)xh=\cfrac{1}{x}\log\Big(1+\cfrac{h}{x}\Big)^{\large{\frac{x}{h}}}

こんな感じで強引に ee の定義に合わせていく。
思いつかない。
そうねかもね。普通にやっててひらめくものではないから,ここでテクニックを盗むといいよ。

ネイピア数の定義より
limhx01xlog(1+hx)xh\displaystyle\lim_{\small{\frac{h}{x}}\rightarrow0}\cfrac{1}{x}\log\Big(1+\cfrac{h}{x}\Big)^{\large{\frac{x}{h}}}
=1xlog e=\cfrac{1}{x}\log e
=1x=\cfrac{1}{x}
したがって
(log x)=1x(\log x)’=\cfrac{1}{x} (証明終わり)

log a x の微分

基本的な流れは上と同じです。
(loga x)=limh0loga(x+h)loga xh\displaystyle(\log_a x)’=\lim_{h\rightarrow0}\cfrac{\log_a(x+h)-\log_a x}{h} として
loga(x+h)loga xh\cfrac{\log_a(x+h)-\log_a x}{h}
=1hlogax+hx=\cfrac{1}{h}\log_a\cfrac{x+h}{x}
=1hloga(1+hx)=\cfrac{1}{h}\log_a\Big(1+\cfrac{h}{x}\big)
=1hhxxhloga(1+hx)=\cfrac{1}{h}\cdot\cfrac{h}{x}\cdot\cfrac{x}{h}\log_a\Big(1+\cfrac{h}{x}\big)
=1hhxloga(1+hx)xh=\cfrac{1}{h}\cdot\cfrac{h}{x}\log_a\Big(1+\cfrac{h}{x}\big)^{\small\cfrac{x}{h}}
=1xloga(1+hx)xh=\cfrac{1}{x}\log_a\Big(1+\cfrac{h}{x}\big)^{\small\cfrac{x}{h}}
 e=limhx0(1+hx)xh\displaystyle e=\lim_{\small{\frac{h}{x}}\rightarrow0}\Big(1+\cfrac{h}{x}\Big)^{\large{\frac{x}{h}}} より
limhx01xloga(1+hx)xh\displaystyle\lim_{\small{\frac{h}{x}}\rightarrow0}\cfrac{1}{x}\log_a\Big(1+\cfrac{h}{x}\big)^{\small\cfrac{x}{h}}
=1xloga e=\cfrac{1}{x}\log_a e
=1xloge eloge a=\cfrac{1}{x}\cdot\cfrac{\log_e e}{\log_e a}
=1x1loge a=\cfrac{1}{x}\cfrac{1}{\log_e a}
=1xlog a=\cfrac{1}{x\log a} (証明終わり)

微分の証明は必ずしも覚える必要はありませんが,ネイピア数の定義を利用する解法は難関大ではまれに問われることがあるので,log x\log x の微分の方法を通じてその使い方を学習しておくことは無駄ではないでしょう。