๐Ÿงฎ Brain Teaser

The Beta-Flavored Integral

Evaluate the definite integral

I=โˆซ01x3(1โˆ’x)4โ€‰dx.I = \int_0^1 x^3 (1-x)^4 \, dx.

Then use your answer to find a closed form for

J=โˆซ01x3(1โˆ’x)4(1+10x)โ€‰dx.J = \int_0^1 x^3 (1-x)^4 (1 + 10x) \, dx.

Beta functionFeynman decompositioncombinatorial identitydefinite integral

Answer: The Beta-Flavored Integral

Key Idea / Intuition

The Beta function B(a,b)=โˆซ01xaโˆ’1(1โˆ’x)bโˆ’1โ€‰dx=(aโˆ’1)!(bโˆ’1)!(a+bโˆ’1)!B(a,b) = \int_0^1 x^{a-1}(1-x)^{b-1}\,dx = \frac{(a-1)!(b-1)!}{(a+b-1)!} (for positive integers) turns both integrals into pure combinatorics. The second integral looks harder, but writing 1+10x=11x+(1โˆ’x)1+10x = 11x + (1-x) is a magical decomposition that instantly reduces JJ to a linear combination of two Beta values โ€” no expansion needed.


Formal Proof / Solution

Step 1: Recall the Beta function formula

For positive integers m,nm, n:

B(m,n)=โˆซ01xmโˆ’1(1โˆ’x)nโˆ’1โ€‰dx=(mโˆ’1)!โ€‰(nโˆ’1)!(m+nโˆ’1)!.B(m,n) = \int_0^1 x^{m-1}(1-x)^{n-1}\,dx = \frac{(m-1)!\,(n-1)!}{(m+n-1)!}.

Step 2: Compute II

I=โˆซ01x3(1โˆ’x)4โ€‰dx=B(4,5)=3!โ‹…4!8!=6โ‹…2440320=14440320=1280.I = \int_0^1 x^3(1-x)^4\,dx = B(4,5) = \frac{3!\cdot 4!}{8!} = \frac{6 \cdot 24}{40320} = \frac{144}{40320} = \frac{1}{280}.

Step 3: The trick for JJ

Write the factor 1+10x1+10x as:

1+10x=11x+(1โˆ’x).1 + 10x = 11x + (1-x).

This is the key move โ€” it splits into terms where one power of xx shifts up and the other power of (1โˆ’x)(1-x) shifts up:

J=โˆซ01x3(1โˆ’x)4[11x+(1โˆ’x)]โ€‰dx=11โˆซ01x4(1โˆ’x)4โ€‰dx+โˆซ01x3(1โˆ’x)5โ€‰dx.J = \int_0^1 x^3(1-x)^4\bigl[11x + (1-x)\bigr]\,dx = 11\int_0^1 x^4(1-x)^4\,dx + \int_0^1 x^3(1-x)^5\,dx.

Step 4: Evaluate each piece

โˆซ01x4(1โˆ’x)4โ€‰dx=B(5,5)=4!โ‹…4!9!=576362880=1630.\int_0^1 x^4(1-x)^4\,dx = B(5,5) = \frac{4!\cdot 4!}{9!} = \frac{576}{362880} = \frac{1}{630}.

โˆซ01x3(1โˆ’x)5โ€‰dx=B(4,6)=3!โ‹…5!9!=720362880=1504.\int_0^1 x^3(1-x)^5\,dx = B(4,6) = \frac{3!\cdot 5!}{9!} = \frac{720}{362880} = \frac{1}{504}.

Step 5: Combine

J=11630+1504.J = \frac{11}{630} + \frac{1}{504}.

Find a common denominator. lcm(630,504)=2520\text{lcm}(630, 504) = 2520:

J=442520+52520=492520=7360.J = \frac{44}{2520} + \frac{5}{2520} = \frac{49}{2520} = \frac{7}{360}.

Summary

I=1280,J=7360.\boxed{I = \frac{1}{280}, \qquad J = \frac{7}{360}.}

The beauty is that 1+10x=11x+(1โˆ’x)1+10x = 11x+(1-x) avoids any polynomial expansion, keeping the computation a one-line Beta reduction.

Type: IntegrationEdit on GitHub โ†—