問題は、ベータ関数 $B(p, q)$ が、$p \geq 1$, $q \geq 1$ である実数 $p, q$ に対して $B(p,q) = \int_{0}^{1} x^{p-1}(1-x)^{q-1} dx$ と定義され、正の整数 $m, n$ に対して $B(m,n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}$ が成り立つことを数学的帰納法で示す際に、$n=1$ のとき、なぜ $B(m, 1) = \int_{0}^{1} x^{m-1}(1-x)^{1-1} dx$ となるのか、そして $B(m, 1) = \frac{(m-1)!(1-1)!}{(m+1-1)!}$ ではないのか、という疑問です。

解析学ベータ関数積分数学的帰納法
2025/4/12
はい、承知いたしました。質問の内容を整理し、回答させていただきます。

1. 問題の内容

問題は、ベータ関数 B(p,q)B(p, q) が、p1p \geq 1, q1q \geq 1 である実数 p,qp, q に対して
B(p,q)=01xp1(1x)q1dxB(p,q) = \int_{0}^{1} x^{p-1}(1-x)^{q-1} dx
と定義され、正の整数 m,nm, n に対して
B(m,n)=(m1)!(n1)!(m+n1)!B(m,n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}
が成り立つことを数学的帰納法で示す際に、n=1n=1 のとき、なぜ B(m,1)=01xm1(1x)11dxB(m, 1) = \int_{0}^{1} x^{m-1}(1-x)^{1-1} dx となるのか、そして B(m,1)=(m1)!(11)!(m+11)!B(m, 1) = \frac{(m-1)!(1-1)!}{(m+1-1)!} ではないのか、という疑問です。

2. 解き方の手順

まず、n=1n=1 のとき、ベータ関数の定義式に代入してみます。
B(m,n)=01xm1(1x)n1dxB(m,n) = \int_{0}^{1} x^{m-1}(1-x)^{n-1} dx
ここで n=1n=1 を代入すると、
B(m,1)=01xm1(1x)11dx=01xm1(1x)0dxB(m,1) = \int_{0}^{1} x^{m-1}(1-x)^{1-1} dx = \int_{0}^{1} x^{m-1}(1-x)^{0} dx
(1x)0=1(1-x)^{0} = 1 であるため、
B(m,1)=01xm1dxB(m,1) = \int_{0}^{1} x^{m-1} dx
となります。
次に、積分を計算します。
01xm1dx=[xmm]01=1mm0mm=1m\int_{0}^{1} x^{m-1} dx = [\frac{x^{m}}{m}]_{0}^{1} = \frac{1^{m}}{m} - \frac{0^{m}}{m} = \frac{1}{m}
したがって、B(m,1)=1mB(m,1) = \frac{1}{m}
次に、式 B(m,n)=(m1)!(n1)!(m+n1)!B(m,n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}n=1n=1 を代入してみます。
B(m,1)=(m1)!(11)!(m+11)!=(m1)!0!m!B(m,1) = \frac{(m-1)!(1-1)!}{(m+1-1)!} = \frac{(m-1)!0!}{m!}
0!=10! = 1 であるので、
B(m,1)=(m1)!m!=(m1)!m(m1)!=1mB(m,1) = \frac{(m-1)!}{m!} = \frac{(m-1)!}{m(m-1)!} = \frac{1}{m}
以上のことから、B(m,1)=01xm1(1x)11dxB(m, 1) = \int_{0}^{1} x^{m-1}(1-x)^{1-1} dx となり、そして
B(m,1)=(m1)!(11)!(m+11)!B(m, 1) = \frac{(m-1)!(1-1)!}{(m+1-1)!} で計算することも可能です。
どちらの方法を用いても、B(m,1)=1mB(m,1) = \frac{1}{m} となります。

3. 最終的な答え

B(m,1)=1mB(m, 1) = \frac{1}{m}

「解析学」の関連問題

$\log_{\frac{1}{2}} 3$, $\log_{\frac{1}{4}} 5$, $\log_2 \frac{1}{4}$ の3つの値を小さい順に並べる問題です。

対数大小比較対数関数
2025/7/26

$\log_7 \frac{1}{25}$, $\log_7 1$, $0.1$ の値を小さい順に並べる問題です。

対数不等式大小比較
2025/7/26

2つの関数 $y = \log_{\frac{1}{2}} x$ と $y = \log_{\frac{1}{2}} \frac{1}{x}$ のグラフを選択肢から選ぶ問題です。

対数関数グラフ関数の性質底の変換
2025/7/26

与えられた10個の微分方程式を解く問題です。各方程式は $dx/dt = f(t)$ または $dx/dt = f(x)$ の形をしています。

微分方程式積分変数分離
2025/7/26

2つの関数 $y = \log_{\frac{1}{2}}x$ と $y = \log_{\frac{1}{3}}x$ のグラフを選ぶ問題です。

対数関数グラフ関数の性質減少関数
2025/7/26

関数 $y = \log_2 \sqrt{x}$ の $1/4 \le x \le 4$ における値域を求める問題です。

対数関数値域単調増加関数
2025/7/26

関数 $y = \log_{\frac{1}{3}}x$ について、$\frac{1}{81} < x \le 9$ の範囲における $y$ の値域を求める問題です。

対数関数値域単調減少
2025/7/26

与えられた10個の微分方程式をそれぞれ解く問題です。

微分方程式変数分離法積分
2025/7/26

$\frac{x}{x^2 - x + 1}$ の積分を計算します。

積分有理関数置換積分平方完成arctan
2025/7/26

以下の6つの不定積分を計算します。 (1) $\int \frac{1}{x\sqrt{1-x}} dx$ (2) $\int \sqrt{\frac{x-1}{x+1}} dx$ (3) $\int...

不定積分置換積分部分分数分解三角関数の積分
2025/7/26