Proving that Two Functions are Inverses of Each Other

First, you would need to note that drawing the graphs is not a valid mathematical proof. To emphasize that a picture isn't proof, the instructions will often tell you to "verify algebraically" that the functions are inverses. What does that look like?

If you think back to the definition of an inverse, the point of the inverse is that it's backwards from what you started with; it takes you back to where you started from. For instance, if the point (1, 3) is on the graph of the function, then the point (3, 1) is on the graph of the inverse. That is, if you start with x = 1, you will go to y = 3; then you plug this into the inverse, and you'll go right back to x = 1, where you started from. It is this property that you use to prove (or disprove) that functions are inverses of each other.

How to you prove algebraically that two functions are inverses of each other?

To prove (or disprove) that two functions are inverses of each other, you compose the functions (that is, you plug x into one function, plug that function into the proposed inverse function, and then simplify) and verify that you end up with just "x". If you end up with x (that is, if you end up with what you'd started with), then the functions are inverses; otherwise, they are not.

• Determine algebraically whether f (x) = 3x − 2 and are inverses of each other.

---

• Determine algebraically whether f (x) = 3x − 2 and are inverses of each other.

---

Once you've found one composition that doesn't work, you're done. You don't have to show that the composition doesn't work the other way, either.

---

A close examination of this last example above points out something that can cause problems for some students. Since the inverse "undoes" whatever the original function did to x, the instinct is to create an inverse by applying reverse operations. In this case, the function f (x) multiplied x by 3 and then subtracted 2 from the result. So the instinct is to think that the inverse would be to divide x by 3 and then to add 2 to the result.

But as you saw above, this is not correct. Comparing this example (where the functions were not inverses) with the example at the beginning of the page (where the functions *were* inverses), you can see that the reversed operations were correct, but that they also need to be applied in reverse order. That is, since f (x) first multiplied x by 3 and then subtracted off 2, the inverse first adds the 2 back on, and then divides the 3 back off.

Also, in the second example, as soon as I did not end up with x, I knew the functions were not inverses. I had done the composition (f ∘ g)(x) and had come up with something other than x, so I didn't bother checking (g ∘ f )(x). In the first example, however, I checked (f ∘ g)(x) and came up with x, and then I also checked (g ∘ f )(x), too. Why? Here's an example of why:

• Determine algebraically whether f (x) = x² and are inverses of each other.

This is why you need to check both ways: sometimes there are fussy technical considerations, usually involving square roots, that force the composition not to work, because the domains and ranges of the two functions aren't compatible. In this case, if f (x) had been restricted to non-negative x-values, then the functions would have been inverses.

In general, though, if one composition gives you just x, then the other one will, too, especially if you're not dealing with restricted domains. But you should remember to do both compositions on tests and such, both to be sure of your answer and also to get full credit.

How can you tell if functions are inverses from a table or T-chart?

Unless the two functions are just small sets of points, you can't tell from a table or T-chart whether or not they are inverses of each other. But in the special case where the functions are just small sets of points:

1. Count the number of points in each function's set; the sets must contain the same number of points.
2. Compare the points; for every point (a, b) in the one function's set of points, there *must* be the point (b, a) in the other function's set of points.

If the sets don't have the same number of points, or if there is a point in one set that doesn't have a coordinate-reversed corresponding point in the other set, then the functions are not inverses.