Skip to main content
K12 LibreTexts

3.4.2: Double Angle Identities

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

    Simplifying trigonometric functions with twice a given angle.

    These identities are significantly more involved and less intuitive than previous identities. By practicing and working with these advanced identities, your toolbox and fluency substituting and proving on your own will increase. Each identity in this concept is named aptly. Double angles work on finding \(\sin 80^{\circ} \) if you already know \(\sin 40^{\circ} \). Half angles allow you to find \(\sin 15^{\circ} \) if you already know \(\sin 30^{\circ} \). Power reducing identities allow you to find \(\sin ^2 15^{\circ} \) if you know the sine and cosine of \(30^{\circ} \).

    What is \(\sin ^2 15^{\circ} \)?

    Double Angle, Half Angle, and Power Reducing Identities

    Double Angle Identities

    The double angle identities are proved by applying the sum and difference identities. They are left as review problems. These are the double angle identities.

    • \(\sin 2x=2\sin x\cos x\)
    • \(\cos 2x=\cos ^2x−\sin ^2x\)
    • \(\tan 2x=\dfrac{2\tan x}{1−\tan ^2x}\)

    Half Angle Identities

    The half angle identities are a rewritten version of the power reducing identities. The proofs are left as review problems.

    • \(\sin \dfrac{x}{2}=\pm \sqrt{\dfrac{1−\cos x}{2}}\)
    • \(\cos \dfrac{x}{2}=\pm \sqrt{\dfrac{1+\cos x}{2}}\)
    • \(\tan \dfrac{x}{2}=\pm \sqrt{\dfrac{1−\cos x}{1+\cos x}}\)

    Power Reducing Identities

    The power reducing identities allow you to write a trigonometric function that is squared in terms of smaller powers. The proofs are left as examples and review problems.

    • \(\sin ^2x=\dfrac{1−\cos 2x}{2}\)
    • \(\cos ^2x=\dfrac{1+\cos 2x}{2}\)
    • \(\tan ^2x=\dfrac{1−\cos 2x}{1+\cos 2x}\)

    Power reducing identities are most useful when you are asked to rewrite expressions such as \sin 4x as an expression without powers greater than one. While \(\sin x\cdot \sin x\cdot \sin x\cdot \sin x\) does technically simplify this expression as necessary, you should try to get the terms to sum together not multiply together.

    \(\begin{aligned} \sin ^4x=(\sin ^2x)^2 &=\left(\dfrac{1−\cos 2x}{2} \right)^2 \\&=\dfrac{1−2\cos 2x+\cos ^2 2x}{4} \\&= \dfrac{1}{4}\left(1−2\cos 2x+\dfrac{1+\cos 4x}{2}\right)\end{aligned}\)

    Example \(\PageIndex{1}\)

    Earlier, you were asked to find \(\sin ^2 15^{\circ} \). In order to fully identify \(\sin ^2 15^{\circ} \) you need to use the power reducing formula.

    Solution

    \(\begin{aligned} \sin ^2x&=\dfrac{1−\cos 2x}{2}=\dfrac{1}{2}−\dfrac{\sqrt{3}}{4} \\ \sin ^2 15^{\circ} &=\dfrac{1−\cos 30^{\circ}}{2} \\ &=\dfrac{2−\sqrt{3}}{4} \end{aligned}\)

    Example \(\PageIndex{2}\)

    Write the following expression with only \(\sin x\) and \(\cos x \): \(\sin 2x+\cos 3x\).

    Solution

    \(\begin{aligned} \sin 2x+\cos 3x &=2\sin x\cos x+\cos (2x+x) \\&=2\sin x\cos x+\cos 2x\cos x−\sin 2x\sin x \\&=2\sin x\cos x+(\cos ^2x−\sin ^2x)\cos x−(2\sin x\cos x)\sin x \\ &=2\sin x\cos x+\cos ^3x−\sin ^2x\cos x−2\sin ^2x\cos x \\ &=2\sin x\cos x+\cos ^3x−3\sin ^2x\cos x \end{aligned}\)

    Example \(\PageIndex{3}\)

    Use half angles to find an exact value of \tan 22.5^{\circ} without using a calculator.

    Solution

    \(\tan \dfrac{x}{2}=\pm \sqrt{\dfrac{1−\cos x}{1+\cos x}}\)

    \(\begin{aligned}
    \tan 22.5^{\circ} &=\tan \dfrac{45^{\circ}}{2}=\pm \sqrt{\dfrac{1-\cos 45^{\circ}}{1+\cos 45^{\circ}}}=\pm \sqrt{\dfrac{1-\dfrac{\sqrt{2}}{2}}{1+\dfrac{\sqrt{2}}{2}}}=\pm \sqrt{\dfrac{\dfrac{2}{2}-\dfrac{\sqrt{2}}{2}}{\dfrac{2}{2}+\dfrac{\sqrt{2}}{2}}}=\pm \sqrt{\dfrac{2-\sqrt{2}}{2+\sqrt{2}}} \\
    &=\pm \sqrt{\dfrac{(2-\sqrt{2})^{2}}{2}}
    \end{aligned}\)

    Example \(\PageIndex{4}\)

    Prove the power reducing identity for sine.

    \(\sin ^2x=\dfrac{1−\cos 2x}{2}\)

    Solution

    Using the double angle identity for cosine:

    \(\begin{aligned} \cos 2x&=\cos ^2x−\sin ^2x \\ \cos 2x&=(1−\sin ^2x)−\sin ^2x \\ \cos 2x &=1−2\sin ^2x \end{aligned}\)

    This expression is an equivalent expression to the double angle identity and is often considered an alternate form.

    Example \(\PageIndex{5}\)

    Simplify the following identity: \(\sin ^4x−\cos ^4x\).

    Solution

    Here are the steps:

    \(\begin{aligned}\sin ^4x−\cos ^4x&=(\sin ^2x−\cos ^2x)(\sin ^2x+\cos ^2x)\\&=−(\cos ^2x−\sin ^2x)\\&=−\cos ^2x \end{aligned}\)

    Review

    Prove the following identities.

    1. \(\sin 2x=2\sin x\cos x\)
    2. \(\cos 2x=\cos^2 x−\sin^2 x\)
    3. \(\tan 2x=\dfrac{2\tan x}{1−\tan^2 x}\)
    4. \(\cos^2 x=\dfrac{1+\cos 2x}{2}\)
    5. \(\tan^2 x=\dfrac{1−\cos 2x}{1+\cos 2x}\)
    6. \(\sin \dfrac{x}{2}=\pm \sqrt{\dfrac{1−\cos x}{2}}\)
    7. \(\cos \dfrac{x}{2}=\pm \sqrt{\dfrac{1+\cos x}{2}}\)
    8. \(\tan \dfrac{x}{2}=\pm \sqrt{\dfrac{1−\cos x}{1+\cos x}}\)
    9. \(\csc 2x=\dfrac{1}{2} \csc x\sec x\)
    10. \(\cot 2x=\dfrac{\cot ^2 x−1}{2\cot x}\)

    Find the value of each expression using half angle identities.

    1. \(\tan 15^{\circ}\)
    2. \(\tan 22.5^{\circ}\)
    3. \(\sec 22.5^{\circ}\)
    4. Show that \(\tan \dfrac{x}{2}=\dfrac{1−\cos x}{\sin x}\).
    5. Using your knowledge from the answer to question 14, show that \(\tan \dfrac{x}{2}=\dfrac{\sin x}{1+\cos x}\).

    Review (Answers)

    To see the Review answers, open this PDF file and look for section 6.4.

    Vocabulary

    Term Definition
    Half Angle Identity A half angle identity relates a trigonometric function of one half of an argument to a set of trigonometric functions, each containing the original argument.
    identity An identity is a mathematical sentence involving the symbol “=” that is always true for variables within the domains of the expressions on either side.
    power reducing identity A power reducing identity relates the power of a trigonometric function containing a given argument to a set of trigonometric functions, each containing the original argument.

    Additional Resources

    Interactive Element

    Video: Multiple Angle Formulas - Overview


    This page titled 3.4.2: Double Angle Identities is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.

    CK-12 Foundation
    LICENSED UNDER
    CK-12 Foundation is licensed under CK-12 Curriculum Materials License