6.3 Double-Angle, Half-Angle, and Reduction Formulas

Figure 6.3.1: Bicycle and skateboard ramps for advanced riders have a steeper incline than those designed for novices.
Bicycle and skateboard ramps made for competition (see Figure 6.3.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 = \frac{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.
6.3.1 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\left( {\alpha + \beta} \right) = \sin\;\alpha\;\cos\;\beta + \cos\;\alpha\;\sin\;\beta\]
If we let \(\alpha = \beta = \theta,\) then we have
\[\begin{array}{rcl} {\sin(\theta + \theta)} & = & {\sin\;\theta\;\cos\;\theta + \cos\;\theta\;\sin\;\theta} \\ {\sin(2\theta)} & = & {2\sin\;\theta\;\cos\;\theta} \end{array}\]
Deriving the double-angle for cosine gives us three options. First, starting from the sum formula, \(\cos\left( {\alpha + \beta} \right) = \cos\;\alpha\;\cos\;\beta - \sin\;\alpha\;\sin\;\beta,\) and letting \(\alpha = \beta = \theta,\) we have
\[\begin{array}{rcl} {\cos(\theta + \theta)} & = & {\cos\;\theta\;\cos\;\theta - \sin\;\theta\;\sin\;\theta} \\ {\cos(2\theta)} & = & {\cos^{2}\theta - \sin^{2}\theta} \end{array}\]
Using the Pythagorean properties, we can expand this double-angle formula for cosine and get two more variations. The first variation is:
\[\begin{array}{ccl} {\cos(2\theta)} & = & {\cos^{2}\theta - \sin^{2}\theta} \\ & = & {\left( {1 - \sin^{2}\theta} \right) - \sin^{2}\theta} \\ & = & {1 - 2\sin^{2}\theta} \end{array}\]
The second variation is:
\[\begin{array}{ccl} {\cos(2\theta)} & = & {\cos^{2}\theta - \sin^{2}\theta} \\ & = & {\cos^{2}\theta - \left( {1 - \cos^{2}\theta} \right)} \\ & = & {2\;\cos^{2}\theta - 1} \end{array}\]
Similarly, to derive the double-angle formula for tangent, replacing \(\alpha = \beta = \theta\) in the sum formula gives
\[\begin{array}{rcl} {\tan(\alpha + \beta)} & = & \frac{\tan\;\alpha + \tan\;\beta}{1 - \tan\;\alpha\;\tan\;\beta} \\ {\tan(\theta + \theta)} & = & \frac{\tan\;\theta + \tan\;\theta}{1 - \tan\;\theta\;\tan\;\theta} \\ {\tan(2\theta)} & = & \frac{2\tan\;\theta}{1 - \tan^{2}\theta} \end{array}\]
6.3.2 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.
6.3.3 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\left( {2\theta} \right) = 1 - 2\;\sin^{2}\theta.\) Solve for \(\sin^{2}\theta:\)
\[\begin{array}{rcl} {\cos(2\theta)} & = & {1 - 2\;\sin^{2}\theta} \\ {2\;\sin^{2}\theta} & = & {1 - \cos(2\theta)} \\ {\sin^{2}\theta} & = & \frac{1 - \cos(2\theta)}{2} \end{array}\]
Next, we use the formula \(\cos\left( {2\theta} \right) = 2\;\cos^{2}\theta - 1.\) Solve for \(\cos^{2}\theta:\)
\[\begin{array}{rcl} {\cos(2\theta)} & = & {\ 2\;\cos^{2}\theta - 1} \\ {1 + \cos(2\theta)} & = & {2\;\cos^{2}\theta} \\ \frac{1 + \cos(2\theta)}{2} & = & {\cos^{2}\theta} \end{array}\]
The last reduction formula is derived by writing tangent in terms of sine and cosine:
\[\begin{array}{cclc} {\tan^{2}\theta} & = & \frac{\sin^{2}\theta}{\cos^{2}\theta} & \\ & = & \frac{\frac{1 - \cos(2\theta)}{2}}{\frac{1 + \cos(2\theta)}{2}} & {\qquad\text{Substitute~the~reduction~formulas}\text{.}} \\ & = & {\left( \frac{1 - \cos(2\theta)}{2} \right)\left( \frac{2}{1 + \cos(2\theta)} \right)} & \\ & = & \frac{1 - \cos(2\theta)}{1 + \cos(2\theta)} & \end{array}\]
6.3.4 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 \(\frac{\alpha}{2},\) the half-angle formula for sine is found by simplifying the equation and solving for \(\sin\left( \frac{\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 \(\frac{\alpha}{2}\) terminates.
The half-angle formula for sine is derived as follows:
\[\begin{array}{ccl} {\sin^{2}\theta} & = & \frac{1 - \cos(2\theta)}{2} \\ {\sin^{2}\left( \frac{\alpha}{2} \right)} & = & \frac{1 - \left( {\cos 2 \cdot \frac{\alpha}{2}} \right)}{2} \\ & = & \frac{1 - \cos\;\alpha}{2} \\ {\sin\left( \frac{\alpha}{2} \right)} & = & {\pm \sqrt{\frac{1 - \cos\;\alpha}{2}}} \end{array}\]
To derive the half-angle formula for cosine, we have
\[\begin{array}{ccl} {\cos^{2}\theta} & = & \frac{1 + \cos(2\theta)}{2} \\ {\cos^{2}\left( \frac{\alpha}{2} \right)} & = & \frac{1 + \cos\left( {2 \cdot \frac{\alpha}{2}} \right)}{2} \\ & = & \frac{1 + \cos\;\alpha}{2} \\ {\cos\left( \frac{\alpha}{2} \right)} & = & {\pm \sqrt{\frac{1 + \cos\;\alpha}{2}}} \end{array}\]
For the tangent identity, we have
\[\begin{array}{ccl} {\tan^{2}\theta} & = & \frac{1 - \cos(2\theta)}{1 + \cos(2\theta)} \\ {\tan^{2}\left( \frac{\alpha}{2} \right)} & = & \frac{1 - \cos\left( 2 \cdot \frac{\alpha}{2} \right)}{1 + \cos\left( 2 \cdot \frac{\alpha}{2} \right)} \\ & = & \frac{1 - \cos\;\alpha}{1 + \cos\;\alpha} \\ {\tan\left( \frac{\alpha}{2} \right)} & = & {\pm \sqrt{\frac{1 - \cos\;\alpha}{1 + \cos\;\alpha}}} \end{array}\]


