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 which of these options should we choose? Historically, mathematicians have settled for the interval
. Why did they settle on this interval? That I can answer with one word: tradition.
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.
One thought on “Inverse Functions: Arcsine (Part 10)”