Trigonometric Equations

⚡ Key Takeaways

A trigonometric equation is an equation involving trigonometric functions of an unknown angle; solving means finding ALL angles that satisfy it. Because $\sin$ , $\cos$ , $\tan$ are periodic, solutions come in infinite families (a general solution). Used everywhere oscillation appears — waves, circuits, orbits, signal processing. Systematically studied from the 16th–18th centuries (Viète, Euler).

💡 The Core Insight

A trigonometric function takes infinitely many input angles to the same output value. So solving $f(x)=c$ means (1) finding one angle that works, then (2) using the function's periodicity and symmetry to generate every other angle. The whole subject is the art of writing those infinite families compactly using an integer parameter $n \in \mathbb{Z}$ .

DefinitionTrigonometric Equation and General Solution

A trigonometric equation is an equality of the form

1

\quad F\big(\sin x,\ \cos x,\ \tan x,\ \dots\big) = 0,

Derivation hint: any trig equation can be rearranged so one side is zero; $F$ is just the combined expression. where $x$ (in radians unless stated) is the unknown angle. A solution is any value of $x$ making the equality true. The general solution is the complete set of all such $x$ , written using an integer parameter $n\in\mathbb Z$ . The three fundamental cases, with $\alpha$ a particular (known) solution:

2

\quad \sin x = \sin\alpha \ \Longleftrightarrow\ x = n\pi + (-1)^n\,\alpha,\quad n\in\mathbb Z,

Derivation hint: $\sin$ is symmetric about $x=\tfrac\pi2$ , so $\alpha$ and $\pi-\alpha$ both work; combining the two families gives the $(-1)^n$ alternation.

3

\quad \cos x = \cos\alpha \ \Longleftrightarrow\ x = 2n\pi \pm \alpha,\quad n\in\mathbb Z,

Derivation hint: $\cos$ is even, so $\alpha$ and $-\alpha$ both work; period $2\pi$ supplies the rest.

4

\quad \tan x = \tan\alpha \ \Longleftrightarrow\ x = n\pi + \alpha,\quad n\in\mathbb Z.

Derivation hint: $\tan$ has period $\pi$ (not $2\pi$ ), so adding any multiple of $\pi$ preserves the value. Here $\alpha$ is typically chosen as the principal value returned by the inverse function: $\alpha=\arcsin c\in[-\tfrac\pi2,\tfrac\pi2]$ , $\alpha=\arccos c\in[0,\pi]$ , $\alpha=\arctan c\in(-\tfrac\pi2,\tfrac\pi2)$ .

TheoremExistence of Solutions for the Basic Forms

For the equation $\sin x = c$ or $\cos x = c$ , a real solution exists if and only if $-1 \le c \le 1$ . For $\tan x = c$ , a real solution exists for every real $c$ .

ProofWhy the general solution formulas hold

We prove the $\cos$ case [3]; the others are analogous.

Step 1 — Set up. Suppose $\cos x = \cos\alpha$ , where $\alpha = \arccos c$ is one known solution.

Step 2 — Use the difference identity. Subtract:

5

\quad \cos x - \cos\alpha = -2\,\sin\!\Big(\frac{x+\alpha}{2}\Big)\sin\!\Big(\frac{x-\alpha}{2}\Big) = 0.

Derivation hint: apply the sum-to-product identity $\cos A - \cos B = -2\sin\frac{A+B}{2}\sin\frac{A-B}{2}$ .

Step 3 — Zero-product principle. A product is zero iff a factor is zero:

6

\quad \sin\!\Big(\frac{x-\alpha}{2}\Big)=0 \quad\text{or}\quad \sin\!\Big(\frac{x+\alpha}{2}\Big)=0.

Derivation hint: split equation [5] into its two vanishing factors.

