🧮 Brain Teaser

The Integral That Knows Its Own Symmetry

Evaluate the definite integral

I=∫0π/2sin⁡3xsin⁡3x+cos⁡3x dx.I = \int_0^{\pi/2} \frac{\sin^3 x}{\sin^3 x + \cos^3 x}\, dx.

symmetrycomplementary substitutionking's propertytrigonometric integral

Answer: Integral of sin³x/(sin³x+cos³x)

Key Idea / Intuition

The trick is to pair the integrand with its "complement" obtained by the substitution x↦π/2−xx \mapsto \pi/2 - x. This swap exchanges sin⁡x↔cos⁡x\sin x \leftrightarrow \cos x, so the integrand flips to its own "missing piece." Adding the two versions gives the constant function 11, and therefore the integral over [0,π/2][0,\pi/2] must be exactly half the length of the interval — no calculation needed.


Formal Proof / Solution

Step 1: Apply the complementary substitution.

Let x↦π2−xx \mapsto \frac{\pi}{2} - x. Since dx↦−dxdx \mapsto -dx and the limits swap back, we get

I=∫0π/2sin⁡3 ⁣(π2−x)sin⁡3 ⁣(π2−x)+cos⁡3 ⁣(π2−x) dx=∫0π/2cos⁡3xcos⁡3x+sin⁡3x dx.I = \int_0^{\pi/2} \frac{\sin^3\!\left(\frac{\pi}{2}-x\right)}{\sin^3\!\left(\frac{\pi}{2}-x\right)+\cos^3\!\left(\frac{\pi}{2}-x\right)}\,dx = \int_0^{\pi/2} \frac{\cos^3 x}{\cos^3 x + \sin^3 x}\,dx.

Call this I′I'. Note I′=II' = I is not needed; we just add the two expressions.

Step 2: Add II and I′I'.

I+I′=∫0π/2(sin⁡3xsin⁡3x+cos⁡3x+cos⁡3xcos⁡3x+sin⁡3x)dx=∫0π/21 dx=π2.I + I' = \int_0^{\pi/2} \left(\frac{\sin^3 x}{\sin^3 x + \cos^3 x} + \frac{\cos^3 x}{\cos^3 x + \sin^3 x}\right)dx = \int_0^{\pi/2} 1\, dx = \frac{\pi}{2}.

Step 3: Conclude.

Since both expressions equal II (the substitution produced the same integral), we have 2I=π22I = \dfrac{\pi}{2}, so

I=π4.\boxed{I = \frac{\pi}{4}.}

Why this is elegant: The integrand f(x)=sin⁡3xsin⁡3x+cos⁡3xf(x) = \dfrac{\sin^3 x}{\sin^3 x + \cos^3 x} satisfies f(x)+f ⁣(π2−x)=1f(x) + f\!\left(\tfrac{\pi}{2}-x\right) = 1 for every xx. Any integrand with this "complementary symmetry" on [0,π/2][0,\pi/2] integrates to exactly π/4\pi/4, regardless of the exponent. Indeed the same trick works for sin⁡nxsin⁡nx+cos⁡nx\dfrac{\sin^n x}{\sin^n x + \cos^n x} for any n>0n > 0.

Type: IntegrationEdit on GitHub ↗