# What is a Trigonometric Identity?

A trigonometric identity is essentially another form of a trigonometric expression that is equivalent to the original. For example, we have already learned two very important trigonometric identities. One for the tangent function in relation to sine and cosine:

(1)And of course, the unit circle:

(2)We will now extend our knowledge on trigonometric identities for the purpose of simplifying seemingly difficult expressions for future applications.

## Example 1

Simplify the following expression:

(3)This expression may first appear very daunting to simplify, however, we can certainly complete it without further knowledge into trigonometric identities. Let's first simplify the part of the expression contained within the square brackets. By factorization, we should notice that we can simplify it to obtain:

(4)But we know the following identity from which we can substitute for to obtain a modified yet equivalent expression:

(5)Thus:

(6)Now we know that cotangent is simply the reciprocal trigonometric function of tangent, so we can rewrite our expression further to obtain:

(8)Which when simplified we obtain:

(9)Or simply:

(10)As you can see, the use of trigonometric identities for simplifying trigonometric expressions is very useful.

# Reciprocal Trigonometric Identities

The reciprocal trigonometric identities are straightforward and are exactly the same as our definitions for the reciprocal trigonometric identities. That is:

(11)# Pythagorean Trigonometric Identities

We already are aware of one of the pythagorean trigonometric identities which is the definition of the unit circle such that:

(12)However, there are other pythagorean trigonometric identities such as the following:

(13)## Proof of Pythagorean Trigonometric Identity Equivalencies

We will not prove the unit circle trigonometric identity because it is already geometrically proven on the unit circle page. Nevertheless we will begin the following trigonometric identity and prove that the left hand side is equivalent to the righthand side with the trigonometric identities we already know are true.

(14)We will now prove the other Pythagorean identity as being equivalent:

(22)# Odd and Even Trigonometric Identities.

The odd and even trigonometric identities are more difficult to prove. They are:

(31)## Odd Functions

First let's acknowledge what an odd and an even function is. An odd function is a function that satisfies the condition such that:

(32)Additionally, functions that are odd can be rotated 180 degrees about the origin to obtain the same graph (*look at the graph of cosx for reference*).

So let's say that we have a function such that f(x) = cosx. Thus, -f(x) = -cosx, and f(-x) = cos(-x).

We should acknowledge thatn f(x) and f(-x) are horizontal reflections about the y-axis, and f(x) and f(-x) are vertical reflections about the x-axis. Hence, a function f(x) that is odd has a function g(x) that is equivalent to f(x) being reflected along the y-axis and the x-axis.

We can thus determine that the cosine function is an odd function because cosx can be rotated 180 degrees about the origin to obtain cosx and is a reflection of itself across the y-axis and x-axis.

Therefore:

(33)## Even Functions

An even function on the other hand is a function that satisfies the condition:

(34)This transformation states that a function, f(x) is symmetric about the y-axis as a horizontal reflection. (*Look at the graph of sinx as an example*). Hence, a function is even if it satisfies only this property. A function that satisfies f(x) = f(-x) and f(-x) = -f(x) is no longer even because it satisfies both conditions and hence, is an odd function. Thus we can geometrically see that sinx is an even function. Therefore:

### Example 2

Determine the *most simplified* trigonometric expression for:

The simplification using the trigonometric identities explained on this page are all that is necessary to simplify this. The simplification is as follows:

(37)We could stop here for simplification, however, we can express this expression in terms of tangent only if we decide since we know that:

(44)Thus we obtain that:

(45)Thus we obtain:

(46)