๐Ÿงฎ Brain Teaser

The Integral of tanโกx3\sqrt[3]{\tan x}... Wait, Let's Do โˆซ01lnโก(1+x)1+x2โ€‰dx\int_0^1 \frac{\ln(1+x)}{1+x^2}\,dx

Evaluate

I=โˆซ01lnโก(1+x)1+x2โ€‰dx.I = \int_0^1 \frac{\ln(1+x)}{1+x^2}\,dx.

Feynman differentiationparameter integralpartial fractionsarctanln2 and pi

Answer: Integral of ln(1+x)/(1+xยฒ) via Feynman

Key Idea / Intuition

This integral looks intimidating โ€” you have a logarithm sitting over a rational function with no obvious antiderivative. The magic move is to introduce a parameter aa into the log and differentiate under the integral sign (Feynman's trick). Choosing aa cleverly turns a hard integral into a tractable one involving arctanโก\arctan, and the answer comes out to a beautiful combination of ฯ€\pi and lnโก2\ln 2.


Formal Proof / Solution

Step 1: Introduce a parameter.

Define

I(a)=โˆซ01lnโก(1+ax)1+x2โ€‰dx,aโˆˆ[0,1].I(a) = \int_0^1 \frac{\ln(1+ax)}{1+x^2}\,dx, \quad a \in [0,1].

We want I(1)I(1). Note I(0)=0I(0) = 0.

Step 2: Differentiate under the integral sign.

Iโ€ฒ(a)=โˆซ01x(1+ax)(1+x2)โ€‰dx.I'(a) = \int_0^1 \frac{x}{(1+ax)(1+x^2)}\,dx.

Step 3: Partial fractions.

Decompose x(1+ax)(1+x2)\dfrac{x}{(1+ax)(1+x^2)}. Write

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

Multiplying out and matching coefficients:

  • From 1+ax=01+ax = 0 (i.e., x=โˆ’1/ax = -1/a): numerator =โˆ’1/a= -1/a, denominator factor 1+1/a21 + 1/a^2, so A=โˆ’1/a1+1/a2=โˆ’a1+a2A = \dfrac{-1/a}{1+1/a^2} = \dfrac{-a}{1+a^2}.

  • Matching leading coefficient of x2x^2: Aa2+Bโ‹…aโ‹…1=0Aa^2 + B \cdot a \cdot 1 = 0 isn't the cleanest route. Let's match directly.

x=A(1+x2)+(Bx+C)(1+ax).x = A(1+x^2) + (Bx+C)(1+ax).

Set x=0x=0: 0=A+C0 = A + C, so C=โˆ’A=a1+a2C = -A = \dfrac{a}{1+a^2}.

Set x=1x=1: 1=2A+(B+C)(1+a)1 = 2A + (B+C)(1+a).

Set x=โˆ’1x=-1: โˆ’1=2A+(โˆ’B+C)(1โˆ’a)-1 = 2A + (-B+C)(1-a).

Adding both equations: 0=4A+2C(1โˆ’a2)/(?)0 = 4A + 2C(1-a^2)/(?)... let's just match coefficients of x2x^2: coefficient of x2x^2 on the right is A+BaA + Ba, on the left is 00, so B=โˆ’A/a=11+a2B = -A/a = \dfrac{1}{1+a^2}.

Thus:

x(1+ax)(1+x2)=โˆ’a1+a2โ‹…11+ax+11+a2โ‹…x1+x2+a1+a2โ‹…11+x2.\frac{x}{(1+ax)(1+x^2)} = \frac{-a}{1+a^2}\cdot\frac{1}{1+ax} + \frac{1}{1+a^2}\cdot\frac{x}{1+x^2} + \frac{a}{1+a^2}\cdot\frac{1}{1+x^2}.

Step 4: Integrate each piece from 0 to 1.

Iโ€ฒ(a)=11+a2[โˆ’aโ‹…lnโก(1+ax)aโˆฃ01+lnโก(1+x2)2โˆฃ01+aarctanโก(x)โˆฃ01]I'(a) = \frac{1}{1+a^2}\left[-a\cdot\frac{\ln(1+ax)}{a}\Bigg|_0^1 + \frac{\ln(1+x^2)}{2}\Bigg|_0^1 + a\arctan(x)\Bigg|_0^1\right]

=11+a2[โˆ’lnโก(1+a)+lnโก22+ฯ€a4].= \frac{1}{1+a^2}\left[-\ln(1+a) + \frac{\ln 2}{2} + \frac{\pi a}{4}\right].

Step 5: Integrate Iโ€ฒ(a)I'(a) from 0 to 1.

I(1)=โˆซ01โˆ’lnโก(1+a)+lnโก22+ฯ€a41+a2โ€‰da.I(1) = \int_0^1 \frac{-\ln(1+a) + \frac{\ln 2}{2} + \frac{\pi a}{4}}{1+a^2}\,da.

Split into three pieces:

I(1)=โˆ’I(1)+lnโก22โ‹…ฯ€4+ฯ€4โ‹…lnโก22,I(1) = -I(1) + \frac{\ln 2}{2}\cdot\frac{\pi}{4} + \frac{\pi}{4}\cdot\frac{\ln 2}{2},

where we used โˆซ01da1+a2=ฯ€4\int_0^1 \dfrac{da}{1+a^2} = \dfrac{\pi}{4}, โˆซ01a1+a2โ€‰da=lnโก22\int_0^1 \dfrac{a}{1+a^2}\,da = \dfrac{\ln 2}{2}, and โˆซ01lnโก(1+a)1+a2โ€‰da=I(1)\int_0^1 \dfrac{\ln(1+a)}{1+a^2}\,da = I(1).

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 = \frac{\pi \ln 2}{8}.}


Why it's beautiful: The answer ฯ€lnโก28\dfrac{\pi \ln 2}{8} is a perfect marriage of the two great constants of calculus. The self-referential step โ€” where I(1)I(1) appears on both sides โ€” is the satisfying click of the whole argument.

Type: IntegrationEdit on GitHub โ†—