関数 $f(x) = \frac{1}{\sqrt{1-x^2}}$ について、$f^{(n)}(0)$ を求めよ。

解析学マクローリン展開テイラー展開微分二項定理高階導関数
2025/6/2

1. 問題の内容

関数 f(x)=11x2f(x) = \frac{1}{\sqrt{1-x^2}} について、f(n)(0)f^{(n)}(0) を求めよ。

2. 解き方の手順

まず、f(x)f(x) をマクローリン展開(0を中心とするテイラー展開)することを考えます。
f(x)=(1x2)12f(x) = (1-x^2)^{-\frac{1}{2}} であることから、二項定理を用います。
(1+x)α=1+αx+α(α1)2!x2+α(α1)(α2)3!x3+(1+x)^\alpha = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!} x^2 + \frac{\alpha(\alpha-1)(\alpha-2)}{3!} x^3 + \dots
この式に、α=12\alpha = -\frac{1}{2}、そしてxxx2-x^2で置き換えると、
(1x2)12=1+(12)(x2)+(12)(32)2!(x2)2+(12)(32)(52)3!(x2)3+(1-x^2)^{-\frac{1}{2}} = 1 + (-\frac{1}{2})(-x^2) + \frac{(-\frac{1}{2})(-\frac{3}{2})}{2!} (-x^2)^2 + \frac{(-\frac{1}{2})(-\frac{3}{2})(-\frac{5}{2})}{3!} (-x^2)^3 + \dots
=1+12x2+13222!x4+135233!x6++135(2n1)2nn!x2n+= 1 + \frac{1}{2}x^2 + \frac{1 \cdot 3}{2^2 \cdot 2!} x^4 + \frac{1 \cdot 3 \cdot 5}{2^3 \cdot 3!} x^6 + \dots + \frac{1 \cdot 3 \cdot 5 \dots (2n-1)}{2^n \cdot n!} x^{2n} + \dots
ここで、マクローリン展開は、
f(x)=f(0)+f(0)1!x+f(0)2!x2++f(n)(0)n!xn+f(x) = f(0) + \frac{f'(0)}{1!} x + \frac{f''(0)}{2!} x^2 + \dots + \frac{f^{(n)}(0)}{n!} x^n + \dots
ですから、x2nx^{2n}の係数について、
f(2n)(0)(2n)!=135(2n1)2nn!\frac{f^{(2n)}(0)}{(2n)!} = \frac{1 \cdot 3 \cdot 5 \dots (2n-1)}{2^n \cdot n!}
f(2n)(0)=(2n)!2nn!135(2n1)f^{(2n)}(0) = \frac{(2n)!}{2^n \cdot n!} \cdot 1 \cdot 3 \cdot 5 \dots (2n-1)
また、奇数のべき乗の項は存在しないので、kkを整数として、f(2k+1)(0)=0f^{(2k+1)}(0)=0です。
さらに、135(2n1)1 \cdot 3 \cdot 5 \dots (2n-1)(2n)!(2n)! を偶数の積 246(2n)=2nn!2 \cdot 4 \cdot 6 \dots (2n) = 2^n \cdot n! で割ったものなので、
135(2n1)=(2n)!2nn!1 \cdot 3 \cdot 5 \dots (2n-1) = \frac{(2n)!}{2^n \cdot n!}
これを代入すると、
f(2n)(0)=(2n)!2nn!(2n)!2nn!=((2n)!2nn!)2f^{(2n)}(0) = \frac{(2n)!}{2^n n!} \cdot \frac{(2n)!}{2^n n!} = \left( \frac{(2n)!}{2^n n!} \right)^2

3. 最終的な答え

nnが偶数のとき、n=2kn = 2kとすると、f(n)(0)=((2k)!2kk!)2f^{(n)}(0) = \left( \frac{(2k)!}{2^k k!} \right)^2
nnが奇数のとき、f(n)(0)=0f^{(n)}(0) = 0

「解析学」の関連問題

関数 $f: [0,1] \rightarrow [0,1]$ が $[0,1]$ 上で連続であるとき、$f(c) = c$ となる $c \in [0,1]$ が存在することを示してください。

連続関数中間値の定理不動点
2025/6/4

与えられた関数 $y = \sin^{-1}3x$, $y = \sin^{-1}\frac{x}{3}$, $y = \cos^{-1}3x$, $y = \cos^{-1}\frac{x}{3}$...

微分逆三角関数
2025/6/4

関数 $y = x + \sqrt{4-x^2}$ の最大値と最小値を求めます。

最大値最小値微分関数のグラフ定義域
2025/6/4

次の関数 $y = \frac{1}{x-2}$ の逆関数を求め、その逆関数の定義域と値域を求める。

逆関数関数の定義域関数の値域分数関数
2025/6/4

関数 $f(x)$ が与えられています。 $f(x) = \begin{cases} 0 & (x \in \mathbb{Q}) \\ x & (x \in \mathbb{R} \setminus...

連続性関数極限実数有理数無理数
2025/6/4

与えられた関数 $y = \sqrt{x-2} - 2$ について、問題を解く、あるいはこの関数について何かを尋ねているのだと思われます。 問題が明確ではないので、ここでは定義域を求めます。

関数定義域根号不等式
2025/6/4

関数 $y = \frac{2x-5}{x-2}$ のグラフを描き、定義域、値域、および漸近線を求めます。

関数のグラフ定義域値域漸近線分数関数双曲線
2025/6/4

与えられた9つの関数が、偶関数、奇関数、またはどちらでもないかを判定します。 偶関数は $f(-x) = f(x)$ を満たし、奇関数は $f(-x) = -f(x)$ を満たします。

関数の性質偶関数奇関数関数の判定
2025/6/4

関数 $y = x + \sin x$ の導関数 $y'$ を求めます。 $y' = 1 + \cos x$

極値導関数三角関数微分
2025/6/4

与えられた関数②〜⑥について、それぞれの極値を求める問題です。 ② $y = x + \frac{1}{x}$ ③ $y = x + \sin x \quad (0 \le x \le 2\pi)$ ...

極値導関数微分増減表
2025/6/4