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

解析学無限級数級数二項係数アークサイン積分
2025/4/9

1. 問題の内容

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

2. 解き方の手順

まず、(2k)!22k(k!)2\frac{(2k)!}{2^{2k}(k!)^2} が中心二項係数と関連していることに注目します。中心二項係数は (2kk)=(2k)!(k!)2{2k \choose k} = \frac{(2k)!}{(k!)^2} で表されます。したがって、与えられた級数は次のように書き換えられます。
k=0(2kk)4k12k+1\sum_{k=0}^{\infty} \frac{{2k \choose k}}{4^k} \frac{1}{2k+1}
次に、冪級数展開 arcsin(x)=k=0(2kk)22k(2k+1)x2k+1\arcsin(x) = \sum_{k=0}^{\infty} \frac{{2k \choose k}}{2^{2k}(2k+1)} x^{2k+1} を利用します。
この式を xx で微分すると、
11x2=k=0(2kk)4k(2k+1)x2k\frac{1}{\sqrt{1-x^2}} = \sum_{k=0}^{\infty} \frac{{2k \choose k}}{4^k} (2k+1)x^{2k}
が得られます。この式を0からxまで積分すると、元の級数に似た形が得られます。
0x11t2dt=arcsin(x)=k=0(2kk)4k0x(2k+1)t2kdt\int_0^x \frac{1}{\sqrt{1-t^2}} dt = \arcsin(x) = \sum_{k=0}^{\infty} \frac{{2k \choose k}}{4^k} \int_0^x (2k+1)t^{2k} dt
ここで、x=1x = 1 を代入してみると、被積分関数が定義されないため、直接計算はできません。
しかし、与えられた級数 k=0(2kk)4k12k+1\sum_{k=0}^{\infty} \frac{{2k \choose k}}{4^k} \frac{1}{2k+1} を直接計算するのは難しいので、別の方法を考えます。arcsin(x)\arcsin(x) の級数展開を利用して、
arcsin(x)=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 を代入すると、
arcsin(1)=k=0(2k)!22k(k!)212k+1\arcsin(1) = \sum_{k=0}^{\infty} \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1}
arcsin(1)=π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}

「解析学」の関連問題

(1) 関数 $y = -x^3 - 6x^2 + 7$ のグラフ上の点Pのx座標が-2であるとき、点Pにおける接線の方程式を求め、またこの関数の極小値を求める。 (2) 連立不等式 $\begin{...

微分接線極値積分領域の面積
2025/4/15

関数 $f(x) = x^3 + (a-2)x^2 + 3x$ が与えられている。 (1) $f(x)$ の導関数 $f'(x)$ を求める。 (2) $f(x)$ が極値をもつときの $a$ の範囲...

微分導関数極値関数の増減判別式
2025/4/15

$\sqrt{2} \sin \theta - \sqrt{2} \cos \theta$ を $r \sin(\theta - \frac{\pi}{k})$ の形に変形する問題です。ただし、$r ...

三角関数三角関数の合成数式変形
2025/4/15

加法定理を利用して、$\cos(x + \frac{\pi}{4}) + \cos(x - \frac{\pi}{4})$ を計算し、その結果を $A \cos x \cos \frac{\pi}{B...

三角関数加法定理cos計算
2025/4/15

$0 \le \alpha < 2\pi$, $0 \le \beta < 2\pi$, $0 \le \gamma < 2\pi$ のとき、次の式を $\cos \alpha$, $\cos \be...

三角関数加法定理和積の公式三角関数の合成
2025/4/15

関数 $y = \frac{2^x + 2^{-x}}{2}$ の逆関数を求めよ。

逆関数指数関数対数関数代数
2025/4/15

与えられた関数の $x$ が無限大に近づくときの極限を求めます。 $$ \lim_{x \to \infty} \frac{\sqrt{x+3} - \sqrt{x}}{\sqrt{x+2} - \s...

極限関数の極限有理化
2025/4/15

与えられた関数 $y = x^4 - 2x^2 + 1$ について、以下の問いに答えます。 (1) $y$ の極大値と、極大値をとる $x$ の値をすべて求めます。 (2) $y$ の極小値と、極小値...

微分極値増減増減表関数のグラフ
2025/4/15

$\cos 2x = \frac{1 - \tan^2 x}{1 + \tan^2 x}$ を証明します。

三角関数恒等式2倍角の公式証明
2025/4/15

与えられた式 $\sin^2 x = \frac{\tan^2 x}{1 + \tan^2 x}$ が成り立つことを証明する。

三角関数恒等式証明
2025/4/15