Inverse functions
- The inverse undoes . If sends , then sends .
- Finding it is a short method. The marks come from two other things: when it exists, and what its domain is.
Write , swap and , then make the subject. Then state the domain of (= the range of ). The swap goes both ways: too.
Swap x and y, then make y the subject
An inverse swaps input and output. So the method is to swap and , then tidy up:
- Write the function as
- Swap every and .
- Rearrange to make the subject. That is .
Worked example
Textbook step-by-step: find the inverse of
- Write as : .
- Swap and : .
- Make the subject: .
It only exists when f is one-one
- An inverse only works if is one-one (each output comes from exactly one input).
- A many-one function like has no inverse. Going back, the machine cannot tell which input to go to.
Why a many-one function has no inverse
sends both and to . Going back from , the inverse would have to pick or . That is two outputs for one input, so it is not a function at all. So there is no inverse until we make one-one.
That is why exam questions make the domain smaller, like “for ”. This removes one half of the parabola and keeps one rising side, which is one-one.
“Find the smallest so that (for ) is one-one” has a one-line answer: = the -coordinate of the vertex. Cut the parabola at its turning point and only one side is left.
Worked example
Textbook 2.8: for , state the smallest for which has an inverse
is a parabola, which is one-one only on one side of its turning point. Read the vertex from the completed-square form : it is at . Keep everything from there on and you have one falling side.
Worked example
for : find , its domain and its range
- Complete the square so the squared term sits alone (the move from the Quadratics chapter, §1.2): .
- Swap and , then isolate the bracket: .
- Square-root. The domain forces , so keep the positive root only (not ): .
For the domain of , take the range of . The smallest output is at the start point , giving , and the graph only goes up from there:
The swap goes both ways. So the range of is the domain of , which is :
Where the marks go
Common mistake
Common mistake
Common mistake
Now you try
The function is defined for . Find an expression for . (9709/12 Oct/Nov 2021 Q3)
Your turn— tap to reveal the worked answer (9709/12 Oct/Nov 2021 Q3(b))
Write as , then swap and :
Clear the fraction and gather the terms:
It comes back to the same rule. So is its own inverse (self-inverse).