4.3 Trigonometric Identities & Solving Trigonometric Equations

4.3 Trigonometric Identities & Solving Trigonometric Equations

NBPTS Exam Focus: Component 1 assesses deep fluency with trigonometric identities and equations. Candidates must demonstrate the ability to derive and prove algebraic identities without logical fallacies, solve multi-step linear and quadratic-type trigonometric equations on specified intervals and across all real numbers, and diagnose secondary student errors involving root loss and extraneous solutions.

---

The Hierarchy of Fundamental Trigonometric Identities

In mathematics, an identity is an equation that holds true for all values in the domains of the involved expressions. A conditional equation, by contrast, is true only for a specific subset of values (its solution set).

1. Reciprocal and Quotient Identities

By their coordinate definitions on the unit circle:

$$\csc \theta = \frac{1}{\sin \theta}, \quad \sec \theta = \frac{1}{\cos \theta}, \quad \cot \theta = \frac{1}{\tan \theta}$$ $$\tan \theta = \frac{\sin \theta}{\cos \theta}, \quad \cot \theta = \frac{\cos \theta}{\sin \theta}$$

2. The Pythagorean Identities

On the unit circle, every point satisfies $x^2 + y^2 = 1$. Substituting $x = \cos \theta$ and $y = \sin \theta$ yields the primary Pythagorean identity:

$$\cos^2 \theta + \sin^2 \theta = 1$$

Dividing this equation systematically yields two subsidiary identities:

• Dividing both sides by $\cos^2 \theta$ (for $\cos \theta \ne 0$): $$\frac{\cos^2 \theta}{\cos^2 \theta} + \frac{\sin^2 \theta}{\cos^2 \theta} = \frac{1}{\cos^2 \theta} \implies 1 + \tan^2 \theta = \sec^2 \theta$$
• Dividing both sides by $\sin^2 \theta$ (for $\sin \theta \ne 0$): $$\frac{\cos^2 \theta}{\sin^2 \theta} + \frac{\sin^2 \theta}{\sin^2 \theta} = \frac{1}{\sin^2 \theta} \implies \cot^2 \theta + 1 = \csc^2 \theta$$

3. Parity (Even/Odd) and Cofunction Identities

• Even Functions (Symmetric across $y$-axis): $\cos(-\theta) = \cos \theta$ and $\sec(-\theta) = \sec \theta$.
• Odd Functions (Symmetric about origin): $\sin(-\theta) = -\sin \theta$, $\csc(-\theta) = -\csc \theta$, $\tan(-\theta) = -\tan \theta$, and $\cot(-\theta) = -\cot \theta$.
• Cofunction Identities: In any right triangle, complementary acute angles $\theta$ and $\frac{\pi}{2} - \theta$ satisfy: $$\sin\left(\frac{\pi}{2} - \theta\right) = \cos \theta, \quad \cos\left(\frac{\pi}{2} - \theta\right) = \sin \theta, \quad \tan\left(\frac{\pi}{2} - \theta\right) = \cot \theta$$

---

Compound Angle, Double-Angle & Half-Angle Formulas

Sum and Difference Formulas

The sum and difference formulas form the deductive bridge for advanced trigonometry:

$$\cos(\alpha \pm \beta) = \cos \alpha \cos \beta \mp \sin \alpha \sin \beta$$ $$\sin(\alpha \pm \beta) = \sin \alpha \cos \beta \pm \cos \alpha \sin \beta$$ $$\tan(\alpha \pm \beta) = \frac{\tan \alpha \pm \tan \beta}{1 \mp \tan \alpha \tan \beta}$$

Note the sign reversal: In the cosine formulas, a sum inside yields a subtraction outside: $\cos(\alpha + \beta) = \cos \alpha \cos \beta - \sin \alpha \sin \beta$.

Double-Angle Formulas

Setting $\alpha = \beta = \theta$ in the sum formulas yields the double-angle identities:

