Answer: The Integral That Knows About Primes
Key Idea / Intuition
This integral is secretly connected to the famous approximation ฯโ22/7. The fraction 22/7โฯ is a positive number, and this integral is exactly that difference! The key is to perform polynomial long division on the integrand, which splits it into a polynomial part plus a simple remainder involving 1/(1+x2), whose integral gives arctan.
Formal Proof / Solution
Step 1: Polynomial long division.
First expand x4(1โx)4:
x4(1โx)4=x4(1โ4x+6x2โ4x3+x4)=x4โ4x5+6x6โ4x7+x8
Now divide by 1+x2. We want to write:
1+x2x8โ4x7+6x6โ4x5+x4โ=Q(x)+1+x2R(x)โ
Performing long division step by step (repeatedly subtracting (1+x2)โ
(leadingย term)):
x8โ4x7+6x6โ4x5+x4=(1+x2)โ
Q(x)+R
Let's carry it out:
- x8รท(1+x2): leading term x6, so subtract x6(1+x2)=x6+x8. Remainder: โ4x7+5x6โ4x5+x4
- โ4x7รท(1+x2): leading term โ4x5, subtract โ4x5(1+x2)=โ4x5โ4x7. Remainder: 5x6โ4x5+x4+4x7โ4x7โ5x6+0โ
x5โ4x5+x4...
Let me be systematic. Writing:
1+x2x4(1โx)4โ=x6โ4x5+5x4โ4x2+4โ1+x24โ
Verification of this identity (multiply both sides by 1+x2):
(x6โ4x5+5x4โ4x2+4)(1+x2)โ4
=x6+x8โ4x5โ4x7+5x4+5x6โ4x2โ4x4+4+4x2โ4
=x8โ4x7+(1+5)x6โ4x5+(5โ4)x4+(โ4+4)x2+(4โ4)
=x8โ4x7+6x6โ4x5+x4โ
Step 2: Integrate term by term.
I=โซ01โ(x6โ4x5+5x4โ4x2+4โ1+x24โ)dx
=[7x7โโ64x6โ+55x5โโ34x3โ+4xโ4arctanx]01โ
=71โโ32โ+1โ34โ+4โ4โ
4ฯโ
=71โโ32โ+1โ34โ+4โฯ
Combining the rational terms:
71โ+(โ32โโ34โ)+(1+4)=71โโ2+5=71โ+3=722โ
Therefore:
I=722โโฯโ
Step 3: Appreciate what this means.
Since 0โคxโค1 and 1+x2>0, the integrand is strictly positive on (0,1). Therefore:
722โโฯ=I>0โนฯ<722โ
This integral gives a clean, calculus-based proof that 22/7 overestimates ฯ, and the value of the integral (โ0.00126) tells us exactly how bad the approximation is.
Written to: questions/2026-09-21_am.md | questions/2026-09-21_am_answer.md