次の3つの関数 $f(x)$ について、$n$ 次導関数 ($n \geq 1$) を求める問題です。 a) $f(x) = \frac{1}{1+x}$ b) $f(x) = \log(1-x)$ c) $f(x) = (1+x)^{\frac{1}{2}}$

解析学導関数微分数学的帰納法関数の微分
2025/7/15

1. 問題の内容

次の3つの関数 f(x)f(x) について、nn 次導関数 (n1n \geq 1) を求める問題です。
a) f(x)=11+xf(x) = \frac{1}{1+x}
b) f(x)=log(1x)f(x) = \log(1-x)
c) f(x)=(1+x)12f(x) = (1+x)^{\frac{1}{2}}

2. 解き方の手順

a) f(x)=11+x=(1+x)1f(x) = \frac{1}{1+x} = (1+x)^{-1} の場合
まず、いくつかの導関数を計算してパターンを見つけます。
f(x)=1(1+x)2f'(x) = -1(1+x)^{-2}
f(x)=(1)(2)(1+x)3=2(1+x)3f''(x) = (-1)(-2)(1+x)^{-3} = 2(1+x)^{-3}
f(x)=(2)(3)(1+x)4=6(1+x)4f'''(x) = (2)(-3)(1+x)^{-4} = -6(1+x)^{-4}
一般に、f(n)(x)=(1)nn!(1+x)(n+1)f^{(n)}(x) = (-1)^n n! (1+x)^{-(n+1)} と推測できます。
数学的帰納法で証明します。
n=1n=1 のとき、f(x)=(1)11!(1+x)2=(1+x)2f'(x) = (-1)^1 1! (1+x)^{-2} = -(1+x)^{-2} であり、これは正しいです。
n=kn=k で正しいと仮定します。すなわち、f(k)(x)=(1)kk!(1+x)(k+1)f^{(k)}(x) = (-1)^k k! (1+x)^{-(k+1)} です。
n=k+1n=k+1 のとき、
f(k+1)(x)=ddxf(k)(x)=ddx[(1)kk!(1+x)(k+1)]=(1)kk![(k+1)(1+x)(k+2)]=(1)k+1(k+1)!(1+x)(k+2)f^{(k+1)}(x) = \frac{d}{dx} f^{(k)}(x) = \frac{d}{dx} [(-1)^k k! (1+x)^{-(k+1)}] = (-1)^k k! [-(k+1)(1+x)^{-(k+2)}] = (-1)^{k+1} (k+1)! (1+x)^{-(k+2)}
したがって、n=k+1n=k+1 でも正しいので、数学的帰納法により、f(n)(x)=(1)nn!(1+x)(n+1)f^{(n)}(x) = (-1)^n n! (1+x)^{-(n+1)} が成り立ちます。
b) f(x)=log(1x)f(x) = \log(1-x) の場合
f(x)=11x=(1x)1f'(x) = \frac{-1}{1-x} = -(1-x)^{-1}
f(x)=(1)(1)(1x)2=(1x)2f''(x) = -(-1)(-1)(1-x)^{-2} = -(1-x)^{-2}
f(x)=(2)(1)(1x)3=2(1x)3f'''(x) = -(-2)(-1)(1-x)^{-3} = -2(1-x)^{-3}
一般に、f(n)(x)=(n1)!(1x)nf^{(n)}(x) = -(n-1)! (1-x)^{-n} と推測できます。(ただし、n1n \geq 1)
より正確には、f(n)(x)=(1)n(n1)!(1x)nf^{(n)}(x) = (-1)^{n} (n-1)! (1-x)^{-n}
数学的帰納法で証明します。
n=1n=1 のとき、f(x)=11xf'(x) = \frac{-1}{1-x} であり、正しいです。
f(n)(x)=(1)n(n1)!(1x)nf^{(n)}(x) = (-1)^{n} (n-1)! (1-x)^{-n}と仮定します。
f(n+1)(x)=ddxf(n)(x)=(1)n(n1)!(n)(1x)n1(1)=(1)n+1n!(1x)(n+1)f^{(n+1)}(x) = \frac{d}{dx}f^{(n)}(x) = (-1)^{n} (n-1)! (-n) (1-x)^{-n-1} (-1) = (-1)^{n+1}n!(1-x)^{-(n+1)}
c) f(x)=(1+x)12f(x) = (1+x)^{\frac{1}{2}} の場合
f(x)=12(1+x)12f'(x) = \frac{1}{2}(1+x)^{-\frac{1}{2}}
f(x)=12(12)(1+x)32=14(1+x)32f''(x) = \frac{1}{2} (-\frac{1}{2}) (1+x)^{-\frac{3}{2}} = -\frac{1}{4} (1+x)^{-\frac{3}{2}}
f(x)=14(32)(1+x)52=38(1+x)52f'''(x) = -\frac{1}{4} (-\frac{3}{2}) (1+x)^{-\frac{5}{2}} = \frac{3}{8} (1+x)^{-\frac{5}{2}}
f(n)(x)=12(121)(122)(12(n1))(1+x)12n=12(12)(32)(32n)(1+x)12nf^{(n)}(x) = \frac{1}{2} (\frac{1}{2} - 1)(\frac{1}{2} - 2) \dots (\frac{1}{2} - (n-1)) (1+x)^{\frac{1}{2} - n} = \frac{1}{2} (-\frac{1}{2}) (-\frac{3}{2}) \dots (\frac{3}{2}-n) (1+x)^{\frac{1}{2}-n}
f(n)(x)=(1)n1(2n3)!!2n(1+x)12nf^{(n)}(x) = \frac{(-1)^{n-1} (2n-3)!!}{2^n} (1+x)^{\frac{1}{2} - n}
ここで、(2n3)!!=(2n3)×(2n5)××1(2n-3)!! = (2n-3) \times (2n-5) \times \dots \times 1 です。

3. 最終的な答え

a) f(n)(x)=(1)nn!(1+x)n+1f^{(n)}(x) = \frac{(-1)^n n!}{(1+x)^{n+1}}
b) f(n)(x)=(1)n1(n1)!(1x)nf^{(n)}(x) = \frac{(-1)^{n-1} (n-1)!}{(1-x)^{n}}
c) f(n)(x)=(1)n1(2n3)!!2n(1+x)n12f^{(n)}(x) = \frac{(-1)^{n-1} (2n-3)!!}{2^n (1+x)^{n-\frac{1}{2}}}
ここで、n2n \geq 2 であり (2n3)!!=(2n3)×(2n5)××1(2n-3)!! = (2n-3) \times (2n-5) \times \dots \times 1 です。
n=1n=1 の場合は f(x)=12(1+x)12f'(x) = \frac{1}{2}(1+x)^{-\frac{1}{2}} となります。

「解析学」の関連問題

定積分 $\int_0^{\frac{\pi}{2}} x \cos^2 x \, dx$ を求める問題です。

定積分部分積分三角関数
2025/7/16

定積分 $\int_0^{\pi} \sin^2 x \cos^2 x dx$ を求めよ。

定積分三角関数積分
2025/7/16

定積分 $\int_{0}^{\sqrt{2}} \frac{x^2}{\sqrt{2-x^2}} dx$ を計算します。

定積分置換積分三角関数積分計算
2025/7/16

二つの定積分を計算する問題です。 (1) $I = \int_{0}^{1} x^2 \sqrt{1-x^2} dx$ (2) $J = \int_{0}^{1} x^3 \log(x^2+1) dx...

定積分置換積分部分積分
2025/7/16

$m, n$を自然数とするとき、定積分 $\int_{-\pi}^{\pi} \cos(mx) \cos(nx) dx$ を求める。

定積分三角関数積和の公式クロネッカーのデルタ
2025/7/16

領域 $D = \{(x, y) | x > 0\}$ 上の2変数関数 $f(x,y) = x^5 - x^2y + y^2$ の極値を求める問題です。

多変数関数極値偏微分ヘッセ行列
2025/7/16

定積分 $\int_{0}^{\frac{\pi}{2}} |\sin x - \cos x| dx$ を求めよ。

定積分絶対値三角関数
2025/7/16

画像に示されたのこぎり波のグラフに関する問題です。このグラフは奇関数であり、$f(a) = -f(-a)$の関係が成り立ちます。グラフの特性を理解し、必要に応じて数式を導出することが求められます。

関数グラフ奇関数一次関数のこぎり波
2025/7/16

定積分 $\int_{\frac{\pi}{4}}^{\frac{\pi}{2}} \cos x \log(\sin x) dx$ を求める。

定積分置換積分部分積分対数関数
2025/7/16

関数 $f(x) = x^3 - 3ax^2 + 12x + b$ について、以下の問いに答える問題です。 (1) $f(x)$ が極大値と極小値を持つための $a, b$ の条件を求める。 (2) ...

関数の増減極値導関数余りの定理グラフ
2025/7/16