ベータ関数の三角関数表示
定理
$$ B(p,q) = 2 \int_{0}^{{\pi} \over {2}} \left( \sin \theta \right) ^{2p-1} \left( \cos \theta \right) ^{2q-1} d \theta $$
説明
それがどんな種類の数学でも、ある関数を別の方法で表現できることは良いことだ。
証明
$\displaystyle B(p,q) = \int_{0}^{1} t^{p-1} (1-t)^{q-1} dt$から$t = \sin^2 \theta$に置き換えると、 $$ B(p,q) = \int_{0}^{{\pi} \over {2}} \left( \sin^2 \theta \right)^{p-1} \left( 1 - \sin^2 \theta \right) ^{q-1} 2 \sin \theta \cos \theta d \theta $$ $1 - \sin^2 \theta = \cos ^2 \theta$ であるから、 $$ B(p,q) = 2 \int_{0}^{{\pi} \over {2}} \left( \sin \theta \right)^{2p-1} \left( \cos \theta \right) ^{2q-1} d \theta $$
■
系
特に$\sin \theta = t$にもう一度置き換えると、ルジャンドルの重複公式を導くための補題を得る。 $$ B(p,q) = 2 \int_{0}^{1} t^{2p-1} \left( 1 - t^2 \right)^{q-1} dt $$