Skip to content

Mathematics · Ch 3 — Trigonometry

Product to Sum and Sum to Product Identities

3.5.3

Product to Sum and Sum to Product Identities

Some problems are far easier once a product of trigonometric functions is rewritten as a sum or difference (this is especially useful later when integrating a product of sines/cosines), and other problems go the other way — a sum is easier to factor once it is rewritten as a product. Both directions come from the same four building blocks: the sine and cosine addition/subtraction formulas

sin⁡(A+B)=sin⁡Acos⁡B+cos⁡Asin⁡Bsin⁡(A−B)=sin⁡Acos⁡B−cos⁡Asin⁡B\sin(A+B)=\sin A\cos B+\cos A\sin B \qquad \sin(A-B)=\sin A\cos B-\cos A\sin B

cos⁡(A+B)=cos⁡Acos⁡B−sin⁡Asin⁡Bcos⁡(A−B)=cos⁡Acos⁡B+sin⁡Asin⁡B\cos(A+B)=\cos A\cos B-\sin A\sin B \qquad \cos(A-B)=\cos A\cos B+\sin A\sin B

From product to sum. Add or subtract these four in pairs and the mixed terms cancel, leaving a pure product on one side:

  • Adding the two sine formulas: sin⁡(A+B)+sin⁡(A−B)=2sin⁡Acos⁡B\sin(A+B)+\sin(A-B)=2\sin A\cos B, so

sin⁡Acos⁡B=12[sin⁡(A+B)+sin⁡(A−B)]\sin A\cos B=\tfrac12\big[\sin(A+B)+\sin(A-B)\big]

  • Subtracting them: sin⁡(A+B)−sin⁡(A−B)=2cos⁡Asin⁡B\sin(A+B)-\sin(A-B)=2\cos A\sin B, so

cos⁡Asin⁡B=12[sin⁡(A+B)−sin⁡(A−B)]\cos A\sin B=\tfrac12\big[\sin(A+B)-\sin(A-B)\big]

  • Adding the two cosine formulas: cos⁡(A+B)+cos⁡(A−B)=2cos⁡Acos⁡B\cos(A+B)+\cos(A-B)=2\cos A\cos B, so

cos⁡Acos⁡B=12[cos⁡(A+B)+cos⁡(A−B)]\cos A\cos B=\tfrac12\big[\cos(A+B)+\cos(A-B)\big]

  • Subtracting them (cosine-difference minus cosine-sum): cos⁡(A−B)−cos⁡(A+B)=2sin⁡Asin⁡B\cos(A-B)-\cos(A+B)=2\sin A\sin B, so

sin⁡Asin⁡B=12[cos⁡(A−B)−cos⁡(A+B)]\sin A\sin B=\tfrac12\big[\cos(A-B)-\cos(A+B)\big]

These four are the product-to-sum identities. Notice the pattern: whichever pair of functions you're multiplying, you get half the sum/difference of sin⁡\sin or cos⁡\cos of the added and subtracted angles — the only thing to get right is the sign in the middle and which combination (A+BA+B or A−BA-B first) matches the product you started with.

From sum to product — the reverse direction. To go back the other way, set C=A+BC=A+B and D=A−BD=A-B. Solving these two simultaneously gives

A=C+D2,B=C−D2.A=\frac{C+D}{2}, \qquad B=\frac{C-D}{2}.

Substituting these into the four product-to-sum identities above (and multiplying through by 2) turns every product on the right into a sum/difference C,DC,D on the left, giving the sum-to-product identities:

sin⁡C+sin⁡D=2sin⁡C+D2cos⁡C−D2\sin C+\sin D=2\sin\frac{C+D}{2}\cos\frac{C-D}{2}

sin⁡C−sin⁡D=2cos⁡C+D2sin⁡C−D2\sin C-\sin D=2\cos\frac{C+D}{2}\sin\frac{C-D}{2}

cos⁡C+cos⁡D=2cos⁡C+D2cos⁡C−D2\cos C+\cos D=2\cos\frac{C+D}{2}\cos\frac{C-D}{2}

cos⁡C−cos⁡D=2sin⁡C+D2sin⁡D−C2\cos C-\cos D=2\sin\frac{C+D}{2}\sin\frac{D-C}{2}

A quick way to keep the last one straight: cos⁡C−cos⁡D\cos C-\cos D is negative of cos⁡D−cos⁡C\cos D - \cos C, and by symmetry of the third line cos⁡D−cos⁡C=2sin⁡C+D2sin⁡D−C2\cos D-\cos C=2\sin\frac{C+D}2\sin\frac{D-C}2 —note the sin⁡D−C2\sin\frac{D-C}2, not sin⁡C−D2\sin\frac{C-D}2, is what keeps the sign consistent for C>DC>D or C<DC<D alike.

A special family — the 60°±A triple products. Three neat identities follow from the product-to-sum machinery:

sin⁡(60∘−A)sin⁡Asin⁡(60∘+A)=14sin⁡3A,cos⁡(60∘−A)cos⁡Acos⁡(60∘+A)=14cos⁡3A,tan⁡(60∘−A)tan⁡Atan⁡(60∘+A)=tan⁡3A.\sin(60^\circ-A)\sin A\sin(60^\circ+A)=\tfrac14\sin 3A, \qquad \cos(60^\circ-A)\cos A\cos(60^\circ+A)=\tfrac14\cos 3A, \qquad \tan(60^\circ-A)\tan A\tan(60^\circ+A)=\tan 3A.

The sine one is proved by first pairing the two 60±A factors with the product-to-sum rule for cosine (sin⁡(60−A)sin⁡(60+A)\sin(60-A)\sin(60+A) can be re-read as sin⁡Xsin⁡Y\sin X \sin Y with X=60−A,Y=60+AX=60-A, Y=60+A, giving 12[cos⁡2A−cos⁡120∘]\tfrac12[\cos 2A-\cos120^\circ]), then multiplying the remaining sin⁡A\sin A back in and converting the resulting cos⁡2Asin⁡A\cos2A\sin A product into a sum again — the two intermediate product-to-sum passes eventually collapse everything to a single sin⁡3A\sin3A term. The cosine version follows by exactly the same two-step route with cosines throughout, and the tangent one follows by dividing the sine version by the cosine version and simplifying. These three are extremely useful shortcuts whenever a problem presents three factors spaced 60∘60^\circ apart (or a triple like 10∘,30∘,50∘,70∘10^\circ,30^\circ,50^\circ,70^\circ that can be regrouped that way).

How the textbook examples use all this. The worked examples in this section fall into three families:

  • Turning a product into a sum directly (e.g. sin⁡40∘cos⁡30∘\sin40^\circ\cos30^\circ, cos⁡110∘sin⁡55∘\cos110^\circ\sin55^\circ, or a half-angle product like sin⁡x2cos⁡3x2\sin\frac{x}{2}\cos\frac{3x}{2}): identify which of the four product-to-sum formulas matches the order of the two functions, plug in AA and BB, and simplify the resulting angles.
  • Turning a sum/difference into a product (e.g. sin⁡50∘+sin⁡20∘\sin50^\circ+\sin20^\circ, cos⁡6θ+cos⁡2θ\cos6\theta+\cos2\theta, cos⁡3x2−cos⁡9x2\cos\frac{3x}{2}-\cos\frac{9x}{2}): identify CC and DD, compute C+D2\frac{C+D}{2} and C−D2\frac{C-D}{2}, and substitute into the matching sum-to-product formula. …