Step 4 — Solve each. $\sin\theta = 0 \Rightarrow \theta = n\pi$ . So $\tfrac{x-\alpha}{2}=n\pi \Rightarrow x = 2n\pi+\alpha$ , and $\tfrac{x+\alpha}{2}=n\pi \Rightarrow x = 2n\pi-\alpha$ .

Step 5 — Combine. Both families are captured by $x = 2n\pi \pm \alpha$ . ∎

∎

mathematician · Leonhard Euler | 1707–1783

Euler unified trigonometry with analysis through the identity $e^{ix} = \cos x + i\sin x$ (1748), which recasts every trig function as a complex exponential. This made periodicity transparent: since $e^{i\theta}$ repeats whenever $\theta$ increases by $2\pi$ , the infinite families of solutions become an immediate consequence of $e^{2\pi i n}=1$ . Euler also standardised the notation $\sin$ , $\cos$ , $\tan$ as functions (rather than line-segment lengths), turning trig equations into ordinary functional equations one could manipulate algebraically.

🧠 Intuition

Picture the unit circle. An angle $x$ corresponds to a point $(\cos x, \sin x)$ travelling counterclockwise. Solving $\sin x = \tfrac12$ asks: at which angles is the height $\tfrac12$ ? A horizontal line at height $\tfrac12$ cuts the circle in two points per lap — one in the first quadrant ( $\alpha = \tfrac\pi6$ ) and its mirror image across the vertical axis ( $\pi - \alpha = \tfrac{5\pi}{6}$ ). Keep going round and round and you regain the same two heights every $2\pi$ . That is exactly the content of formula [2]. For $\cos x = c$ the line is vertical, cutting the circle symmetrically across the horizontal axis — hence the $\pm\alpha$ . For $\tan x$ , think of the slope of the radius line: a line through the origin has the same slope on both ends, so the value repeats every half-turn $\pi$ , giving formula [4].

Figure

Unit circle showing the two solutions of

\sin x = \tfrac12

in one revolution

ExampleSolving a linear sine equation

Given: Solve $2\sin x - 1 = 0$ for all real $x$ (radians).

Step 1 — Isolate the function. $\sin x = \tfrac12$ .

Step 2 — Principal value. $\alpha = \arcsin\tfrac12 = \tfrac\pi6$ .

Step 3 — Apply formula [2].

x = n\pi + (-1)^n \frac{\pi}{6}, \quad n\in\mathbb Z.

Step 4 — Check by listing. $n=0:\ \tfrac\pi6$ ; $n=1:\ \pi - \tfrac\pi6 = \tfrac{5\pi}{6}$ ; $n=2:\ 2\pi + \tfrac\pi6$ . All have sine $=\tfrac12$ . ✓

\boxed{\,x = n\pi + (-1)^n\,\dfrac{\pi}{6}, \quad n\in\mathbb Z\ \text{(radians)}\,}

ExampleA quadratic in cosine

Given: Solve $2\cos^2 x - \cos x - 1 = 0$ for $x \in [0, 2\pi)$ .

Step 1 — Substitute. Let $u = \cos x$ : $\;2u^2 - u - 1 = 0$ .

Step 2 — Factor. $(2u + 1)(u - 1) = 0 \Rightarrow u = -\tfrac12$ or $u = 1$ .

Step 3 — Back-substitute, branch A: $\cos x = 1$ . Principal $\alpha = 0$ . In $[0,2\pi)$ : $x = 0$ .

Step 4 — Branch B: $\cos x = -\tfrac12$ . Principal $\alpha = \arccos(-\tfrac12) = \tfrac{2\pi}{3}$ . By formula [3], $x = 2n\pi \pm \tfrac{2\pi}{3}$ . In $[0,2\pi)$ : $x = \tfrac{2\pi}{3}$ and $x = 2\pi - \tfrac{2\pi}{3} = \tfrac{4\pi}{3}$ .

Step 5 — Collect. Three solutions in the interval.

\boxed{\,x \in \left\{\,0,\ \dfrac{2\pi}{3},\ \dfrac{4\pi}{3}\,\right\}\ \text{(radians)}\,}

