Cambridge IGCSE · Topic 1.6
IGCSE Add Maths 0606 / Topic 1 / IGCSE

Run the machine in reverse.

An inverse function takes every output of \(f\) back to the input it came from. It only exists when \(f\) is one-one, its domain and range are those of \(f\) swapped, and its graph is the reflection of \(y = f(x)\) in the line \(y = x\).

The key idea

Only a one-one function has an inverse. To find \(f^{-1}\): write \(y = f(x)\), make \(x\) the subject, then swap the letters. The domain of \(f^{-1}\) is the range of \(f\), the range of \(f^{-1}\) is the domain of \(f\), and the graph of \(y = f^{-1}(x)\) is the reflection of \(y = f(x)\) in the line \(y = x\).

x y 4 4 (0, 2) (2, 0) y = 1 x = 1 y = x f(x) = eˣ + 1, x ∈ ℝ range f(x) > 1, asymptote y = 1 f⁻¹(x) = ln(x − 1), x > 1 range all reals, asymptote x = 1 mirror line y = x (0, 2) reflects to (2, 0)
Fig. 1: f(x) = eˣ + 1 and its inverse f⁻¹(x) = ln(x - 1) are mirror images in y = x. The intercept (0, 2) becomes (2, 0), and the asymptote y = 1 becomes x = 1
Section 01

One-one or many-one?

An inverse must send each output back to ONE input. If two different inputs give the same output, \(f\) is many-one and the inverse would not know which input to return, so \(f\) has no inverse. On a graph, a function is one-one when every horizontal line meets it at most once. A quadratic on all real numbers always fails, but restricting its domain to one side of the vertex makes it one-one.

Worked example Why there is no inverse
The function f is defined by \(f(x) = x^{2} - 4x\) for \(x \in \mathbb{R}\). Explain why f does not have an inverse.
  1. \(f(0) = 0\) and \(f(4) = 16 - 16 = 0\).
  2. Two different inputs, 0 and 4, give the same output, 0, so f is many-one.
  3. An inverse would have to send 0 back to both 0 and 4, which a function cannot do.
Answer: f is many-one (for example \(f(0) = f(4) = 0\)), so it has no inverse
Worked example Restrict, then invert
The function g is defined by \(g(x) = x^{2} - 4x\) for \(x \ge 2\). Find \(g^{-1}(x)\) and state its domain.
  1. Complete the square: \(g(x) = (x - 2)^{2} - 4\). The vertex is \((2, -4)\), so on \(x \ge 2\) the graph only rises and g is one-one.
  2. Write \(y = (x - 2)^{2} - 4\), so \((x - 2)^{2} = y + 4\).
  3. Here \(x \ge 2\), so \(x - 2 \ge 0\) and we take the positive root: \(x = 2 + \sqrt{y + 4}\).
  4. The range of g is \(g(x) \ge -4\), which becomes the domain of \(g^{-1}\).
Answer: \(g^{-1}(x) = 2 + \sqrt{x + 4}\) for \(x \ge -4\)
Your turn
\(h(x) = (x + 3)^{2} + 1\) for \(x \ge k\). Find the least value of \(k\) for which \(h^{-1}\) exists.
Examiner trap

'It is a quadratic' is not an explanation. The mark is for showing that two inputs share an output (or saying a horizontal line meets the graph twice). And in the final answer write only one sign of the root: \(\pm\sqrt{\ }\) would give two outputs, so it is not a function.

Section 02

Find the inverse, with the right notation.

The method is always the same: put \(y = f(x)\), make \(x\) the subject, then replace \(y\) by \(x\) and write the answer as \(f^{-1}(x) = \ldots\). For exponentials, take logs; for logarithms, raise \(e\) to both sides. Finish by stating the domain of \(f^{-1}\), which is the range of \(f\).

Worked example Exponential
The function f is defined by \(f(x) = e^{2x}\) for \(x \in \mathbb{R}\). Find \(f^{-1}(x)\) and state its domain.
  1. Write \(y = e^{2x}\).
  2. Take natural logs: \(\ln y = 2x\), so \(x = \dfrac{1}{2}\ln y\).
  3. Swap the letters: \(f^{-1}(x) = \dfrac{1}{2}\ln x\).
  4. \(e^{2x}\) is always positive and takes every positive value, so the range of f is \(f(x) > 0\).
Answer: \(f^{-1}(x) = \dfrac{1}{2}\ln x\) for \(x > 0\)
Worked example Logarithmic
The function g is defined by \(g(x) = 3 + \ln(2x - 1)\) for \(x > \dfrac{1}{2}\). Find \(g^{-1}(x)\) and state its domain and range.
  1. Write \(y = 3 + \ln(2x - 1)\), so \(\ln(2x - 1) = y - 3\).
  2. Raise \(e\) to both sides: \(2x - 1 = e^{y - 3}\), so \(x = \dfrac{1 + e^{y - 3}}{2}\).
  3. \(\ln(2x - 1)\) takes every real value for \(x > \frac{1}{2}\), so the range of g is all real numbers: the domain of \(g^{-1}\).
  4. The range of \(g^{-1}\) is the domain of g, \(g^{-1}(x) > \frac{1}{2}\).
