まず、置換積分を行います。x=2t とおくと、dx=2dt となり、積分範囲は x=0 のとき t=0, x=2 のとき t=1 となります。従って、積分は以下のようになります。 ∫022−xx3dx=∫012−2t(2t)32dt=∫012(1−t)8t32dt=216∫011−tt3dt=82∫01t3(1−t)−1/2dt ここで、ベータ関数の定義を思い出します。
B(m,n)=∫01tm−1(1−t)n−1dt したがって、今回の積分はベータ関数を用いて表すことができます。
∫01t3(1−t)−1/2dt=B(4,21) 次に、ベータ関数をガンマ関数で表す公式を使います。
B(m,n)=Γ(m+n)Γ(m)Γ(n) この公式を使うと、
B(4,21)=Γ(4+21)Γ(4)Γ(21)=Γ(29)Γ(4)Γ(21) ガンマ関数の性質 Γ(n)=(n−1)! および Γ(x+1)=xΓ(x) を使うと、 Γ(4)=(4−1)!=3!=6 Γ(21)=π Γ(29)=27Γ(27)=27⋅25Γ(25)=27⋅25⋅23Γ(23)=27⋅25⋅23⋅21Γ(21)=16105π したがって、
B(4,21)=16105π6π=161056=1056⋅16=10596=3532 元の積分は、
82∫01t3(1−t)−1/2dt=82⋅3532=352562