⚠️ Common mistake

Do not "cancel" a trig function and lose solutions. Given $\sin x \cos x = \sin x$ , students often divide both sides by $\sin x$ to get $\cos x = 1$ — but this destroys the solutions where $\sin x = 0$ . Always move everything to one side and factor: $\sin x(\cos x - 1)=0$ , giving $\sin x = 0$ or $\cos x = 1$ . Dividing by an expression that can be zero is illegitimate.

⚠️ Common mistake

Squaring introduces extraneous roots. Operations like squaring both sides, or using identities that change the domain (e.g. replacing $\tan x$ when $\cos x = 0$ ), can create false solutions. Always substitute every candidate back into the original equation, and respect domain restrictions: $\tan x$ is undefined at $x = \tfrac\pi2 + n\pi$ .

Counterexample

Claim (false): " $\sin x = \sin\alpha$ implies $x = \alpha$ or $x = \pi - \alpha$ , full stop." Refutation: Take $\alpha = \tfrac\pi6$ . Then $x = \tfrac\pi6 + 2\pi = \tfrac{13\pi}{6}$ also satisfies $\sin x = \tfrac12$ , yet it equals neither $\tfrac\pi6$ nor $\pi - \tfrac\pi6 = \tfrac{5\pi}{6}$ . The "two solutions" only hold within one period; the general solution [2] needs the $+n\pi$ term to capture every revolution.

connection

Trigonometric equations sit at the crossroads of several areas. They depend on Trigonometric Identities (to simplify $F$ into a solvable form) and on Inverse Trigonometric Functions (to extract a principal value $\alpha$ ). The structure of their solution sets is governed by Periodicity of Functions. Through Euler's formula they link to Complex Numbers, where roots of unity are precisely the solutions of $z^n = 1$ — a trig equation in disguise. They are the discrete counterpart to Simple Harmonic Motion in differential equations, and reappear whenever one solves $A\sin(\omega t + \phi) =$ const.

🔬 Where this appears

⏳ History

- c. 150 CE — Ptolemy's Almagest tabulates chords (a precursor of sine), implicitly inverting trig relations to find angles.

- c. 500 CE — Indian mathematician Aryabhata introduces the jya (sine) function and tables, enabling angle recovery from ratios.

- c. 1000 CE — Islamic astronomers (al-Battani, Abu al-Wafa) develop tangent and cotangent and solve angle problems for prayer times and qibla direction.

- 1591 — François Viète treats trigonometric quantities algebraically and uses multiple-angle relations to solve equations.

- 1748 — Euler's Introductio in analysin infinitorum establishes

e^{ix}=\cos x+i\sin x

, recasting trig equations as exponential ones.

- 1768 — Lambert proves

\pi

irrational using continued fractions for

\tan

, deepening understanding of trig function values.

- 1822 — Fourier's Théorie analytique de la chaleur shows arbitrary functions decompose into sums of sinusoids, making trig equations central to all of analysis and physics.

- 19th–20th c. — Standardisation of inverse-function notation (

\arcsin

, etc.) and the "principal value" convention fixes how general solutions are written in textbooks.

open-problem

Transcendental boundary cases. Equations mixing an angle with its own trig value, such as $x = \tan x$ or $\sin x = x/2$ , are transcendental: they cannot be solved in closed form using the formulas above. Their (infinitely many) roots must be found numerically, and the spacing of those roots — e.g. the roots of $\tan x = x$ , which govern vibration modes of a clamped beam — has no simple algebraic expression. More broadly, deciding whether a given combination of trig and polynomial terms has a closed-form solution touches Diophantine and transcendence theory; for instance, which rational multiples of $\pi$ give rational values of $\sin$ is fully answered (Niven's theorem: only $0, \pm\tfrac12, \pm1$ ), but analogous questions for sums of trig values remain delicate.

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also