Functions f(x) and g(x) are inverses of one another if:
f(g(x)) = x and g(f(x)) = x,
for all values of x in their respective domains.
A definition states the conditions for the use of a word or a name. Here, if
f(g(x)) = x and
g(f(x)) = x,
then we may say that the functions f and g are "inverses."
Conversely, if we say that f and g are inverses, then we would know that
f(g(x)) = x and
g(f(x)) = x,
A definition is implicitly an if and only if sentence.
See First Principles of Euclid's Elements, Commentary on the Definitions.
Problem 1. Let f(x) and g(x) be inverses. Then if
f(0) = 8,
what is the value of g(8)?
g(8) = 0. For, since g is the inverse of f, then when its argument is f(x) -- x is its output.
g(f(0)) = 0.
Example 1. Addition and subtraction are inverses. Subtracting a specific number reverses, or undoes, the result of adding it.
In the language of functions, let
f(x) = x + 2, and g(x) = x − 2.
f(x) adds 2 to its argument. g(x) subtracts 2.
Upon applying the definition:
f(g(x)) = f(x − 2) = (x − 2) + 2 = x,
and
g(f(x)) = g(x + 2) = (x + 2) − 2 = x.
The definition is satisfied. The functions f and g are inverses.
Problem 2. Let f(x) = x² and g(x) = x½. Show that they are inverses of one another. (The domain of f must be restricted to x
0.)
To see the answer, pass your mouse over the colored area.
To cover the answer again, click "Refresh" ("Reload").
f(g(x)) = f(x½) = (x½)² = x,
and
g(f(x)) = g(x²) = (x²)½ = x.
Extracting the argument
When we write
(x + 3)4,
then x + 3 is the argument of the function
f(x) = x4.
f is that function which takes the 4th power of its argument.
Its inverse, g(x), will take the 4th root.
g(x) = x¼.
Example 2. Solve for x:
(x + 3)4 = 16.
Solution. To do that, we must free, or extract, the argument x + 3. We must write
x + 3 = . . .
And to extract the argument of any function, we simply take its inverse. In this example, we take the 4th root of both sides of the equation. We can immediately write
x + 3 = 16¼ = 2.
Therefore,
x = 2 − 3 = −1.
Problem 3. Solve for x:

The inverse of taking the 5th root is taking the 5th power. Therefore, on taking the 5th power of both sides -- and thus freeing the argument:
x − 4 = 25 = 32.
x = 36.
Constructing the inverse
When we have a function y = f(x) -- for example
y = x²
-- then we can often "invert" the equation by solving for x. In this case,

x now appears as a function of y. Therefore on exchanging the variables,

 |
is the inverse function of y = x². |
(Taking the square root of a number is the inverse of squaring a number.)
Hence, to construct the inverse of a function y = f(x):
Solve for x, then exchange the variables.
Example 3. What function is the inverse of y = 3x + 4?
Solution. Exchange the sides of the equation, and solve for x:
Clearly, dividing by 5 is the inverse of multiplying by 5.

To see that the coördinates of C' are (b, a), consider that since angle C'A'D is 90°, then C'A' makes an angle of 90° − θ with the x-axis. That is, angle C'A'B' is the complement of angle B'A'D, which is angle θ. Therefore in the right triangle A'B'C', the angle at C' is equal to θ.
But the angle at A is the complement of θ. Therefore the triangles ABC, A'B'C' are congruent (Angle-side-angle), and those sides are equal that are opposite the equal angles:
A'B' is equal to AB -- which is b, the y-coördinate of f (x).
B'C' is equal to BC -- which is a, the x-coördinate of f (x).
Therefore the coördinates of C' are (b, a).