Let’s now switch from functions of the form to the trigonometric functions. We begin with . We will define the function using much of the same reasoning that defined .
We begin by looking at the graph of .
Of course, we can’t find an inverse for this function as stated. Colloquially, the graph of fails the horizontal line test. More precisely, there exist two numbers and so that but . Indeed, there are infinitely many such pairs.
So how will we find the inverse of ? Well, we can’t. But we can do something almost as good: we can define a new function that’s going look an awful lot like . As before, we will restrict the domain of this new function so that satisfies the horizontal line test.
When we did this for the square root function, there were two natural choices for the restricted domain: either or . However, for the sine function, there are plenty of good options from which to choose. Indeed, here are four legitimate options just using the two periods of the sine function shown above. The fourth option is unorthodox, but it nevertheless satisfies the horizontal line test (as long as we’re careful with .
So we use the following bijective function (or, using the language that I used when I was a student, a one-to-one and onto function):
defined by .
Since this is a bijection, it has an inverse function
This inverse function is usually denoted as or . The graph of can be produced by reflecting through the line , producing the purple graph below.
One other important note: since and are inverse functions, it’s always true that and . However, and are not inverse functions, and so it’s possible for to be something other than . This parallels the observation that, say, is not equal to . We’ll discuss this further in future posts.