Answer: The Sinc Integral
Key Idea / Intuition
The function sinx/x has no elementary antiderivative, so direct integration is hopeless. The key trick is to introduce a parameter under the integral sign (Feynman's differentiation trick / Laplace transform): replace the integral by I(s)=โซ0โโeโsxxsinxโdx, differentiate with respect to s to kill the x in the denominator, evaluate the resulting elementary integral, then integrate back and recover I(0).
Formal Proof / Solution
Step 1: Introduce a parameter.
Define
I(s)=โซ0โโeโsxxsinxโdx,s>0.
Note I(0) is the desired integral.
Step 2: Differentiate under the integral sign.
Iโฒ(s)=โโซ0โโeโsxsinxdx.
This is a standard Laplace transform:
โซ0โโeโsxsinxdx=s2+11โ.
(Quick derivation: integrate by parts twice, or use sinx=Im(eix) to get Im(sโi1โ)=s2+11โ.)
So:
Iโฒ(s)=โs2+11โ.
Step 3: Integrate back.
I(s)=โarctan(s)+C.
Step 4: Determine the constant.
As sโโ, eโsxโ0 pointwise and โฃsinx/xโฃโค1, so by DCT, I(s)โ0. Thus:
0=โ2ฯโ+CโนC=2ฯโ.
Step 5: Evaluate at s=0.
I(0)=โarctan(0)+2ฯโ=2ฯโ.
โซ0โโxsinxโdx=2ฯโโ
Why this is beautiful: The integrand sinx/x is perfectly smooth and bounded, yet resists elementary methods entirely. The parameter trick transforms an impossible integral into a trivial ODE, recovering a clean ฯ/2 from essentially no information โ a hallmark of Feynman's method at its best.
Written to: questions/2026-06-17_pm.md | Answer: answers/2026-06-17_pm.md