Inverse Functions
An undoes the original function. If f sends , then sends . The superscript means “inverse”; it does not mean one divided by f.
Write , swap and , then make the subject. Then state the domain of (= the range of ). The range of is the domain of f.
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. “Make y the subject” means rearrange until y is alone on the left:
- 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: .
Check by undoing the original rule: . A correct inverse returns the starting input wherever the composition is defined.
It only exists when f is one-one
An inverse exists only when f is one-one. For example, sends both and to, so reversing it would give two outputs. Restricting the domain to one side of the vertex removes that ambiguity.
“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: .
- Swap and , then isolate the bracket: .
- Square-root. The domain forces , so keep the positive root only (not ): .
The original range begins at the vertex output , so it becomes the inverse domain:
The original domain becomes the inverse range:
Two inverse checks
Common mistake
Common mistake
Now you try
The function is defined for . Find an expression for . (9709/12 Oct/Nov 2021 Q3)
Show worked answer
Write as , then swap and :
Clear the fraction by multiplying both sides by , then gather the terms:
The same rule returns, so f is self-inverse. Its original range is , so the inverse domain is .
