In section Section TheOtherCircularFunctions, we first encountered the concept of an identity when discussing Theorem recipquotid. Recall that an identity is an equation which is true regardless of the choice of variable. Identities are important in mathematics because they facilitate changing forms.

We take a moment to generalize Theorem recipquotid below.

It is important to remember that the equivalences stated in Theorem recipquotidfull are valid only when all quantities described therein are defined. As an example, \(\tan (0) = 0\), but \(\tan (0) \neq \frac {1}{\cot (0)}\) since \(\cot (0)\) is undefined.

When it comes down to it, the Reciprocal and Quotient Identities amount to giving different ratios on the Unit Circle different names. The main focus of this section is on a more algebraic relationship between certain pairs of the circular functions: the Pythagorean Identities.

Recall in Definition sinecosineunitcircledefn, the cosine and sine of an angle is defined as the \(x\) and \(y\)-coordinate, respectively, of a point on the Unit Circle. Since the coordinates of all points \((x,y)\) on the Unit Circle satisfy the equation \(x^2+y^2 = 1\), we get for all angles \(\theta \), \(\left (\cos (\theta )\right )^2 + \left (\sin (\theta )\right )^2 = 1\). An unfortunate convention, which the authors are compelled to perpetuate, is to write \(\left (\cos (\theta )\right )^2\) as \(\cos ^{2}(\theta )\) and \(\left (\sin (\theta )\right )^2\) as \(\sin ^{2}(\theta )\). Rewriting the identity using this convention results in the following theorem, which is without a doubt one of the most important results in Trigonometry.

The moniker ‘Pythagorean’ brings to mind the Pythagorean Theorem, from which both the Distance Formula and the equation for a circle are ultimately derived. The word ‘Identity’ reminds us that, regardless of the angle \(\theta \), the equation in Theorem cosinesinepythid is always true.

If one of \(\cos (\theta )\) or \(\sin (\theta )\) is known, Theorem cosinesinepythid can be used to determine the other, up to a (\(\pm \)) sign. If, in addition, we know where the terminal side of \(\theta \) lies when in standard position, then we can remove the ambiguity of the (\(\pm \)) and completely determine the missing value. We illustrate this approach in the following example.

The reader is encouraged to compare and contrast the solution strategies demonstrated in Example cosinesinepythidex with those showcases in Examples advancedrefangleex and cosinesinecircleex in Section TheCircularFunctionsSineandCosine.

As with many tools in mathematics, identities give us a different way to approach and solve problems. As always, the key is to determine which approach makes the most sense (is more efficient, for instance) in the given scenario.

Our next task is to use use the Reciprocal and Quotient Identities found in Theorem recipquotidfull coupled with the Pythagorean Identity found in Theorem cosinesinepythid to derive new Pythagorean-like identities for the remaining four circular functions.

Assuming \(\cos (\theta ) \neq 0\), we may start with \(\cos ^{2}(\theta ) + \sin ^{2}(\theta ) = 1\) and divide both sides by \(\cos ^{2}(\theta )\) to obtain \(1 + \frac {\sin ^{2}(\theta )}{\cos ^{2}(\theta )} = \frac {1}{\cos ^{2}(\theta )}\). Using properties of exponents along with the Reciprocal and Quotient Identities, this reduces to \(1 + \tan ^{2}(\theta ) = \sec ^{2}(\theta )\).

If \(\sin (\theta ) \neq 0\), we can divide both sides of the identity \(\cos ^{2}(\theta ) + \sin ^{2}(\theta ) = 1\) by \(\sin ^{2}(\theta )\), apply Theorem recipquotidfull once again, and obtain \(\cot ^{2}(\theta ) + 1 = \csc ^{2}(\theta )\).

These three Pythagorean Identities are worth memorizing and they, along with some of their other common forms, are summarized in the following theorem.

As usual, the formulas states in Theorem pythids work equally well for (the applicable) angles as well as real numbers.

