SO / EXAM STUDIO

Mathematics HL / 2 · Functions

09 Functions and inverses

20-minute guided session≈ 8 min reading incl. reveals56 bank questions

Start with the exam

What you need to be able to do

Function questions are about valid inputs and outputs as much as formulas. A composition feeds one output into the next function, while an inverse reverses a one-to-one mapping. The bank combines these operations with square roots, logarithms and restricted intervals. Write the domain while constructing the expression; repairing it at the end is harder. A correct inverse formula without its permitted branch and domain may describe the wrong function.

Your 20-minute study route

Spend 3 minutes reading the overview and diagram, 7 minutes learning the question patterns, 5 minutes writing out the worked example, and 5 minutes on a bank question or recall check. Take longer when you need to; the full bank is here for later practice.

f(x) = (x − 2)² + 1, x ≥ 2xyOnly the increasing branch is retained.
The restricted parabola is one-to-one, with range [1,∞).

Recognise → set up → write

How the questions are set

QUESTION PATTERN 01

Form a composition

Recognise it: Find g∘f, evaluate repeated functions or determine unknown coefficients.

  1. Apply the inner function first. Replace every occurrence of the outer input with the full inner expression, using brackets.
  2. Require x to belong to the inner domain and f(x) to belong to the outer domain.
  3. Expand only as far as needed. For an identity valid for every x, compare corresponding coefficients.
What to put on the page

Write g(f(x)) explicitly before evaluating a point or equating coefficients.

Common mark loss

g(f(x)) and f(g(x)) generally differ. The simplified expression may look defined at inputs excluded by the original composition.

QUESTION PATTERN 02

Find the inverse and select a branch

Recognise it: A function is restricted or the largest interval admitting an inverse is requested.

  1. Check the horizontal-line test or monotonicity on the stated interval.
  2. Set y=f(x) and solve for x. If a square root creates ± choices, use the original x restriction to choose the branch.
  3. Exchange the input/output names. State inverse domain=original range and inverse range=original domain.
What to put on the page

Show the branch decision explicitly, for example x≤0 implies the negative square root.

Common mark loss

f^(−1) means inverse function, not 1/f. A many-to-one function has no inverse until appropriately restricted.

QUESTION PATTERN 03

Domain and range through operations

Recognise it: The formula contains a root, denominator, logarithm or inverse trigonometric function.

  1. Write all restrictions simultaneously: radicand≥0, denominator≠0, log argument>0, and arcsin/arccos input in [−1,1].
  2. Intersect these restrictions rather than solving them independently and taking their union.
  3. Find the range using endpoints, turning points and limiting values; distinguish reached endpoints from asymptotic values.
What to put on the page

Use interval notation with open or closed endpoints justified by the original expression.

Common mark loss

A square root in the denominator requires a strictly positive radicand, because zero would make the denominator vanish.

Write it before you reveal it

A worked exam-style example

Original teaching example, created for this lesson.

Original practice: f(x)=(x−2)²+1 for x≥2. Find f^(−1).

Reveal the worked solution
  1. The restricted parabola is increasing and has range y≥1.
  2. From y−1=(x−2)² and x−2≥0, obtain x=2+√(y−1).
  3. Swap the variable names and carry over the range as the inverse domain.

Answer: f^(−1)(x)=2+√(x−1), x≥1.

Check: f^(−1)(f(5))=2+√9=5. The negative branch would return −1, outside the original domain.

From your own collection

Apply it to past-paper questions

These questions anchor the patterns above. Attempt one without the answer, then compare your setup and conclusion with the reasoning. The linked reader contains the source answer and the question-specific syllabus review.

Q334 · 2023 · PAPER 1 · 5 MARKS

Question 334

Apply the method to the original question.

Compatibility: All parts test current AA HL content and can be solved using current syllabus methods.

View the original question

Original page images preserve the equations and diagrams. Write your response before revealing the reasoning.

Original Mathematics question 334, page 473
Reveal the revision reasoning

The inner function gives x-3, so g(f(x))=(x-3)²+k².

At x=2 this becomes 1+k². The condition therefore gives 1+k²=10.

Thus k²=9 and k=3 or k=-3; both satisfy the original condition.

Editorial revision reasoning. Check the original answer for its marking detail.

Q336 · 2022 · PAPER 1 · 5 MARKS

Question 336

Apply the method to the original question.

Compatibility: All parts test current AA HL content and can be solved using current syllabus methods.

View the original question

Original page images preserve the equations and diagrams. Write your response before revealing the reasoning.

Original Mathematics question 336, page 475
Reveal the revision reasoning

An inverse exists only when the restricted cosine curve is one-to-one; a monotonic interval passes the horizontal-line test.

For k=π/2, f(x)=sin x. Starting at zero, its first turning point is x=π/2, so the largest a is π/2.

For k=π, f(x)=-cos x, which increases throughout [0,π]; the largest a is π.

When π<k<2π, the first turning point after x=0 occurs at x-k=-π, giving a=k-π. Extending beyond this point repeats outputs.

Editorial revision reasoning. Check the original answer for its marking detail.

Q346 · 2010 · PAPER 1 · 8 MARKS

Question 346

Several linked steps in Square-root/arccos domain; Inverse; Branch range. Key distinction: The inverse-domain upper endpoint is √(π/4), not π/4.

Compatibility: All parts: The tested content remains current AA HL: Square-root/arccos domain; Inverse; Branch range.

View the original question

Original page images preserve the equations and diagrams. Write your response before revealing the reasoning.

Original Mathematics question 346, page 487
Reveal the revision reasoning
  1. For √(π/4−arccos x), require −1≤x≤1 and arccos x≤π/4.
  2. Since arccos is decreasing, the combined domain is [√2/2,1].
  3. Set y²=π/4−arccos x, then x=cos(π/4−y²).
  4. Thus f^−1(x)=cos(π/4−x²), on 0≤x≤√π/2.

Editorial revision reasoning. Check the original answer for its marking detail.

All 56 questions in this topic

Close your notes first

Can you retrieve the method?

1. What becomes the inverse domain?

Check answer 1

The original function’s range.

2. Can √(x²) always be replaced by x?

Check answer 2

No; it equals |x|.

3. What must hold for g(f(x))?

Check answer 3

x must be valid for f, and f(x) must be valid for g.

Before you move on

  1. For an inverse answer, give formula, domain and chosen branch together. A short substitution check can reveal a branch error.
  2. When a composite is simplified, retain any holes or exclusions inherited from the original functions.

Your revision note

Record one missed cue, one corrected step and one question to retry. Saved only in this browser.