9.4 Sum-to-Product and Product-to-Sum Formulas

Figure 1 The UCLA marching band (credit: Eric Chan, Flickr).
A band marches down the field creating an amazing sound that bolsters the crowd. That sound travels as a wave that can be interpreted using trigonometric functions. For example, Figure 2 represents a sound wave for the musical note A. In this section, we will investigate trigonometric identities that are the foundation of everyday phenomena such as sound waves.

Figure 2
9.4.1 Expressing Products as Sums
We have already learned a number of formulas useful for expanding or simplifying trigonometric expressions, but sometimes we may need to express the product of cosine and sine as a sum. We can use the product-to-sum formulas, which express products of trigonometric functions as sums. Let’s investigate the cosine identity first and then the sine identity.
Expressing Products as Sums for Cosine
We can derive the product-to-sum formula from the sum and difference identities for cosine. If we add the two equations, we get:
\[\begin{array}{l} \underset{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}{\begin{array}{rll} {\cos\;\alpha\;\cos\;\beta+\sin\;\alpha\;\sin\;\beta} & = & {\cos(\alpha-\beta)} \\ {+\;\;\cos\;\alpha\;\cos\;\beta-\sin\;\alpha\;\sin\;\beta} & = & {\cos(\alpha+\beta)} \end{array}} \\ \begin{array}{rll} {\mspace{103mu} 2\;\cos\;\alpha\;\cos\;\beta} & = & {\cos(\alpha - \beta) + \cos(\alpha + \beta)} \end{array} \end{array}\]
Then, we divide by \(2\) to isolate the product of cosines:
\[\cos\;\alpha\;\cos\;\beta = \frac{1}{2}\lbrack\cos(\alpha - \beta) + \cos(\alpha + \beta)\rbrack\]
Expressing the Product of Sine and Cosine as a Sum
Next, we will derive the product-to-sum formula for sine and cosine from the sum and difference formulas for sine. If we add the sum and difference identities, we get:
\[\begin{array}{l} \underset{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}{\begin{array}{crll} & {\ \sin(\alpha+\beta)} & = & {\sin\;\alpha\;\cos\;\beta+\cos\;\alpha\;\sin\;\beta} \\ + & {\mspace{70mu}{\sin(\alpha-\beta)}} & = & {\sin\;\alpha\;\cos\;\beta-\cos\;\alpha\;\sin\;\beta} \end{array}} \\ \begin{array}{rll} {\sin(\alpha + \beta) + \sin(\alpha - \beta)} & = & {2\;\sin\;\alpha\;\cos\;\beta} \end{array} \end{array}\]
Then, we divide by 2 to isolate the product of cosine and sine:
\[\sin\;\alpha\;\cos\;\beta = \frac{1}{2}\left\lbrack {\sin\left( {\alpha + \beta} \right) + \sin\left( {\alpha - \beta} \right)} \right\rbrack\]
Expressing Products of Sines in Terms of Cosine
Expressing the product of sines in terms of cosine is also derived from the sum and difference identities for cosine. In this case, we will first subtract the two cosine formulas:
\[\begin{array}{l} \underset{\operatorname{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}}{\begin{array}{l} \begin{array}{l} \\ {\cos\left( {\alpha - \beta} \right) = \cos\;\alpha\;\cos\;\beta + \sin\;\alpha\;\sin\;\beta} \end{array} \\ {- \mspace{9mu}\cos\left( {\alpha + \beta} \right) = - \left( {\cos\;\alpha\;\cos\;\beta - \sin\;\alpha\;\sin\;\beta} \right)} \end{array}} \\ {\cos\left( {\alpha - \beta} \right) - \cos\left( {\alpha + \beta} \right) = 2\;\sin\;\alpha\;\sin\;\beta} \end{array}\]
Then, we divide by 2 to isolate the product of sines:
\[\sin\;\alpha\;\sin\;\beta = \frac{1}{2}\left\lbrack {\cos\left( {\alpha - \beta} \right) - \cos\left( {\alpha + \beta} \right)} \right\rbrack\]
Similarly we could express the product of cosines in terms of sine or derive other product-to-sum formulas.
9.4.2 Expressing Sums as Products
Some problems require the reverse of the process we just used. The sum-to-product formulas allow us to express sums of sine or cosine as products. These formulas can be derived from the product-to-sum identities. For example, with a few substitutions, we can derive the sum-to-product identity for sine. Let \(\frac{u + v}{2} = \alpha\) and \(\frac{u - v}{2} = \beta.\)
Then,
\[\begin{array}{ccl} {\alpha + \beta} & = & {\frac{u + v}{2} + \frac{u - v}{2}} \\ & = & \frac{2u}{2} \\ & = & u \\ {\alpha - \beta} & = & {\frac{u + v}{2} - \frac{u - v}{2}} \\ & = & \frac{2v}{2} \\ & = & v \end{array}\]
Thus, replacing \(\alpha\) and \(\beta\) in the product-to-sum formula with the substitute expressions, we have
\[\begin{array}{rclc} {\sin\;\alpha\;\cos\;\beta} & = & {\frac{1}{2}\lbrack\sin(\alpha + \beta) + \sin(\alpha - \beta)\rbrack} & \\ {\sin\left( \frac{u + v}{2} \right)\cos\left( \frac{u - v}{2} \right)} & = & {\frac{1}{2}\lbrack\sin\; u + \sin\; v\rbrack} & {\text{Substitute~for}(\alpha + \beta)\text{~and~}(\alpha - \beta)} \\ {2\;\sin\left( \frac{u + v}{2} \right)\cos\left( \frac{u - v}{2} \right)} & = & {\sin\; u + \sin\; v} & \end{array}\]
The other sum-to-product identities are derived similarly.
Section Exercises
Verbal
1. Starting with the product to sum formula \(\sin\;\alpha\;\cos\;\beta = \frac{1}{2}\lbrack\sin(\alpha + \beta) + \sin(\alpha - \beta)\rbrack,\) explain how to determine the formula for \(\cos\;\alpha\;\sin\;\beta.\)
Solution (click to reveal)
Substitute \(\,\alpha\,\) into cosine and \(\,\beta\,\) into sine and evaluate.
2. Provide two different methods of calculating \(\cos(195{^\circ})\cos(105{^\circ}),\) one of which uses the product to sum. Which method is easier?
3. Describe a situation where we would convert an equation from a sum to a product and give an example.
Solution (click to reveal)
Answers will vary. There are some equations that involve a sum of two trig expressions where when converted to a product are easier to solve. For example: \(\frac{\sin(3x) + \sin\; x}{\cos\; x} = 1.\,\) When converting the numerator to a product the equation becomes: \(\frac{2\;\sin(2x)\cos\; x}{\cos\; x} = 1\)
4. Describe a situation where we would convert an equation from a product to a sum, and give an example.
Algebraic
For the following exercises, rewrite the product as a sum or difference.
5. \(16\;\sin(16x)\sin(11x)\)
Solution (click to reveal)
\(8\left( {\cos\left( {5x} \right) - \cos\left( {27x} \right)} \right)\)
6. \(20\;\cos\left( {36t} \right)\cos\left( {6t} \right)\)
7. \(2\;\sin\left( {5x} \right)\cos\left( {3x} \right)\)
Solution (click to reveal)
\(\sin\left( {2x} \right) + \sin\left( {8x} \right)\)
8. \(10\;\cos\left( {5x} \right)\sin\left( {10x} \right)\)
9. \(\sin\left( {- x} \right)\sin\left( {5x} \right)\)
Solution (click to reveal)
\(\frac{1}{2}\left( {\cos\left( {6x} \right) - \cos\left( {4x} \right)} \right)\)
10. \(\sin\left( {3x} \right)\cos\left( {5x} \right)\)
For the following exercises, rewrite the sum or difference as a product.
11. \(\cos\left( {6t} \right) + \cos\left( {4t} \right)\)
Solution (click to reveal)
\(2\;\cos\left( {5t} \right)\cos\; t\)
12. \(\sin\left( {3x} \right) + \sin\left( {7x} \right)\)
13. \(\cos\left( {7x} \right) + \cos\left( {- 7x} \right)\)
Solution (click to reveal)
\(2\;\cos\left( {7x} \right)\)
14. \(\sin\left( {3x} \right) - \sin\left( {- 3x} \right)\)
15. \(\cos\left( {3x} \right) + \cos\left( {9x} \right)\)
Solution (click to reveal)
\(2\;\cos\left( {6x} \right)\cos\left( {3x} \right)\)
16. \(\sin\; h - \sin\left( {3h} \right)\)
For the following exercises, evaluate the product for the following using a sum or difference of two functions. Evaluate exactly.
17. \(\cos(45{^\circ})\cos(15{^\circ})\)
Solution (click to reveal)
\(\frac{1}{4}\left( {1 + \sqrt{3}} \right)\)
18. \(\cos(45{^\circ})\sin(15{^\circ})\)
19. \(\sin(-345{^\circ})\sin(-15{^\circ})\)
Solution (click to reveal)
\(\frac{1}{4}\left( {\sqrt{3} - 2} \right)\)
20. \(\sin(195{^\circ})\cos(15{^\circ})\)
21. \(\sin(-45{^\circ})\sin(-15{^\circ})\)
Solution (click to reveal)
\(\frac{1}{4}\left( {\sqrt{3} - 1} \right)\)
For the following exercises, evaluate the product using a sum or difference of two functions. Leave in terms of sine and cosine.
22. \(\cos(23{^\circ})\sin(17{^\circ})\)
23. \(2\;\sin(100{^\circ})\sin(20{^\circ})\)
Solution (click to reveal)
\(\cos(80{^\circ}) - \cos(120{^\circ})\)
24. \(2\;\sin(-100{^\circ})\sin(-20{^\circ})\)
25. \(\sin(213{^\circ})\cos(8{^\circ})\)
Solution (click to reveal)
\(\frac{1}{2}(\sin(221{^\circ}) + \sin(205{^\circ}))\)
26. \(2\;\cos(56{^\circ})\cos(47{^\circ})\)
For the following exercises, rewrite the sum as a product of two functions. Leave in terms of sine and cosine.
27. \(\sin(76{^\circ}) + \sin(14{^\circ})\)
Solution (click to reveal)
\(\sqrt{2}\;\cos(31{^\circ})\)
28. \(\cos(58{^\circ}) - \cos(12{^\circ})\)
29. \(\sin(101{^\circ}) - \sin(32{^\circ})\)
Solution (click to reveal)
\(2\;\cos(66.5{^\circ})\sin(34.5{^\circ})\)
30. \(\cos(100{^\circ}) + \cos(200{^\circ})\)
31. \(\sin(-1{^\circ}) + \sin(-2{^\circ})\)
Solution (click to reveal)
\(2\;\sin\left( {-1.5{^\circ}\operatorname{}} \right)\cos(0.5{^\circ})\)
For the following exercises, prove the identity.
32. \(\frac{\cos(a + b)}{\cos(a - b)} = \frac{1 - \tan\; a\;\tan\; b}{1 + \tan\; a\;\tan\; b}\)
33. \(4\;\sin\left( {3x} \right)\cos\left( {4x} \right) = 2\;\sin\left( {7x} \right) - 2\;\sin x\)
Solution (click to reveal)
\(\begin{array}{l} {2\;\sin(7x) - 2\;\sin x = 2\;\sin(4x + 3x) - 2\;\sin(4x - 3x) =} \\ {2(\sin(4x)\cos(3x) + \sin(3x)\cos(4x)) - 2(\sin(4x)\cos(3x) - \sin(3x)\cos(4x)) =} \\ {2\;\sin(4x)\cos(3x) + 2\;\sin(3x)\cos(4x)) - 2\;\sin(4x)\cos(3x) + 2\;\sin(3x)\cos(4x)) =} \\ {4\;\sin(3x)\cos(4x)} \\ \end{array}\)
34. \(\frac{6\;\cos\left( {8x} \right)\sin\left( {2x} \right)}{\sin\left( {- 6x} \right)} = -3\;\sin\left( {10x} \right)\csc\left( {6x} \right) + 3\)
35. \(\sin\; x + \sin\left( {3x} \right) = 4\;\sin\; x\;\cos^{2}x\)
Solution (click to reveal)
\(\begin{matrix} {\sin\; x + \sin(3x)} & = & {2\;\sin\left( \frac{4x}{2} \right)\cos\left( \frac{- 2x}{2} \right) =} \\ {2\;\sin(2x)\cos\; x} & = & {2(2\;\sin\; x\;\cos\; x)\cos\; x =} \\ {4\;\sin\; x\;\cos^{2}\; x} & & \end{matrix}\)
36. \(2\left( {\cos^{3}x - \cos\; x\;\sin^{2}x} \right) = \cos\left( {3x} \right) + \cos\; x\)
37. \(2\;\tan\; x\;\cos\left( {3x} \right) = \sec\; x\left( {\sin\left( {4x} \right) - \sin\left( {2x} \right)} \right)\)
Solution (click to reveal)
\(\begin{array}{l} {2\;\tan\; x\;\cos\left( {3x} \right) = \frac{2\;\sin\; x\;\cos(3x)}{\cos\; x} = \frac{2(.5(\sin(4x) - \sin(2x)))}{\cos\; x} =} \\ {\frac{1}{\cos\; x}\left( {\sin(4x) - \sin(2x)} \right) = \sec\; x\left( {\sin\left( {4x} \right) - \sin\left( {2x} \right)} \right)} \end{array}\)
38. \(\cos\left( {a + b} \right) + \cos\left( {a - b} \right) = 2\;\cos\; a\;\cos\; b\)
Numeric
For the following exercises, rewrite the sum as a product of two functions or the product as a sum of two functions. Give your answer in terms of sines and cosines. Then evaluate the final answer numerically, rounded to four decimal places.
39. \(\cos(58{^\circ}) + \cos(12{^\circ})\)
Solution (click to reveal)
\(2\;\cos(35{^\circ})\cos(23{^\circ}),\text{1.5081}\)
40. \(\sin(2{^\circ}) - \sin(3{^\circ})\)
41. \(\cos(44{^\circ}) - \cos(22{^\circ})\)
Solution (click to reveal)
\(- 2\;\sin(33{^\circ})\sin(11{^\circ}), - 0.2078\)
42. \(\cos(176{^\circ})\sin(9{^\circ})\)
43. \(\sin(-14{^\circ}\operatorname{})\sin(85{^\circ})\)
Solution (click to reveal)
\(\frac{1}{2}(\cos(99{^\circ}) - \cos(71{^\circ})),-0.2410\)
Technology
For the following exercises, algebraically determine whether each of the given equation is an identity. If it is not an identity, replace the right-hand side with an expression equivalent to the left side. Verify the results by graphing both expressions on a calculator.
44. \(2\;\sin(2x)\sin(3x) = \cos\; x - \cos(5x)\)
45. \(\frac{\cos\left( {10\theta} \right) + \cos\left( {6\theta} \right)}{\cos\left( {6\theta} \right) - \cos\left( {10\theta} \right)} = \cot\left( {2\theta} \right)\cot\left( {8\theta} \right)\)
Solution (click to reveal)
It is an identity.
46. \(\frac{\sin\left( {3x} \right) - \sin\left( {5x} \right)}{\cos\left( {3x} \right) + \cos\left( {5x} \right)} = \tan\; x\)
47. \(2\;\cos(2x)\cos\; x + \sin(2x)\sin\; x = 2\;\sin\; x\)
Solution (click to reveal)
It is not an identity, but \(2\;\cos^{3}x\) is.
48. \(\frac{\sin\left( {2x} \right) + \sin\left( {4x} \right)}{\sin\left( {2x} \right) - \sin\left( {4x} \right)} = - \tan\left( {3x} \right)\cot\; x\)
For the following exercises, simplify the expression to one term, then graph the original function and your simplified version to verify they are identical.
49. \(\frac{\sin\left( {9t} \right) - \sin\left( {3t} \right)}{\cos\left( {9t} \right) + \cos\left( {3t} \right)}\)
Solution (click to reveal)
\(\tan\left( {3t} \right)\)
50. \(2\;\sin\left( {8x} \right)\cos\left( {6x} \right) - \sin\left( {2x} \right)\)
51. \(\frac{\sin\left( {3x} \right) - \sin\; x}{\sin\; x}\)
Solution (click to reveal)
\(2\;\cos\left( {2x} \right)\)
52. \(\frac{\cos\left( {5x} \right) + \cos\left( {3x} \right)}{\sin\left( {5x} \right) + \sin\left( {3x} \right)}\)
53. \(\sin\; x\;\cos\left( {15x} \right) - \cos\; x\;\sin\left( {15x} \right)\)
Solution (click to reveal)
\(- \sin(14x)\)
Extensions
For the following exercises, prove the following sum-to-product formulas.
54. \(\sin\; x - \sin\; y = 2\;\sin\left( \frac{x - y}{2} \right)\cos\left( \frac{x + y}{2} \right)\)
55. \(\cos\; x + \cos\; y = 2\;\cos\left( \frac{x + y}{2} \right)\cos\left( \frac{x - y}{2} \right)\)
Solution (click to reveal)
Start with \(\cos\; x + \cos\; y.\) Make a substitution and let \(x = \alpha + \beta\) and let \(y = \alpha - \beta,\) so \(\cos\; x + \cos\; y\) becomes \(\begin{array}{l} \\ {\cos(\alpha + \beta) + \cos(\alpha - \beta) = \cos\alpha\cos\beta - \sin\alpha\sin\beta + \cos\alpha\cos\beta + \sin\alpha\sin\beta =} \\ {2\cos\ \alpha\cos\ \beta} \end{array}\)
Since \(x = \alpha + \beta\) and \(y = \alpha - \beta,\) we can solve for \(\alpha\) and \(\beta\) in terms of \(x\) and \(y\) and substitute in for \(2\cos\alpha\cos\beta\) and get \(2\cos\left( \frac{x + y}{2} \right)\cos\left( \frac{x - y}{2} \right).\)
For the following exercises, prove the identity.
56. \(\frac{\sin(6x) + \sin(4x)}{\sin(6x) - \sin(4x)} = \tan\;(5x)\cot\; x\)
57. \(\frac{\cos(3x) + \cos\; x}{\cos(3x) - \cos\; x} = - \cot\;(2x)\cot\; x\)
Solution (click to reveal)
\(\frac{\cos\left( {3x} \right) + \cos\; x}{\cos\left( {3x} \right) - \cos\; x} = \frac{2\;\cos\left( {2x} \right)\cos\; x}{- 2\;\sin\left( {2x} \right)\sin\; x} = - \cot\left( {2x} \right)\cot\; x\)
58. \(\frac{\cos(6y) + \cos(8y)}{\sin(6y) - \sin(4y)} = \cot\; y\;\cos\;(7y)\sec\;(5y)\)
59. \(\frac{\cos\left( {2y} \right) - \cos\left( {4y} \right)}{\sin\left( {2y} \right) + \sin\left( {4y} \right)} = \tan\; y\)
Solution (click to reveal)
\(\begin{array}{rcl} \frac{\cos(2y) - \cos(4y)}{\sin(2y) + \sin(4y)} & = & {\frac{- 2\;\sin(3y)\sin( - y)}{2\;\sin(3y)\cos\; y} =} \\ \frac{2\;\sin(3y)\sin(y)}{2\;\sin(3y)\cos\; y} & = & {\tan\; y} \end{array}\)
60. \(\frac{\sin\left( {10x} \right) - \sin\left( {2x} \right)}{\cos\left( {10x} \right) + \cos\left( {2x} \right)} = \tan\left( {4x} \right)\)
61. \(\cos\; x - \cos(3x) = 4\;\sin^{2}x\cos\; x\)
Solution (click to reveal)
\(\begin{array}{l} {\cos\; x - \cos\left( {3x} \right) = - 2\;\sin(2x)\sin( - x) =} \\ {2(2\;\sin\; x\;\cos\; x)\sin\; x = 4\;\sin^{2}\; x\;\cos\; x} \end{array}\)
62. \({(\cos(2x) - \cos(4x))}^{2} + {(\sin(4x) + \sin(2x))}^{2} = 4\;\sin^{2}(3x)\)
63. \(\tan\left( {\frac{\pi}{4} - t} \right) = \frac{1 - \tan\; t}{1 + \tan\; t}\)
Solution (click to reveal)
\(\tan\left( {\frac{\pi}{4} - t} \right) = \frac{\tan\left( \frac{\pi}{4} \right) - \tan t}{1 + \tan\left( \frac{\pi}{4} \right)\tan(t)} = \frac{1 - \tan t}{1 + \tan t}\)