Skip to main content
Mathematics LibreTexts

4.5: Sum-Product Identities

  • Page ID
    7122
  • \( \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}\)

    Focus Questions

    The following questions are meant to guide our study of the material in this section. After studying this section, we should understand the concepts motivated by these questions and be able to write precise, coherent answers to these questions.

    • What are the Product-to-Sum Identities for the sine and cosine?
    • What are the Sum-to-Product Identities for the sine and cosine?
    • Why are these identities useful?

    In general, trigonometric equations are very difficult to solve exactly. We have been using identities to solve trigonometric equations, but there are still many more for which we cannot find exact solutions. Consider, for example, the equation

    \[\sin(3x) + \sin(x) = 0\]

    The graph of \(y = \sin(3x) + \sin(x)\) is shown in Figure \(\PageIndex{1}\). We can see that there are many solutions, but the identities we have so far do not help us with this equation. What would make this equation easier to solve is if we could rewrite the sum on the left as a product – then we could use the fact that a product is zero if and only if one of its factors is 0. We will later introduce the Sum-to-Product Identities that will help us solve this equation.

    Beginning Activity

    Let \(A = 30^\circ\) and \(B = 45^\circ\). Calculate

    \[\cos(A)\cos(B)\space and \space (\dfrac{1}{2})[\cos(A + B) + \cos(A - B)]\]

    What do you notice?

    Product-to-Sum Identities

    The Cosine Sum and Difference Identities

    \[\cos(A - B) = \cos(A)\cos(B) + \sin(A)\sin(B)\]

    \[\cos(A + B) = \cos(A)\cos(B) - \sin(A)\sin(B)\]

    4.11.png

    Figure \(\PageIndex{1}\): Graph of \(y = \sin(3x) + \sin(x)\).

    will allow us to develop identities that will express product of cosines or sines in terms of sums of cosines and sines. To see how these identities arise, we add the left and right sides of (4) and (5) to obtain

    \[\cos(A - B) + \cos(A + B) = 2\cos(A)\cos(B)\]

    So

    \[\cos(A)\cos(B) = (\dfrac{1}{2})[\cos(A + B) + \cos(A - B)]\]

    Similarly, subtracting the left and right sides of (5) from (4) gives us

    \[\cos(A - B) - \cos(A + B) = 2\sin(A)\cos(B)\]

    So

    \[\sin(A)\sin(B) = (\dfrac{1}{2})[\cos(A - B) - \cos(A + B)]\]

    We can similarly obtain a formula for \(\cos(A)\cos(B)\). In this case we use the sine sum and difference formulas

    \[\sin(A - B) = \sin(A)\cos(B) - \cos(A)\sin(B)\]

    \[\sin(A + B) = \sin(A)\cos(B) + \cos(A)\sin(B)\]

    Adding the left and right hand sides of (6) and (7) yields

    \[\sin(A - B) + \sin(A + B) = 2\sin(A)\cos(B)\]

    So

    \[\sin(A)\cos(B) = (\dfrac{1}{2})[\sin(A + B) + \sin(A - B)]\]

    Product-to-Sum Identities

    For any numbers \(A\) and \(B\) we have

    \[\cos(A)\cos(B) = (\dfrac{1}{2})[\cos(A + B) + \cos(A - B)]\]

    \[\sin(A)\sin(B) = (\dfrac{1}{2})[\cos(A - B) - \cos(A + B)]\]

    \[\sin(A)\cos(B) = (\dfrac{1}{2})[\sin(A + B) + \sin(A - B)]\]

    Exercise \(\PageIndex{1}\)

    Find the exact value of \(\sin(52.5^\circ)\sin(7.5^\circ)\).

    Answer

    To determine the exact value of \(\sin(52.5^\circ)\sin(7.5^\circ)\), we will use the Product-to- Sum identity

    \[\sin(A)\sin(B) = (\dfrac{1}{2})[\cos(A - B) - \cos(A + B)]\]

    So we see that
    \[\sin(52.5^\circ)\sin(7.5^\circ) = (\dfrac{1}{2})[\cos(45^\circ) - \cos(60^\circ)] = (\dfrac{1}{2})[\dfrac{\sqrt{2}}{2} - \dfrac{1}{2}] = \dfrac{\sqrt{2} - 1}{4}\]

    Sum-to-Product Identities

    As our final identities, we derive the reverse of the Product-to-Sum identities. These identities are called the Sum-to-Product identities. For example, to verify the identity

    \[\cos(A) + \cos(B) = 2\cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    we first note that \(A = \dfrac{A + B }{2}\) and \(B = \dfrac{A + B}{2} - \dfrac{A - B}{2}\). So

    \[\cos(A) = \cos(\dfrac{A + B}{2} + \dfrac{A - B}{2}) = \cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2}) - \sin(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]
    and

    \[\cos(B) = \cos(\dfrac{A + B}{2} + \dfrac{A - B}{2}) = \cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2}) + \sin(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    Adding the left and right sides of (8) and (9) results in

    \[\cos(A) + \cos(B) = 2\cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    Also, if we subtract the left and right hands sides of (9) from (8) we obtain

    \[\cos(A) - \cos(B) = -2\sin(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    Similarly,

    \[\sin(A) = \sin(\dfrac{A + B}{2} + \dfrac{A - B}{2}) = \sin(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2}) + \cos(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]
    and

    \[\sin(B) = \sin(\dfrac{A + B}{2} + \dfrac{A - B}{2}) = \sin(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2}) - \cos(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    Adding the left and right sides of (10) and (11) results in

    \[\sin(A) + \sin(B) = 2\sin(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    Again, if we subtract the left and right hands sides of (11) from (10) we obtain

    \[\sin(A) - \sin(B) = 2\cos(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    Sum-to-Product Identities

    For any numbers \(A\) and \(B\) we have

    \[\cos(A) + \cos(B) = 2\cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    \[\cos(A) - \cos(B) = -2\sin(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    \[\sin(A) + \sin(B) = 2\sin(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    \[\sin(A) - \sin(B) = 2\cos(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    Exercise \(\PageIndex{2}\)

    Find the exact value of \(\cos(112.5^\circ) + \cos(67.5^\circ)\).

    Answer

    To determine the exact value of \(\cos(112.5^\circ) + \cos(67.5^\circ)\), we will use the Sum-to-Product Identity

    \[\cos(A) + \cos(B) = 2\cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    So we see that

    \[\cos(112.5^\circ) + \cos(67.5^\circ) = 2\cos(\dfrac{180^\circ}{2})\cos(\dfrac{45^\circ}{2}) = \cos(90^\circ)\cos(22.5^\circ) = 0\cdot\cos(22.5^\circ) = 0\]

    We can use these Sum-to-Product and Product-to-Sum Identities to solve even more types of trigonometric equations.

    Example \(\PageIndex{1}\): (Solving Equations Using the Sum-to-Product Identity)

    Let us return to the problem stated at the beginning of this section to solve the equation

    \[\sin(3x) + \sin(x) = 0\]

    Using the Sum-to-Product

    \[\sin(A) + \sin(B) = 2\sin(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    we can rewrite the equation as follows:

    \[\sin(3x) + \sin(x) = 0\]

    \[2\sin(\dfrac{4x}{2})\cos(\dfrac{x}{2}) = 0\]

    \[2\sin(2x)\cos(\dfrac{x}{2}) = 0\]

    The advantage of this form is that we now have a product of functions equal to \(0\), and the only way a product can equal \(0\) is if one of the factors is \(0\). This reduces our original problem to two equations we can solve:

    \[\sin(2x) = 0\] or \[\cos(\dfrac{x}{2}) = 0\]

    We know that \(\sin(2x) = 0\) when \(2x = k\pi\) or \(x = k\dfrac{\pi}{2}\), where \(k\) is any integer, and \(\cos(\dfrac{x}{2}) = 0\) when \(\dfrac{x}{2} = \dfrac{\pi}{2} + k\pi\) or \(x = \pi + k2\pi\), where \(k\) is any integer. These solutions can be seen where the graph of \(y = \sin(3x) + \sin(x)\) intersects the \(x\)-axis as illustrated in Figure \(\PageIndex{2}\).

    Summary of Trigonometric Identities

    Trigonometric identities are useful in that they allow us to determine exact values for the trigonometric functions at more points than before and also provide tools for deriving new identities and for solving trigonometric equations. Here we provide a summary of our trigonometric identities.

    4.12.png

    Figure \(\PageIndex{2}\): Graph of \(y = \sin(3x) + \sin(x)\).

    Cofunction Identities

    \[\cos(\dfrac{\pi}{2} - A) = \sin(A)\]
    \[\sin(\dfrac{\pi}{2} - A) = \cos(A)\]
    \[\tan(\dfrac{\pi}{2} - A) = \cot(A)\]

    Half Angle Identities

    \[\cos^{2}(\dfrac{A}{2}) = \dfrac{1 + \cos(A)}{2}\]
    \[\cos(\dfrac{A}{2}) = \pm\sqrt{\dfrac{1 + \cos(A)}{2}}\]
    \[\sin^{2}(\dfrac{A}{2}) = \dfrac{1 - \cos(A)}{2}\]
    \[\sin(\dfrac{A}{2}) = \pm\sqrt{\dfrac{1 - \cos(A)}{2}}\]
    \[\tan(\dfrac{A}{2}) = \sqrt{\dfrac{\sin(A)}{1 + \cos(A)}}\]
    \[\tan(\dfrac{A}{2}) = \sqrt{\dfrac{1 - \cos(A)}{\sin(A)}}\]

    The signs of \(\cos(\dfrac{A}{2}\) and \(\sin(\dfrac{A}{2}\) depend on the quadrant in which \(\dfrac{A}{2}\) lies.

    Double Angle Identities

    \[\sin(2A) = 2\cos(A)\sin(A)\]
    \[\cos(2A) = \cos^{2}(A) - \sin^{2}(A)\]
    \[\cos(2A) = 1 - 2\sin^{2}(A)\]
    \[\cos(2A) = 2\cos^{2}(A) - 1\]
    \[\tan(2A) = \dfrac{2\tan(A)}{1 - \tan^{2}(A)}\]

    Cosine Difference and Sum Identities

    \[\cos(A) - \cos(B) = \cos(A)\cos(B) + \sin(A)\sin(B)\]

    \[\cos(A) + \cos(B) = \cos(A)\cos(B) - \sin(A)\sin(B)\]

    Sine Difference and Sum Identities

    \[\sin(A - B) = \sin(A)\cos(B) - \cos(A)\sin(B)\]

    \[\sin(A + B) = \sin(A)\cos(B) + \cos(A)\sin(B)\]

    Tangent Difference and Sum Identities

    \[\tan(A - B) = \dfrac{\tan(A) - \tan(B)}{1 + \tan(A)\tan(B)}\]
    \[\tan(A + B) = \dfrac{\tan(A) + \tan(B)}{1 - \tan(A)\tan(B)}\]

    Product-to-Sum Identities

    \[\cos(A)\cos(B) = (\dfrac{1}{2})[\cos(A + B) + \cos(A - B)]\]

    \[\sin(A)\sin(B) = (\dfrac{1}{2})[\cos(A - B) - \cos(A - B)]\]

    \[\sin(A)\cos(B) = (\dfrac{1}{2})[\sin(A + B) + \sin(A - B)]\]

    Sum-to-Product Identities

    \[\cos(A) + \cos(B) = 2\cos(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    \[\cos(A) - \cos(B) = -2\sin(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]

    \[\sin(A) + \sin(B) = 2\sin(\dfrac{A + B}{2})\cos(\dfrac{A - B}{2})\]

    \[\sin(A) - \sin(B) = 2\cos(\dfrac{A + B}{2})\sin(\dfrac{A - B}{2})\]


    This page titled 4.5: Sum-Product Identities is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Ted Sundstrom & Steven Schlicker (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform.