trigidentity.com

Sum and difference identities · derivation ·proof

Where tan A + tan B = sin(A + B) / (cos A cos B) comes from

Ask what the numerator wants to be. If a verification problem hands you tan A + tan B and asks for a single sine over a product of cosines, the middle step is always the common denominator.

tan A + tan B = sin(A + B) / (cos A cos B)

Building it step by step

  1. Target numerator: sin(A + B)
    What the exercise asks for.
  2. Expand the target: sin A cos B + cos A sin B
    That is exactly what a common denominator produces. · Sine of a sum
  3. So the route is: quotient, then common denominator
    Conclusion.

What this derivation depends on

Every line above is one of these — nothing else is assumed:

That list is the argument for learning fewer formulas: most of this catalogue is a short chain away from the unit circle and the sum formulas.

How to recall it under pressure

Re-derive it from the first line rather than searching memory: start from sin(A + B) = sin A cos B + cos A sin B and do the one algebraic move the derivation above makes. If you need the statement itself, it is on the tangent sum as a single fraction page.

sampled at 800 random anglesSource: OpenStax Precalculus, Ch. 7.2–7.3 · Paul's Online Math Notes · revised 2026-09-26 ·how we check ·accuracy policy ·report an error