【数検1級対策】ウォリスの公式とその活用

2024年6月28日

本記事では，数学検定1級で頻出のトピックについてまとめていきます。

初学者の分かりやすさを優先するため，多少正確でない表現が混在することがあります。もし致命的な間違いがあればご指摘いただけると助かります。

ウォリスの公式とその活用

$0$ 以上の整数 $n$ に対し，

\begin{aligned} (1) & I_{n} & \equiv \int_{0}^{\frac{π}{2}} \sin^{n} x d x = \int_{0}^{\frac{π}{2}} \cos^{n} x d x \end{aligned}

とおくとき，

\begin{aligned} (2) & I_{n} & = {\begin{cases} \frac{n - 1}{n} \cdot \frac{n - 3}{n - 2} \dots \frac{1}{2} \cdot \frac{π}{2} & (n が 2 以上の偶数の場合) \\ \frac{n - 1}{n} \cdot \frac{n - 3}{n - 2} \dots \frac{3}{4} \cdot \frac{2}{3} & (n が 3 以上の奇数の場合) \end{cases} \end{aligned}

となる。

$\sin x$ と $\cos x$ の積や $n$ 乗を計算する際に重宝します。

部分積分を用いて漸化式を導出します。 $I_{n}$ を変形すると

\begin{aligned} (3) & I_{n} & = \int_{0}^{π / 2} (- \cos x) \sin^{n - 1} x d x \\ (4) & = {[- \cos x \sin^{n - 1} x]}_{0}^{π / 2} + (n - 1) \int_{0}^{π / 2} \sin^{n - 1} x \cos^{2} x d x \\ (5) & = (n - 1) \int_{0}^{π / 2} \sin^{n - 2} x (1 - \sin^{2} x) d x \\ (6) & = (n - 1) {\int_{0}^{π / 2} \sin^{n - 2} x d x - \int_{0}^{π / 2} \sin^{n} x d x} = (n - 2) (I_{n - 2} - I_{n}) \end{aligned}

となるため，

\begin{aligned} (7) & I_{n} & = \frac{n - 1}{n} I_{n - 2} \end{aligned}

が得られます。また，初項は

\begin{array}{r} (8) & I_{0} = \int_{0}^{π / 2} d x = \frac{π}{2}, I_{1} = \int_{0}^{π / 2} \sin x d x = 1 \end{array}

となるため，漸化式( $7$ )を計算することで式( $2$ )が得られます。

\begin{aligned} (9) & J & = \int_{0}^{a} x^{2} \sqrt{a^{2} - x^{2}} d x (a > 0) \end{aligned}

$0 \leq t < π$ に対し $x = a \sin t$ とおくと，

\begin{aligned} (10) & J & = \int_{0}^{π / 2} a^{2} \sin^{2} t \sqrt{a^{2} (1 - \sin^{2} t)} (a \cos t d t) \\ (11) & = a^{4} \int_{0}^{π / 2} \sin^{2} t \cos^{2} t d t = a^{4} \int_{0}^{π / 2} \sin^{2} t (1 - \sin^{2} t) d t \\ (12) & = a^{4} {\int_{0}^{π / 2} \sin^{2} t d t - \int_{0}^{π / 2} \sin^{4} t d t} \\ (13) & = a^{4} (I_{2} - I_{4}) = a^{4} I_{2} (1 - \frac{3}{4}) = \frac{a^{4}}{4} \cdot \frac{1}{2} \cdot \frac{π}{2} = \frac{π}{16} a^{4} \end{aligned}

が得られます。

ウォリスの公式同士の差は共通項で括り出すと計算が楽になります。

シェアはこちらからお願いします！