PR

ウォリスの公式3つとその証明

微分積分学(大学)
記事内に広告が含まれています。

ウォリスの公式(ワリスの公式)と呼ばれる公式を3つの形で紹介し,それらの公式を証明します。

スポンサーリンク

ウォリスの公式

定理(ウォリスの公式; Wallis formula)

\small \color{red} \begin{aligned}\sqrt{\pi} &= \lim_{n\to\infty} \frac{1}{\sqrt{n}} \frac{(2n)!!}{(2n-1)!!} =\lim_{n\to\infty} \frac{2^{2n}}{\sqrt{n}}\frac{(n!)^2}{(2n)!}, \\ \frac{\pi}{2} &= \prod_{n=1}^\infty \frac{(2n)^2}{(2n-1)(2n+1)} = \frac{2^2}{1\cdot 3}\cdot \frac{4^2}{3\cdot 5} \cdots ,\\ \frac{2}{\pi}&= \prod_{n=1}^\infty \!\left( 1-\frac{1}{(2n)^2}\right) = \left(1-\frac{1}{2^2}\right) \!\! \left(1-\frac{1}{4^2}\right)\cdots. \end{aligned}


n!! は2重階乗の記号で,定義は

\small n!! =\begin{cases} n(n-2)(n-4) \dots 3 \cdot 1 & \text{if } n \text{ is odd,} \\ n(n-2)(n-4) \dots 4 \cdot 2 & \text{if } n \text{ is even,} \end{cases}

0!! =(-1)!! = 1 です。(ただし, \text{odd, even} はそれぞれ奇数・偶数の英語です。)

円周率 \pi が登場する,きれいな公式の1つですね。実際のところは,収束のスピードは遅く,円周率の近似計算には使えないようです。

スポンサーリンク

ウォリスの公式の証明

ウォリスの公式の証明には,以下のウォリス積分を用います。確認をしていきましょう。

ウォリス積分

n \ge 0 に対し,

\begin{aligned} &\int_0^{\frac{\pi}{2}} \sin^n x \, dx \\ &=\begin{dcases} \frac{(n-1)!!}{n!!} & \text{if } n \text{ is odd,}\\ \frac{\pi}{2}\frac{(n-1)!!}{n!!} & \text{if }n \text{ is even.}\end{dcases}\\ \end{aligned}

これの証明は, I_n= \int_0^{\frac{\pi}{2}} \sin^n x とおき,部分積分の公式を用いて I_n の漸化式を作ることで可能です。詳しくは,以下の記事で解説しています。

では,ウォリスの公式を証明していきましょう。

証明

\displaystyle \sqrt{\pi} = \lim_{n\to\infty} \frac{1}{\sqrt{n}} \frac{(2n)!!}{(2n-1)!!} =\lim_{n\to\infty} \frac{2^{2n}}{\sqrt{n}}\frac{(n!)^2}{(2n)!} について

I_n= \int_0^{\frac{\pi}{2}} \sin^n x とおく。 \sin^{2n+1} x \le \sin^{2n} x \le \sin^{2n-1} x であるから,その積分についても I_{2n+1} \le I_{2n} \le I_{2n-1} である。ウォリス積分を用いると,

\frac{(2n)!!}{(2n+1)!!} \le \frac{\pi}{2}\frac{(2n-1)!!}{(2n)!!} \le \frac{(2n-2)!!}{(2n-1)!!} .


各辺 \dfrac{1}{\pi}\dfrac{(2n-1)!!}{(2n-2)!!} を掛けると,

\frac{1}{\pi}\frac{2n}{2n+1}\le n\left\{ \frac{(2n-1)!!}{(2n)!!} \right\}^2 \le \frac{1}{\pi}.


故に, \displaystyle \lim_{n\to\infty} n \left\{ \frac{(2n-1)!!}{(2n)!!} \right\}^2 = \frac{1}{\pi}. これから,

\displaystyle \sqrt{\pi} = \lim_{n\to\infty} \frac{1}{\sqrt{n}} \frac{(2n)!!}{(2n-1)!!}


がわかる。後半の等式は,2重級数に関する等式

\begin{aligned} (2n)!! &= 2^n n! \\ (2n-1)!! &= \frac{(2n)!}{2^n n! } \end{aligned}


から従う。

残りの2式について

\frac{(2n)!!}{(2n+1)!!} \le \frac{\pi}{2}\frac{(2n-1)!!}{(2n)!!} \le \frac{(2n-2)!!}{(2n-1)!!}


までは上と同じ。各辺 \dfrac{2}{\pi}\dfrac{(2n+1)!!}{(2n)!!} を掛けると,


\frac{2}{\pi} \le \frac{(2n-1)!!(2n+1)!!}{\{(2n)!!\}^2} \le \frac{2}{\pi}\frac{2n+1}{2n} .


故に, \displaystyle \lim_{n\to\infty} \frac{(2n-1)!!(2n+1)!!}{\{(2n)!!\}^2}=\frac{2}{\pi}. ここで,

\begin{aligned}\frac{(2n-1)!!(2n+1)!!}{\{(2n)!!\}^2}&= \prod_{k=1}^n \frac{(2k-1)(2k+1)}{(2k)^2}\\ &= \prod_{k=1}^n \left(1-\frac{1}{(2k)^2} \right) \end{aligned} であるから,

\frac{2}{\pi}=\prod_{n=1}^\infty \left(1-\frac{1}{(2n)^2} \right).


逆数を取ると,

\displaystyle \frac{\pi}{2} = \prod_{n=1}^\infty \frac{(2n)^2}{(2n-1)(2n+1)}


もわかる。

証明終

ウォリスの公式からスターリングの公式へ

ウォリスの公式を用いて証明される有名な定理として,スターリングの公式があります。スターリングの公式とは, n! を近似する公式です。主張のみ述べましょう。

定理(スターリングの公式; Stirling’s formula

\color{red} n! \sim \sqrt{2\pi n} \left(\frac{n}{e}\right)^n.


ここで, f(x) \sim g(x) とは, f(x)/g(x) \xrightarrow{x\to\infty} 1 を意味する。

これの証明は,以下の記事で解説しています。