Answer: \(g^{-1}(x) = \dfrac{1 + e^{x - 3}}{2}\) for \(x \in \mathbb{R}\), with range \(g^{-1}(x) > \dfrac{1}{2}\)
Your turn
\(f(x) = 2e^{x} - 3\) for \(x \in \mathbb{R}\). Find \(f^{-1}(x)\) and state its domain.
Examiner trap

\(f^{-1}(x)\) is NOT \(\dfrac{1}{f(x)}\). For \(f(x) = e^{2x}\), \(\dfrac{1}{e^{2x}} = e^{-2x}\) is the reciprocal; the inverse is \(\dfrac{1}{2}\ln x\). Also, \(\ln y = 2x\) gives \(x = \frac{1}{2}\ln y\), not \(\ln\frac{y}{2}\).

Stage 1 · Learn

Check your understanding

Four quick checks. Each correct answer earns XP and records this skill on your profile.

Quick check+10 XP

Why does \(f(x) = x^{2}\) for \(x \in \mathbb{R}\) not have an inverse?

Quick check+10 XP

\(f(x) = e^{2x}\) for \(x \in \mathbb{R}\). Find \(f^{-1}(x)\).

Quick check+10 XP

\(f(x) = e^{x} + 1\) for \(x \in \mathbb{R}\). What is the domain of \(f^{-1}\)?

Quick check+10 XP

The point \((2, 7)\) lies on \(y = f(x)\). Which point must lie on \(y = f^{-1}(x)\)?

Section 03

Reflect in y = x.

In the lab, choose a function and watch its inverse appear as its mirror image. Because the inverse swaps every point \((a, b)\) on \(y = f(x)\) to \((b, a)\), the two graphs are reflections of each other in the line \(y = x\). Intercepts swap axes and asymptotes swap too: a horizontal asymptote \(y = c\) of \(f\) becomes a vertical asymptote \(x = c\) of \(f^{-1}\) (Fig. 1).

Worked example Sketch a function and its inverse
\(f(x) = e^{x} + 1\) for \(x \in \mathbb{R}\). On one diagram sketch \(y = f(x)\) and \(y = f^{-1}(x)\), showing the line \(y = x\), the intercepts and the asymptotes.
  1. \(y = f(x)\): \(f(0) = 2\), so the \(y\)-intercept is \((0, 2)\). As \(x \to -\infty\), \(e^{x} \to 0\), so \(y = 1\) is an asymptote. There is no \(x\)-intercept.
  2. Reflect in \(y = x\): \((0, 2)\) becomes \((2, 0)\) and \(y = 1\) becomes \(x = 1\).
  3. Check with algebra: \(y - 1 = e^{x}\), so \(f^{-1}(x) = \ln(x - 1)\) for \(x > 1\), and \(\ln(2 - 1) = 0\).
  4. Draw \(f^{-1}\) only for \(x > 1\), rising slowly and dropping steeply towards \(x = 1\).
Answer: As in Fig. 1: \(f\) through \((0, 2)\) above \(y = 1\); \(f^{-1}(x) = \ln(x - 1)\) through \((2, 0)\) to the right of \(x = 1\)
Worked example Where a function meets its inverse
\(f(x) = x^{2} - 6\) for \(x \ge 0\). Find the point where the graphs of \(y = f(x)\) and \(y = f^{-1}(x)\) meet.
  1. \(f\) is increasing on \(x \ge 0\), so the two graphs meet on their mirror line \(y = x\): solve \(f(x) = x\).
  2. \(x^{2} - 6 = x \Rightarrow x^{2} - x - 6 = 0 \Rightarrow (x - 3)(x + 2) = 0\).
  3. \(x = -2\) is outside the domain \(x \ge 0\), so reject it.
Answer: \((3,\ 3)\)
Examiner trap

Sketch \(f^{-1}\) only over the RANGE of \(f\), and keep both curves on the correct side of their asymptotes. Reflecting in the \(x\)-axis or \(y\)-axis instead of \(y = x\) is the most common lost mark: check that \((0, 2)\) has become \((2, 0)\), not \((0, -2)\).

Stage 2 · Exam

Exam-style questions

Unlocks once the four checks above are done. Worth more XP, written to IGCSE Additional Mathematics Paper 1 and Paper 2 standard.

Finish the four checks above to unlock the exam questions
Exam style+20 XP

The function f is defined by \(f(x) = 2x^{2} - 8x + 5\) for \(x \ge k\). Find the least value of \(k\) for which f has an inverse.

Exam style+20 XP

The function g is defined by \(g(x) = \ln(3x + 2)\) for \(x > -\dfrac{2}{3}\). Find \(g^{-1}(x)\).

Exam style+20 XP

The function h is defined by \(h(x) = 4 + 3e^{2x}\) for \(x \in \mathbb{R}\). State the domain of \(h^{-1}\).

Exam style+20 XP

The function f is defined by \(f(x) = (x + 1)^{2} + 3\) for \(x \le -1\). Find \(f^{-1}(x)\).

Skill unlocked

Inverses found, explained and reflected.

This skill is now recorded on your profile. Keep the chain going.

-Rank -Level -Score -Topics
Go deeper · practice
Six original Cambridge-style questions
Explaining why an inverse does not exist, exponential, logarithmic and quadratic inverses with their domains, a sketch with asymptotes, and where a function meets its inverse.