Trigonometric Power-Reduction Formulas | Tony's Intertwingled Memex

Core Definition

The trigonometric power-reduction formulas (also known as the half-angle identities for squares) rewrite second-degree trigonometric expressions into first-degree (linear) trigonometric functions of double the angle:

\cos^2 \theta = \frac{1 + \cos(2\theta)}{2}, \qquad \sin^2 \theta = \frac{1 - \cos(2\theta)}{2}

By reducing powers of trigonometric functions, these identities convert quadratic products that lack chain-rule multipliers into directly integrable linear terms.

Concept Explanation

In single-variable and multivariable calculus, integrating even powers of sine and cosine—such as $\int \cos^2 \theta \, d\theta$ or $\int \sin^2 \theta \, d\theta$ —cannot be solved by basic $u$ -substitution because there is no isolated $\sin \theta$ or $\cos \theta$ multiplying the differential $d\theta$ . The power-reduction identities solve this obstacle by eliminating the power in exchange for doubling the frequency of the argument.

1. Algebraic Derivation from the Cosine Double-Angle Formula

Both power-reduction formulas originate directly from the cosine double-angle identity:

\cos(2\theta) = \cos^2 \theta - \sin^2 \theta

Deriving the Cosine Reduction Formula:
Replace $\sin^2 \theta$ with $1 - \cos^2 \theta$ using the Pythagorean identity:
$\cos(2\theta) = \cos^2 \theta - (1 - \cos^2 \theta) = 2\cos^2 \theta - 1$ Solve for $\cos^2 \theta$ : $2\cos^2 \theta = 1 + \cos(2\theta) \implies \cos^2 \theta = \frac{1 + \cos(2\theta)}{2}$
Deriving the Sine Reduction Formula:
Replace $\cos^2 \theta$ with $1 - \sin^2 \theta$ :
$\cos(2\theta) = (1 - \sin^2 \theta) - \sin^2 \theta = 1 - 2\sin^2 \theta$ Solve for $\sin^2 \theta$ : $2\sin^2 \theta = 1 - \cos(2\theta) \implies \sin^2 \theta = \frac{1 - \cos(2\theta)}{2}$
Tangent Power-Reduction Formula:
Taking the ratio of the sine and cosine formulas yields:
$\tan^2 \theta = \frac{\sin^2 \theta}{\cos^2 \theta} = \frac{1 - \cos(2\theta)}{1 + \cos(2\theta)}$

When to Use It / Method Comparison

Integrand Form	Algebraic Clue	Recommended Technique	Why?
$\sin^m \theta \cos^n \theta$ with at least one odd power	e.g., $\int \sin^3 \theta \cos^2 \theta \, d\theta$	$u$ -Substitution	Peel off one odd factor as $du$ and convert the remaining even power using $\sin^2\theta + \cos^2\theta = 1$ .
$\sin^m \theta \cos^n \theta$ with both powers even	e.g., $\int \cos^2 \theta \, d\theta$ , $\int \sin^2 \theta \cos^2 \theta \, d\theta$	Power-Reduction Formulas	No standalone odd factor exists to act as $du$ . Powers must be systematically reduced to linear cosine terms.
Mixed fraction containing $(1 \pm \cos\theta)$	e.g., $\frac{1}{1 + \cos \theta}$	Conjugate Multiplication or Half-Angle	Multiply by conjugate to create single-term denominators via $\sin^2\theta$ .

Why We Use It in Calculus (Calculus III Context)

In multivariable calculus (MATH-283), power-reduction formulas are indispensable when evaluating Double Integrals in Polar Coordinates (Session 15) and Triple Integrals in Cylindrical and Spherical Coordinates (Sessions 16–18):

