与えられた無限級数の和を求める問題です。 具体的には、以下の式で表される級数の和が $\frac{\pi}{2}$ であることを示します。 $$ \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} = \frac{\pi}{2} $$

解析学無限級数積分Wallisの積ベータ関数
2025/7/7

1. 問題の内容

与えられた無限級数の和を求める問題です。
具体的には、以下の式で表される級数の和が π2\frac{\pi}{2} であることを示します。
k=0(2k)!22k(k!)212k+1=π2 \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} = \frac{\pi}{2}

2. 解き方の手順

この問題は、Wallisの積の公式を利用して解くことができます。Wallisの積の公式は以下のように表されます。
π2=k=1(2k)2(2k1)(2k+1)=212343456567 \frac{\pi}{2} = \prod_{k=1}^{\infty} \frac{(2k)^2}{(2k-1)(2k+1)} = \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdots
まず、与えられた級数の一般項を aka_k とします。
ak=(2k)!22k(k!)212k+1 a_k = \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1}
ここで、(2k)!(2k)! を二重階乗を使って表すと、
(2k)!=(2k)!!(2k1)!!=2kk!(2k1)!! (2k)! = (2k)!!(2k-1)!! = 2^k k! (2k-1)!!
したがって、
ak=2kk!(2k1)!!22k(k!)212k+1=(2k1)!!2kk!(2k+1) a_k = \frac{2^k k! (2k-1)!!}{2^{2k}(k!)^2} \frac{1}{2k+1} = \frac{(2k-1)!!}{2^k k! (2k+1)}
次に、(2k)!!=2kk!(2k)!! = 2^k k! であることを利用すると、
ak=(2k1)!!(2k)!!(2k+1) a_k = \frac{(2k-1)!!}{(2k)!! (2k+1)}
ベータ関数との関連を考えます。
B(x,y)=01tx1(1t)y1dt=Γ(x)Γ(y)Γ(x+y) B(x,y) = \int_0^1 t^{x-1} (1-t)^{y-1} dt = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}
ここで、Γ(1/2)=π\Gamma(1/2) = \sqrt{\pi} を用いると、
0π/2sin2k+1θdθ=22k(k!)2(2k+1)!=((2k)!!)2(2k+1)!=22k(k!)2(2k+1)(2k)! \int_0^{\pi/2} \sin^{2k+1} \theta d\theta = \frac{2^{2k} (k!)^2}{(2k+1)!} = \frac{((2k)!!)^2}{(2k+1)!} = \frac{2^{2k} (k!)^2}{(2k+1)(2k)!}
(2k)!22k(k!)2(2k+1)=10π/2(2k+1)sin2kθdθ \frac{(2k)!}{2^{2k} (k!)^2 (2k+1)} = \frac{1}{\int_0^{\pi/2} (2k+1) \sin^{2k} \theta d\theta}
Wallis積は以下のようにも表せます。
π2=limn224466(2n)(2n)133557(2n1)(2n+1) \frac{\pi}{2} = \lim_{n\to\infty} \frac{2 \cdot 2 \cdot 4 \cdot 4 \cdot 6 \cdot 6 \cdots (2n)(2n)}{1 \cdot 3 \cdot 3 \cdot 5 \cdot 5 \cdot 7 \cdots (2n-1)(2n+1)}
積分を利用したアプローチとして
01dx1x2=arcsin(x)01=π2 \int_0^1 \frac{dx}{\sqrt{1-x^2}} = \arcsin(x) |_0^1 = \frac{\pi}{2}
11x2=k=0(2k)!22k(k!)2x2k \frac{1}{\sqrt{1-x^2}} = \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} x^{2k}
両辺を0から1まで積分すると
0111x2dx=01k=0(2k)!22k(k!)2x2kdx=k=0(2k)!22k(k!)201x2kdx=k=0(2k)!22k(k!)212k+1 \int_0^1 \frac{1}{\sqrt{1-x^2}} dx = \int_0^1 \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} x^{2k} dx = \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} \int_0^1 x^{2k} dx = \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} \frac{1}{2k+1}

3. 最終的な答え

k=0(2k)!22k(k!)212k+1=π2 \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} = \frac{\pi}{2}

「解析学」の関連問題

* 問1 (1): 関数 $f(x, y) = x^3 + 2xy^3$ の2階偏導関数を求めます。 * 問2 (1): 関数 $f(x, y) = x^3 - y^3 - 3x + 12y$...

偏微分2階偏導関数極値停留点判別式
2025/7/8

以下の4つの定積分の値を求める問題です。ここで、$a$ は正の定数です。 (1) $\int_{0}^{5} (2x+6) \, dx$ (2) $\int_{1}^{2} (x^2 + \frac{...

定積分積分計算不定積分arctanarcsin
2025/7/8

与えられた関数について、第$n$次導関数を求める問題です。関数は以下の4つです。 (1) $y = \log(x+1)$ (2) $y = xe^x$ (3) $y = x^2 \sin x$ (4)...

導関数ライプニッツの公式微分
2025/7/8

与えられた2つの二変数関数の、原点(0,0)における極限が存在するかどうかを調べ、存在する場合は極限値を求める問題です。 (1) $\lim_{(x,y) \to (0,0)} \frac{x^2 y...

多変数関数の極限極限2変数関数
2025/7/8

$\lim_{x \to \infty} \frac{20x^2 + 8\sin x}{5x^2 + 4x}$ の極限値を求め、選択肢の中から正しいものを選ぶ問題です。

極限関数の極限三角関数不定形
2025/7/8

以下の極限と関数の極値を求める問題です。 (1) $\lim_{x\to 0} \frac{e^x - \cos x}{x}$ (2) $\lim_{x\to 0} \frac{e^x - e^{-x...

極限関数の極値ロピタルの定理微分指数関数三角関数
2025/7/8

$x \neq 0, -1$ のとき、$\lim_{n\to\infty} \frac{x^{n+1}}{1+x^n} = x$ となるような $x$ の値の範囲を求めよ。

極限数列場合分け不等式
2025/7/8

$\lim_{n \to \infty} \frac{x^{2n+1}}{1+x^{2n}} = x$ が成り立つような $x$ の値の範囲を求める問題です。

極限数列場合分け不等式
2025/7/8

$\sin \frac{11}{3}\pi$ の値を求める問題です。選択肢の中から正しいものを選ぶか、全て正しくない場合は⑤を選びます。

三角関数sin弧度法三角関数の値
2025/7/8

与えられた数列の極限値を求める問題です。具体的には、$\lim_{n\to\infty} (n - \sqrt{n^2 - 3})$ を計算します。

極限数列有理化
2025/7/8