ベータ関数と\(\frac{(\beta-\alpha)^3}{6}\)公式

天下りですが以下のような\(2\)変数関数\(B(p,~q)\)を定義します.

ベータ関数\[\displaystyle B(p,~q):=\int^1_0x^{p-1}(1-x)^{q-1}dx\]

(「\(:=\)」は「左辺を右辺で定義する」という意味です.)
この関数をベータ関数と呼びます.こいつを計算してみましょう.

直接的に求まりそうにないので,部分積分してみます(\(x^{p-1}\)を積分側,\((1-x)^{q-1}\)を微分側にしましょう).すると,

\[\displaystyle
\begin{align*}
&\int^1_0 x^{p-1}(1-x)^{q-1}dx\\
=&\biggl[\frac{x^p}{p}(1-x)^{q-1}\biggl]^1_0+\int^1_0\frac{x^p}{p}(q-1)(1-x)^{q-2}dx\\
=&\frac{q-1}{p}\int^1_0x^p(1-x)^{q-2}dx\\
=&\frac{q-1}{p}B(p+1,~q-1)
\end{align*}
\]
より,
\[B(p,~q)=\frac{q-1}{p}B(p+1,~q-1)\]という漸化式を得ます.この漸化式から,
\[
\begin{align*}
&B(p,~q)=\frac{q-1}{p}B(p+1,~q-1)\\
&B(p+1,~q-1)=\frac{q-2}{p+1}B(p+2,~q-2)\\
&B(p+2,~q-2)=\frac{q-3}{p+2}B(p+3,~q-3)\\
&B(p+3,~q-3)=\frac{q-4}{p+3}B(p+4,~q-4)\\
&\hspace{40mm}\vdots
\end{align*}
\]

が得られますが,例えば上の四つの式から,

\[B(p,~q)=\frac{q-1}{p}\frac{q-2}{p+1}\frac{q-3}{p+2}\frac{q-4}{p+3}B(p+4,~q-4)\]

が得られますので,この調子で続ければ\(B(\text{☆},\text{★})\)の\(\text{★}\)がどんどん小さくなり,うまく計算が出来そうです.

では,★はどこまで下げましょうか?\(B(\text{☆},\text{★})\)の定義をみると,★は1であると計算しやすいですね.なぜなら\((1-x)^{q-1}\)が\(0\)乗で1になってくれますから.

\(B(\text{☆},\text{★})\)の\(\text{★}\)が1になるまで下げてみます.

\[
\begin{align*}
&B(p,~q)=\frac{q-1}{p}B(p+1,~q-1)\\
&B(p+1,~q-1)=\frac{q-2}{p+1}B(p+2,~q-2)\\
&B(p+2,~q-2)=\frac{q-3}{p+2}B(p+3,~q-3)\\
&B(p+3,~q-3)=\frac{q-4}{p+3}B(p+4,~q-4)\\
&\hspace{40mm}\vdots\\
&B(p+(q-2),~q-(q-2))=\frac{q-(q-1)}{p+(q-2)}B(p+(q-1),~q-(q-1))
\end{align*}
\]
(4行目の\(\displaystyle B(p+3,~q-3)=\frac{q-4}{p+3}B(p+4,~q-4)\)の「\(4\)」を「\(q-1\)」に,「\(3\)」を「\(q-2\)」に置き換えるイメージ!)

したがって,

