๐Ÿงฎ Brain Teaser

The Integral That Only Cares About the Ratio

Evaluate

Iโ€…โ€Š=โ€…โ€Šโˆซ0ฯ€/2dx(sinโกx+cosโกx)4.I \;=\; \int_0^{\pi/2} \frac{dx}{\left(\sqrt{\sin x}+\sqrt{\cos x}\right)^4}.

Hint: Count the "degree" of the integrand in (sinโกx,cosโกx)(\sin x,\cos x).

Bonus. For p>0p>0, show that

โˆซ0ฯ€/2dx(sinโกpx+cosโกpx)2/pโ€…โ€Š=โ€…โ€Š1pโ€‰Bโ€‰โฃ(1p,1p),\int_0^{\pi/2} \frac{dx}{\left(\sin^p x+\cos^p x\right)^{2/p}} \;=\; \frac{1}{p}\,B\!\left(\tfrac1p,\tfrac1p\right),

and check this against the cases p=1p=1, p=2p=2, and p=12p=\tfrac12.


Field: Integration (integration bee)

Why it's interesting: The integrand looks unpleasant: square roots of trig functions raised to the fourth power. But it has a hidden structure. It is homogeneous of degree โˆ’2-2 in (sinโกx,cosโกx)(\sin x,\cos x). Because secโก2xโ€‰dx=d(tanโกx)\sec^2 x\,dx = d(\tan x) also has degree โˆ’2-2, the whole integral depends only on the ratio t=tanโกxt=\tan x. The square roots then disappear after a single substitution, and the integral reduces to a rational function.

Key technique: Use a homogeneity / ratio substitution. Divide by cosโก2x\cos^2 x, set t=tanโกxt=\tan x, then set u=tu=\sqrt t.

Difficulty: 2 / 5

Tags: trigonometric substitution, homogeneity, Weierstrass-free tan substitution, Beta function

homogeneitytan substitutiontrigonometric integralBeta functionintegration bee

Answer: The Integral That Only Cares About the Ratio

Key Idea / Intuition

Scale both sinโกx\sin x and cosโกx\cos x by the same factor ฮป\lambda. Then (sinโกx+cosโกx)4(\sqrt{\sin x}+\sqrt{\cos x})^4 scales by ฮป2\lambda^2, so the integrand has degree โˆ’2-2. The measure dxcosโก2x=d(tanโกx)\frac{dx}{\cos^2 x}=d(\tan x) also has degree โˆ’2-2. This means the integrand is really (aย functionย ofย tanโกx)โ‹…d(tanโกx)(\text{a function of } \tan x)\cdot d(\tan x): only the ratio sinโกx/cosโกx\sin x/\cos x matters.

Substituting t=tanโกxt=\tan x sends the quarter-circle [0,ฯ€/2][0,\pi/2] to the half-line [0,โˆž)[0,\infty). One more substitution, u=tu=\sqrt t, removes the square roots and leaves an elementary rational integral.


Formal Proof / Solution

Step 1: Factor out cosโก2x\cos^2 x.

On (0,ฯ€/2)(0,\pi/2) we have sinโกx=cosโกxtanโกx\sin x=\cos x\tan x. Therefore

(sinโกx+cosโกx)4=cosโก2xโ€‰(1+tanโกx)4.\left(\sqrt{\sin x}+\sqrt{\cos x}\right)^4=\cos^2 x\,\left(1+\sqrt{\tan x}\right)^4 .

This gives

I=โˆซ0ฯ€/21(1+tanโกx)4โ‹…dxcosโก2x.I=\int_0^{\pi/2}\frac{1}{(1+\sqrt{\tan x})^4}\cdot\frac{dx}{\cos^2 x}.

Step 2: Substitute t=tanโกxt=\tan x.

We have dt=secโก2xโ€‰dxdt=\sec^2x\,dx, and tt runs from 00 to โˆž\infty:

I=โˆซ0โˆždt(1+t)4.I=\int_0^{\infty}\frac{dt}{(1+\sqrt t)^4}.

The integrand decays like tโˆ’2t^{-2}, so the integral converges.

Step 3: Substitute u=tu=\sqrt t.

With t=u2t=u^2 and dt=2uโ€‰dudt=2u\,du:

I=โˆซ0โˆž2uโ€‰du(1+u)4.I=\int_0^\infty\frac{2u\,du}{(1+u)^4}.

Step 4: Evaluate.

Write u=(1+u)โˆ’1u=(1+u)-1:

I=2โˆซ0โˆž[1(1+u)3โˆ’1(1+u)4]du=2(12โˆ’13)=13.I=2\int_0^\infty\left[\frac{1}{(1+u)^3}-\frac{1}{(1+u)^4}\right]du =2\left(\frac12-\frac13\right)=\frac13 . I=13\boxed{I=\tfrac13}

Bonus: the general family

The same argument works because (sinโกpx+cosโกpx)2/p=cosโก2xโ€‰(1+tanโกpx)2/p(\sin^p x+\cos^p x)^{2/p}=\cos^2x\,(1+\tan^p x)^{2/p}. So

Jp:=โˆซ0ฯ€/2dx(sinโกpx+cosโกpx)2/p=โˆซ0โˆždt(1+tp)2/p.J_p:=\int_0^{\pi/2}\frac{dx}{(\sin^p x+\cos^p x)^{2/p}}=\int_0^\infty\frac{dt}{(1+t^p)^{2/p}}.

Now substitute v=tpv=t^p, so that dt=1pv1/pโˆ’1โ€‰dvdt=\frac1p v^{1/p-1}\,dv:

Jp=1pโˆซ0โˆžv1/pโˆ’1(1+v)2/pโ€‰dv=1pโ€‰Bโ€‰โฃ(1p,1p).J_p=\frac1p\int_0^\infty\frac{v^{1/p-1}}{(1+v)^{2/p}}\,dv=\frac1p\,B\!\left(\tfrac1p,\tfrac1p\right).

This uses โˆซ0โˆžvaโˆ’1(1+v)a+bdv=B(a,b)\int_0^\infty \frac{v^{a-1}}{(1+v)^{a+b}}dv=B(a,b) with a=b=1pa=b=\frac1p.

Sanity checks:

| pp | Integrand | 1pB(1p,1p)\frac1p B(\frac1p,\frac1p) | |---|---|---| | 22 | 1sinโก2x+cosโก2x=1\dfrac{1}{\sin^2x+\cos^2x}=1, integral =ฯ€/2=\pi/2 | 12B(12,12)=12โ‹…ฯ€=ฯ€2\tfrac12 B(\tfrac12,\tfrac12)=\tfrac12\cdot\pi=\tfrac{\pi}{2} โœ“ | | 11 | 1(sinโกx+cosโกx)2\dfrac{1}{(\sin x+\cos x)^2}, integral =โˆซ0โˆždt(1+t)2=1=\int_0^\infty\frac{dt}{(1+t)^2}=1 | B(1,1)=1B(1,1)=1 โœ“ | | 12\tfrac12 | our problem | 2B(2,2)=2โ‹…1!โ€‰1!3!=132B(2,2)=2\cdot\frac{1!\,1!}{3!}=\tfrac13 โœ“ |

Takeaway: Suppose an integrand in (sinโกx,cosโกx)(\sin x,\cos x) is homogeneous of degree โˆ’2-2. Then dividing by cosโก2x\cos^2 x and substituting t=tanโกxt=\tan x always turns the integral over [0,ฯ€/2][0,\pi/2] into a one-variable integral over [0,โˆž)[0,\infty). The geometry of the quarter-circle drops out, and only the slope remains.

Type: IntegrationEdit on GitHub โ†—