3.10 実数巾の巾関数の微分

定理 3.23 (巾関数の微分)  

$\displaystyle \frac{d}{dx}\,x^{\alpha}= \alpha\,x^{\alpha-1} \quad(\alpha\in\mathbb{R})$ (263)


(証明) $ (\log x)'=1/x$ $ (e^{x})'=e^{x}$ は証明済みである. これを用いて証明をする. このとき

$\displaystyle y$ $\displaystyle =f(x)=x^{\alpha}=(e^{\log x})^{\alpha}=e^{\alpha\,\log x}$ (264)

と表されるのでこれを微分すると

$\displaystyle y'$ $\displaystyle = \left(e^{\alpha\,\log x}\right)'= \left(e^{\alpha\,\log x}\righ...
...lpha\,\log x}\frac{\alpha}{x}= x^{\alpha}\frac{\alpha}{x}= \alpha\,x^{\alpha-1}$ (265)

を得る.



Kondo Koichi
平成17年8月31日