• Sine Double-Angle: $$\sin(2\theta) = 2 \sin \theta \cos \theta$$
• Cosine Double-Angle (Three Equivalent Forms): $$\cos(2\theta) = \cos^2 \theta - \sin^2 \theta$$ Substituting $\sin^2 \theta = 1 - \cos^2 \theta$ gives: $\cos(2\theta) = 2 \cos^2 \theta - 1$. Substituting $\cos^2 \theta = 1 - \sin^2 \theta$ gives: $\cos(2\theta) = 1 - 2 \sin^2 \theta$.
• Tangent Double-Angle: $$\tan(2\theta) = \frac{2 \tan \theta}{1 - \tan^2 \theta}$$

Power-Reducing and Half-Angle Formulas

Solving the cosine double-angle formulas for $\sin^2 \theta$ and $\cos^2 \theta$ produces the power-reducing formulas, indispensable in integral calculus:

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

Replacing $\theta$ with $\frac{\theta}{2}$ and taking square roots produces the half-angle formulas:

$$\sin\left(\frac{\theta}{2}\right) = \pm \sqrt{\frac{1 - \cos \theta}{2}}, \qquad \cos\left(\frac{\theta}{2}\right) = \pm \sqrt{\frac{1 + \cos \theta}{2}}$$ $$\tan\left(\frac{\theta}{2}\right) = \frac{1 - \cos \theta}{\sin \theta} = \frac{\sin \theta}{1 + \cos \theta}$$

Sign Disambiguation: The $\pm$ sign in the sine and cosine half-angle formulas does not mean both signs are valid; the sign is determined solely by the quadrant in which the half-angle $\frac{\theta}{2}$ lies.

---

Formal Verification and Proof of Trigonometric Identities

The Epistemological Standard of Proof

A central focus of NBPTS Component 1 is the logical structure of mathematical proof. Proving an identity $A = B$ requires demonstrating that one side can be transformed into the other via a sequence of established algebraic and trigonometric equivalences.

$$\text{Left-Hand Side (LHS)} = E_1 = E_2 = \dots = E_n = \text{Right-Hand Side (RHS)}$$

The Fallacy of Bidirectional Manipulation: Secondary students frequently "prove" identities by treating the unproven conjecture as an equation, performing operations simultaneously to both sides (e.g., cross-multiplying, adding terms to both sides, or squaring both sides). This is logically invalid because assuming the statement is true at the outset commits the logical fallacy of begging the question ($P \implies Q$ does not prove $P$). Furthermore, operations like squaring both sides or multiplying by expressions that can equal zero are non-reversible and can create false equalities from false premises (e.g., $-1 = 1 \implies (-1)^2 = 1^2 \implies 1 = 1$).

Standard Algebraic Techniques for Identity Verification

1. Start with the more complex side: It is algebraically easier to condense or simplify complicated terms than to construct complexity from simple terms.
2. Convert to sines and cosines: Rewriting tangent, secant, cosecant, and cotangent in terms of $\sin$ and $\cos$ frequently reveals common factors.
3. Combine fractions over a common denominator: Adding rational expressions often yields terms like $\sin^2 x + \cos^2 x$ in the numerator.
4. Multiply by algebraic conjugates: Multiplying numerator and denominator by conjugates such as $1 - \sin x$ or $1 + \cos x$ produces Pythagorean differences ($1 - \sin^2 x = \cos^2 x$).

Comprehensive Worked Proof Example

Conjecture: Prove the identity:

$$\frac{\sin x}{1 + \cos x} + \frac{1 + \cos x}{\sin x} = 2 \csc x$$

Formal Verification:

