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:

\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.