次の二つの式を証明せよ。 (i) $(f(x)g(x))' = f'(x)g(x) + f(x)g'(x)$ (ii) $(\frac{f(x)}{g(x)})' = \frac{f'(x)g(x) - f(x)g'(x)}{(g(x))^2}$

解析学微分積の微分商の微分微分の公式関数の微分
2025/6/24

1. 問題の内容

次の二つの式を証明せよ。
(i) (f(x)g(x))=f(x)g(x)+f(x)g(x)(f(x)g(x))' = f'(x)g(x) + f(x)g'(x)
(ii) (f(x)g(x))=f(x)g(x)f(x)g(x)(g(x))2(\frac{f(x)}{g(x)})' = \frac{f'(x)g(x) - f(x)g'(x)}{(g(x))^2}

2. 解き方の手順

(i) 積の微分公式の証明
h(x)=f(x)g(x)h(x) = f(x)g(x) とおく。微分係数の定義より、
h(x)=limΔx0h(x+Δx)h(x)Δxh'(x) = \lim_{\Delta x \to 0} \frac{h(x + \Delta x) - h(x)}{\Delta x}
=limΔx0f(x+Δx)g(x+Δx)f(x)g(x)Δx= \lim_{\Delta x \to 0} \frac{f(x + \Delta x)g(x + \Delta x) - f(x)g(x)}{\Delta x}
ここで、f(x+Δx)g(x)f(x+Δx)g(x)f(x + \Delta x)g(x) - f(x + \Delta x)g(x) を加える。
h(x)=limΔx0f(x+Δx)g(x+Δx)f(x+Δx)g(x)+f(x+Δx)g(x)f(x)g(x)Δxh'(x) = \lim_{\Delta x \to 0} \frac{f(x + \Delta x)g(x + \Delta x) - f(x + \Delta x)g(x) + f(x + \Delta x)g(x) - f(x)g(x)}{\Delta x}
=limΔx0f(x+Δx)(g(x+Δx)g(x))+(f(x+Δx)f(x))g(x)Δx= \lim_{\Delta x \to 0} \frac{f(x + \Delta x)(g(x + \Delta x) - g(x)) + (f(x + \Delta x) - f(x))g(x)}{\Delta x}
=limΔx0f(x+Δx)g(x+Δx)g(x)Δx+limΔx0f(x+Δx)f(x)Δxg(x)= \lim_{\Delta x \to 0} f(x + \Delta x) \frac{g(x + \Delta x) - g(x)}{\Delta x} + \lim_{\Delta x \to 0} \frac{f(x + \Delta x) - f(x)}{\Delta x} g(x)
=f(x)g(x)+f(x)g(x)= f(x)g'(x) + f'(x)g(x)
よって、(f(x)g(x))=f(x)g(x)+f(x)g(x)(f(x)g(x))' = f'(x)g(x) + f(x)g'(x) が成り立つ。
(ii) 商の微分公式の証明
h(x)=f(x)g(x)h(x) = \frac{f(x)}{g(x)} とおく。
f(x)=g(x)h(x)f(x) = g(x)h(x) である。両辺を微分すると、
f(x)=g(x)h(x)+g(x)h(x)f'(x) = g'(x)h(x) + g(x)h'(x)
g(x)h(x)=f(x)g(x)h(x)g(x)h'(x) = f'(x) - g'(x)h(x)
h(x)=f(x)g(x)h(x)g(x)h'(x) = \frac{f'(x) - g'(x)h(x)}{g(x)}
h(x)=f(x)g(x)f(x)g(x)g(x)h'(x) = \frac{f'(x) - g'(x)\frac{f(x)}{g(x)}}{g(x)}
h(x)=f(x)g(x)g(x)f(x)g(x)2h'(x) = \frac{f'(x)g(x) - g'(x)f(x)}{g(x)^2}
よって、 (f(x)g(x))=f(x)g(x)f(x)g(x)(g(x))2(\frac{f(x)}{g(x)})' = \frac{f'(x)g(x) - f(x)g'(x)}{(g(x))^2} が成り立つ。

3. 最終的な答え

(i) (f(x)g(x))=f(x)g(x)+f(x)g(x)(f(x)g(x))' = f'(x)g(x) + f(x)g'(x)
(ii) (f(x)g(x))=f(x)g(x)f(x)g(x)(g(x))2(\frac{f(x)}{g(x)})' = \frac{f'(x)g(x) - f(x)g'(x)}{(g(x))^2}

「解析学」の関連問題

次の関数を微分する問題です。 (a) $y = 5^x$ (b) $y = 3^{-x}$ (c) $y = 4^{\frac{1}{x}}$ (d) $y = 3^x \log x$ (e) $y ...

微分指数関数合成関数積の微分商の微分対数関数逆三角関数
2025/6/24

$\lim_{x \to 0} \frac{\cos 2x - 1}{x^2}$ をマクローリン展開を用いて求める。

極限マクローリン展開積分
2025/6/24

次の定積分の値を求めます。 a) $\int_{1}^{2} (x - \frac{1}{x})^2 dx$ b) $\int_{0}^{\frac{\pi}{2}} \cos x dx$ c) $\...

定積分積分計算関数の積分
2025/6/24

関数 $f(x)$ が与えられています。 $f(x) = \begin{cases} \frac{1+3x - a\cos 2x}{4x} & (x > 0) \\ bx + c & (x \leq ...

微分可能性極限連続性三角関数
2025/6/24

定積分 $\int_{0}^{\frac{\pi}{2}} \sin(2x) dx$ を計算します。

定積分三角関数積分計算
2025/6/24

与えられた二つの極限を計算します。 (1) $\lim_{x \to \infty} x \{\log(x-2) - \log x\}$ (2) $\lim_{x \to 0} \frac{x(e^{...

極限対数関数指数関数テイラー展開ロピタルの定理
2025/6/24

与えられた2つの極限を計算します。 (1) $\lim_{x \to \infty} x\{\log(x-2) - \log x\}$ (2) $\lim_{x \to 0} \frac{x(e^{2...

極限対数関数指数関数ロピタルの定理
2025/6/24

次の定積分を計算します。 $\int_{0}^{1} \frac{1}{\sqrt{x} + \sqrt{x+1}} dx$

定積分積分有理化ルート
2025/6/24

与えられた積分 $\int_{0}^{1} \frac{1}{\sqrt{x} + \sqrt{x+1}} dx$ を計算します。

積分定積分有理化
2025/6/24

(1) $\lim_{x\to\infty} x\{\log(x-2) - \log x\}$ を求める。 (2) $\lim_{x\to 0} \frac{x(e^{2x} - 1)}{1 - \c...

極限対数関数指数関数ロピタルの定理
2025/6/24