$y = \log x$ を逆関数の微分公式を用いて微分する。解析学対数関数微分逆関数自然対数常用対数2025/5/221. 問題の内容y=logxy = \log xy=logx を逆関数の微分公式を用いて微分する。2. 解き方の手順まず、対数関数の逆関数を求める。y=logxy = \log xy=logx (底は省略されているが、通常は10を意味する常用対数か、自然対数eeeを意味する) を xxx について解く。ここでは、自然対数lnx\ln xlnxの場合について考える。y=lnxy = \ln xy=lnx のとき、x=eyx = e^yx=ey となる。逆関数の微分公式は、dxdy=ddy(ey)=ey\frac{dx}{dy} = \frac{d}{dy}(e^y) = e^ydydx=dyd(ey)=eydydx=1dxdy\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}dxdy=dydx1である。したがって、dydx=1ey=1x\frac{dy}{dx} = \frac{1}{e^y} = \frac{1}{x}dxdy=ey1=x1常用対数の場合、y=log10xy = \log_{10} xy=log10x とすると、x=10yx = 10^yx=10y となる。dxdy=ddy(10y)=10yln10\frac{dx}{dy} = \frac{d}{dy}(10^y) = 10^y \ln 10dydx=dyd(10y)=10yln10dydx=1dxdy=110yln10=1xln10\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}} = \frac{1}{10^y \ln 10} = \frac{1}{x \ln 10}dxdy=dydx1=10yln101=xln1011ln10=log10e\frac{1}{\ln 10} = \log_{10} eln101=log10e であるから、dydx=log10ex\frac{dy}{dx} = \frac{\log_{10} e}{x}dxdy=xlog10e3. 最終的な答えy=lnxy = \ln xy=lnx の場合、dydx=1x\frac{dy}{dx} = \frac{1}{x}dxdy=x1y=log10xy = \log_{10} xy=log10x の場合、dydx=log10ex\frac{dy}{dx} = \frac{\log_{10} e}{x}dxdy=xlog10e