\[
\begin{align*}
B(p,~q)&=\frac{q-1}{p}\frac{q-2}{p+1}\frac{q-3}{p+2}\frac{q-4}{p+3}~\cdots~\frac{q-(q-1)}{p+(q-2)}B(p+(q-1),~q-(q-1)\\
&=\frac{q-1}{p}\frac{q-2}{p+1}\frac{q-3}{p+2}\frac{q-4}{p+3}~\cdots~\frac{1}{p+q-2}B(p+q-1,~1)\\
&=\frac{(p-1)!(q-1)!}{(p+q-2)!}B(p+q-1,~1)\\
&=\frac{(p-1)!(q-1)!}{(p+q-2)!}\int^1_0x^{p+q-2}(1-x)^0dx\\
&=\frac{(p-1)!(q-1)!}{(p+q-2)!}\int^1_0x^{p+q-2}dx\\
&=\frac{(p-1)!(q-1)!}{(p+q-2)!}\biggl[\frac{x^{p+q-1}}{p+q-1}\bigg]^1_0\\
&=\frac{(p-1)!(q-1)!}{(p+q-1)!}
\end{align*}
\]

できました.\(\displaystyle B(p,~q)=\frac{(p-1)!(q-1)!}{(p+q-1)!}\).定義より\(\displaystyle B(p,~q)=\int^1_0x^{p-1}(1-x)^{q-1}dx\)でしたから,結局,

\[\displaystyle \int^1_0x^{p-1}(1-x)^{q-1}dx=\frac{(p-1)!(q-1)!}{(p+q-1)!}\]

が得られたことになります.

さて次に,\(\displaystyle \int^1_0x^{p-1}(1-x)^{q-1}dx\)の積分区間\([0,~1]\)が,\([\alpha,~\beta]\)となるような置換を考えてみましょう.すなわち右のような置換です(新たな変数\(t\)としました).この場合,どのように置換すればよいでしょうか?\(t\)が\(\alpha\)のとき\(x\)が\(0\)ですから,さしあたり\[x=t-\alpha\]という置換が思い浮かびます.しかし,\(t=\beta\)のとき\(x\)は\(\beta-\alpha\)ではなく\(1\)であってほしい.であれば,\(t-\alpha\)を\(\beta-\alpha\)で割ればいいのでは?と考え,\[\displaystyle x=\frac{t-\alpha}{\beta-\alpha}\]という置換に気付きます.置換してみましょう.\(\displaystyle dx=\frac{1}{\beta-\alpha}dt\)ですから,

\[
\begin{align*}
\displaystyle \int^1_0x^{p-1}(1-x)^{q-1}dx&=\int^{\beta}_{\alpha}\left(\frac{t-\alpha}{\beta-\alpha}\right)^{p-1}\left(1-\frac{t-\alpha}{\beta-\alpha}\right)^{q-1}\frac{1}{\beta-\alpha}dt\\
&=\frac{1}{(\beta-\alpha)^{p+q-1}}\int^{\beta}_{\alpha}(t-\alpha)^{p-1}(\beta-t)^{q-1}dt
\end{align*}
\]

ゆえに,

\[\displaystyle \frac{1}{(\beta-\alpha)^{p+q-1}}\int^{\beta}_{\alpha}(x-\alpha)^{p-1}(\beta-x)^{q-1}dx=\frac{(p-1)!(q-1)!}{(p+q-1)!}\]

すなわち,

\[\displaystyle \int^{\beta}_{\alpha}(x-\alpha)^{p-1}(\beta-x)^{q-1}dx=\frac{(p-1)!(q-1)!}{(p+q-1)!}(\beta-\alpha)^{p+q-1}\]

が得られたことになります(ダミー変数を\(t\)から見慣れた\(x\)に変えました).

…で,結局何がいいたいの??というと…

この式の\((p,~q)\)に例えば\((2,~2),~(2,~3)\)と代入してみてください.前者は
\[\displaystyle \int^{\beta}_{\alpha}(x-\alpha)(\beta-x)dx=\frac{1}{6}(\beta-\alpha)^3\]

後者は
\[\displaystyle \int^{\beta}_{\alpha}(x-\alpha)(\beta-x)^2dx=\frac{1}{12}(\beta-\alpha)^4\]
となり,例の有名公式が得られます.つまり,数学Ⅱで学ぶ例の有名公式は,実はベータ関数の特殊な場合でもあった,ということがわかります.

このベータ関数は大学の微分積分学で学ぶかと思いますが,実は今回のこの記事の内容自体が大学入試問題として出題されたこともあります.実際,上の解説を見て分かるように導出には部分積分,漸化式,置換積分と高校数学範囲の知識しか使っていません.

ビュッフォンの針の問題

\(2h\)の間隔で無数の平行線が引いてある平面に,長さ\(2l\)の針を1本無作為に落とすとき,この針が平行線と交わる確率\(p\)を求めよ.ただし,\(l<h\)とする.

「ビュッフォンの針問題」と呼ばれる問題です.確率の問題なのに\(\pi\)が出てくるのでなんか不思議だよねーみたいな文脈で語られることが多いと思います.今回はこの確率を実際に求めてみます.

まず,「針が交わるか交わらないか」がどんな要素に依存するかを考えてみます.それは単純に,針がどこに落ちたか,そして,落ちた針がどんな角度で横たわっているか,という2つの要素であることは容易に予測できます.

ここで,前者「針がどこに落ちたか」について少し掘り下げて考えてみましょう.「どこに」というのはいわゆる位置情報ですから,縦・横という情報を含みます.「縦方向においてどの位置にいて・横方向においてどの位置にいるか」ということですね.しかし,この問題においては横方向においてどこにいるかによって針が交わるか交わらないかというその事実が変わることはありません.

したがって「針がどこに落ちたか」に関しては縦方向のみを考えればよいことになります.

「針がどこに落ちたか(縦方向)」と「落ちた針がどんな角度で横たわっているか」をそれぞれ文字で表すことにします.

まず,「針がどこに落ちたか(縦方向)」:針の中心から,最寄りの平行線までの距離を\(d\)とします.

今,「最寄りの」と定義したので,この\(d\)は\(0\leq d \leq h\)です.

次に「落ちた針がどんな角度で横たわっているか」:最寄りの平行線と針のなす角を\(\theta\)とおきます.\(0\leq \theta \leq \pi\)です.

以上の準備の下に,「針が平行線と交わる」ことを数式に翻訳しましょう.図を用いて考えてみます.

このようにみると,どうやら\[d\leq l\sin\theta\]のとき針が交わることが分かります.

次に確率を求めます.

ここで,前述したように「針が平行線と交わるか交わらないか」は(平行線との縦方向の)距離\(d\)と角度\(\theta\)に依存するのでした.この二つの要素が問題なのですから,以下のような横軸が\(\theta\),縦軸が\(d\)であるような座標系を考えます.


この座標系における点のひとつひとつが,落ちた針の状況を表しています.例えば\(\left(\frac{\pi}{4},~\frac{h}{8}\right)\)なら,「最寄りの平行線からの距離が\(\frac{h}{8}\)で,その直線とのなす角が\(\frac{\pi}{4}\)」,例えば\(\left(\frac{5}{6}\pi,~\frac{3}{4}h\right)\)なら,「最寄りの平行線からの距離が\(\frac{3}{4}h\)で,その直線とのなす角が\(\frac{5}{6}\pi\)」のように.


まず,針と平行線が交わるような点\((\theta,~d)\)たちを求めてみましょう.上で見たように「針と平行線が交わるような点\((\theta,~d)\)」とは,「\(d \leq l\sin\theta\)をみたす\((\theta,~d)\)」です.図示すると,下図の赤い点たちですね(イメージ).

です.この赤い部分の面積を求めると,

\[\displaystyle \int^{\pi}_0 l\sin\theta d\theta=l\Bigl[-\cos\theta\Bigl]^{\pi}_0=2l\quad\cdots(1)\]

となります.

他方,起こり得るすべての点\((\theta,~d)\)たちはどんな点たちでしょうか.今,\(\theta\)軸が\(0\leq \theta \leq \pi\),\(d\)軸が\(0\leq d \leq h\)ですから,起こり得るすべての点の集合は以下のような図になります(イメージ).

この部分の面積は\[h\times \pi=\pi h\quad\cdots(2)\]です.

以上より,題意の確率は,\((2)\)の面積を分母とし,\((1)\)の面積を分子として割合を作り,

\[\frac{\text{(1)の面積}}{\text{(2)の面積}}=\frac{2l}{\pi h}\]

となります.

以前,生徒に聞いたのですが,とあるクイズ番組で東大生がこの問題を問われた瞬間に結果を即答したそうです^^;結果を覚えていたのか,それとも・・・?

極限の有名問題

数学Ⅲ極限の有名問題の論理的側面について考えてみます.

次の等式が成り立つように,定数\(a,~b\)の値を求めよ.\[\lim_{x\rightarrow 1}\frac{a\sqrt{x}+b}{x-1}=2\]

(数研出版 数学Ⅲ「関数の極限」より抜粋)

\(x\rightarrow1\)とすると,左辺は\(\frac{a+b}{0}\)となり,もし\(a+b\neq 0\)とすると左辺は発散してしまいますが,この式は「左辺の極限は2に限りなく近づく(収束する)」ということを主張した式ですから矛盾してします.したがって,\(a+b=0\)であることが必要です(必要条件).そして\(b=-a\)を元の式に代入して極限計算すると・・・というおなじみの問題です.

ここでふとギモン.必要条件なのに教科書の解答では逆の考察をしていません.必要条件は逆の考察をしなければならないんじゃなかったの・・・??

これはどういうことか,論理式を用いて考察してみます.

【解答】
\begin{align*}
&\lim_{x\rightarrow 1}\frac{a\sqrt{x}+b}{x-1}=2\\
\Longleftrightarrow&\lim_{x\rightarrow 1}\frac{a\sqrt{x}+b}{x-1}=2 \land a+b=0 \quad\cdots(\ast)\\
\Longleftrightarrow&\lim_{x\rightarrow 1}\frac{a\sqrt{x}-a}{x-1}=2 \land b=-a\\
\Longleftrightarrow&\lim_{x\rightarrow 1}\frac{a(\sqrt{x}-1)}{(\sqrt{x}-1)(\sqrt{x}+1)}=2 \land b=-a\\
\Longleftrightarrow&\lim_{x\rightarrow 1}\frac{a}{\sqrt{x}+1}=2 \land b=-a\\
\Longleftrightarrow&\frac{a}{2}=2 \land b=-a\\
\Longleftrightarrow&a=4 \land b=-a\\
\Longleftrightarrow&a=4 \land b=-4\\
\end{align*}
【解答終】

模式的にかくと,\(P_1\Longrightarrow P_2\)のとき,\[P_1\Longleftrightarrow P_1\land P_2\]という同値関係が成り立つから(上の\((\ast)\))逆の考察をしなくてもいいのです.

\(a=4,~b=-4\)と答えるだけなら,上記の話は全く必要のない知識でしょう.これで正答ですし.しかし,他の記事でも書いたように,分野を超えて,それも教科書レベルの問題にすら論理の話題は潜んでいるということに注目すべきです.もっとも,数学は論理によって記述されるわけですから,当然と言えば当然ですが・・・.このような背景を理解しておくことは受験だけでなくその後の数学学習に大いに役立つと思います(例えば,数学系大学1年生を苦しめるかの悪名高き\(\epsilon\delta\)論法も,結局,高校のカリキュラムに述語論理が含まれていないがためだと個人的に思います).

ちなみに,このような\(\land,~\lor,~\Rightarrow,~\lnot\)(論理積,論理和,含意,否定)といった論理記号は,教科書では主に「ベン図」により理解したと思います.しかし正確には「真理値表」という表によって定義されます.上で言った「\(P_1\Longrightarrow P_2\)のとき,\(P_1\Longleftrightarrow P_1\land P_2\)が成り立つ」という事実も,真理値表により確かめられます.

© 2024 佐々木数学塾, All rights reserved.