and check this against the cases p=1, p=2, and p=21โ.
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 in (sinx,cosx). Because sec2xdx=d(tanx) also has degree โ2, the whole integral depends only on the ratio t=tanx. 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 cos2x, set t=tanx, then set u=tโ.
Difficulty: 2 / 5
Tags: trigonometric substitution, homogeneity, Weierstrass-free tan substitution, Beta function
Answer: The Integral That Only Cares About the Ratio
Key Idea / Intuition
Scale both sinx and cosx by the same factor ฮป. Then (sinxโ+cosxโ)4 scales by ฮป2, so the integrand has degree โ2. The measure cos2xdxโ=d(tanx) also has degree โ2. This means the integrand is really (aย functionย ofย tanx)โ d(tanx): only the ratiosinx/cosx matters.
Substituting t=tanx sends the quarter-circle [0,ฯ/2] to the half-line [0,โ). One more substitution, u=tโ, removes the square roots and leaves an elementary rational integral.
Formal Proof / Solution
Step 1: Factor out cos2x.
On (0,ฯ/2) we have sinx=cosxtanx. Therefore
(sinxโ+cosxโ)4=cos2x(1+tanxโ)4.
This gives
I=โซ0ฯ/2โ(1+tanxโ)41โโ cos2xdxโ.
Step 2: Substitute t=tanx.
We have dt=sec2xdx, and t runs from 0 to โ:
I=โซ0โโ(1+tโ)4dtโ.
The integrand decays like tโ2, so the integral converges.
This uses โซ0โโ(1+v)a+bvaโ1โdv=B(a,b) with a=b=p1โ.
Sanity checks:
| p | Integrand | p1โB(p1โ,p1โ) |
|---|---|---|
| 2 | sin2x+cos2x1โ=1, integral =ฯ/2 | 21โB(21โ,21โ)=21โโ ฯ=2ฯโ โ |
| 1 | (sinx+cosx)21โ, integral =โซ0โโ(1+t)2dtโ=1 | B(1,1)=1 โ |
| 21โ | our problem | 2B(2,2)=2โ 3!1!1!โ=31โ โ |
Takeaway: Suppose an integrand in (sinx,cosx) is homogeneous of degree โ2. Then dividing by cos2x and substituting t=tanx always turns the integral over [0,ฯ/2] into a one-variable integral over [0,โ). The geometry of the quarter-circle drops out, and only the slope remains.