Answer: The King's Integral
Key Idea / Intuition
The integrand doesn't simplify easily by substitution or antiderivatives. The trick is to pair the integral with its "mirror image" obtained by the substitution x↦2π−x, which swaps sin and cos. When you add the original integral to its mirror, the integrand becomes exactly 1, so the sum is trivial to compute.
Formal Proof / Solution
Step 1: Define the mirror integral.
Let
I=∫0π/2sinx+cosxsinxdx.
Apply the substitution x↦2π−x. Since sin(2π−x)=cosx and cos(2π−x)=sinx, and the limits stay 0→π/2:
I=∫0π/2cosx+sinxcosxdx.
Step 2: Add the two expressions.
2I=∫0π/2sinx+cosxsinxdx+∫0π/2cosx+sinxcosxdx=∫0π/2sinx+cosxsinx+cosxdx=∫0π/21dx=2π.
Step 3: Conclude.
I=4π.
Why this is beautiful: The integrand looks asymmetric and resistant to elementary antidifferentiation, yet the answer π/4 is perfectly clean. The "King's rule" (pairing with the complement substitution x↦a+b−x on [a,b]) is a universal trick that transforms a hard-looking rational-trigonometric integrand into 1.