Power reduction formula: sin²θ = (1 − cos 2θ)/2
sin²θ = (1 − cos 2θ)/2 trades a squared trig function for a plain cosine at double the angle. That is the whole point: a squared term cannot be integrated directly, but a cosine can, which makes this the standard first step for ∫ sin²θ dθ.
Open identity