Skip to main content
Mathematics LibreTexts

7.3: Double-Angle, Half-Angle, and Reduction Formulas

  • Page ID
    1369
  • \( \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}\)
    Learning Objectives
    • Use double-angle formulas to find exact values
    • Use double-angle formulas to verify identities
    • Use reduction formulas to simplify an expression
    • Use half-angle formulas to find exact values

    Bicycle ramps made for competition (see Figure \(\PageIndex{1}\)) must vary in height depending on the skill level of the competitors. For advanced competitors, the angle formed by the ramp and the ground should be \(\theta\) such that \(\tan \theta=\dfrac{5}{3}\). The angle is divided in half for novices. What is the steepness of the ramp for novices? In this section, we will investigate three additional categories of identities that we can use to answer questions such as this one.

    fig 9.4.1.jpg
    Figure \(\PageIndex{1}\): Bicycle ramps for advanced riders have a steeper incline than those designed for novices.

    Using Double-Angle Formulas to Find Exact Values

    In the previous section, we used addition and subtraction formulas for trigonometric functions. Now, we take another look at those same formulas. The double-angle formulas are a special case of the sum formulas, where \(\alpha=\beta\). Deriving the double-angle formula for sine begins with the sum formula,

    \[\sin(\alpha+\beta)=\sin \alpha \cos \beta+\cos \alpha \sin \beta\]

    If we let \(\alpha=\beta=\theta\), then we have

    \[\begin{align*} \sin(\theta+\theta)&= \sin \theta \cos \theta+\cos \theta \sin \theta\\[4pt] \sin(2\theta)&= 2\sin \theta \cos \theta \end{align*}\]

    Deriving the double-angle for cosine gives us three options. First, starting from the sum formula, \(\cos(\alpha+\beta)=\cos \alpha \cos \beta−\sin \alpha \sin \beta\),and letting \(\alpha=\beta=\theta\), we have

    \[\begin{align*} \cos(\theta+\theta)&= \cos \theta \cos \theta-\sin \theta \sin \theta\\[4pt] \cos(2\theta)&= {\cos}^2 \theta - {\sin}^2 \theta \end{align*}\]

    Using the Pythagorean properties, we can expand this double-angle formula for cosine and get two more variations. The first variation is:

    \[\begin{align*} \cos(2\theta)&= {\cos}^2 \theta - {\sin}^2 \theta \\[4pt] &= (1-{\sin}^2 \theta)-{\sin}^2 \theta \end{align*}\]

    The second variation is:

    \[\begin{align*} \cos(2\theta)&= {\cos}^2 \theta-{\sin}^2 \theta\\[4pt] &= {\cos}^2 \theta-(1-{\cos}^2 \theta)\\[4pt] &= 2 {\cos}^2 \theta-1 \end{align*}\]

    Similarly, to derive the double-angle formula for tangent, replacing \(\alpha=\beta=\theta\) in the sum formula gives

    \[\begin{align*} \tan(\alpha+\beta)&= \dfrac{\tan \alpha+\tan \beta}{1-\tan \alpha \tan \beta}\\[4pt] \tan(\theta+\theta)&= \dfrac{\tan \theta+\tan \theta}{1-\tan \theta \tan \theta}\\[4pt] \tan(2\theta)&= \dfrac{2\tan \theta}{1-{\tan}^2 \theta} \end{align*}\]

    DOUBLE-ANGLE FORMULAS

    The double-angle formulas are summarized as follows:

    \[\begin{align} \sin(2\theta)&= 2 \sin \theta \cos \theta\\[4pt] \cos(2\theta)&= {\cos}^2 \theta-{\sin}^2 \theta =1-2 {\sin}^2 \theta = 2{\cos}^2 \theta-1\\[4pt] \tan(2\theta)&= \dfrac{2 \tan \theta}{1-{\tan}^2\theta} \end{align}\]

    How to: Given the tangent of an angle and the quadrant in which it is located, use the double-angle formulas to find the exact value
    1. Draw a triangle to reflect the given information.
    2. Determine the correct double-angle formula.
    3. Substitute values into the formula based on the triangle.
    4. Simplify.
    Example \(\PageIndex{1}\): Using a Double-Angle Formula to Find the Exact Value Involving Tangent

    Given that \(\tan \theta=−\dfrac{3}{4}\) and \(\theta\) is in quadrant II, find the following:

    1. \(\sin(2\theta)\)
    2. \(\cos(2\theta)\)
    3. \(\tan(2\theta)\)

    Solution

    If we draw a triangle to reflect the information given, we can find the values needed to solve the problems on the image. We are given \(\tan \theta=−\dfrac{3}{4}\),such that \(\theta\) is in quadrant II. The tangent of an angle is equal to the opposite side over the adjacent side, and because \(\theta\) is in the second quadrant, the adjacent side is on the x-axis and is negative. Use the Pythagorean Theorem to find the length of the hypotenuse:

    \[\begin{align*} {(-4)}^2+{(3)}^2&= c^2\\[4pt] 16+9&= c^2\\[4pt] 25&= c^2\\[4pt] c&= 5 \end{align*}\]

    Now we can draw a triangle similar to the one shown in Figure \(\PageIndex{2}\).

    fig 9.4.2.jpg
    Figure \(\PageIndex{2}\)
    1. Let’s begin by writing the double-angle formula for sine.

      \(\sin(2\theta)=2 \sin \theta \cos \theta\)

      We see that we to need to find \(\sin \theta\) and \(\cos \theta\). Based on Figure \(\PageIndex{2}\), we see that the hypotenuse equals \(5\), so \(\sin θ=35\), \(\sin θ=35\), and \(\cos θ=−45\). Substitute these values into the equation, and simplify.

      Thus,

      \[\begin{align*} \sin(2\theta)&= 2\left(\dfrac{3}{5}\right)\left(-\dfrac{4}{5}\right)\\[4pt] &= -\dfrac{24}{25} \end{align*}\]

    2. Write the double-angle formula for cosine.

      \(\cos(2\theta)={\cos}^2 \theta−{\sin}^2 \theta\)

      Again, substitute the values of the sine and cosine into the equation, and simplify.

      \[\begin{align*} \cos(2\theta)&= {\left(-\dfrac{4}{5}\right)}^2-{\left(\dfrac{3}{5}\right)}^2\\[4pt] &= \dfrac{16}{25}-\dfrac{9}{25}\\[4pt] &= \dfrac{7}{25} \end{align*}\]

    3. Write the double-angle formula for tangent.

      \(\tan(2\theta)=\dfrac{2 \tan \theta}{1−{\tan}^2\theta}\)

      In this formula, we need the tangent, which we were given as \(\tan \theta=−\dfrac{3}{4}\). Substitute this value into the equation, and simplify.

      \[\begin{align*} \tan(2\theta)&= \dfrac{2\left(-\dfrac{3}{4}\right )}{1-{\left(-\dfrac{3}{4}\right)}^2}\\[4pt]
      &= \dfrac{-\dfrac{3}{2}}{1-\dfrac{9}{16}}\\[4pt]
      &= -\dfrac{3}{2}\left(\dfrac{16}{7}\right)\\[4pt]
      &= -\dfrac{24}{7}
      \end{align*}\]

    Exercise \(\PageIndex{1}\)

    Given \(\sin \alpha=\dfrac{5}{8}\),with \(\theta\) in quadrant I, find \(\cos(2\alpha)\). 

    Answer

    \(\cos(2\alpha)=\dfrac{7}{32}\)

    Example \(\PageIndex{2}\): Using the Double-Angle Formula for Cosine without Exact Values

    Use the double-angle formula for cosine to write \(\cos(6x)\) in terms of \(cos(3x)\). 

    Solution

    \[\begin{align*} \cos(6x)&= \cos(3x+3x)\\[4pt] &= \cos 3x \cos 3x-\sin 3x \sin 3x\\[4pt] &= {\cos}^2 3x-{\sin}^2 3x \end{align*}\]

    Analysis

    This example illustrates that we can use the double-angle formula without having exact values. It emphasizes that the pattern is what we need to remember and that identities are true for all values in the domain of the trigonometric function.

    Using Double-Angle Formulas to Verify Identities

    Establishing identities using the double-angle formulas is performed using the same steps we used to derive the sum and difference formulas. Choose the more complicated side of the equation and rewrite it until it matches the other side.

    Example \(\PageIndex{3}\): Using the Double-Angle Formulas to Verify an Identity

    Verify the following identity using double-angle formulas:

    \[1+\sin(2\theta)={(\sin\theta+\cos\theta)}^2 \nonumber \]

    Solution

    We will work on the right side of the equal sign and rewrite the expression until it matches the left side.

    \[\begin{align*} {(\sin \theta+\cos \theta)}^2&= {\sin}^2 \theta+2 \sin \theta \cos \theta+{\cos}^2 \theta\\[4pt] &= ({\sin}^2 \theta+{\cos}^2 \theta)+2 \sin \theta \cos \theta\\[4pt] &= 1+2 \sin \theta \cos \theta\\[4pt] &= 1+\sin(2\theta) \end{align*}\]

    Analysis

    This process is not complicated, as long as we recall the perfect square formula from algebra:

    \[{(a\pm b)}^2=a^2\pm 2ab+b^2 \nonumber \]

    where \(a=\sin \theta\) and \(b=\cos \theta\). Part of being successful in mathematics is the ability to recognize patterns. While the terms or symbols may change, the algebra remains consistent.

    Exercise \(\PageIndex{2}\)

    Verify the identity: \({\cos}^4 \theta−{\sin}^4 \theta=\cos(2\theta)\). 

    Answer

    \({\cos}^4 \theta−{\sin}^4 \theta=({\cos}^2 \theta+{\sin}^2 \theta)({\cos}^2 \theta−{\sin}^2 \theta)=\cos(2\theta)\)

    Example \(\PageIndex{4}\): Verifying a Double-Angle Identity for Tangent

    Verify the identity: \(\tan(2 \theta)=2\cot \theta−\tan \theta\)

    Solution

    In this case, we will work with the left side of the equation and simplify or rewrite until it equals the right side of the equation.

    \[\begin{align*} \tan(2\theta)&= \dfrac{2 \tan \theta}{1-{\tan}^2 \theta} \qquad \text{Double-angle formula}\\[4pt] &= \dfrac{2 \tan \theta\left (\dfrac{1}{\tan \theta}\right)}{(1-{\tan}^2 \theta)\left (\dfrac{1}{\tan \theta}\right )} \qquad \text{Multiply by a term that results in desired numerator}\\[4pt] &= \dfrac{2}{\dfrac{1}{\tan \theta}-\dfrac{ {\tan}^2 \theta}{\tan \theta}}\\[4pt] &= \dfrac{2}{\cot \theta-\tan \theta} \qquad \text {Use reciprocal identity for } \dfrac{1}{\tan \theta} \end{align*}\]

    Analysis

    Here is a case where the more complicated side of the initial equation appeared on the right, but we chose to work the left side. However, if we had chosen the left side to rewrite, we would have been working backwards to arrive at the equivalency. For example, suppose that we wanted to show

    \[\begin{align*} \dfrac{2\tan \theta}{1-{\tan}^2 \theta}&= \dfrac{2}{\cot \theta-\tan \theta} \\[4pt] \text{Lets work on the right side}\\[4pt] \dfrac{2}{\cot \theta-\tan \theta}&= \frac{2}{\frac{1}{\tan \theta }-\tan \theta }\left ( \frac{\tan \theta }{\tan \theta } \right )\\[4pt] &= \dfrac{2 \tan \theta}{\dfrac{1}{\tan \theta}(\tan \theta)-\tan \theta(\tan \theta)}\\[4pt] &= \dfrac{2 \tan \theta}{1-{\tan}^2 \theta} \end{align*}\]

    When using the identities to simplify a trigonometric expression or solve a trigonometric equation, there are usually several paths to a desired result. There is no set rule as to what side should be manipulated. However, we should begin with the guidelines set forth earlier.

    Exercise \(\PageIndex{3}\)

    Verify the identity: \(\cos(2\theta)\cos \theta={\cos}^3 \theta−\cos \theta {\sin}^2 \theta\). 

    Answer

    \(\cos(2 \theta)\cos \theta=({\cos}^2 \theta−{\sin}^2 \theta) \cos \theta={\cos}^3 \theta−\cos \theta {\sin}^2 \theta\)

    Use Reduction Formulas to Simplify an Expression

    The double-angle formulas can be used to derive the reduction formulas, which are formulas we can use to reduce the power of a given expression involving even powers of sine or cosine. They allow us to rewrite the even powers of sine or cosine in terms of the first power of cosine. These formulas are especially important in higher-level math courses, calculus in particular. Also called the power-reducing formulas, three identities are included and are easily derived from the double-angle formulas.

    We can use two of the three double-angle formulas for cosine to derive the reduction formulas for sine and cosine. Let’s begin with \(\cos(2\theta)=1−2 {\sin}^2 \theta\). Solve for \({\sin}^2 \theta\):

    \[\begin{align*} \cos(2\theta)&= 1-2 {\sin}^2 \theta\\[4pt] 2 {\sin}^2 \theta&= 1-\cos(2\theta)\\[4pt] {\sin}^2 \theta&= \dfrac{1-\cos(2\theta)}{2} \end{align*}\]

    Next, we use the formula \(\cos(2\theta)=2 {\cos}^2 \theta−1\). Solve for \({\cos}^2 \theta\):

    \[\begin{align*} \cos(2\theta)&= 2 {\cos}^2 \theta-1\\[4pt] 1+\cos(2\theta)&= 2 {\cos}^2 \theta\\[4pt] \dfrac{1+\cos(2\theta)}{2}&= {\cos}^2 \theta \end{align*}\]

    The last reduction formula is derived by writing tangent in terms of sine and cosine:

    \[\begin{align*} \tan^2 \theta &= \frac{\sin^2 \theta}{\cos^2 \theta} \\[4pt] &= \dfrac{\dfrac{1-\cos(2\theta)}{2}}{\dfrac{1+\cos(2\theta)}{2}} \qquad \tag{Substitute the reduction formulas} \\[4pt] &= \left(\dfrac{1-\cos(2 \theta)}{2}\right)\left(\dfrac{2}{1+\cos(2 \theta)}\right) \\[4pt] &= \dfrac{1-\cos(2 \theta)}{1+\cos(2 \theta)} \end{align*}\]

    REDUCTION FORMULAS

    The reduction formulas are summarized as follows:

    \[{\sin}^2 \theta=\dfrac{1−\cos(2 \theta)}{2}\]

    \[{\cos}^2 \theta=\dfrac{1+\cos(2 \theta)}{2}\]

    \[{\tan}^2 \theta=\dfrac{1−\cos(2 \theta)}{1+\cos(2 \theta)}\]

    Example \(\PageIndex{5}\): Writing an Equivalent Expression Not Containing Powers Greater Than 1

    Write an equivalent expression for \({\cos}^4 x\) that does not involve any powers of sine or cosine greater than \(1\).

    Solution

    We will apply the reduction formula for cosine twice.

    \[\begin{align*}
    {\cos}^4 x&= {({\cos}^2 x)}^2\\[4pt]
    &= {\left(\dfrac{1+\cos(2x)}{2}\right)}^2\qquad \text{Substitute reduction formula}\\[4pt]
    &= \dfrac{1}{4}(1+2\cos(2x)+{\cos}^2 (2x))\\[4pt]
    &= \dfrac{1}{4}+\dfrac{1}{2} \cos(2x)+\dfrac{1}{4}\left (\dfrac{1+{\cos}^2(2x)}{2}\right )\qquad \text{ Substitute reduction formula for } {\cos}^2 x\\[4pt]
    &= \dfrac{1}{4}+\dfrac{1}{2} \cos(2x)+\dfrac{1}{8}+\dfrac{1}{8} \cos(4x)\\[4pt]
    &= \dfrac{3}{8}+\dfrac{1}{2} \cos(2x)+\dfrac{1}{8} \cos(4x)
    \end{align*}\]

    Analysis

    The solution is found by using the reduction formula twice, as noted, and the perfect square formula from algebra.

    Example \(\PageIndex{6}\): Using the Power-Reducing Formulas to Prove an Identity

    Use the power-reducing formulas to prove \({\sin}^3(2x)=\left[ \dfrac{1}{2} \sin(2x) \right] [ 1−\cos(4x) \)

    Solution

    We will work on simplifying the left side of the equation:

    \[\begin{align*} {\sin}^3(2x)&= [\sin(2x)][{\sin}^2(2x)]\\[4pt] &= \sin(2x)\left [\dfrac{1-\cos(4x)}{2}\right ]\qquad \text{Substitute the power-reduction formula.}\\[4pt] &= \sin(2x)\left(\dfrac{1}{2}\right)[1-\cos(4x)]\\[4pt] &= \dfrac{1}{2}[\sin(2x)][1-\cos(4x)] \end{align*}\]

    Analysis

    Note that in this example, we substituted \(\dfrac{1−\cos(4x)}{2}\) for \({\sin}^2(2x)\). The formula states \({\sin}^2 \theta=\dfrac{1−\cos(2\theta)}{2}\)

    We let \(\theta=2x\), so \(2\theta=4x\).

    Exercise \(\PageIndex{4}\)

    Use the power-reducing formulas to prove that \(10{\cos}^4 x=\dfrac{15}{4}+5\cos(2x)+\dfrac{5}{4}\cos(4x)\). 

    Answer

    \[\begin{align*} 10{\cos}^4 x&= 10{({\cos}^2x)}^2\\[4pt] &= 10{\left[\dfrac{ 1+\cos(2x)}{2} \right]}^2\qquad \text{Substitute reduction formula for } {\cos}^2x\\[4pt] &= \dfrac{10}{4}[1+2\cos(2x)+{\cos}^2(2x)]\\[4pt] &= \dfrac{10}{4}+\dfrac{10}{2}\cos(2x)+\dfrac{10}{4}\left(\dfrac{1+{\cos}^2(2x)}{2}\right)\qquad \text{ Substitute reduction formula for } {\cos}^2 x\\[4pt] &= \dfrac{10}{4}+\dfrac{10}{2} \cos(2x)+\dfrac{10}{8}+\dfrac{10}{8}\cos(4x)\\[4pt] &= \dfrac{30}{8}+5\cos(2x)+\dfrac{10}{8}\cos(4x)\\[4pt] &= \dfrac{15}{4}+5\cos(2x)+\dfrac{5}{4}\cos(4x) \end{align*}\]

    Using Half-Angle Formulas to Find Exact Values

    The next set of identities is the set of half-angle formulas, which can be derived from the reduction formulas and we can use when we have an angle that is half the size of a special angle. If we replace \(\theta\) with \(\dfrac{\alpha}{2}\),the half-angle formula for sine is found by simplifying the equation and solving for \(\sin\left(\dfrac{\alpha}{2}\right)\). Note that the half-angle formulas are preceded by a \(\pm\) sign. This does not mean that both the positive and negative expressions are valid. Rather, it depends on the quadrant in which \(\dfrac{\alpha}{2}\) terminates.

    The half-angle formula for sine is derived as follows:

    \[\begin{align*} {\sin}^2 \theta&= \dfrac{1-\cos(2\theta)}{2}\\[4pt] {\sin}^2\left(\dfrac{\alpha}{2}\right)&= \dfrac{1-\left(\cos 2\cdot \dfrac{\alpha}{2}\right)}{2}\\[4pt] &= \dfrac{1-\cos \alpha}{2}\\[4pt] \sin \left(\dfrac{\alpha}{2}\right)&= \pm \sqrt{\dfrac{1-\cos \alpha}{2}} \end{align*}\]

    To derive the half-angle formula for cosine, we have

    \[\begin{align*} {\cos}^2 \theta&= \dfrac{1+\cos(2\theta)}{2}\\[4pt] {\cos}^2\left(\dfrac{\alpha}{2}\right)&= \dfrac{1+\cos\left(2\cdot \dfrac{\alpha}{2}\right)}{2}\\[4pt] &= \dfrac{1+\cos \alpha}{2}\\[4pt] \cos\left(\dfrac{\alpha}{2}\right)&= \pm \sqrt{\dfrac{1+\cos \alpha}{2}} \end{align*}\]

    For the tangent identity, we have

    \[\begin{align*} {\tan}^2 \theta&= \dfrac{1-\cos(2\theta)}{1+\cos(2\theta)}\\[4pt] {\tan}^2\left(\dfrac{\alpha}{2}\right)&= \dfrac{1-\cos\left(2\cdot \dfrac{\alpha}{2}\right)}{1+\cos\left(2\cdot \dfrac{\alpha}{2}\right)}\\[4pt] \tan\left(\dfrac{\alpha}{2}\right)&= \pm \sqrt{\dfrac{1-\cos \alpha}{1+\cos \alpha}} \end{align*}\]

    HALF-ANGLE FORMULAS

    The half-angle formulas are as follows:

    \[\begin{align} \sin\left(\dfrac{\alpha}{2}\right)&=\pm \sqrt{\dfrac{1-\cos \alpha}{2}} \label{halfsine} \\[4pt] \cos \left(\dfrac{\alpha}{2} \right) &=\pm \sqrt{\dfrac{1+\cos \alpha}{2}} \\[4pt] \tan\left(\dfrac{\alpha}{2}\right) &=\pm \sqrt{\dfrac{1-\cos \alpha}{1+\cos \alpha}} =\dfrac{\sin \alpha}{1+\cos \alpha} =\dfrac{1-\cos \alpha}{\sin \alpha}\end{align}\]

    Example \(\PageIndex{7}\)

    Using a Half-Angle Formula to Find the Exact Value of a Sine Function. Find \(\sin(15°)\) using a half-angle formula.

    Solution

    Since \(15°=\dfrac{30°}{2}\),we use the half-angle formula for sine (Equation \ref{halfsine}):

    \[\begin{align*}
    \sin \dfrac{30^{\circ}}{2}&= \sqrt{\dfrac{1-\cos 30^{\circ}}{2}}\\[4pt]
    &= \sqrt{\dfrac{1-\dfrac{\sqrt{3}}{2}}{2}}\\[4pt]
    &= \sqrt{\dfrac{\dfrac{2-\sqrt{3}}{2}}{2}}\\[4pt]
    &= \sqrt{\dfrac{2-\sqrt{3}}{4}}\\[4pt]
    &= \dfrac{\sqrt{2-\sqrt{3}}}{2}
    \end{align*}\]

    Remember that we can check the answer with a graphing calculator.

    Analysis

    Notice that we used only the positive root because \(\sin(15°)\) is positive.

    Howto: Given the tangent of an angle and the quadrant in which the angle lies, find the exact values of trigonometric functions of half of the angle.
    1. Draw a triangle to represent the given information.
    2. Determine the correct half-angle formula.
    3. Substitute values into the formula based on the triangle.
    4. Simplify.
    Example \(\PageIndex{8}\): Finding Exact Values Using Half-Angle Identities

    Given that \(\tan \alpha=\dfrac{8}{15}\) and \(α\) lies in quadrant III, find the exact value of the following:

    1. \(\sin\left(\dfrac{\alpha}{2}\right)\)
    2. \(\cos\left(\dfrac{\alpha}{2}\right)\)
    3. \(\tan\left(\dfrac{\alpha}{2}\right)\)

    Solution

    Using the given information, we can draw the triangle shown in Figure \(\PageIndex{3}\). Using the Pythagorean Theorem, we find the hypotenuse to be 17. Therefore, we can calculate \(\sin \alpha=−\dfrac{8}{17}\) and \(\cos \alpha=−\dfrac{15}{17}\).

    fig 9.4.3.jpg
    Figure \(\PageIndex{3}\)
    1. Before we start, we must remember that if \(α\) is in quadrant III, then \(180°<\alpha<270°\),so \(\dfrac{180°}{2}<\dfrac{\alpha}{2}<\dfrac{270°}{2}\). This means that the terminal side of \(\dfrac{\alpha}{2}\) is in quadrant II, since \(90°<\dfrac{\alpha}{2}<135°\). To find \(\sin \dfrac{\alpha}{2}\),we begin by writing the half-angle formula for sine. Then we substitute the value of the cosine we found from the triangle in Figure \(\PageIndex{3}\) and simplify. \[\begin{align*} \sin \dfrac{\alpha}{2}&= \pm \sqrt{\dfrac{1-\cos \alpha}{2}}\\[4pt] &= \pm \sqrt{\dfrac{1-(-\dfrac{15}{17})}{2}}\\[4pt] &= \pm \sqrt{\dfrac{\dfrac{32}{17}}{2}}\\[4pt] &= \pm \sqrt{\dfrac{32}{17}\cdot \dfrac{1}{2}}\\[4pt] &= \pm \sqrt{\dfrac{16}{17}}\\[4pt] &= \pm \dfrac{4}{\sqrt{17}}\\[4pt] &= \dfrac{4\sqrt{17}}{17} \end{align*}\] We choose the positive value of \(\sin \dfrac{\alpha}{2}\) because the angle terminates in quadrant II and sine is positive in quadrant II.
    2. To find \(\cos \dfrac{\alpha}{2}\),we will write the half-angle formula for cosine, substitute the value of the cosine we found from the triangle in Figure \(\PageIndex{3}\), and simplify. \[\begin{align*} \cos \dfrac{\alpha}{2}&= \pm \sqrt{\dfrac{1+\cos \alpha}{2}}\\[4pt] &= \pm \sqrt{\dfrac{1+\left(-\dfrac{15}{17}\right)}{2}}\\[4pt] &= \pm \sqrt{\dfrac{\dfrac{2}{17}}{2}}\\[4pt] &= \pm \sqrt{\dfrac{2}{17}\cdot \dfrac{1}{2}}\\[4pt] &= \pm \sqrt{\dfrac{1}{17}}\\[4pt] &= -\dfrac{\sqrt{17}}{17} \end{align*}\] We choose the negative value of \(\cos \dfrac{\alpha}{2}\) because the angle is in quadrant II because cosine is negative in quadrant II.
    3. To find \(\tan \dfrac{\alpha}{2}\),we write the half-angle formula for tangent. Again, we substitute the value of the cosine we found from the triangle in Figure \(\PageIndex{3}\) and simplify. \[\begin{align*} \tan \dfrac{\alpha}{2}&= \pm \sqrt{\dfrac{1-\cos \alpha}{1+\cos \alpha}}\\[4pt] &= \pm \sqrt{\dfrac{1-\left(-\dfrac{15}{17}\right)}{1+\left(-\dfrac{15}{17}\right)}}\\[4pt] &= \pm \sqrt{\dfrac{\dfrac{32}{17}}{\dfrac{2}{17}}}\\[4pt] &= \pm \sqrt{\dfrac{32}{2}}\\[4pt] &= -\sqrt{16}\\[4pt] &= -4 \end{align*}\] We choose the negative value of \(\tan \dfrac{\alpha}{2}\) because \(\dfrac{\alpha}{2}\) lies in quadrant II, and tangent is negative in quadrant II.
    Exercise \(\PageIndex{5}\)

    Given that \(\sin \alpha=−\dfrac{4}{5}\) and \(\alpha\) lies in quadrant IV, find the exact value of \(\cos \left(\dfrac{\alpha}{2}\right)\).​​​​​

    Answer

    \(-\dfrac{2}{\sqrt{5}}\)

    Example \(\PageIndex{9}\): Finding the Measurement of a Half Angle

    Now, we will return to the problem posed at the beginning of the section. A bicycle ramp is constructed for high-level competition with an angle of \(θ\) formed by the ramp and the ground. Another ramp is to be constructed half as steep for novice competition. If \(tan θ=53\) for higher-level competition, what is the measurement of the angle for novice competition?

    Solution

    Since the angle for novice competition measures half the steepness of the angle for the high level competition, and \(\tan \theta=\dfrac{5}{3}\) for high competition, we can find \(\cos \theta\) from the right triangle and the Pythagorean theorem so that we can use the half-angle identities. See Figure \(\PageIndex{4}\).

    \[\begin{align*} 3^2+5^2&=34\\[4pt] c&=\sqrt{34} \end{align*}\]

    fig 9.4.4.jpg
    Figure \(\PageIndex{4}\)

    We see that \(\cos \theta=\dfrac{3}{\sqrt{34}}=\dfrac{3\sqrt{34}}{34}\). We can use the half-angle formula for tangent: \(\tan \dfrac{\theta}{2}=\sqrt{\dfrac{1−\cos \theta}{1+\cos \theta}}\). Since \(\tan \theta\) is in the first quadrant, so is \(\tan \dfrac{\theta}{2}\). 

    \[\begin{align*}
    \tan \dfrac{\theta}{2}&= \sqrt{\dfrac{1-\dfrac{3\sqrt{34}}{34}}{1+\dfrac{3\sqrt{34}}{34}}}\\[4pt]
    &= \sqrt{\dfrac{\dfrac{34-3\sqrt{34}}{34}}{\dfrac{34+3\sqrt{34}}{34}}}\\[4pt]
    &= \sqrt{\dfrac{34-3\sqrt{34}}{34+3\sqrt{34}}}\\[4pt]
    &\approx 0.57
    \end{align*}\]

    We can take the inverse tangent to find the angle: \({\tan}^{−1}(0.57)≈29.7°\). So the angle of the ramp for novice competition is \(≈29.7°\).

    Media

    Access these online resources for additional instruction and practice with double-angle, half-angle, and reduction formulas.

    • Double-Angle Identities
    • Half-Angle Identities

    Key Equations

    Double-angle formulas

    \(\sin(2\theta)=2\sin \theta \cos \theta\)

    \(\cos(2\theta)={\cos}^2 \theta−{\sin}^2 \theta\)

    \(=1−2{\sin}^2 \theta\)

    \(=2{\cos}^2 \theta−1\)

    \(\tan(2\theta)=\dfrac{2\tan \theta}{1−{\tan}^2 \theta}\)

    Reduction formulas

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

    \({\cos}^2 \theta=\dfrac{1+\cos(2\theta)}{2}\)

    \({\tan}^2 \theta=\dfrac{1−\cos(2\theta)}{1+\cos(2\theta)}\)

    Half-angle formulas

    \(\sin \dfrac{\alpha}{2}=\pm \sqrt{\dfrac{1−\cos \alpha}{2}}\)

    \(\cos \dfrac{\alpha}{2}=\pm \sqrt{\dfrac{1+\cos \alpha}{2}}\)

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

    \(=\dfrac{\sin \alpha}{1+\cos \alpha}\)

    \(=\dfrac{1−\cos \alpha}{\sin \alpha}\)

    Key Concepts

    • Double-angle identities are derived from the sum formulas of the fundamental trigonometric functions: sine, cosine, and tangent. See Example \(\PageIndex{1}\), Example \(\PageIndex{2}\), Example \(\PageIndex{3}\), and Example \(\PageIndex{4}\).
    • Reduction formulas are especially useful in calculus, as they allow us to reduce the power of the trigonometric term. See Example \(\PageIndex{5}\) and Example \(\PageIndex{6}\).
    • Half-angle formulas allow us to find the value of trigonometric functions involving half-angles, whether the original angle is known or not. See Example \(\PageIndex{7}\), Example \(\PageIndex{8}\), and Example \(\PageIndex{9}\).

    This page titled 7.3: Double-Angle, Half-Angle, and Reduction Formulas is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by OpenStax via source content that was edited to the style and standards of the LibreTexts platform.