与えられた無限級数の値を求め、それが $ \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}

「解析学」の関連問題

関数 $f(\theta) = (a-\frac{1}{2})\sin^2\theta - (a+\frac{1}{2})\cos^2\theta + 2(a+1)\sin\theta\cos\the...

三角関数最大値最小値三角関数の合成微分
2025/4/4

$4\cos^2 x + 2\cos x > 2\sqrt{2}\cos x + \sqrt{2}$ を $0 \le x < 2\pi$ の範囲で解く問題です。

三角関数不等式解の公式三角不等式
2025/4/4

$0 \le x \le \pi$ の範囲で、不等式 $2\sin x - 2\cos x > \sqrt{6}$ を満たす $x$ の範囲を求める問題です。

三角関数不等式三角関数の合成sin関数
2025/4/4

与えられた関数 $f(x) = -6x^3 + 4x - t^2 + 3t$ の不定積分を求める問題です。ただし、$t$ は $x$ に無関係な定数として扱います。

不定積分多項式積分
2025/4/4

不定積分 $\int (-5t^2 - 2t + 3x^2) dt$ を求めよ。ただし、$x$ は $t$ に無関係とする。

不定積分積分変数変換定数
2025/4/4

不定積分 $\int (-4x + 5t) dx$ を求めなさい。ただし、$t$は $x$ に無関係な定数とする。

不定積分積分変数変換
2025/4/4

不定積分 $\int (-3x^3 + 4x^2 - 3x + 3t^2 - t) dx$ を求めなさい。ただし、$t$ は $x$ に無関係とする。

不定積分積分多項式変数t
2025/4/4

不定積分 $\int (-4x + 5t) \, dx$ を求めなさい。ただし、$t$は$x$に無関係な定数とする。

不定積分積分定数
2025/4/4

座標平面上において、曲線 $y = \frac{2}{x+1}$ に関して、 - 直線 $y=x$ に関して対称な曲線を $C_1$ とする。 - 直線 $y=-1$ に関して対称な曲線を $C_2$...

関数の対称移動漸近線分数関数
2025/4/4

次の不定積分を計算してください。ただし、$r$は$x$に無関係な定数とします。 $\int (3x^2 - 4x + r) dx$

不定積分積分多項式
2025/4/4