Skip to main content
ExamExplained
SA · Specialist Mathematics
Specialist Mathematics study scene
§-Syllabus dot point
SASpecialist MathematicsSyllabus dot point

When can a function be reversed, and how do composition and inversion interact with domain and range?

Form composite functions and find inverse functions, attending to domain and range and the condition for an inverse to exist.

Building composite functions and tracking their domains, the one-to-one condition for an inverse to exist, finding inverse functions algebraically, and the reflection relationship in y equals x.

Reviewed by: AI editorial process; not yet individually human-reviewed

Have a quick question? Jump to the Q&A page

Jump to a section
  1. What this dot point is asking
  2. Composite functions
  3. When does an inverse exist?
  4. Finding an inverse algebraically
  5. Composing more than two functions
  6. The graphical relationship

What this dot point is asking

You need to form composite functions with correct domains, determine when an inverse function exists, find inverse functions, and relate a function and its inverse graphically.

Composite functions

The composite (fg)(x)=f(g(x))(f \circ g)(x) = f(g(x)) applies gg first and feeds the result into ff. Order matters: in general fggff \circ g \ne g \circ f.

For example, if f(x)=xf(x) = \sqrt{x} and g(x)=x4g(x) = x - 4, then (fg)(x)=x4(f \circ g)(x) = \sqrt{x - 4}, defined only for x4x \ge 4, even though gg itself is defined for all real xx.

When does an inverse exist?

An inverse function f1f^{-1} reverses ff: if f(a)=bf(a) = b then f1(b)=af^{-1}(b) = a. For this reversal to be a function, each output must come from exactly one input.

Restricting the domain can create an inverse: f(x)=x2f(x) = x^2 on x0x \ge 0 is one-to-one and has inverse f1(x)=xf^{-1}(x) = \sqrt{x}.

Finding an inverse algebraically

The mechanical recipe: write y=f(x)y = f(x), swap xx and yy, then solve for yy. The domain of f1f^{-1} is the range of ff, and the range of f1f^{-1} is the domain of ff.

Composing more than two functions

Composition extends to three or more functions, applied from the inside out. For h(x)=f(g(k(x)))h(x)=f(g(k(x))) you evaluate kk first, feed the result to gg, then to ff. Each layer narrows the domain: a value is allowed only if it survives every stage. This nesting is exactly the structure the chain rule differentiates, so a clear grasp of composition here pays off directly in the calculus topics. When asked to decompose a function - to write 3x+1\sqrt{3x+1} as f(g(x))f(g(x)) - identify the outer operation (  \sqrt{\;}) and the inner expression (3x+13x+1); the decomposition is rarely unique, but the natural one names the last operation performed as the outer function.

The graphical relationship

The graph of f1f^{-1} is the reflection of the graph of ff in the line y=xy = x. Consequently a point (a,b)(a, b) on ff corresponds to (b,a)(b, a) on f1f^{-1}, and any intersection of ff with its inverse lies on the line y=xy = x (for increasing functions). Composing a function with its inverse returns the input:

f1(f(x))=xandf(f1(x))=x,f^{-1}(f(x)) = x \quad \text{and} \quad f(f^{-1}(x)) = x,

each on the appropriate domain.

Exam-style practice questions

Practice questions written in the style of SACE Board exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

SACE 20222 marksCalculator-assumed. The graph of g(x)=sinx+cosxg(x) = \sin x + \cos x is drawn for πxπ-\pi \le x \le \pi. Explain why g(x)g(x) is a function but does not have an inverse function.
Show worked answer →

g(x)g(x) is a function because every xx in πxπ-\pi \le x \le \pi maps to exactly one value of g(x)g(x); the graph passes the vertical line test. [1 mark]

However, g(x)g(x) is not one-to-one over this domain: the curve rises then falls (it has a maximum), so a horizontal line such as y=1y = 1 cuts the graph more than once, meaning two different xx values give the same output. [1 mark]

For an inverse to exist the function must be one-to-one (pass the horizontal line test), so the domain would need restricting to an interval on which gg is strictly monotonic.

SACE 20221 marksCalculator-assumed. The rule f(x)=sinx+cosxf(x) = \sin x + \cos x is restricted to a domain on which it is one-to-one. Explain why this restricted function does have an inverse.
Show worked answer →

Since sinx+cosx=2sin ⁣(x+π4)\sin x + \cos x = \sqrt{2}\sin\!\left(x + \tfrac{\pi}{4}\right), restricting the domain to an interval on which it is strictly monotonic makes the function one-to-one. [1 mark]

Because each output is now produced by exactly one input, the graph passes the horizontal line test, so the mapping can be reversed: every yy in the range corresponds to a single xx. A one-to-one function always has an inverse.

SACE 20233 marksCalculator-free. Given f(x)=x+2x1f(x) = \dfrac{x + 2}{x - 1} for x1x \ne 1, find f1(x)f^{-1}(x) and state its domain.
Show worked answer →

Set y=x+2x1y = \dfrac{x + 2}{x - 1} and swap variables: x=y+2y1x = \dfrac{y + 2}{y - 1}.

Solve: x(y1)=y+2x(y - 1) = y + 2, so xyx=y+2xy - x = y + 2, giving xyy=x+2xy - y = x + 2, hence y(x1)=x+2y(x - 1) = x + 2 and y=x+2x1y = \dfrac{x + 2}{x - 1}.

So f1(x)=x+2x1f^{-1}(x) = \dfrac{x + 2}{x - 1} (this function is self-inverse). The domain of f1f^{-1} is the range of ff, which is x1x \ne 1.

Marks: one for swapping and rearranging, one for solving for yy, one for stating the domain x1x \ne 1.

ExamExplained