Solving Trigonometric Equations With Identities

Learning Outcomes

  • Verify the fundamental trigonometric identities.
  • Simplify trigonometric expressions using algebra and the identities.

Verify the fundamental trigonometric identities

Identities enable us to simplify complicated expressions. They are the basic tools of trigonometry used in solving trigonometric equations, just as factoring, finding common denominators, and using special formulas are the basic tools of solving algebraic equations. In fact, we use algebraic techniques constantly to simplify trigonometric expressions. Basic properties and formulas of algebra, such as the difference of squares formula and the perfect squares formula, will simplify the work involved with trigonometric expressions and equations. We already know that all of the trigonometric functions are related because they all are defined in terms of the unit circle. Consequently, any trigonometric identity can be written in many ways.

To verify the trigonometric identities, we usually start with the more complicated side of the equation and essentially rewrite the expression until it has been transformed into the same expression as the other side of the equation. Sometimes we have to factor expressions, expand expressions, find common denominators, or use other algebraic strategies to obtain the desired result. In this first section, we will work with the fundamental identities: the Pythagorean identities, the even-odd identities, the reciprocal identities, and the quotient identities.

We will begin with the Pythagorean identities, which are equations involving trigonometric functions based on the properties of a right triangle. We have already seen and used the first of these identifies, but now we will also use additional identities.

Pythagorean Identities
sin2θ+cos2θ=1sin2θ+cos2θ=1 1+cot2θ=csc2θ1+cot2θ=csc2θ 1+tan2θ=sec2θ1+tan2θ=sec2θ

The second and third identities can be obtained by manipulating the first. The identity [latex]1+{\cot }^{2}\theta ={\csc }^{2}\theta\[/latex] is found by rewriting the left side of the equation in terms of sine and cosine.

Prove: 1+cot2θ=csc2θ1+cot2θ=csc2θ

1+cot2θ=(1+cos2θsin2θ)Rewrite the left side.=(sin2θsin2θ)+(cos2θsin2θ)Write both terms with the common denominator.=sin2θ+cos2θsin2θ=1sin2θ=csc2θ1+cot2θ=(1+cos2θsin2θ)Rewrite the left side.=(sin2θsin2θ)+(cos2θsin2θ)Write both terms with the common denominator.=sin2θ+cos2θsin2θ=1sin2θ=csc2θ

Similarly, 1+tan2θ=sec2θ1+tan2θ=sec2θ can be obtained by rewriting the left side of this identity in terms of sine and cosine. This gives

1+tan2θ=1+(sinθcosθ)2Rewrite left side.=(cosθcosθ)2+(sinθcosθ)2Write both terms with the common denominator.=cos2θ+sin2θcos2θ=1cos2θ=sec2θ1+tan2θ=1+(sinθcosθ)2Rewrite left side.=(cosθcosθ)2+(sinθcosθ)2Write both terms with the common denominator.=cos2θ+sin2θcos2θ=1cos2θ=sec2θ

The next set of fundamental identities is the set of even-odd identities. The even-odd identities relate the value of a trigonometric function at a given angle to the value of the function at the opposite angle and determine whether the identity is odd or even.

Even-Odd Identities
tan(θ)=tanθcot(θ)=cotθtan(θ)=tanθcot(θ)=cotθ sin(θ)=sinθcsc(θ)=cscθsin(θ)=sinθcsc(θ)=cscθ cos(θ)=cosθsec(θ)=secθcos(θ)=cosθsec(θ)=secθ

Recall that an odd function is one in which f(x)=f(x)f(x)=f(x) for all xx in the domain of ff. The sine function is an odd function because sin(θ)=sinθsin(θ)=sinθ. The graph of an odd function is symmetric about the origin. For example, consider corresponding inputs of π2π2 and π2π2. The output of sin(π2)sin(π2) is opposite the output of sin(π2)sin(π2). Thus,

