9.4: Sum-to-Product and Product-to-Sum Formulas
- Page ID
- 50229
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- Express products as sums.
- Express sums as products.
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 \(\PageIndex{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.
.jpg?revision=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{align*} \cos \alpha \cos \beta+\sin \alpha \sin \beta&= \cos(\alpha-\beta)\\[4pt] \underline{+ \cos \alpha \cos \beta-\sin \alpha \sin \beta}&= \underline{ \cos(\alpha+\beta) }\\[4pt] 2 \cos \alpha \cos \beta&= \cos(\alpha-\beta)+\cos(\alpha+\beta)\end{align*}\]
Then, we divide by 2 to isolate the product of cosines:
\[ \cos \alpha \cos \beta= \dfrac{1}{2}[\cos(\alpha-\beta)+\cos(\alpha+\beta)] \label{eq1}\]
- Write the formula for the product of cosines.
- Substitute the given angles into the formula.
- Simplify.
Write the following product of cosines as a sum: \(2\cos\left(\dfrac{7x}{2}\right) \cos\left(\dfrac{3x}{2}\right)\).
Solution
We begin by writing the formula for the product of cosines (Equation \ref{eq1}):
\[ \cos \alpha \cos \beta = \dfrac{1}{2}[ \cos(\alpha-\beta)+\cos(\alpha+\beta) ] \nonumber \]
We can then substitute the given angles into the formula and simplify.
\[\begin{align*} 2 \cos\left(\dfrac{7x}{2}\right)\cos\left(\dfrac{3x}{2}\right)&= 2\left(\dfrac{1}{2}\right)[ \cos\left(\dfrac{7x}{2}-\dfrac{3x}{2}\right)+\cos\left(\dfrac{7x}{2}+\dfrac{3x}{2}\right) ]\\[4pt] &= \cos\left(\dfrac{4x}{2}\right)+\cos\left(\dfrac{10x}{2}\right) \\[4pt] &= \cos 2x+\cos 5x \end{align*}\]
Use the product-to-sum formula (Equation \ref{eq1}) to write the product as a sum or difference: \(\cos(2\theta)\cos(4\theta)\).
- Answer
-
\(\dfrac{1}{2}(\cos 6\theta+\cos 2\theta)\)
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{align*} \cos \alpha \cos \beta+\sin \alpha \sin \beta&= \cos(\alpha-\beta)\\[4pt] \underline{+ \cos \alpha \cos \beta-\sin \alpha \sin \beta}&= \cos(\alpha+\beta)\\[4pt] 2 \cos \alpha \cos \beta&= \cos(\alpha-\beta)+\cos(\alpha+\beta)\\[4pt] \text{Then, we divide by 2 to isolate the product of cosines:}\\[4pt] \cos \alpha \cos \beta&= \dfrac{1}{2}\left[\cos(\alpha-\beta)+\cos(\alpha+\beta)\right] \end{align*}\]
Express the following product as a sum containing only sine or cosine and no products: \(\sin(4\theta)\cos(2\theta)\).
Solution
Write the formula for the product of sine and cosine. Then substitute the given values into the formula and simplify.
\[\begin{align*} \sin \alpha \cos \beta&= \dfrac{1}{2}[ \sin(\alpha+\beta)+\sin(\alpha-\beta) ]\\[4pt] \sin(4\theta)\cos(2\theta)&= \dfrac{1}{2}[\sin(4\theta+2\theta)+\sin(4\theta-2\theta)]\\[4pt] &= \dfrac{1}{2}[\sin(6\theta)+\sin(2\theta)] \end{align*}\]
Use the product-to-sum formula to write the product as a sum: \(\sin(x+y)\cos(x−y)\).
- Answer
-
\(\dfrac{1}{2}(\sin 2x+\sin 2y)\)
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{align*} \cos(\alpha-\beta)&= \cos \alpha \cos \beta+\sin \alpha \sin \beta\\[4pt] \underline{-\cos(\alpha+\beta)}&= -(\cos \alpha \cos \beta-\sin \alpha \sin \beta)\\[4pt] \cos(\alpha-\beta)-\cos(\alpha+\beta)&= 2 \sin \alpha \sin \beta\\[4pt] \text{Then, we divide by 2 to isolate the product of sines:}\\[4pt] \sin \alpha \sin \beta&= \dfrac{1}{2}[ \cos(\alpha-\beta)-\cos(\alpha+\beta) ] \end{align*}\]
Similarly we could express the product of cosines in terms of sine or derive other product-to-sum formulas.
The product-to-sum formulas are as follows:
\[\cos \alpha \cos \beta=\dfrac{1}{2}[\cos(\alpha−\beta)+\cos(\alpha+\beta)]\]
\[\sin \alpha \cos \beta=\dfrac{1}{2}[\sin(\alpha+\beta)+\sin(\alpha−\beta)]\]
\[\sin \alpha \sin \beta=\dfrac{1}{2}[\cos(\alpha−\beta)−\cos(\alpha+\beta)]\]
\[\cos \alpha \sin \beta=\dfrac{1}{2}[\sin(\alpha+\beta)−\sin(\alpha−\beta)]\]
Write \(\cos(3\theta) \cos(5\theta)\) as a sum or difference.
Solution
We have the product of cosines, so we begin by writing the related formula. Then we substitute the given angles and simplify.
\[\begin{align*} \cos \alpha \cos \beta&= \dfrac{1}{2}[\cos(\alpha-\beta)+\cos(\alpha+\beta)]\\[4pt] \cos(3\theta)\cos(5\theta)&= \dfrac{1}{2}[\cos(3\theta-5\theta)+\cos(3\theta+5\theta)]\\[4pt] &= \dfrac{1}{2}[\cos(2\theta)+\cos(8\theta)]\qquad \text{Use even-odd identity} \end{align*}\]
Use the product-to-sum formula to evaluate \(\cos \dfrac{11\pi}{12} \cos \dfrac{\pi}{12}\).
- Answer
-
\(\dfrac{−2−\sqrt{3}}{4}\)
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 \(\dfrac{u+v}{2}=\alpha\) and \(\dfrac{u−v}{2}=\beta\).
Then,
\[\begin{align*} \alpha+\beta&= \dfrac{u+v}{2}+\dfrac{u-v}{2}\\[4pt] &= \dfrac{2u}{2}\\[4pt] &= u \end{align*}\]
\[\begin{align*} \alpha-\beta&= \dfrac{u+v}{2}-\dfrac{u-v}{2}\\[4pt] &= \dfrac{2v}{2}\\[4pt] &= v \end{align*}\]
Thus, replacing \(\alpha\) and \(\beta\) in the product-to-sum formula with the substitute expressions, we have
\[\begin{align*} \sin \alpha \cos \beta&= \dfrac{1}{2}[\sin(\alpha+\beta)+\sin(\alpha-\beta)]\\[4pt] \sin \left ( \frac{u+v}{2} \right ) \cos \left ( \frac{u-v}{2} \right )&= \frac{1}{2}[\sin u + \sin v]\qquad \text{Substitute for } (\alpha+\beta) \text{ and } (\alpha\beta)\\[4pt] 2\sin\left(\dfrac{u+v}{2}\right) \cos\left(\dfrac{u-v}{2}\right)&= \sin u+\sin v \end{align*}\]
The other sum-to-product identities are derived similarly.
The sum-to-product formulas are as follows:
\[\sin \alpha+\sin \beta=2\sin\left(\dfrac{\alpha+\beta}{2}\right)\cos\left(\dfrac{\alpha−\beta}{2}\right)\]
\[\sin \alpha-\sin \beta=2\sin\left(\dfrac{\alpha-\beta}{2}\right)\cos\left(\dfrac{\alpha+\beta}{2}\right)\]
\[\cos \alpha−\cos \beta=−2\sin\left(\dfrac{\alpha+\beta}{2}\right)\sin\left(\dfrac{\alpha−\beta}{2}\right)\]
\[\cos \alpha+\cos \beta=2\sin\left(\dfrac{\alpha+\beta}{2}\right)\sin\left(\dfrac{\alpha−\beta}{2}\right)\]
Write the following difference of sines expression as a product: \(\sin(4\theta)−\sin(2\theta)\).
Solution
We begin by writing the formula for the difference of sines.
\[\begin{align*} \sin \alpha-\sin \beta&= 2\sin\left(\dfrac{\alpha-\beta}{2}\right)\cos\left(\dfrac{\alpha+\beta}{2}\right)\\[4pt] \text {Substitute the values into the formula, and simplify.}\\[4pt] \sin(4\theta)-\sin(2\theta)&= 2\sin\left(\dfrac{4\theta-2\theta}{2}\right) \cos\left(\dfrac{4\theta+2\theta}{2}\right)\\[4pt] &= 2\sin\left(\dfrac{2\theta}{2}\right) \cos\left(\dfrac{6\theta}{2}\right)\\[4pt] &= 2 \sin \theta \cos(3\theta) \end{align*}\]
Use the sum-to-product formula to write the sum as a product: \(\sin(3\theta)+\sin(\theta)\).
- Answer
-
\(2\sin(2\theta)\cos(\theta)\)
Evaluate \(\cos(15°)−\cos(75°)\). Check the answer with a graphing calculator.
Solution
We begin by writing the formula for the difference of cosines.
\[\begin{align*}
\cos \alpha-\cos \beta&= -2 \sin\left(\dfrac{\alpha+\beta}{2}\right) \sin\left(\dfrac{\alpha-\beta}{2}\right)\\[4pt]
\text {Then we substitute the given angles and simplify.}\\[4pt]
\cos(15^{\circ})-\cos(75^{\circ})&= -2\sin\left(\dfrac{15^{\circ}+75^{\circ}}{2}\right) \sin\left(\dfrac{15^{\circ}-75^{\circ}}{2}\right)\\[4pt]
&= -2\sin(45^{\circ}) \sin(-30^{\circ})\\[4pt]
&= -2\left(\dfrac{\sqrt{2}}{2}\right)\left(-\dfrac{1}{2}\right)\\[4pt]
&= \dfrac{\sqrt{2}}{2}
\end{align*}\]
Prove the identity:
\[\dfrac{\cos(4t)−\cos(2t)}{\sin(4t)+\sin(2t)}=−\tan t\]
Solution
We will start with the left side, the more complicated side of the equation, and rewrite the expression until it matches the right side.
\[\begin{align*} \dfrac{\cos(4t)-\cos(2t)}{\sin(4t)+\sin(2t)}&= \dfrac{-2 \sin\left(\dfrac{4t+2t}{2}\right) \sin\left(\dfrac{4t-2t}{2}\right)}{2 \sin\left(\dfrac{4t+2t}{2}\right) \cos\left(\dfrac{4t-2t}{2}\right)}\\[4pt] &= \dfrac{-2 \sin(3t)\sin t}{2 \sin(3t)\cos t}\\[4pt] &= -\dfrac{\sin t}{\cos t}\\[4pt] &= -\tan t \end{align*}\]
Analysis
Recall that verifying trigonometric identities has its own set of rules. The procedures for solving an equation are not the same as the procedures for verifying an identity. When we prove an identity, we pick one side to work on and make substitutions until that side is transformed into the other side.
Verify the identity \({\csc}^2 \theta−2=\cos(2\theta)\sin2\theta\).
Solution
For verifying this equation, we are bringing together several of the identities. We will use the double-angle formula and the reciprocal identities. We will work with the right side of the equation and rewrite it until it matches the left side.
\[\begin{align*} \cos(2\theta)\sin2\theta&= \dfrac{1-2 {\sin}^2 \theta}{{\sin}^2 \theta}\\[4pt] &= \dfrac{1}{{\sin}^2 \theta}-\dfrac{2 {\sin}^2 \theta}{{\sin}^2 \theta}\\[4pt] &= {\csc}^2 \theta - 2 \end{align*}\]
Verify the identity \(\tan \theta \cot \theta−{\cos}^2 \theta={\sin}^2 \theta\).
- Answer
-
\[\begin{align*} \tan \theta \cot \theta-{\cos}^2 \theta&= \left(\dfrac{\sin \theta}{\cos \theta}\right)\left(\dfrac{\cos \theta}{\sin \theta}\right)-{\cos}^2 \theta\\[4pt] &= 1-{\cos}^2 \theta\\[4pt] &= {\sin}^2 \theta \end{align*}\]
Access these online resources for additional instruction and practice with the product-to-sum and sum-to-product identities.
Key Equations
Product-to-sum Formulas
\[\cos \alpha \cos \beta=\dfrac{1}{2}[\cos(\alpha−\beta)+\cos(\alpha+\beta)] \nonumber \]
\[\sin \alpha \cos \beta=\dfrac{1}{2}[\sin(\alpha+\beta)+\sin(\alpha−\beta)] \nonumber \]
\[\sin \alpha \sin \beta=\dfrac{1}{2}[\cos(\alpha−\beta)−\cos(\alpha+\beta)] \nonumber \]
\[\cos \alpha \sin \beta=\dfrac{1}{2}[\sin(\alpha+\beta)−\sin(\alpha−\beta)] \nonumber \]
Sum-to-product Formulas
\[\sin \alpha+\sin \beta=2\sin(\dfrac{\alpha+\beta}{2})\cos(\dfrac{\alpha−\beta}{2}) \nonumber \]
\[\sin \alpha-\sin \beta=2\sin(\dfrac{\alpha-\beta}{2})\cos(\dfrac{\alpha+\beta}{2}) \nonumber \]
\[\cos \alpha−\cos \beta=−2\sin(\dfrac{\alpha+\beta}{2})\sin(\dfrac{\alpha−\beta}{2}) \nonumber \]
\[\cos \alpha+\cos \beta=2\sin(\dfrac{\alpha+\beta}{2})\sin(\dfrac{\alpha−\beta}{2}) \nonumber \]
Key Concepts
- From the sum and difference identities, we can derive the product-to-sum formulas and the sum-to-product formulas for sine and cosine.
- We can use the product-to-sum formulas to rewrite products of sines, products of cosines, and products of sine and cosine as sums or differences of sines and cosines. See Example \(\PageIndex{1}\), Example \(\PageIndex{2}\), and Example \(\PageIndex{3}\).
- We can also derive the sum-to-product identities from the product-to-sum identities using substitution.
- We can use the sum-to-product formulas to rewrite sum or difference of sines, cosines, or products sine and cosine as products of sines and cosines. See Example \(\PageIndex{4}\).
- Trigonometric expressions are often simpler to evaluate using the formulas. See Example \(\PageIndex{5}\).
- The identities can be verified using other formulas or by converting the expressions to sines and cosines. To verify an identity, we choose the more complicated side of the equals sign and rewrite it until it is transformed into the other side. See Example \(\PageIndex{6}\) and Example \(\PageIndex{7}\).