(1) $f(x) = \arctan x$ のとき、$(x^2+1)f'(x) = 1$ を示す。 (2) (1)の両辺を $n$ 回微分することにより、$(x^2+1)f^{(n+1)}(x) + 2nxf^{(n)}(x) + n(n-1)f^{(n-1)}(x) = 0$ を示す。 (3) $f^{(2m)}(0) = 0$, $f^{(2m+1)}(0) = (-1)^m (2m)!$ を示す。

解析学微分ライプニッツの公式高階微分arctan関数
2025/6/10

1. 問題の内容

(1) f(x)=arctanxf(x) = \arctan x のとき、(x2+1)f(x)=1(x^2+1)f'(x) = 1 を示す。
(2) (1)の両辺を nn 回微分することにより、(x2+1)f(n+1)(x)+2nxf(n)(x)+n(n1)f(n1)(x)=0(x^2+1)f^{(n+1)}(x) + 2nxf^{(n)}(x) + n(n-1)f^{(n-1)}(x) = 0 を示す。
(3) f(2m)(0)=0f^{(2m)}(0) = 0, f(2m+1)(0)=(1)m(2m)!f^{(2m+1)}(0) = (-1)^m (2m)! を示す。

2. 解き方の手順

(1)
f(x)=arctanxf(x) = \arctan x なので、f(x)=11+x2f'(x) = \frac{1}{1+x^2} である。
したがって、(x2+1)f(x)=(x2+1)11+x2=1(x^2+1)f'(x) = (x^2+1) \cdot \frac{1}{1+x^2} = 1 が示された。
(2)
(1) の結果 (x2+1)f(x)=1(x^2+1)f'(x) = 1nn 回微分する。
ライプニッツの公式を用いる。ライプニッツの公式とは、関数 u(x),v(x)u(x), v(x) の積の nn 回微分を求める公式であり、
(uv)(n)=k=0nnCku(nk)v(k)(uv)^{(n)} = \sum_{k=0}^{n} {}_n C_k u^{(n-k)} v^{(k)} で表される。
(x2+1)f(x)=1(x^2+1)f'(x) = 1 の左辺を nn 回微分すると、
k=0nnCk(x2+1)(nk)(f(x))(k)=k=0nnCk(x2+1)(nk)f(k+1)(x)\sum_{k=0}^{n} {}_n C_k (x^2+1)^{(n-k)} (f'(x))^{(k)} = \sum_{k=0}^{n} {}_n C_k (x^2+1)^{(n-k)} f^{(k+1)}(x)
k=0k = 0 のとき、nC0(x2+1)(n)f(1)(x)=(x2+1)f(n+1)(x){}_n C_0 (x^2+1)^{(n)} f^{(1)}(x) = (x^2+1) f^{(n+1)}(x)
k=1k = 1 のとき、nC1(x2+1)(n1)f(2)(x)=n(2x)f(n)(x)=2nxf(n)(x){}_n C_1 (x^2+1)^{(n-1)} f^{(2)}(x) = n (2x) f^{(n)}(x) = 2nx f^{(n)}(x)
k=2k = 2 のとき、nC2(x2+1)(n2)f(3)(x)=n(n1)2(2)f(n1)(x)=n(n1)f(n1)(x){}_n C_2 (x^2+1)^{(n-2)} f^{(3)}(x) = \frac{n(n-1)}{2} (2) f^{(n-1)}(x) = n(n-1) f^{(n-1)}(x)
k3k \geq 3 のとき、(x2+1)(nk)=0(x^2+1)^{(n-k)} = 0 となる。
したがって、
(x2+1)f(n+1)(x)+2nxf(n)(x)+n(n1)f(n1)(x)=0(x^2+1)f^{(n+1)}(x) + 2nxf^{(n)}(x) + n(n-1)f^{(n-1)}(x) = 0
(3)
(2) で得られた式に x=0x=0 を代入すると、
(02+1)f(n+1)(0)+2n(0)f(n)(0)+n(n1)f(n1)(0)=0(0^2+1)f^{(n+1)}(0) + 2n(0)f^{(n)}(0) + n(n-1)f^{(n-1)}(0) = 0
f(n+1)(0)+n(n1)f(n1)(0)=0f^{(n+1)}(0) + n(n-1)f^{(n-1)}(0) = 0
n=2mn = 2m のとき、f(2m+1)(0)+2m(2m1)f(2m1)(0)=0f^{(2m+1)}(0) + 2m(2m-1)f^{(2m-1)}(0) = 0
f(2m+1)(0)=2m(2m1)f(2m1)(0)f^{(2m+1)}(0) = -2m(2m-1)f^{(2m-1)}(0)
f(x)=11+x2f'(x) = \frac{1}{1+x^2} より、f(0)=1f'(0) = 1
f(3)(0)=21f(0)=2!f^{(3)}(0) = -2 \cdot 1 \cdot f'(0) = -2!
f(5)(0)=43f(3)(0)=43(2!)=4!f^{(5)}(0) = -4 \cdot 3 \cdot f^{(3)}(0) = -4 \cdot 3 \cdot (-2!) = 4!
f(7)(0)=65f(5)(0)=65(4!)=6!f^{(7)}(0) = -6 \cdot 5 \cdot f^{(5)}(0) = -6 \cdot 5 \cdot (4!) = -6!
一般に、f(2m+1)(0)=(1)m(2m)!f^{(2m+1)}(0) = (-1)^m (2m)!
n=2m1n = 2m-1 のとき、f(2m)(0)+(2m1)(2m2)f(2m2)(0)=0f^{(2m)}(0) + (2m-1)(2m-2)f^{(2m-2)}(0) = 0
f(2m)(0)=(2m1)(2m2)f(2m2)(0)f^{(2m)}(0) = -(2m-1)(2m-2)f^{(2m-2)}(0)
f(x)=arctanxf(x) = \arctan x より、f(0)=0f(0) = 0
f(0)=10f(0)=0f''(0) = -1 \cdot 0 \cdot f(0) = 0
f(4)(0)=32f(0)=0f^{(4)}(0) = -3 \cdot 2 \cdot f''(0) = 0
一般に、f(2m)(0)=0f^{(2m)}(0) = 0

3. 最終的な答え

(1) (x2+1)f(x)=1(x^2+1)f'(x) = 1
(2) (x2+1)f(n+1)(x)+2nxf(n)(x)+n(n1)f(n1)(x)=0(x^2+1)f^{(n+1)}(x) + 2nxf^{(n)}(x) + n(n-1)f^{(n-1)}(x) = 0
(3) f(2m)(0)=0f^{(2m)}(0) = 0, f(2m+1)(0)=(1)m(2m)!f^{(2m+1)}(0) = (-1)^m (2m)!

「解析学」の関連問題

与えられた微分方程式 $\frac{dx}{dt} = kx$ を解き、初期条件 $t=0$ のとき $x = x_0$ を満たす解を求める。

微分方程式指数関数初期条件変数分離
2025/6/11

関数 $y = e^{2x}$ のマクローリン級数を求める。

マクローリン級数指数関数テイラー展開微分
2025/6/11

与えられた関数 $y = \frac{1}{2}x + \sqrt{x+1}$ の逆関数を求める問題です。

逆関数関数の計算平方根定義域
2025/6/11

次の定積分を求めます。 $\int_{-2}^{1} |x+1| dx$

定積分絶対値積分
2025/6/10

与えられた積分 $\int \frac{x}{\sqrt[3]{x}} dx$ を計算します。

積分べき乗積分不定積分
2025/6/10

与えられた積分を計算する問題です。積分は次の通りです。 $\int \frac{x^2 + \sqrt{x^3} - \sqrt{x}}{x} dx$

積分定積分関数
2025/6/10

与えられた不定積分を計算する問題です。 $\int (x-1) (\frac{1}{x^3} + 1) dx$

積分不定積分積分計算代数
2025/6/10

与えられた積分 $\int (x-1)(x^3+1) dx$ を計算します。

積分多項式不定積分
2025/6/10

与えられた積分を計算する問題です。 積分は次の通りです。 $\int (\sqrt{\frac{4}{x^3}} + \frac{1}{\sqrt{2x}} + (3x)^2)dx$

積分定積分関数計算
2025/6/10

関数 $y = x^2 + x - 1$ (ただし $x \geq -\frac{1}{2}$) の逆関数を $y = f(x)$ とおく。このとき、$\frac{dy}{dx}$ を $x$ の式で...

微分逆関数微分法
2025/6/10