sin(π2)=1sin(π2)=1 and sin(π2)=sin(π2)=1sin(π2)=sin(π2)=1

This is shown in Figure 2.


Graph of y=sin(theta) from -2pi to 2pi, showing in particular that it is symmetric about the origin. Points given are (pi/2, 1) and (-pi/2, -1).

Figure 2. Graph of y=sinθy=sinθ

Recall that an even function is one in which

f(x)=f(x)f(x)=f(x) for all x in the domain of f.

The graph of an even function is symmetric about the y-axis. The cosine function is an even function because cos(θ)=cosθcos(θ)=cosθ.
For example, consider corresponding inputs π4π4 and π4π4. The output of cos(π4)cos(π4) is the same as the output of cos(π4)cos(π4). Thus,

cos(π4)=cos(π4)0.707cos(π4)=cos(π4)0.707

See Figure 3.Graph of y=cos(theta) from -2pi to 2pi, showing in particular that it is symmetric about the y-axis. Points given are (-pi/4, .707) and (pi/4, .707).

Figure 3. Graph of y=cosθy=cosθ

For all θθ in the domain of the sine and cosine functions, respectively, we can state the following:

  • Since sin(θ)=sinθsin(θ)=sinθ, sine is an odd function.
  • Since, cos(θ)=cosθcos(θ)=cosθ, cosine is an even function.

The other even-odd identities follow from the even and odd nature of the sine and cosine functions. For example, consider the tangent identity, tan(θ)=tanθtan(θ)=tanθ. We can interpret the tangent of a negative angle as tan(θ)=sin(θ)cos(θ)=sinθcosθ=tanθtan(θ)=sin(θ)cos(θ)=sinθcosθ=tanθ. Tangent is therefore an odd function, which means that tan(θ)=tan(θ)tan(θ)=tan(θ) for all θθ in the domain of the tangent function.

The cotangent identity, cot(θ)=cotθcot(θ)=cotθ, also follows from the sine and cosine identities. We can interpret the cotangent of a negative angle as cot(θ)=cos(θ)sin(θ)=cosθsinθ=cotθcot(θ)=cos(θ)sin(θ)=cosθsinθ=cotθ. Cotangent is therefore an odd function, which means that cot(θ)=cot(θ)cot(θ)=cot(θ) for all θθ in the domain of the cotangent function.

The cosecant function is the reciprocal of the sine function, which means that the cosecant of a negative angle will be interpreted as csc(θ)=1sin(θ)=1sinθ=cscθcsc(θ)=1sin(θ)=1sinθ=cscθ. The cosecant function is therefore odd.

Finally, the secant function is the reciprocal of the cosine function, and the secant of a negative angle is interpreted as sec(θ)=1cos(θ)=1cosθ=secθsec(θ)=1cos(θ)=1cosθ=secθ. The secant function is therefore even.

To sum up, only two of the trigonometric functions, cosine and secant, are even. The other four functions are odd, verifying the even-odd identities.

The next set of fundamental identities is the set of reciprocal identities, which, as their name implies, relate trigonometric functions that are reciprocals of each other.

Reciprocal Identities
sinθ=1cscθsinθ=1cscθ cscθ=1sinθcscθ=1sinθ
cosθ=1secθcosθ=1secθ secθ=1cosθsecθ=1cosθ
tanθ=1cotθtanθ=1cotθ cotθ=1tanθcotθ=1tanθ

The final set of identities is the set of quotient identities, which define relationships among certain trigonometric functions and can be very helpful in verifying other identities.

Quotient Identities
tanθ=sinθcosθtanθ=sinθcosθ cotθ=cosθsinθcotθ=cosθsinθ

The reciprocal and quotient identities are derived from the definitions of the basic trigonometric functions.

A General Note: Summarizing Trigonometric Identities

The Pythagorean identities are based on the properties of a right triangle.

cos2θ+sin2θ=11+tan2θ=sec2θ1+cot2θ=csc2θcos2θ+sin2θ=11+tan2θ=sec2θ1+cot2θ=csc2θ

