Sine Power Reduction
How do you integrate something like sin2x? If you try the ordinary power rule you get stuck — there is no simple antiderivative you can just write down for a squared trig function. Power reduction is the standard fix: rewrite an even power of sinx as a constant plus a cosine of a larger angle, turning an un-integrable lump into terms you already know how to handle.
The Core Idea
Start from the double-angle identity for cosine:
cos2x=1−2sin2x
Solve this for sin2x:
sin2x=21−cos2x
(Companion form: cos2x=21+cos2x.)
Notice what happened: the power dropped from 2 to 1. On the right we only have a constant and a single cosine term — and ∫cos(kx)dx=k1sin(kx) is easy. That is the whole point of "power reduction": trade a squared trig function for the double angle.
Why It Works
The identity is exact, not an approximation — it is just the cos2x=1−2sin2x relation rearranged. So sin2x and 21−cos2x are literally the same function; replacing one with the other never changes the value, only the form, into a form that integrates cleanly.
Using It
∫sin2xdx=∫21−cos2xdx=2x−4sin2x+C
Higher even powers are handled by applying the trick again. For example:
sin4x=(21−cos2x)2=41(1−2cos2x+cos22x)
The leftover cos22x is still a square, so reduce it once more with cos22x=21+cos4x. Each pass lowers the power until everything is linear in cosine.
Do not write ∫sin2xdx=3sin3x. The power rule ∫undu=n+1un+1 needs du to be present; here du=cosxdx is missing, so that step is invalid. Power reduction is the correct route. …