Angular Integrals over Symmetric Domains:
When calculating areas, mass, or moments of inertia over circular disks or sectors, converting Cartesian coordinates ( $x = r\cos\theta, y = r\sin\theta$ ) generates terms like: $\iint_D x^2 \, dA = \int_0^{2\pi} \int_0^R (r^2 \cos^2 \theta) \, r \, dr \, d\theta = \left(\int_0^R r^3 \, dr\right) \left(\int_0^{2\pi} \cos^2 \theta \, d\theta\right)$ Evaluating the angular factor requires power reduction: $\int_0^{2\pi} \cos^2 \theta \, d\theta = \int_0^{2\pi} \frac{1 + \cos(2\theta)}{2} \, d\theta = \left[ \frac{\theta}{2} + \frac{\sin(2\theta)}{4} \right]_0^{2\pi} = \frac{2\pi}{2} + 0 = \pi$
Periodic Cancellation over Complete Rotations:
Notice the remarkable property: because $\sin(2\theta)$ is $2\pi$ -periodic, the oscillating term $\int_0^{2\pi} \cos(2\theta) \, d\theta = 0$ collapses to zero over any full rotation. Thus: $\int_0^{2\pi} \cos^2 \theta \, d\theta = \pi \qquad \text{and} \qquad \int_0^{2\pi} \sin^2 \theta \, d\theta = \pi$
Calculating Centroids and Moments of Inertia:
Computing polar moments of inertia $I_x = \iint y^2 \, dm$ and $I_y = \iint x^2 \, dm$ in rotating machinery (such as turbine disks and flywheels) requires exact evaluation of $\sin^2\theta$ and $\cos^2\theta$ integral factors.

Example Problems

Example Problem 1: Definite Integral of an Even Power

Evaluate the definite integral:

\int_{0}^{\pi} \sin^2 \theta \, d\theta

Solution

Step 1: Apply the power-reduction identity
Substitute $\sin^2 \theta = \frac{1 - \cos(2\theta)}{2}$ :

\int_{0}^{\pi} \sin^2 \theta \, d\theta = \int_{0}^{\pi} \frac{1 - \cos(2\theta)}{2} \, d\theta = \frac{1}{2} \int_{0}^{\pi} \Big(1 - \cos(2\theta)\Big) \, d\theta

Step 2: Find the antiderivative
Integrate term-by-term:

\frac{1}{2} \left[ \theta - \frac{1}{2}\sin(2\theta) \right]_{0}^{\pi}

Step 3: Evaluate at the limits

= \frac{1}{2} \left[ \left(\pi - \frac{1}{2}\sin(2\pi)\right) - \left(0 - \frac{1}{2}\sin(0)\right) \right]

Since

\sin(2\pi) = 0

and

\sin(0) = 0

= \frac{1}{2} [\pi - 0] = \frac{\pi}{2}

Answer:
$\frac{\pi}{2}$

Example Problem 2: Polar Double Integral Involving Trigonometric Powers

Evaluate the double integral over the disk $D = \{(x, y) \in \mathbb{R}^2 \mid x^2 + y^2 \le 4\}$ :

\iint_D x^2 \, dA

Solution

Step 1: Convert to polar coordinates
In polar coordinates, the disk $D$ is bounded by $0 \le r \le 2$ and $0 \le \theta \le 2\pi$ .
Substitute $x = r \cos \theta$ and $dA = r \, dr \, d\theta$ :

\iint_D x^2 \, dA = \int_{0}^{2\pi} \int_{0}^{2} (r \cos \theta)^2 \, r \, dr \, d\theta = \int_{0}^{2\pi} \int_{0}^{2} r^3 \cos^2 \theta \, dr \, d\theta

Step 2: Exploit product separability
Because the integration limits are constants and the integrand factors into independent functions of $r$ and $\theta$ :

= \left( \int_{0}^{2} r^3 \, dr \right) \left( \int_{0}^{2\pi} \cos^2 \theta \, d\theta \right)

Step 3: Evaluate the radial integral

\int_{0}^{2} r^3 \, dr = \left[ \frac{r^4}{4} \right]_0^2 = \frac{16}{4} - 0 = 4

Step 4: Evaluate the angular integral using power reduction
Apply $\cos^2 \theta = \frac{1 + \cos(2\theta)}{2}$ :

\int_{0}^{2\pi} \cos^2 \theta \, d\theta = \frac{1}{2} \left[ \theta + \frac{\sin(2\theta)}{2} \right]_0^{2\pi} = \frac{1}{2} \Big[(2\pi + 0) - (0 + 0)\Big] = \pi

Step 5: Multiply the results

\iint_D x^2 \, dA = (4)(\pi) = 4\pi

Answer:
$4\pi$

Connections & References

Parent Concepts: Calculus Foundations, Trigonometric Identities
Related Concepts: Double Integrals in Polar Coordinates, Polar Coordinate Conversions, Trigonometric Substitution
Course Links: Calc-3 Session 15, Calc-3 Discussion 08