Contents / Precalculus / Analytic Trigonometry
Chapter 5
Analytic Trigonometry
Angle formulas, laws of sines and cosines, inverse trig, equations, and substitution preview.
Introduction
Angle formulas, laws of sines and cosines, inverse trig, equations, and substitution preview.
5.1Double-angle formula
Double angle lets you express trig of twice the angle using only the original angle. Extremely useful for integration and solving equations.
Double-Angle Formulas
Theorem 5.1 (Double-angle formulas). For every angle ,
the last wherever and are defined.
Proof. These come from the angle addition formulas with : for instance .∎
They are identities, so they hold for every — extremely useful for integration and solving trig equations. The three forms of are all equal; pick whichever leaves you with only the quantity you already know: use if you know , and if you know .
Intuition. Double-angle is a "zoom" button: you know the trig of one angle and want the trig of the angle twice as wide. Instead of measuring the wide angle from scratch, the formula rebuilds it from the pieces of the small one — like predicting how far a door swings open at the push from how far it swings at .
Example 5.2 (Knowing the cosine, in quadrant II). Find given , with in quadrant II.
Solution. We need . From the Pythagorean identity , so . In quadrant II sine is positive, so . Apply the formula: . Sanity check: in QII means , so — the lower half of the circle, where sine is negative. Our answer is negative. ✓□
Example 5.3 (Choosing the convenient form of ). Given with in quadrant II, find .
Solution. Because we know directly, pick the form so no extra work is needed. . Sanity check via a different form: (QII), so . Same answer. ✓□
Common Mistakes
- Double-angle misapplication: Using sin(2θ)=2sinθ instead of 2sin cos; or confusing which double-angle form of cos 2θ to pick for simplification.
- Sign when using 1-2sin²: Choose the form that matches known value and quadrant.
- For tan 2θ denominator 1-tan²: Zero when tan θ = ±1, corresponding to 2θ = π/2 +kπ where tan undefined.
- Forgetting these are identities not equations: True for all θ (where defined).
- Using for half angle backwards: Half angle solves for half from double; different.
- Calculator in degree when using π: Formulas assume radian or consistent, but identities hold either.
5.2Half-angle formula
Half-angle formulas let you "split" an angle and compute exact trig values when you know the full angle (useful for 15°, 22.5° etc).
Half-Angle Formulas
Theorem 5.4 (Half-angle formulas). For every angle ,
Proof. These are derived from the double-angle forms by setting and solving. For example, from we get , hence .∎
The sign is not free: it is fixed by the quadrant of (not of ). The square root itself always returns a nonnegative number, so you attach the sign that sine or cosine actually has in the quadrant where lands. The two formulas need to avoid the points where their denominators vanish (, i.e. , for the first; for the second), but at least one of the two always works.
Intuition. If double-angle is the "zoom in" button, half-angle is "zoom out": you know a full angle and want the trig of the angle half as wide. That is how you get exact values for oddball angles like or — you halve a friendly angle you already know (, ) instead of memorizing a new one.
Example 5.5 (Find the exact value of .). Notice , so take , where .
Solution.
- Choose the sign: is in quadrant I, where sine is positive, so use .
- Substitute: .
- Clear the inner fraction by writing : the numerator is , so the expression is .
- Sanity check: numerically , so the result is . A calculator gives . ✓
Common Mistakes
- Half-angle sign choice: Always determine the quadrant of the half-angle before picking + or - in front of the square root.
- Forgetting the 2 in denominator: (1 - cos)/2 inside the sqrt, not (1-cos)/sqrt2.
- Using for double instead: These solve for half; double angle goes the other way.
- tan half two forms: Both equal; choose the one avoiding division by small number.
- Domain: θ/2 must be in domain where original defined, and sqrt arg ≥0 which it is by identities.
- Calculator for 22.5 without exact: Loses the nice radical form.
5.3Sum-to-product identity
These identities collapse sums of sines or cosines into products. Magic for solving equations and simplifying waves (beats).
Sum-to-Product and Product-to-Sum Identities
Theorem 5.6 (Sum-to-product identities). For all angles and ,
These turn sums into products, which matters because a product equals zero exactly when one of its factors is zero — so an equation like becomes two easy equations. They hold for all and . (Setting recovers the double-angle formula, a useful consistency check: , and the identity gives . ✓)
Intuition. Adding two sine waves of nearly equal frequency is like two singers holding almost the same note: instead of hearing two tones you hear one tone that slowly swells and fades. The identity is the math of that swelling — it rewrites the sum as one wave (the average frequency) times a slow envelope (the half-difference frequency). That throb is what musicians call "beats."
Example 5.7 (Evaluate exactly.). Use with , .
Solution.
- Compute the half-sum and half-difference: and .
- Substitute the known values: .
- Sanity check: , while directly . ✓
Common Mistakes
- Sum-to-product arithmetic: (A+B)/2 and (A-B)/2 must be computed carefully; mixing up which is which ruins the identity application.
- Sign in cos A - cos B: Has the minus in front of the sin sin term.
- Forgetting product-to-sum the other way: Sometimes needed too.
- Using when A or B make arg undefined: Check domains.
- Calculator for exact: Loses the simplified radical.
- Confusing with double angle: Similar looking but different (A=B case recovers double).
5.4Sum and difference formula
The addition formulas let us compute trig for sums and differences of known angles, giving exact values for 15°, 75°, etc., and are the basis for many identities.
Sum and Difference Formulas
Theorem 5.8 (Angle sum and difference formulas). For all angles and ,
These are proved using the distance formula on unit-circle points or using Euler's formula with complex exponentials. Read the "top/bottom" signs carefully: in the sign in front of the term is opposite to the sign in the argument (that is what means), so . In the formula the denominator can vanish — that happens precisely when , exactly where is undefined, so the formula is faithful to the function.
They let us find exact values for angles like and expand expressions.
Intuition. Think of angles as amounts of turning. If you know exactly how "sideways" and "up" a turn leaves you and the same for a turn, these formulas tell you where a turn leaves you — no new measurement needed. Master three friendly angles () and you can build many others for free.
Example 5.9 (Find the exact value of .). Write as a difference of known angles: .
Solution.
- Apply with , : .
- Substitute known values: .
- Sanity check: , and . ✓
Common Mistakes
- Sum/difference sign errors: The minus in cos(A-B) = cosA cosB + sinA sinB is frequently flipped.
- For tan(A+B) the denominator sign: 1 - tanA tanB for + ; 1 + for - .
- Forgetting mp signs: In cos(A±B) the sin term flips sign with the ± .
- Using for half/double instead: These are for arbitrary A B; double is special case.
- Domain where tan defined in tan formula: If 1 - tanA tanB =0 the sum hits asymptote.
- Calculator in wrong mode for exact problems: Use exact values of 30 45 60, not decimal approx.
5.5Law of sines
The law of sines generalizes the right-triangle ratios to any triangle, allowing us to solve for missing sides or angles when we have AAS, ASA or the tricky SSA.
Law of Sines
Theorem 5.10 (Law of Sines). In any triangle with sides opposite angles respectively,
where is the circumradius.
This is derived by dropping an altitude and using area formulas or by using the extended unit-circle definition. The law applies to any triangle (not just right triangles), and the shared ratio equals , the diameter of the triangle's circumscribed circle.
Method 5.11 (Solving a triangle).
- Label the sides so that each is opposite the angle of the matching letter.
- Look for a known side paired with its opposite angle. AAS and ASA give one (find the third angle from the sum first), and so does SSA.
- With such a pair, use the Law of Sines as a conversion rate to find the remaining parts.
- With no such pair — SAS and SSS — start with the Law of Cosines instead, then finish with the Law of Sines.
Intuition. The Law of Sines says a triangle's sides and their opposite angles rise and fall together: the biggest side faces the biggest angle, and the ratio of each side to the sine of its facing angle is the same throughout the triangle. Know one matched side–angle pair and it acts as a conversion rate for finding any other side or angle.
Example 5.12 (Solve the triangle with , , : find side and angle .). This is AAS. Find the third angle first: .
Solution.
- Use the matched pair as the conversion rate: , i.e. .
- Solve for : . (Keep full precision until the end; round once.)
- Sanity check: the angles from smallest to largest are , so the sides should order the same way: . Since matches , the result is consistent. ✓
Common Mistakes
- Ambiguous case (SSA): When using Law of Sines with two sides and angle opposite one of them, there may be zero, one, or two possible triangles. Always check the height h = b sin A against the given side.
- Calculator mode: Degrees or radians must match the problem (usually degrees in triangle problems).
- Assuming unique triangle: SSA can be ambiguous; draw the picture.
- Forgetting to find the third angle first: In AAS/ASA you get third angle from 180 sum before applying law.
- Rounding too early: Keep precision until final answer.
- Using law of sines for SAS or SSS: Those are for law of cosines.
5.6Law of cosines
The law of cosines is Pythagoras with a correction term for the included angle. It lets us solve SAS and SSS triangles.
Law of Cosines
Theorem 5.13 (Law of Cosines). For any triangle,
and cyclically for the other two sides. Here must be the angle opposite side — equivalently, the angle included between sides and .
When , and the correction term vanishes, recovering Pythagoras . The law is what you reach for in the SAS case (two sides plus the included angle) to find the third side; rearranged, it also settles the SSS case.
Corollary 5.14 (An angle from three sides).
This SSS form is unambiguous: returns a single angle in , and a negative right-hand side correctly yields an obtuse angle — so the Law of Cosines never has the ambiguity that plagues SSA.
Intuition. The Law of Cosines is Pythagoras wearing a correction collar. The term measures how far the corner angle strays from a right angle. If is acute, , the correction is subtracted, and the opposite side comes out shorter than Pythagoras would predict; if is obtuse, , the correction adds length and comes out longer.
Example 5.15 (SAS: finding the third side). Two sides measure and with included angle . Find side .
Solution. Apply the law with between and : . Since : , so . Sanity check: should sit between and (triangle inequality), and it does. ✓□
Example 5.16 (SSS: finding an angle). Find angle given sides , , .
Solution. Rearrange for the cosine of the angle opposite : . Take the inverse cosine: . Sanity check: the cosine came out negative, so is obtuse — and indeed , which is exactly the condition for the angle opposite to exceed . ✓□
Common Mistakes
- Law of Cosines for angle: When solving for angle, the numerator a²+b²-c² can be negative (obtuse); arccos handles it correctly if you keep the sign.
- Using wrong angle: The cos C is for the angle opposite side c (included between a and b).
- Forgetting the 2ab: The formula has the 2.
- Mixing with law of sines: Use cos for SAS/SSS, sines for AAS/ASA/SSA.
- Calculator in rad vs deg for arccos: arccos returns radians or degrees per mode; convert if needed for answer.
- Rounding intermediate: Keep exact or high precision for arccos input.
5.7Inverse trigonometric functions
Inverse trig recover the angle from a known sine, cosine or tangent value. Their ranges are restricted to make them functions (one-to-one).
Inverse Trigonometric Functions
Definition 5.17 (Inverse trigonometric functions). The inverse trig functions recover an angle from a known trig value within a restricted principal range where the function is one-to-one.
- : domain , range
- : domain , range
- : domain all reals, range
- defined similarly with their own conventions.
The range restriction is the whole point. Sine (say) is not one-to-one on all of — infinitely many angles share the value — so "the angle whose sine is " has no single answer until we pin it to one slice. We choose the slice where the function is one-to-one and still hits every output value: for , for , for . These are essential for solving trig equations ("what angle has this sine?") and in calculus for integrals and derivatives.
Intuition. Sine is like a revolving door: many different pushes (angles) land you at the same spot. has to undo that, but "which push?" is ambiguous — so it always reports the answer from one agreed-upon quarter-turn of the door. That is the "principal value": one consistent representative, not the only true angle.
Example 5.18 (Evaluating a sum of inverse trig values). Compute .
Solution. because and . because and . Add over a common denominator: . Sanity check: , which is — exactly the two angles we found. ✓□
Example 5.19 (The composition trap). Evaluate .
Solution. It is tempting to answer , but is not in 's range , so that cannot be the output. First evaluate the inside: . Now , the angle in range with that sine. So . The identity holds only when already lies in the principal range. ✓□
Common Mistakes
- Range of inverse functions: arcsin range is [-π/2,π/2]; arccos [0,π]. Using the wrong branch or forgetting the range produces answers outside the principal value.
- Calculator mode: arccos etc return in current angle mode; check.
- arcsin(sin x) ≠ x for all x: Only true inside the principal range; outside it gives the co-terminal in range.
- Domain restrictions: arcsin and arccos only defined for [-1,1]; arctan all reals.
- Confusing arctan with 1/tan: arctan is inverse function, not reciprocal (which is cot).
- Quadrant when solving: After arcsin you may need to add π - result for other quadrant solutions in equations.
5.8Trigonometric equation
Solving trig equations requires identities to reduce to basic forms, then inverse trig plus the periodic general solution, followed by checking for extraneous roots.
Trigonometric Equations
Method 5.20 (Solving a trigonometric equation).
- Use identities to rewrite in terms of a single function.
- Solve the basic equation or similar (use the inverse function plus the general solution below).
- Find all solutions in the desired interval by adding the period(s).
- Check for extraneous solutions introduced by squaring or other operations.
Proposition 5.21 (General solutions of the basic equations). For integer , and with required for sine and cosine:
- : two families, and (the QI/QII pair with the same sine).
- : (cosine is even, so a value and its negative share the cosine).
- : (period , so one family suffices).
Intuition. Solving a trig equation is like asking "at what times does the Ferris wheel put me exactly 3 meters up?" Because the wheel keeps turning, there is not one answer but a repeating schedule. So you find the answers in one full turn, then tack on " every period" to capture all the rest.
Example 5.22 (Solve for .). The equation is quadratic in . Substitute : .
Solution.
- Factor: , so or .
- Back-substitute the first root: (the only solution in ).
- Back-substitute the second: . Sine is negative in QIII and QIV; the reference angle is , giving and .
- Collect: — three solutions.
- Sanity check: substitute : , so . ✓ (No squaring was used here, so no extraneous roots can appear; when you do square, always verify each candidate this way.)
Common Mistakes
- General solution omissions: Forgetting the ± or the period when writing the general solution from inverse trig leads to missing families of solutions.
- Quadrant when solving equations: After taking arcsin or arccos you must add the other angle in the correct quadrant where the function has the same value.
- Calculator mode: Solving trig equations numerically without ensuring degree/radian mode matches the problem statement.
- Extraneous solutions: Squaring both sides of a trig equation (to get sin² or similar) can introduce solutions that do not satisfy the original.
- Not using identities first: Trying to solve without reducing to single function leads to harder equations.
- Forgetting to check solutions in original: Especially after squaring or multiplying by expressions that could be zero.
5.9Trigonometric substitution
Trig substitution is a change of variable that turns an awkward square root of a quadratic into a clean trig function, using the Pythagorean identities. It is the payoff of everything above: inverse trig, identities, and reference triangles all combine here. This is a preview of a technique developed fully in integral calculus.
Trigonometric Substitution (Preview)
Although more fully developed in calculus, trig substitution is the technique of writing , , or to simplify expressions involving , , or . Each substitution matches one Pythagorean identity, so the radical collapses to a single trig function.
Method 5.23 (Trigonometric substitution). Match the radical to the substitution whose identity collapses it:
- with uses .
- with uses .
- with uses .
Choose in the standard range for the corresponding inverse function so the new trig factor is nonnegative and the square root simplifies without an absolute value; e.g. for the sine substitution take , where . After substituting, the integral becomes easier, and back-substitution using inverse trig or a reference triangle recovers the answer in .
Intuition. When something under a square root looks like a Pythagorean triple missing one leg, invent an angle whose trig ratios "name" the sides of that right triangle. The radical is just one side of the triangle in disguise, so replacing with a trig expression makes it collapse to a clean single function — and now you are integrating an ordinary sine or cosine instead of a stubborn root.
Example 5.24 (Evaluate .). The form with calls for , with . Then .
Solution.
- Simplify the radical: (nonnegative because on the chosen range, so no absolute value is needed).
- Substitute everything: .
- Back-substitute: from we get , so . Thus the integral is .
- Sanity check by differentiating: , the original integrand. ✓
Common Mistakes
- Choosing the wrong sub for the radical form: a²-x² -> sin; x²+a² -> tan; x²-a² -> sec.
- Forgetting the dx in terms of dθ: dx = a sec² dθ for tan sub etc; must substitute it too.
- Not drawing the reference triangle for back-sub: The triangle with opp=x, hyp=3 etc lets you express sinθ = x/3 etc without memorizing.
- Assuming cos or tan always positive: Choose the range of θ so the sub functions are positive in the interval, or use abs.
- Leaving answer in θ: Must back-sub to x (or arcsin(arctan etc)).
- Forgetting +C in indefinite integral: Always.