与えられた無限級数の値を求め、それが $ \frac{\pi}{2} $ に等しいことを確認する問題です。級数は次の通りです。 $ \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} $

解析学無限級数ベータ関数ガンマ関数ウォリス積分特殊関数
2025/3/10

1. 問題の内容

与えられた無限級数の値を求め、それが π2 \frac{\pi}{2} に等しいことを確認する問題です。級数は次の通りです。
k=0(2k)!22k(k!)212k+1 \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1}

2. 解き方の手順

この級数を解くには、ベータ関数とガンマ関数を利用します。
まず、次の積分表示を考えます。
0π2sin2k+1xdx=22k(k!)2(2k+1)! \int_0^{\frac{\pi}{2}} \sin^{2k+1}x \, dx = \frac{2^{2k}(k!)^2}{(2k+1)!}
したがって、与えられた級数は次のように書き換えることができます。
k=0(2k)!22k(k!)212k+1=k=01(2k+1)(2k)!22k(k!)2 \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} = \sum_{k=0}^{\infty} \frac{1}{(2k+1)} \frac{(2k)!}{2^{2k}(k!)^2}
ここで、(2k)!22k(k!)2=(2k)!4k(k!)2 \frac{(2k)!}{2^{2k}(k!)^2} = \frac{(2k)!}{4^k(k!)^2} であることに注意します。
また、12k+1(2k)!4k(k!)2=14k(2kk)12k+1 \frac{1}{2k+1} \frac{(2k)!}{4^k(k!)^2} = \frac{1}{4^k} \binom{2k}{k} \frac{1}{2k+1} となります。
Wallisの公式(ウォリス積分)から、以下が成り立ちます。
0π2sinnxdx=n1n0π2sinn2xdx \int_0^{\frac{\pi}{2}} \sin^n x \, dx = \frac{n-1}{n} \int_0^{\frac{\pi}{2}} \sin^{n-2} x \, dx
ここで、与えられた級数を次のように書き換えます。
k=0(2k)!22k(k!)212k+1=k=014k(2k+1)(2kk)=k=001x2kdx14k(2kk) \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} = \sum_{k=0}^{\infty} \frac{1}{4^k (2k+1)} \binom{2k}{k} = \sum_{k=0}^\infty \int_0^1 x^{2k} dx \frac{1}{4^k}\binom{2k}{k}
ここで、k=0(2kk)(x24)k=11x2 \sum_{k=0}^\infty \binom{2k}{k} (\frac{x^2}{4})^k = \frac{1}{\sqrt{1-x^2}} であることを利用します。
01k=0(2kk)(x24)kdx=0111x2dx=[arcsinx]01=arcsin1arcsin0=π20=π2 \int_0^1 \sum_{k=0}^\infty \binom{2k}{k} (\frac{x^2}{4})^k dx = \int_0^1 \frac{1}{\sqrt{1-x^2}} dx = [\arcsin x]_0^1 = \arcsin 1 - \arcsin 0 = \frac{\pi}{2} - 0 = \frac{\pi}{2}
したがって、与えられた級数の値は π2 \frac{\pi}{2} になります。

3. 最終的な答え

π2 \frac{\pi}{2}

「解析学」の関連問題

曲線 $3y^2 = x(x-1)^2$ のループ部分の長さを求める問題です。

曲線積分弧長微分
2025/7/23

与えられた8つの関数について、不定積分を求める問題です。つまり、それぞれの関数 $f(x)$ に対して、$\int f(x) dx$ を計算します。

不定積分置換積分部分積分部分分数分解積分
2025/7/23

画像に写っている8つの関数をそれぞれ表示する問題です。

関数対数関数三角関数逆正接関数指数関数分数関数
2025/7/23

曲線 $y = \frac{2}{3} \sqrt{x^3}$ の $0 \le x \le 8$ の部分の長さを求めます。

曲線の長さ積分微分置換積分
2025/7/23

問題2と3は、それぞれいくつかの関数の導関数を求める問題です。 問題2では、$k$を正の定数として、以下の関数の導関数を求めます。 (1) $\sinh kx$ (2) $\cosh kx$ (3) ...

導関数微分合成関数の微分双曲線関数対数関数逆三角関数
2025/7/23

関数 $f(x) = \frac{\log x}{x^a}$ について、以下の2つの問いに答える。ただし、$a$は実定数である。 (1) 関数$f(x)$が区間$(0,1]$で広義積分可能となるような...

広義積分関数の積分対数関数部分積分
2025/7/23

次の3つの不定積分を計算します。 (1) $\int \frac{1}{1 + \cos x + \sin x} dx$ (2) $\int \sin^3 x \cos^3 x dx$ (3) $\i...

不定積分三角関数積分
2025/7/23

曲線 $y = \cos 2x$ $(0 < x < \frac{\pi}{2})$ 上の点 $P(t, \cos 2t)$ における法線について、その $y$ 切片を $f(t)$ とするとき、$f...

微分接線法線極限三角関数
2025/7/23

関数 $f(x) = \frac{1}{1+x^2}$ をマクローリン展開せよ。

マクローリン展開関数級数収束
2025/7/23

関数 $f(x) = \frac{1}{1+x^2}$ をマクローリン展開せよ。

マクローリン展開関数級数収束
2025/7/23