$$\begin{aligned} \text{LHS} &= \frac{\sin x}{1 + \cos x} + \frac{1 + \cos x}{\sin x} \\[8pt] &= \frac{\sin x \cdot \sin x + (1 + \cos x)(1 + \cos x)}{(1 + \cos x)\sin x} \quad \text{(Create common denominator)} \\[8pt] &= \frac{\sin^2 x + (1 + 2\cos x + \cos^2 x)}{(1 + \cos x)\sin x} \quad \text{(Expand binomial in numerator)} \\[8pt] &= \frac{(\sin^2 x + \cos^2 x) + 1 + 2\cos x}{(1 + \cos x)\sin x} \quad \text{(Group Pythagorean terms)} \\[8pt] &= \frac{1 + 1 + 2\cos x}{(1 + \cos x)\sin x} \quad \text{(Apply } \sin^2 x + \cos^2 x = 1) \\[8pt] &= \frac{2 + 2\cos x}{(1 + \cos x)\sin x} = \frac{2(1 + \cos x)}{(1 + \cos x)\sin x} \quad \text{(Factor out common 2)} \\[8pt] &= \frac{2}{\sin x} \quad \text{(Cancel non-zero factor } 1 + \cos x) \\[8pt] &= 2 \csc x = \text{RHS} \quad \text{(Apply reciprocal identity)} \quad \blacksquare \end{aligned}$$

---

Solving Trigonometric Equations: Finite vs. General Solutions

Solving a trigonometric equation means finding all angle values $\theta$ that satisfy the condition. Because trigonometric functions are periodic, equations generally possess infinitely many solutions unless restricted to a finite interval such as $[0, 2\pi)$.

1. Linear-Form Equations

To solve $2\sin x + 1 = 0$ on $[0, 2\pi)$:

