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

「解析学」の関連問題

関数 $y = x^{2x}$ ($x>0$) を微分する問題です。

微分対数微分法合成関数の微分積の微分
2025/6/6

関数 $f(x) = \arctan x$ について、以下の問いに答えます。 (1) $f(x)$ の4次導関数 $f^{(4)}(x)$ を求めます。 (2) $x = 0$ での値 $f(0), ...

微分導関数マクローリン展開arctan円周率の近似
2025/6/6

与えられた4つの関数をそれぞれ微分します。 (1) $y = x^{\sin x}$ ($x>0$) (2) $y = x^{e^x}$ ($x>0$) (3) $y = x^{\log x}$ ($...

微分対数微分法関数
2025/6/6

与えられた関数を微分する問題です。ただし、$a$ は定数とします。ここでは、4つの関数それぞれの微分を求めます。 (1) $y = \frac{(x+1)^2}{(x+2)^3(x+3)^4}$ (2...

微分対数微分法関数の微分
2025/6/6

関数 $f(x) = \arctan x$ について、次の問いに答えます。 (1) $f(x)$ の4次導関数 $f^{(4)}(x)$ を求めます。 (2) $x=0$ での値 $f(0)$, $f...

微分導関数arctan高階導関数
2025/6/6

$t > 0$ に対して、定積分 $\int_0^1 |2x^2 - tx| dx$ の最小値を求め、そのときの $t$ の値を求める問題です。

定積分絶対値最小値微分積分
2025/6/6

はい、承知いたしました。画像にある数学の問題について、一つずつ解いていきます。

微分導関数関数の微分商の微分積の微分
2025/6/6

$x = \tan t$、$y = \sin t$のとき、$t = \frac{\pi}{6}$における$\frac{dy}{dx}$と$\frac{d^2y}{dx^2}$の値を求め、それぞれ$\f...

微分媒介変数表示合成関数の微分二階微分
2025/6/6

関数 $f(x) = x^2 \sin(2x)$ の第5次導関数 $f^{(5)}(x)$ を求め、さらに $f^{(5)}(0)$ の値を求めよ。

導関数微分三角関数
2025/6/6

関数 $y = \cos 2x$ の第 $n$ 次導関数 $y^{(n)}$ を求める問題です。ただし、$n \ge 1$ とします。

導関数三角関数微分数学的帰納法
2025/6/6