Again, the reader is encouraged to study the solution methodology illustrated in Example usingidtofindvaluesex1 as compared with that employed in Example circularfunctionscircleex in Section TheOtherCircularFunctions.

Trigonometric identities play an important role in not just Trigonometry, but in Calculus as well. We’ll use them in this book to find the values of the circular functions of an angle and solve equations and inequalities. In Calculus, they are needed to simplify otherwise complicated expressions. In the next example, we make good use of the Theorems recipquotidfull and pythids.

In Example idornotex1 number pythconjex above, we see that multiplying \(1-\cos (\theta )\) by \(1+\cos (\theta )\) produces a difference of squares that can be simplified to one term using Theorem pythids.

This is exactly the same kind of phenomenon that occurs when we multiply expressions such as \(1 - \sqrt {2}\) by \(1+\sqrt {2}\) or \(3 - 4i\) by \(3+4i\). In algebra, these sorts of expressions were called ‘conjugates.’

For this reason, the quantities \((1-\cos (\theta ))\) and \((1+\cos (\theta ))\) are called ‘Pythagorean Conjugates.’ Below is a list of other common Pythagorean Conjugates.

Pythagorean Conjugates
  • \(1 - \cos (\theta )\) and \(1+\cos (\theta )\): \((1-\cos (\theta ))(1+\cos (\theta )) = 1 - \cos ^{2}(\theta ) = \sin ^{2}(\theta )\)
  • \(1-\sin (\theta )\) and \(1 + \sin (\theta )\): \((1-\sin (\theta ))(1+\sin (\theta )) = 1 - \sin ^{2}(\theta ) = \cos ^{2}(\theta )\)
  • \(\sec (\theta )-1\) and \(\sec (\theta )+1\): \((\sec (\theta )-1)(\sec (\theta )+1) = \sec ^{2}(\theta ) - 1 = \tan ^{2}(\theta )\)
  • \(\sec (\theta )-\tan (\theta )\) and \(\sec (\theta )+\tan (\theta )\): \((\sec (\theta )-\tan (\theta ))(\sec (\theta )+\tan (\theta )) = \sec ^{2}(\theta ) - \tan ^{2}(\theta ) = 1\)
  • \(\csc (\theta )-1\) and \(\csc (\theta )+1\): \((\csc (\theta )-1)(\csc (\theta )+1) = \csc ^{2}(\theta ) - 1 = \cot ^{2}(\theta )\)
  • \(\csc (\theta )-\cot (\theta )\) and \(\csc (\theta )+\cot (\theta )\): \((\csc (\theta )-\cot (\theta ))(\csc (\theta )+\cot (\theta )) = \csc ^{2}(\theta ) - \cot ^{2}(\theta ) = 1\)

Verifying trigonometric identities requires a healthy mix of tenacity and inspiration. You will need to spend many hours struggling with them just to become proficient in the basics.

Like many things in life, there is no short-cut here – there is no complete algorithm for verifying identities. Nevertheless, a summary of some strategies which may be helpful (depending on the situation) is provided below and ample practice is provided for you in the Exercises.

Strategies for Verifying Identities
  • Try working on the more complicated side of the identity.
  • Use the Reciprocal and Quotient Identities in Theorem recipquotidfull to write functions on one side of the identity in terms of the functions on the other side of the identity.

    Simplify the resulting complex fractions.

  • Add rational expressions with unlike denominators by obtaining common denominators.
  • Use the Pythagorean Identities in Theorem pythids to ‘exchange’ sines and cosines, secants and tangents, cosecants and cotangents, and simplify sums or differences of squares to one term.
  • Multiply numerator and denominator by Pythagorean Conjugates in order to take advantage of the Pythagorean Identities in Theorem pythids.
  • If you find yourself stuck working with one side of the identity, try starting with the other side of the identity and see if you can find a way to bridge the two parts of your work.
  • Try something. The more you work with identities, the better you’ll get with identities.