How do we form the inverse of a relation by swapping and , when is that inverse itself a function, and how do we find and verify a rule for ?
Form the inverse relation by reflecting in the line , use the horizontal line test to decide whether the inverse is a function, find the rule for and verify it by showing , swap the domain and range, and restrict a domain so that a many-to-one function gains an inverse
The Year 11 Extension 1 dot point on inverse relations and functions. Swap x and y to get the inverse (a reflection in y = x), use the horizontal line test to decide whether it is a function, find and verify f-inverse by composition, swap the domain and range, and restrict a domain so a many-to-one function gains an inverse.
Reviewed by: AI editorial process; not yet individually human-reviewed
Have a quick question? Jump to the Q&A page
What this dot point is asking
NESA gives you a relation, usually a function , and asks you to build its inverse: the relation you get by reversing every input-output pair. Geometrically that is a single clean idea, reflect the graph in the line , and the rest of the topic is the consequences of that one reflection.
There are four skills bundled together here:
- Form the inverse relation by swapping and (and solving for if you can).
- Decide whether the inverse is a function using the horizontal line test on the original.
- Find and verify the rule for , checking it by composition: .
- Swap the domain and range, and restrict a domain when the inverse would otherwise fail to be a function.
The reflection in is the thread through all of it: it is why the coordinates swap, why the domain and range swap, and why "no horizontal line twice" is the test that the inverse passes the vertical line test. The same "act on the picture, feature by feature" habit that drives sketching and and sketching applies here, with the line as the mirror. This Year 11 page is the first-contact treatment; the Year 12 page inverse functions and composite functions extends it with composition and calculus.
The answer
Forming the inverse relation: swap and
A relation is just a set of ordered pairs . Its inverse relation is the set of all the reversed pairs : whatever the relation sent to, the inverse sends back. So the way to get the equation of the inverse is to swap and everywhere in the equation (and in any restriction), then, if possible, solve for to get a rule.
For example, the inverse of is found by writing and solving: . The inverse of is , which solves to .
Two facts fall straight out of the definition:
- The inverse of the inverse is the original relation (swapping twice gets you back).
- The graph of the inverse is the reflection of the original graph in the line , because reflecting in is exactly what exchanges the first and second coordinates of every point.
Notice the two named points: on the cubic maps to on the inverse, the coordinates simply swapping. Every point obeys the same rule, which is why the whole curve is a mirror image in .
The horizontal line test: is the inverse a function?
Swapping the pairs always gives an inverse relation, but it may not be an inverse function. A function is allowed only one for each (the vertical line test). When we reflect in , vertical lines become horizontal lines, so the inverse passes the vertical line test exactly when the original passes a horizontal line test.
The inverse of is a function if and only if no horizontal line crosses the graph of more than once, that is, the original function is one-to-one.
A one-to-one function never repeats a -value: different inputs give different outputs. A many-to-one function repeats at least one -value (some horizontal line cuts twice), and when reflected those two points share an -value, breaking the vertical line test for the inverse.
The line on the left is one-to-one, so its inverse is a function. The parabola on the right is many-to-one (the line meets it at and ), so its inverse is the two-armed relation , which is not a function.
Finding the rule for and verifying it
Once you know the inverse is a function, the recipe for its rule is the same swap, finished off by making the subject:
- Start from .
- Swap and (and swap any restriction).
- Solve for . The result is .
- Verify by composition: show (substituting the inverse into should collapse to ).
The verification is not optional decoration. It is the definition of "inverse" in action, and in an exam it both earns marks and catches algebra slips. If does not simplify to , you have made an error.
For the line : swap to , solve to , then check . It works, so the rule is right.
A rational function:
The swap-and-solve method shines on a rational function, where the algebra is the whole task. Take . Swap: . Multiply out: , so . Collect the terms: , that is . Divide: .
The asymptotes tell the same story as the reflection. The original has a vertical asymptote at (zero denominator) and a horizontal asymptote at (ratio of leading coefficients). Reflecting in swaps the roles of and , so the inverse has a vertical asymptote at and a horizontal asymptote at , which is exactly what the rule shows.
Domain and range swap
Because the inverse simply reverses every pair, the set of inputs and the set of outputs trade places:
- the domain of is the range of ;
- the range of is the domain of .
This is the reflection again: the -extent and the -extent of the graph are exchanged when you flip in . It is also how you write down the domain of an inverse that involves a square root, where the rule alone would not tell you the full story.
Restricting a domain so an inverse exists
When a function is many-to-one, its inverse is not a function, but you can often restrict the domain to a piece on which the function is one-to-one, and that piece has an inverse function. The classic case is a parabola: the whole of fails the horizontal line test, but the right-hand branch is increasing and one-to-one.
On that branch, swap () to (); solving gives , and the restriction forces the positive root, so . The restriction is what makes the single square root legitimate: without it, is two-armed and not a function. (Choosing the left branch instead would give the other inverse, .)
A quick way to spot functions that will always need restricting: any even function whose domain includes a non-zero number fails the horizontal line test, because gives a repeated height. Parabolas and are typical. So is any polynomial with two or more distinct real linear factors, since it must turn back on itself between the roots.
A self-inverse function
A few functions are their own inverse: , equivalently . Their graphs are unchanged by reflection in (they are symmetric in that line). The simplest is : . More generally, a rational function is self-inverse exactly when . For instance has and , so , and indeed substituting confirms for every in the domain. Recognising this lets you state the inverse instantly, with no swap-and-solve needed.
Combining the ideas, stage by stage
The full procedure, find the rule and present the graph, is best seen as a short sequence. Take the one-to-one line and build its inverse graph step by step.
- Stage 1, plot the original
- Draw , a line through and with gradient . It is one-to-one, so an inverse function exists.
- Stage 2, draw the mirror line
- Add the dashed line . This is the mirror: the inverse graph will be the reflection of the line in it.
- Stage 3, reflect the key points
- Pick easy points on and swap their coordinates: , and . Each reflected point sits on the opposite side of , the same perpendicular distance away.
- Stage 4, draw the inverse line
- Join the reflected points to get , the line through and . Solving algebraically confirms it: , gradient and -intercept , exactly the reflected line.
How exam questions ask about inverses
The wording tells you which skill to use.
- "Find the inverse function ." Swap and , solve for , and (if asked) verify by composition. State the domain if a root or restriction is involved.
- "Show that the inverse is / is not a function." Apply the horizontal line test to : name a horizontal line that cuts once (it is) or twice (it is not).
- "Verify that ." Substitute your into and simplify; it must collapse to .
- "State the domain (or range) of ." The domain of is the range of , and the range of is the domain of .
- "Restrict the domain of so that an inverse function exists." Choose a largest interval on which is one-to-one (e.g. the turning-point value for a parabola), then invert on that piece.
- "Sketch and on the same axes." Draw dashed, reflect a few key points, and draw the smooth reflection.
- "Show that is its own inverse." Compute and show it equals (or, for a rational , check ).
- "Describe the geometric relationship between the graphs." They are reflections of each other in the line .
Exam-style practice questions
Practice questions written in the style of NESA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.
HSC-style4 marksThe function is defined for all real . (i) Find the rule for the inverse function . (ii) Verify your answer by showing that . (iii) State the geometric relationship between the graphs of and .Show worked answer →
This is the standard three-part inverse question: find the rule, verify by composition, name the geometry.
- Part (i): find the inverse
- Write , then swap and to get the inverse relation . Solve for : add to both sides to get , then divide by , giving . So , which can also be written .
- Part (ii): verify by composition
- Substitute into : . Because composing the two functions returns the input unchanged, really is the inverse. (Checking the other order, , confirms it both ways.)
- Part (iii): the geometry
- The graph of is the reflection of the graph of in the line . Each point on corresponds to the point on .
Markers reward the swap-and-solve in part (i), the substitution that simplifies to in part (ii), and the words "reflection in the line " in part (iii).
HSC-style5 marksLet . (i) Show that does not have an inverse function by referring to the horizontal line test. (ii) The domain of is now restricted to . Find the rule for the inverse function of this restricted function, and state its domain. (iii) Verify that for the restricted function.Show worked answer →
The contrast between the unrestricted (fails) and restricted (works) cases is the heart of this dot point.
- Part (i): the horizontal line test
- A function has an inverse function exactly when no horizontal line meets its graph more than once. The parabola is symmetric in the -axis, so the horizontal line meets it where , that is , so and : two points. Because a horizontal line cuts the graph twice, is many-to-one and its inverse is not a function.
- Part (ii): restrict and invert
- With the graph is only the right-hand half of the parabola, which is one-to-one (each height occurs once), so an inverse function exists. Write with , then swap: with . Solve for : , and since we take the positive root, . So . Its domain is the range of the original function: the restricted has range , so the domain of is .
- Part (iii): verify
- Substitute: , valid for . The composition returns the input, confirming the inverse.
Markers reward naming the line that cuts twice in part (i), keeping the restriction that selects the positive root in part (ii), and the clean simplification to in part (iii). A common error is to drop the discussion and forget that the restriction is what makes the single root legitimate.
Practice questions
Original practice questions graded from foundation to exam level, each with a full worked solution. Try them before revealing the solution.
foundation3 marksFind the rule for the inverse function of , and verify your answer by showing that .Show worked solution →
- Swap and solve
- Write , then swap and : . Subtract : . Divide by : . So .
- Verify by composition
- Substitute into : . Because the composition returns the input, the rule is correct.
- Answer
- , and as required.
foundation3 marksThe function is one-to-one. Find , and state the coordinates of the point on that corresponds to the point on .Show worked solution →
- Swap and solve
- Write , then swap: . Add : . Take the cube root (defined for every real number, so no restriction is needed): . So .
- Find the corresponding point
- A point on maps to on the inverse. Here , so lies on ; swapping the coordinates gives on . Checking: , confirming .
- Answer
- , and the point on corresponds to on .
core4 marksFind the rule for the inverse function of , and state the equations of the vertical and horizontal asymptotes of .Show worked solution →
Swap the variables. Write , then swap and : .
Clear the fraction and collect . Multiply both sides by : , so . Gather the terms on one side: , that is . Divide by : .
So .
Read the asymptotes. The original has a vertical asymptote at (zero denominator) and a horizontal asymptote at (ratio of leading coefficients). The inverse swaps these roles, so has a vertical asymptote at and a horizontal asymptote at . This matches the rule directly: the denominator is zero at , and for large the value tends to .
Answer: , with vertical asymptote and horizontal asymptote .
core4 marksThe function is restricted to the domain . Find , state its domain and range, and verify that .Show worked solution →
- Check it is one-to-one
- With the graph is the right-hand half of the parabola with vertex , which is increasing, so it is one-to-one and an inverse function exists.
- Swap and solve
- Write with , then swap: with . Take the square root: , and because the restriction forces , we keep the positive root , so . Thus .
- State domain and range
- The restricted has domain and range (the smallest value is ). Swapping gives the inverse domain and inverse range .
- Verify by composition
- , valid for .
- Answer
- , domain , range , and as required.
exam4 marksShow that the function , defined for , is its own inverse, that is .Show worked solution →
- Set up the composition
- A function is its own inverse when . Compute by substituting wherever appears in the rule:
- Clear the inner fractions
- Multiply the top and bottom of the large fraction by . The numerator becomes . The denominator becomes .
- Simplify
- So .
- Interpret
- Because , the function is its own inverse; equivalently, reflecting its graph in the line produces the same curve. (This is the general pattern for : it is self-inverse exactly when , and here , , so .)
- Answer
- , so is its own inverse.
exam5 marksConsider . (i) Explain why does not have an inverse function over its natural domain. (ii) The domain is restricted to . Find the rule for the inverse function and state its domain. (iii) Verify that for this restricted domain.Show worked solution →
- Part (i): why there is no inverse
- A function has an inverse function only if it is one-to-one, that is, no horizontal line meets the graph more than once. The parabola is symmetric in the -axis, so for instance the horizontal line meets it where , giving and or : two points. The graph fails the horizontal line test, so is many-to-one and has no inverse function.
- Part (ii): restrict and invert
- With the graph is the left-hand half of the parabola, which is decreasing and therefore one-to-one. Write with , then swap: with . Solve: , so , and because the restriction forces we take the negative root, . So . Its domain is the range of the restricted : the smallest value is , so the range is and the inverse domain is .
- Part (iii): verify
- For , , so it lies in the domain of . Then . Since , , so . The composition returns the input.
- Answer
- (i) it fails the horizontal line test (e.g. cuts twice); (ii) , domain ; (iii) because .
Related dot points
- Sketch by reflecting the part of below the -axis upward, and sketch by keeping the part right of the -axis and mirroring it across the -axis, recognising that is always even and that the two transformations coincide only in special cases
The Year 11 Extension 1 dot point on the two absolute-value graph transformations. Why y = |f(x)| flips the part below the x-axis upward (so y stays at least zero) while y = f(|x|) discards the left half and mirrors the right half (always even), where they differ, how to combine them in order, and why |2^x| = 2^x.
- Sketch the graph of from the graph of : turn zeroes into vertical asymptotes, send large values to small ones, fix the points where , and flip a maximum to a minimum where keeps its sign
The Year 11 Extension 1 dot point on sketching the reciprocal of a graphed function. Why zeroes of f become vertical asymptotes of 1/f, why large values become small, why the points where f equals plus or minus one are fixed, why a maximum flips to a minimum where f keeps its sign, how a horizontal asymptote at y = L moves to y = 1/L, and the edge cases textbooks bury.
- Examine the sign of a function by building a table of test values that dodge around its zeroes and discontinuities, and use the resulting sign pattern to solve inequations and to start a curve sketch
The Year 11 Extension 1 dot point on the sign of a function. Why a function can only change sign at a zero or a discontinuity, how to build a table of signs with test values, the repeated-factor exception, rational functions with vertical asymptotes, and using the sign pattern both to solve inequations and to begin a sketch.
- Sketch the graph of by adding or subtracting ordinates: at a zero of one function the sum meets the other, opposite ordinates give a zero, equal ordinates double, and an oblique asymptote can emerge
The Year 11 Extension 1 dot point on sketching the sum or difference of two graphed functions by adding ordinates. Why a zero of one curve makes the sum meet the other, why opposite ordinates give a zero, why equal ordinates double, how an oblique asymptote emerges from a rational plus a line, why a sum of straight pieces stays straight, and the symmetry and domain rules textbooks rush.