ここで行き詰まった? AI で解決しよう
Calculus · real student question

x = 0 から x = 1 まで、x について √(x − x⁴) を定積分せよ。

Question

次を求めよ。

I=∫01x−x4 dx.I=\int_{0}^{1}\sqrt{x-x^{4}}\,dx.

Step-by-step solution

  1. 根号の中を因数分解する。 x−x4=x(1−x3)x-x^{4}=x\left(1-x^{3}\right) と書くと、被積分関数は独立した 2 つのべきに分かれる:

    I=∫01x1/2(1−x3)1/2dx.I=\int_{0}^{1}x^{1/2}\left(1-x^{3}\right)^{1/2}dx.

    [0,1][0,1] 上ではどちらの因子も非負なので平方根は全域で実数であり、この積分は広義積分ではない。xp(1−xq)rx^{p}(1-x^{q})^{r} という形はベータ関数型の積分の目印である。

  2. ベータ関数の形に合わせて u=x3u=x^{3} と置換する。 すると x=u1/3x=u^{1/3}、du=3x2dxdu=3x^{2}dx より dx=13u−2/3dudx=\tfrac13u^{-2/3}du、そして x1/2=u1/6x^{1/2}=u^{1/6} となる。積分区間は 0→00\to0、1→11\to1 で変わらない:

    I=∫01u1/6(1−u)1/2⋅13u−2/3 du.I=\int_{0}^{1}u^{1/6}(1-u)^{1/2}\cdot\tfrac13u^{-2/3}\,du.

  3. uu のべきをまとめる。 指数を足すと

    16−23=16−46=−12,\frac16-\frac23=\frac16-\frac46=-\frac12,

    なので

    I=13∫01u−1/2(1−u)1/2 du.I=\frac13\int_{0}^{1}u^{-1/2}(1-u)^{1/2}\,du.

    これはまさにベータ積分 B(a,b)=∫01ua−1(1−u)b−1duB(a,b)=\int_{0}^{1}u^{a-1}(1-u)^{b-1}du で a−1=−12a-1=-\tfrac12、b−1=12b-1=\tfrac12、すなわち a=12a=\tfrac12、b=32b=\tfrac32 の場合である。

  4. ガンマ関数で値を求める。 B(a,b)=Γ(a)Γ(b)Γ(a+b)B(a,b)=\frac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)} と Γ ⁣(12)=π\Gamma\!\left(\tfrac12\right)=\sqrt{\pi}、Γ ⁣(32)=π2\Gamma\!\left(\tfrac32\right)=\tfrac{\sqrt{\pi}}{2}、Γ(2)=1\Gamma(2)=1 を使うと:

    I=13⋅π⋅π21=13⋅π2=π6.I=\frac13\cdot\frac{\sqrt{\pi}\cdot\frac{\sqrt{\pi}}{2}}{1}=\frac13\cdot\frac{\pi}{2}=\frac{\pi}{6}.

  5. 数値で確認する。 [0,1][0,1] を 200 万分割した複合シンプソン則は 0.523598780.52359878 を与え、π6=0.52359878\frac{\pi}{6}=0.52359878 と一致する ✓。一致の精度が少し制限されるのは両端で導関数が平方根型の特異性を持つためであり、ここでベータ関数を経由する道のほうが数値積分より優れているのはまさにその理由による。

Answer

∫01x−x4 dx=13B ⁣(12,32)=π6≈0.5235988\int_{0}^{1}\sqrt{x-x^{4}}\,dx=\frac13B\!\left(\tfrac12,\tfrac32\right)=\frac{\pi}{6}\approx 0.5235988

Need to solve a different problem like this? Open the solver →