与えられた無限級数の和が $\frac{\pi}{2}$ であることを示す問題です。つまり、 $\sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} \frac{1}{2k+1} = \frac{\pi}{2}$ を証明します。

解析学無限級数ベータ関数ガンマ関数マクローリン展開積分
2025/3/11

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積などを使って解くことができます。今回は、ベータ関数を用いた方法で解きます。
まず、ベータ関数の定義を確認します。
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)}
ここで、Γ(x)\Gamma(x)はガンマ関数です。
次に、ベータ関数の別の表現として以下があります。
B(x,y)=20π2(sinθ)2x1(cosθ)2y1dθB(x,y) = 2 \int_0^{\frac{\pi}{2}} (\sin \theta)^{2x-1} (\cos \theta)^{2y-1} d\theta
これらのベータ関数の定義より
01tx1(1t)y1dt=20π/2(sinθ)2x1(cosθ)2y1dθ\int_0^1 t^{x-1}(1-t)^{y-1} dt = 2\int_0^{\pi/2} (\sin \theta)^{2x-1} (\cos \theta)^{2y-1} d\theta
が成り立ちます。
ここで、x=y=12x = y = \frac{1}{2} とすると、
B(12,12)=Γ(12)Γ(12)Γ(1)=ππ1=πB(\frac{1}{2}, \frac{1}{2}) = \frac{\Gamma(\frac{1}{2}) \Gamma(\frac{1}{2})}{\Gamma(1)} = \frac{\sqrt{\pi} \sqrt{\pi}}{1} = \pi
また、
B(12,12)=20π2(sinθ)0(cosθ)0dθ=20π21dθ=2π2=πB(\frac{1}{2}, \frac{1}{2}) = 2 \int_0^{\frac{\pi}{2}} (\sin \theta)^{0} (\cos \theta)^{0} d\theta = 2 \int_0^{\frac{\pi}{2}} 1 d\theta = 2 \cdot \frac{\pi}{2} = \pi
ここで、arcsinx\arcsin x のマクローリン展開を考えます。
arcsinx=k=0(2k)!22k(k!)2x2k+12k+1\arcsin x = \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} \frac{x^{2k+1}}{2k+1}
この式に x=1x=1 を代入すると、
arcsin1=k=0(2k)!22k(k!)212k+1\arcsin 1 = \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k} (k!)^2} \frac{1}{2k+1}
arcsin1=π2\arcsin 1 = \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}

3. 最終的な答え

π2\frac{\pi}{2}

「解析学」の関連問題

与えられた関数 $y = \frac{\log(1-x^2)}{e^{2x}}$ の導関数 $y'$ を求める問題です。

微分導関数合成関数の微分商の微分
2025/7/8

$\sin \alpha = \frac{2}{3}$が与えられたとき、$\frac{\pi}{2} < \alpha < \pi$ の範囲で $\cos 3\alpha$ の値を求める問題です。

三角関数加法定理三角関数の合成cossin
2025/7/8

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

積分不定積分積分計算対数関数
2025/7/8

次の2つの関数のグラフを描く問題です。 (1) $y = 4^x$ (2) $y = (\frac{1}{4})^x$

指数関数グラフ関数のグラフ漸近線単調増加単調減少
2025/7/8

実数 $x$ に対して、無限級数 $x + \frac{x}{1+x-x^2} + \frac{x}{(1+x-x^2)^2} + \frac{x}{(1+x-x^2)^3} + \dots$ が収束...

無限級数等比級数収束
2025/7/8

関数 $f(x) = x^3 - 3x^2 + 3$ について、以下の $x$ の値における微分係数 $f'(x)$ を求めよ。 (1) $x = 2$ (2) $x = 0$ (3) $x = -2...

微分微分係数関数の微分
2025/7/8

半径 $r$ の球の体積を $V$、表面積を $S$ とするとき、$V = \frac{4}{3}\pi r^3$、$S = 4\pi r^2$ である。$V$ と $S$ を $r$ の関数とみて、...

微分体積表面積
2025/7/8

与えられた関数 $f(x)$ について、導関数の定義に従って導関数 $f'(x)$ を求める問題です。 (1) $f(x) = 3x$ (2) $f(x) = -x^2$

導関数微分極限関数の微分
2025/7/8

与えられた数列の和 $S$ を求めます。数列 $S$ は以下のように定義されます。 $S = \frac{1}{3\cdot5} + \frac{1}{5\cdot7} + \frac{1}{7\cd...

数列部分分数分解級数
2025/7/8

無限級数 $\sum_{n=1}^{\infty} \frac{3 \cdot 2^n + 2(-3)^n}{5^n}$ の和を求めよ。

無限級数等比級数収束
2025/7/8