🧮 Brain Teaser

The Integral That Builds Itself from Pieces

Evaluate the definite integral:

I=01ln(1+x)1+x2dxI = \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 ln2\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+x2dx,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+t201dx1+tx+11+t201xdx1+x2+t1+t201dx1+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)

01xdx1+x2=ln22,\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+t2ln(1+t)t+11+t2ln22+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+ln22(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)+ln22π4+π4ln22.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:

01ln(1+t)1+t2dt=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!)}

01ln22(1+t2)dt=ln22π4=πln28.\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=π4ln22=πln28.\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)+πln28+πln28.I(1) = -I(1) + \frac{\pi\ln 2}{8} + \frac{\pi\ln 2}{8}.

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

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

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

Type: IntegrationEdit on GitHub ↗