The even-odd identities relate the value of a trigonometric function at a given angle to the value of the function at the opposite angle.

cos(θ)=cos(θ)sin(θ)=sin(θ)tan(θ)=tan(θ)cot(θ)=cot(θ)sec(θ)=sec(θ)csc(θ)=csc(θ)cos(θ)=cos(θ)sin(θ)=sin(θ)tan(θ)=tan(θ)cot(θ)=cot(θ)sec(θ)=sec(θ)csc(θ)=csc(θ)

The reciprocal identities define reciprocals of the trigonometric functions.

sinθ=1cscθcosθ=1secθtanθ=1cotθcotθ=1tanθsecθ=1cosθcscθ=1sinθsinθ=1cscθcosθ=1secθtanθ=1cotθcotθ=1tanθsecθ=1cosθcscθ=1sinθ

The quotient identities define the relationship among the trigonometric functions.

tanθ=sinθcosθcotθ=cosθsinθtanθ=sinθcosθcotθ=cosθsinθ

Example 1: Graphing the Equations of an Identity

Graph both sides of the identity cotθ=1tanθcotθ=1tanθ. In other words, on the graphing calculator, graph y=cotθy=cotθ and y=1tanθy=1tanθ.

How To: Given a trigonometric identity, verify that it is true.

  1. Work on one side of the equation. It is usually better to start with the more complex side, as it is easier to simplify than to build.
  2. Look for opportunities to factor expressions, square a binomial, or add fractions.
  3. Noting which functions are in the final expression, look for opportunities to use the identities and make the proper substitutions.
  4. If these steps do not yield the desired result, try converting all terms to sines and cosines.

Example 2: Verifying a Trigonometric Identity

Verify tanθcosθ=sinθtanθcosθ=sinθ.

Try It

Verify the identity cscθcosθtanθ=1cscθcosθtanθ=1.

Example 3: Verifying the Equivalency Using the Even-Odd Identities

Verify the following equivalency using the even-odd identities:

(1+sinx)[1+sin(x)]=cos2x(1+sinx)[1+sin(x)]=cos2x

Example 4: Verifying a Trigonometric Identity Involving sec2θ

Verify the identity sec2θ1sec2θ=sin2θsec2θ1sec2θ=sin2θ

Analysis

In the first method, we used the identity sec2θ=tan2θ+1sec2θ=tan2θ+1 and continued to simplify. In the second method, we split the fraction, putting both terms in the numerator over the common denominator. This problem illustrates that there are multiple ways we can verify an identity. Employing some creativity can sometimes simplify a procedure. As long as the substitutions are correct, the answer will be the same.

Try It

Show that cotθcscθ=cosθcotθcscθ=cosθ.

Example 5: Creating and Verifying an Identity

Create an identity for the expression 2tanθsecθ2tanθsecθ by rewriting strictly in terms of sine.

Example 6: Verifying an Identity Using Algebra and Even/Odd Identities

Verify the identity:

sin2(θ)cos2(θ)sin(θ)cos(θ)=cosθsinθsin2(θ)cos2(θ)sin(θ)cos(θ)=cosθsinθ

Try It

Verify the identity sin2θ1tanθsinθtanθ=sinθ+1tanθsin2θ1tanθsinθtanθ=sinθ+1tanθ.

Example 7: Verifying an Identity Involving Cosines and Cotangents

Verify the identity: (1cos2x)(1+cot2x)=1(1cos2x)(1+cot2x)=1.

Simplify trigonometric expressions using algebra and the identities

We have seen that algebra is very important in verifying trigonometric identities, but it is just as critical in simplifying trigonometric expressions before solving. Being familiar with the basic properties and formulas of algebra, such as the difference of squares formula, the perfect square formula, or substitution, will simplify the work involved with trigonometric expressions and equations.