1. Isolate the trigonometric function: $\sin x = -\frac{1}{2}$.
2. Identify reference angle: $\sin(\theta') = \frac{1}{2} \implies \theta' = \frac{\pi}{6}$.
3. Locate quadrants: Sine is negative in Quadrants III and IV.
   • Quadrant III: $x = \pi + \frac{\pi}{6} = \frac{7\pi}{6}$.
   • Quadrant IV: $x = 2\pi - \frac{\pi}{6} = \frac{11\pi}{6}$.
4. Finite Solution Set on $[0, 2\pi)$: $\{\frac{7\pi}{6}, \frac{11\pi}{6}\}$.
5. General Solution Set across $\mathbb{R}$: $x = \frac{7\pi}{6} + 2k\pi$ and $x = \frac{11\pi}{6} + 2k\pi$ for $k \in \mathbb{Z}$.

2. Quadratic-Form Equations

Equations involving squared trigonometric terms require factoring or the quadratic formula. Often, Pythagorean identities must first unify the equation into a single trigonometric function.

Worked Example: Solve $2\cos^2 x + 3\sin x - 3 = 0$ on $[0, 2\pi)$.

1. Unify functions using $\cos^2 x = 1 - \sin^2 x$: $$2(1 - \sin^2 x) + 3\sin x - 3 = 0 \implies 2 - 2\sin^2 x + 3\sin x - 3 = 0$$ $$-2\sin^2 x + 3\sin x - 1 = 0 \implies 2\sin^2 x - 3\sin x + 1 = 0$$
2. Factor the quadratic expression (let $u = \sin x$, so $2u^2 - 3u + 1 = (2u - 1)(u - 1)$): $$(2\sin x - 1)(\sin x - 1) = 0$$
3. Set each linear factor to zero:
   • Factor 1: $2\sin x - 1 = 0 \implies \sin x = \frac{1}{2}$. In $[0, 2\pi)$, solutions are in Quadrants I and II: $x = \frac{\pi}{6}$ and $x = \frac{5\pi}{6}$.
   • Factor 2: $\sin x - 1 = 0 \implies \sin x = 1$. The only solution in $[0, 2\pi)$ is $x = \frac{\pi}{2}$.
4. Complete Solution Set on $[0, 2\pi)$: $$\left\{\frac{\pi}{6}, \frac{\pi}{2}, \frac{5\pi}{6}\right\}$$

3. Multiple-Angle Equations

When solving equations of the form $f(n x) = c$ on $[0, 2\pi)$, candidates must first expand the target interval for the composite angle $u = n x$ to $[0, 2n\pi)$ before solving for $u$, and only divide by $n$ at the final step.

Example: Solve $\cos(3x) = \frac{\sqrt{2}}{2}$ on $[0, 2\pi)$.

• Let $u = 3x$. If $x \in [0, 2\pi)$, then $u \in [0, 6\pi)$ (three full cycles!).
• The solutions for $\cos u = \frac{\sqrt{2}}{2}$ in the first cycle $[0, 2\pi)$ are $u = \frac{\pi}{4}$ and $u = \frac{7\pi}{4}$.
• Generating all 6 solutions across $[0, 6\pi)$ by adding $2\pi = \frac{8\pi}{4}$: $$u \in \left\{\frac{\pi}{4}, \frac{7\pi}{4}, \frac{9\pi}{4}, \frac{15\pi}{4}, \frac{17\pi}{4}, \frac{23\pi}{4}\right\}$$
• Dividing each value by $3$ gives the 6 distinct solutions for $x$: $$x \in \left\{\frac{\pi}{12}, \frac{7\pi}{12}, \frac{3\pi}{4}, \frac{5\pi}{4}, \frac{17\pi}{12}, \frac{23\pi}{12}\right\}$$

---

Pedagogical Misconceptions & Secondary Student Traps (NBPTS Focus)

1. Dividing Both Sides by a Variable Trigonometric Expression (Root Loss)

• Student Manifestation: When solving $\sin(2x) = \cos x$, a student writes $2\sin x \cos x = \cos x$. They divide both sides by $\cos x$ to obtain $2\sin x = 1 \implies \sin x = \frac{1}{2}$, reporting only $x = \frac{\pi}{6}, \frac{5\pi}{6}$.
• Root Cause: Overgeneralizing arithmetic simplification. Dividing by an algebraic expression that can equal zero destroys roots.
• Instructional Remedy: Emphasize the Zero Product Property principle: never divide across an equation by a variable factor! Instead, gather all terms on one side to set the equation equal to zero, then factor: $$2\sin x \cos x - \cos x = 0 \implies \cos x (2\sin x - 1) = 0$$ Setting $\cos x = 0$ reveals the lost roots: $x = \frac{\pi}{2}, \frac{3\pi}{2}$. The complete solution set is $\{\frac{\pi}{6}, \frac{\pi}{2}, \frac{5\pi}{6}, \frac{3\pi}{2}\}$.

2. Squaring Both Sides Without Screening Extraneous Solutions

• Student Manifestation: To solve $\sin x + \cos x = 1$, a student squares both sides: $(\sin x + \cos x)^2 = 1^2 \implies \sin^2 x + 2\sin x \cos x + \cos^2 x = 1 \implies 1 + \sin(2x) = 1 \implies \sin(2x) = 0$. This yields $2x = 0, \pi, 2\pi, 3\pi \implies x = 0, \frac{\pi}{2}, \pi, \frac{3\pi}{2}$.
• Root Cause: Squaring is a non-invertible operation ($a = b \implies a^2 = b^2$, but $a^2 = b^2 \not\implies a = b$ because $a = -b$ also satisfies the squared equation).
• Instructional Remedy: Demonstrate that testing candidates in the original equation is mandatory: at $x = \pi$, $\sin\pi + \cos\pi = 0 + (-1) = -1 \ne 1$ (extraneous!). At $x = \frac{3\pi}{2}$, $\sin\frac{3\pi}{2} + \cos\frac{3\pi}{2} = -1 + 0 = -1 \ne 1$ (extraneous!). Only $x = 0$ and $x = \frac{\pi}{2}$ are valid. Teach students linear combinations $A\cos x + B\sin x = R\cos(x - \alpha)$ as a cleaner alternative to squaring.