🧮 Brain Teaser

The Integral That Builds Itself from Pieces

Evaluate the definite integral:

I=∫01ln⁡(1+x)1+x2 dxI = \int_0^1 \frac{\ln(1+x)}{1+x^2}\, dx

using a clean one-parameter family trick (differentiation under the integral sign), and express your answer in terms of familiar constants.

Feynman techniquedifferentiation under integral signpartial fractionslogarithmself-referential

Answer: Integral of ln(1+x)/(1+x²) via Feynman Self-Reference

Key Idea / Intuition

The integrand mixes ln⁡(1+x)\ln(1+x) with 1/(1+x2)1/(1+x^2) in a way that resists direct antidifferentiation. The Feynman trick introduces a parameter tt to "scale" the argument of the logarithm, turning the integral into a function of tt whose derivative is a rational integral you can evaluate exactly. The final answer combines π\pi and ln⁡2\ln 2 in a pleasing way — a hallmark of integrals sitting at the intersection of logarithmic and trigonometric worlds.


Formal Proof / Solution

Step 1: Introduce the parameter.

Define I(t)=∫01ln⁡(1+tx)1+x2 dx,t∈[0,1].I(t) = \int_0^1 \frac{\ln(1+tx)}{1+x^2}\,dx, \qquad t \in [0,1].

We want I(1)I(1), and clearly I(0)=0I(0) = 0.

Step 2: Differentiate under the integral sign.

I′(t)=∫01x(1+tx)(1+x2) dx.I'(t) = \int_0^1 \frac{x}{(1+tx)(1+x^2)}\,dx.

Step 3: Partial fractions.

Decompose: x(1+tx)(1+x2)=A1+tx+Bx+C1+x2.\frac{x}{(1+tx)(1+x^2)} = \frac{A}{1+tx} + \frac{Bx + C}{1+x^2}.

Multiply through by (1+tx)(1+x2)(1+tx)(1+x^2): x=A(1+x2)+(Bx+C)(1+tx).x = A(1+x^2) + (Bx+C)(1+tx).

Setting x=−1/tx = -1/t: −1/t=A(1+1/t2)\quad -1/t = A(1+1/t^2), so A=−t1+t2.A = \dfrac{-t}{1+t^2}.

Comparing x2x^2 terms: 0=A+Bt0 = A + Bt, so B=11+t2.B = \dfrac{1}{1+t^2}.

Comparing constant terms: 0=A+C0 = A + C, so C=t1+t2.C = \dfrac{t}{1+t^2}.

Thus: I′(t)=−t1+t2∫01dx1+tx+11+t2∫01x dx1+x2+t1+t2∫01dx1+x2.I'(t) = \frac{-t}{1+t^2}\int_0^1\frac{dx}{1+tx} + \frac{1}{1+t^2}\int_0^1\frac{x\,dx}{1+x^2} + \frac{t}{1+t^2}\int_0^1\frac{dx}{1+x^2}.

Step 4: Evaluate each sub-integral.

∫01dx1+tx=ln⁡(1+t)t,(t>0)\int_0^1 \frac{dx}{1+tx} = \frac{\ln(1+t)}{t}, \qquad (t>0)

∫01x dx1+x2=ln⁡22,\int_0^1 \frac{x\,dx}{1+x^2} = \frac{\ln 2}{2},

∫01dx1+x2=π4.\int_0^1 \frac{dx}{1+x^2} = \frac{\pi}{4}.

So: I′(t)=−t1+t2⋅ln⁡(1+t)t+11+t2⋅ln⁡22+t1+t2⋅π4.I'(t) = \frac{-t}{1+t^2}\cdot\frac{\ln(1+t)}{t} + \frac{1}{1+t^2}\cdot\frac{\ln 2}{2} + \frac{t}{1+t^2}\cdot\frac{\pi}{4}.

=−ln⁡(1+t)1+t2+ln⁡22(1+t2)+πt4(1+t2).= \frac{-\ln(1+t)}{1+t^2} + \frac{\ln 2}{2(1+t^2)} + \frac{\pi t}{4(1+t^2)}.

Step 5: Integrate from 0 to 1.

I(1)=∫01I′(t) dt=−I(1)+ln⁡22⋅π4+π4⋅ln⁡22.I(1) = \int_0^1 I'(t)\,dt = -I(1) + \frac{\ln 2}{2}\cdot\frac{\pi}{4} + \frac{\pi}{4}\cdot\frac{\ln 2}{2}.

Wait — let's be careful:

∫01−ln⁡(1+t)1+t2 dt=−I(1)(that’s exactly our original integral!)\int_0^1 \frac{-\ln(1+t)}{1+t^2}\,dt = -I(1) \quad \text{(that's exactly our original integral!)}

∫01ln⁡22(1+t2) dt=ln⁡22⋅π4=πln⁡28.\int_0^1 \frac{\ln 2}{2(1+t^2)}\,dt = \frac{\ln 2}{2}\cdot\frac{\pi}{4} = \frac{\pi \ln 2}{8}.

∫01πt4(1+t2) dt=π4⋅ln⁡22=πln⁡28.\int_0^1 \frac{\pi t}{4(1+t^2)}\,dt = \frac{\pi}{4}\cdot\frac{\ln 2}{2} = \frac{\pi \ln 2}{8}.

So: I(1)=−I(1)+πln⁡28+πln⁡28.I(1) = -I(1) + \frac{\pi\ln 2}{8} + \frac{\pi\ln 2}{8}.

2I(1)=πln⁡24.2I(1) = \frac{\pi \ln 2}{4}.

I=πln⁡28.\boxed{I = \dfrac{\pi \ln 2}{8}.}

Sanity check: The answer πln⁡2/8≈0.2722\pi \ln 2 / 8 \approx 0.2722 is in (0,1)(0,1), which matches the integrand being bounded above by ln⁡2≈0.693\ln 2 \approx 0.693 on [0,1][0,1].

Type: IntegrationEdit on GitHub ↗