For example, the equation (sinx+1)(sinx1)=0(sinx+1)(sinx1)=0 resembles the equation (x+1)(x1)=0(x+1)(x1)=0, which uses the factored form of the difference of squares. Using algebra makes finding a solution straightforward and familiar. We can set each factor equal to zero and solve. This is one example of recognizing algebraic patterns in trigonometric expressions or equations.

Another example is the difference of squares formula, a2b2=(ab)(a+b)a2b2=(ab)(a+b), which is widely used in many areas other than mathematics, such as engineering, architecture, and physics. We can also create our own identities by continually expanding an expression and making the appropriate substitutions. Using algebraic properties and formulas makes many trigonometric equations easier to understand and solve.

Example 8: Writing the Trigonometric Expression as an Algebraic Expression

Write the following trigonometric expression as an algebraic expression: 2cos2θ+cosθ12cos2θ+cosθ1.

Example 9: Rewriting a Trigonometric Expression Using the Difference of Squares

Rewrite the trigonometric expression: 4cos2θ14cos2θ1.

Analysis

If this expression were written in the form of an equation set equal to zero, we could solve each factor using the zero factor property. We could also use substitution like we did in the previous problem and let cosθ=xcosθ=x, rewrite the expression as 4x214x21, and factor (2x1)(2x+1)(2x1)(2x+1). Then replace xx with cosθcosθ and solve for the angle.

Try It

Rewrite the trigonometric expression: 259sin2θ259sin2θ.

Example 10: Simplify by Rewriting and Using Substitution

Simplify the expression by rewriting and using identities:

csc2θcot2θcsc2θcot2θ

Try It

Try It

Use algebraic techniques to verify the identity: cosθ1+sinθ=1sinθcosθcosθ1+sinθ=1sinθcosθ.

(Hint: Multiply the numerator and denominator on the left side by 1sinθ1sinθ).

Key Equations

Pythagorean identities sin2θ+cos2θ=11+cot2θ=csc2θ1+tan2θ=sec2θsin2θ+cos2θ=11+cot2θ=csc2θ1+tan2θ=sec2θ
Even-odd identities tan(θ)=tanθcot(θ)=cotθsin(θ)=sinθcsc(θ)=cscθcos(θ)=cosθsec(θ)=secθtan(θ)=tanθcot(θ)=cotθsin(θ)=sinθcsc(θ)=cscθcos(θ)=cosθsec(θ)=secθ
Reciprocal identities sinθ=1cscθcosθ=1secθtanθ=1cotθcscθ=1sinθsecθ=1cosθcotθ=1tanθsinθ=1cscθcosθ=1secθtanθ=1cotθcscθ=1sinθsecθ=1cosθcotθ=1tanθ
Quotient identities tanθ=sinθcosθcotθ=cosθsinθtanθ=sinθcosθcotθ=cosθsinθ

Key Concepts

  • There are multiple ways to represent a trigonometric expression. Verifying the identities illustrates how expressions can be rewritten to simplify a problem.
  • Graphing both sides of an identity will verify it.
  • Simplifying one side of the equation to equal the other side is another method for verifying an identity.
  • The approach to verifying an identity depends on the nature of the identity. It is often useful to begin on the more complex side of the equation.
  • We can create an identity by simplifying an expression and then verifying it.
  • Verifying an identity may involve algebra with the fundamental identities.
  • Algebraic techniques can be used to simplify trigonometric expressions. We use algebraic techniques throughout this text, as they consist of the fundamental rules of mathematics.

Glossary

even-odd identities

set of equations involving trigonometric functions such that if f(x)=f(x)f(x)=f(x), the identity is odd, and if f(x)=f(x)f(x)=f(x), the identity is even

Pythagorean identities

set of equations involving trigonometric functions based on the right triangle properties

quotient identities

pair of identities based on the fact that tangent is the ratio of sine and cosine, and cotangent is the ratio of cosine and sine

reciprocal identities

set of equations involving the reciprocals of basic trigonometric definitions