The problem this concept solves. Trigonometric functions naturally arise as products of angle expressions in some settings (e.g. amplitude modulation, or three angles of a triangle multiplied together) and as sums in others (e.g. combining two waves). Converting cleanly between the two forms is one of the most-used trigonometric skills, and this concept covers every tool needed to do it.
1. Product-to-sum (from the addition formulas). Adding/subtracting the four expansions of sin(A±B) and cos(A±B) in pairs isolates a pure product on one side and a sum/difference on the other:
sinAcosB=21[sin(A+B)+sin(A−B)]cosAsinB=21[sin(A+B)−sin(A−B)]
cosAcosB=21[cos(A+B)+cos(A−B)]sinAsinB=21[cos(A−B)−cos(A+B)]
Use these whenever you are handed a product of two sines/cosines and need a sum.
2. Sum-to-product (the reverse substitution). Setting C=A+B, D=A−B (so A=2C+D, B=2C−D) and substituting back into the four identities above inverts the process:
sinC+sinD=2sin2C+Dcos2C−DsinC−sinD=2cos2C+Dsin2C−D
cosC+cosD=2cos2C+Dcos2C−DcosC−cosD=2sin2C+Dsin2D−C
Use these whenever you are handed a sum or difference of two sines/cosines and need a product — which is usually the move that lets a numerator and denominator share a cancelling factor, or that shows an expression equals zero (a product is zero the moment one factor is).
3. The 60°±A triple-product family. Applying the product-to-sum idea twice in a row to three factors spaced 60∘ apart gives three compact identities:
sin(60∘−A)sinAsin(60∘+A)=41sin3Acos(60∘−A)cosAcos(60∘+A)=41cos3Atan(60∘−A)tanAtan(60∘+A)=tan3A
These are worth recognising on sight: any time three factors in a product are centred on some angle A and spread ±60∘ around it (e.g. 10∘,30∘-adjacent-triples like 10∘,50∘,70∘, or 12∘,48∘-style pairs alongside a third term), one of these three identities collapses the triple product to a single term in 3A immediately.
4. Conditional identities for a triangle (A+B+C=π). When the three angles are constrained to sum to a fixed value — above all, the interior angles of a triangle — the sum-to-product identities become the engine for proving relations that are otherwise false. The recipe is always: eliminate one angle via the condition (e.g. C=π−A−B, so cosC=−cos(A+B), sinC=sin(A+B), or at the half-angle level sin2C=cos2A+B), apply a sum-to-product step, and repeat until a single compact product remains. This is exactly how the standard triangle identities are built:
cosA+cosB+cosC=1+4sin2Asin2Bsin2C,sinA+sinB+sinC=4cos2Acos2Bcos2C, …