Module 18 of 47Lesson 1 of 4 · HL · AI 2.7 — Composite and inverse functions
Course map · Topic 2: Functions

2.7 Composite and inverse functions

HL only12 worked questions

A composite function feeds the output of one function into another, like two machines in a line. An inverse function runs a machine backwards: it takes the output and gives you back the input. Both appear in context questions (conversions, costs, areas) and in short algebra questions.

✏️ Start with the questions. Try each one on paper, then open the solution and compare.
Stuck? Open the notes ↓

✏️ Practice questions

Try each question on paper first. Then open the solution and compare every step.

Question 1●○○ Warm-up✍️ + 🖩 · Paper 1[4 marks]
Let and .
  1. (a) Find .[2]
  2. (b) Find .[2]
Show the full step-by-step solution
Step 1🧠 ThinkWhat does the little circle mean?
means . Think of two machines. The number 2 goes into machine first. Whatever comes out goes into machine . Always start with the function closest to the 2.
Part (a)
Step 1✍️ By handInside first: g(2), then f of that
M1
A1
Part (b)
Step 1✍️ By handNow the other order: f(2) first
M1
A1
Step 2🖩 On the GDCCheck on the calculator by storing both functions
Define f(x)=3x−2›enter💻 Enter›Define g(x)=x^2+1›enter💻 Enter›f(g(2))›enter💻 Enter›g(f(2))›enter💻 Enter
Type Define (or pick it from the catalog), then the function. The calculator answers Done. After that you can type exactly as it is written.
1.1*DocRADDefinef(x)=3·x−2DoneDefineg(x)=x2+1Donef(g(2))13g(f(2))17
Same answers: 13 and 17
✅ Check it The two answers are different (13 and 17). That is normal: the order of a composite matters.
Final answer (a)   (b)
Question 2●○○ Warm-up✍️ By hand · Paper 1[4 marks]
Let and .
  1. (a) Find an expression for .[2]
  2. (b) Find an expression for .[2]
Show the full step-by-step solution
Step 1🧠 ThinkPut a whole bracket into the other function
This time there is no number. We put the whole expression wherever we see in . Use a bracket so you do not forget to multiply everything.
Part (a)
Step 1✍️ By handReplace x in f by (x − 3)
M1
A1
Part (b)
Step 1✍️ By handReplace x in g by (2x + 5)
M1
A1
✅ Check it Test with : , , and . ✔   , , and . ✔
Final answer (a)   (b)
⚠️ Common mistake Writing : the bracket was forgotten, so only the was multiplied by 2, not the −3.
Question 3●○○ Warm-up✍️ By hand · Paper 1[4 marks]
Let .
  1. (a) Find .[2]
  2. (b) Hence find .[1]
  3. (c) Verify that .[1]
Show the full step-by-step solution
Step 1🧠 ThinkWhat is an inverse?
takes a number, multiplies by 5, then subtracts 7. The inverse must undo this, in the reverse order: first add 7, then divide by 5. The swap method does this for us automatically.
Part (a)
Step 1✍️ By handWrite y = f(x), swap x and y, make y the subject
Swap: M1
A1
Part (b)
Step 1✍️ By handSubstitute 8
A1
Part (c)
Step 1✍️ By handPut the answer back into f
✔A1
💡 Remember and cancel each other out. That is why gives back 8.
Final answer (a)   (b)   (c) ✔
Question 4●●○ Standard✍️ + 🖩 · Paper 1[6 marks]
Let , .
  1. (a) Write down the range of .[1]
  2. (b) Find , and state its domain.[3]
  3. (c) Find the exact value of .[2]
Show the full step-by-step solution
Part (a)
Step 1🧠 ThinkWhat values can 2eˣ − 3 take?
is always positive, but it can get as close to 0 as we like. So is always above 0, and is always above . The graph has a horizontal asymptote .
Step 2✍️ By handRange
A1
Part (b)
Step 1🧠 ThinkUndo an exponential with ln
is the inverse of : . So after swapping, we get by itself and then take of both sides.
Step 2✍️ By handSwap and rearrange
Swap: M1
A1
Domain: (the range of )A1
Step 3🖩 On the GDCSee the reflection in y = x
f1(x)=2e^(x)−3›enter💻 Enter›f2(x)=ln((x+3)/2)›enter💻 Enter›f3(x)=x›enter💻 Enter
📍 Where to find it on the TI-Nspire
⌨️ ln: ctrl then eˣ on the keypad, or type ln(
On a Graphs page enter all three. The blue and red graphs are mirror images in the green line . The red graph only exists for .
1.11.2*DocRAD-544-5xy11f1(x)=2eˣ−3f2(x)=lnx+32f3(x)=x
Part (c)
Step 1✍️ By handSubstitute 5
M1
A1
✅ Check it . ✔
Final answer (a)   (b) ,   (c)
Question 5●●○ Standard✍️ + 🖩 · Paper 1[6 marks]
Let , for .
  1. (a) Explain why the domain of has been restricted to .[1]
  2. (b) Find and state its domain.[3]
  3. (c) Find the coordinates of the point where the graphs of and meet.[2]
Show the full step-by-step solution
Part (a)
Step 1🧠 ThinkOne-to-one
Without a restriction, and . Two inputs give the same output, so the inverse would not know whether to send 2 back to 1 or to 3. Keeping only (the right half of the parabola) makes each output come from just one input.
Step 2✍️ By hand
So that is one-to-one, and therefore has an inverse.R1
Part (b)
Step 1✍️ By handSwap and rearrange (choose the + root)
The outputs of must be the inputs of , which are . So we need .
Swap:
M1
A1
Domain (range of , since the vertex is )A1
Part (c)
Step 1🧠 ThinkWhere do a graph and its mirror image meet?
Here they meet on the mirror line . So we solve , which is easier than .
Step 2✍️ By handSolve f(x) = x
; only is M1
Point A1
Step 3🖩 On the GDCSee it on a Graphs page
f1(x)=(x−2)^2+1 | x≥2›enter💻 Enter›f2(x)=2+√(x−1)›enter💻 Enter›f3(x)=x›enter💻 Enter›menu💻 click menu on keypad›6: Analyze Graph›4: Intersection
📍 Where to find it on the TI-Nspire
⌨️ ≤ and ≥: type <= or >=; the TI turns them into ≤ and ≥
⌨️ the “such that” bar |: type | (Shift + \ on the keyboard)
⌨️ square root: ctrl then x² on the keypad, or type sqrt(
The “|” (such that) symbol restricts the domain; find it with ctrl =. Then use Intersection on f1 and f3.
1.11.2*DocRAD-177-1xy11f1(x)=(x−2)²+1, x≥2f2(x)=2+x−1f3(x)=x(3.61803, 3.61803)(2, 1)(1, 2)
Final answer (a) So that is one-to-one.   (b) ,   (c) — exactly
⚠️ Common mistake Writing . The root gives values below 2, which are not in the domain of .
Question 6●●○ Standard🖩 GDC · Paper 2[3 marks]
Let . The function is one-to-one, so exists. Find .
Show the full step-by-step solution
Step 1🧠 ThinkYou do not need a formula for the inverse
Rearranging for is too hard. But simply asks: which input gives an output of 5? So we solve on the GDC.
Step 2✍️ By handWrite the equation
M1
Step 3🖩 On the GDCSolve with nSolve on a Calculator page
nSolve(x^3+2x−1=5,x)›enter💻 Enter
📍 Where to find it on the TI-Nspire
nSolve(is inmenu💻 click menu on keypad›3: Algebra›1: Numerical Solve
nSolve is in 3: Algebra › 1: Numerical Solve, or just type it.
1.1*DocRADnSolvex3+2·x−1=5,x1.45616
x = 1.45616…
Step 4🖩 On the GDCOr: intersection with y = 5 on a Graphs page
f1(x)=x^3+2x−1›enter💻 Enter›f2(x)=5›enter💻 Enter›menu💻 click menu on keypad›6: Analyze Graph›4: Intersection
1.11.2*DocRAD-3310-6xy12f1(x)=x3+2·x−1f2(x)=5(1.45616, 5)
Final answer
⚠️ Common mistake Calculating . That is the function, not its inverse.
Question 7●●○ Standard✍️ By hand · Paper 1[4 marks]
Let , .
  1. (a) Find .[2]
  2. (b) Hence write down , and describe the symmetry of the graph of .[2]
Show the full step-by-step solution
Part (a)
Step 1🧠 ThinkPut f inside itself
. Wherever has an , we write .
Step 2✍️ By handSimplify a fraction over a fraction
M1
A1
Part (b)
Step 1🧠 ThinkDoing f twice gets you back to the start
means undoes itself. So the inverse of is itself — we call it self-inverse. Because is the reflection of in , the graph must be its own mirror image in .
Step 2✍️ By hand
, A1
The graph is symmetrical about the line .A1
✅ Check it and : the points and are mirror images in . ✔
Final answer (a)   (b) (self-inverse); the graph is symmetrical in .
Question 8●●○ Standard✍️ By hand · Paper 1[6 marks]
Kagiso changes Botswana pula into South African rand at a bureau in Gaborone. The bureau converts pula into rand using . It then takes a fixed fee of 50 rand, using , where is an amount in rand.
  1. (a) Find and explain what it represents.[2]
  2. (b) Find the number of rand Kagiso receives for P 2 000.[1]
  3. (c) Find .[2]
  4. (d) Hence find how many pula Kagiso must change to receive exactly 3 000 rand.[1]
Show the full step-by-step solution
Part (a)
Step 1🧠 ThinkFollow the money
First the pula is converted (), then the fee is taken from the rand (). “ first, then ” is written .
Step 2✍️ By hand
A1
The number of rand received, after the fee, for pula.A1
Part (b)
Step 1✍️ By hand
randA1
Part (c)
Step 1🧠 ThinkThe inverse works backwards: rand → pula
Let . Its inverse takes the rand received and tells you the pula you needed.
Step 2✍️ By hand
Swap:
M1
A1
Part (d)
Step 1✍️ By hand
A1
✅ Check it rand. ✔
Final answer (a) : rand received after the fee for pula. (b) R 2 590 (c) (d)
Question 9●●● Exam-level✍️ + 🖩 · Paper 2[7 marks]
A circular patch of algae is growing on the surface of Gaborone Dam. Its radius, in metres, days after it is first seen is . The area of a circle of radius is .
  1. (a) Find .[2]
  2. (b) Find the area of the patch after 10 days.[2]
  3. (c) Find the time it takes for the area to reach .[3]
Show the full step-by-step solution
Part (a)
Step 1🧠 ThinkTime → radius → area
turns time into a radius. turns a radius into an area. Feeding into gives area directly from time.
Step 2✍️ By hand
M1
A1
Part (b)
Step 1✍️ By hand
M1
A1
Part (c)
Step 1🧠 ThinkNow we know the area and want the time
Solve . You can do it by hand by undoing each step, or let the GDC solve it.
Step 2✍️ By handBy hand: undo each step
M1
A1
Step 3🖩 On the GDCOr on the GDC
nSolve(π(2+0.5t)^2=300,t)›enter💻 Enter
📍 Where to find it on the TI-Nspire
nSolve(is inmenu💻 click menu on keypad›3: Algebra›1: Numerical Solve
1.1*DocRADπ·72153.938nSolveπ·(2+0.5·t)2=300,t15.5441
Step 4✍️ By hand
daysA1
Final answer (a)   (b)   (c) days
Question 10●●● Exam-level✍️ + 🖩 · Paper 1[8 marks]
Let , for , and , .
  1. (a) Show that can be written as .[1]
  2. (b) Hence write down the range of .[1]
  3. (c) Find , stating its domain.[3]
  4. (d) Find , giving your answer in the form .[3]
Show the full step-by-step solution
Part (a)
Step 1✍️ By handExpand the given form (this is the safest way to “show”)
AG
Part (b)
Step 1🧠 ThinkSmallest value
is never negative, and it is 0 when . So the smallest value of is , and it grows from there.
Step 2✍️ By hand
A1
Part (c)
Step 1✍️ By hand
Swap:
(+ root, since )M1
A1
Domain A1
Part (d)
Step 1🧠 Thinkg first, then the inverse
. Work out first.
Step 2✍️ By hand
A1
M1
A1
Step 3🖩 On the GDCCheck the decimal value
1.1*DocRAD2+11−34.828432+2·24.82843
2 + √8 = 2 + 2√2 ✔
💡 Simplifying surds .
Final answer (a) shown   (b)   (c) ,   (d)
Question 11●●● Exam-level✍️ By hand · Paper 2[8 marks]
A taxi company in Gaborone charges a fare of pula for a journey of km. During a promotion, customers get 10% off, , and also a P 5 voucher, , where is an amount in pula.
  1. (a) Find the fare for a 12 km journey with no promotion.[1]
  2. (b) Find and , and explain in words what each one means.[4]
  3. (c) The company always applies the cheaper order. Mpho has P 80. Find the greatest distance she can travel.[3]
Show the full step-by-step solution
Part (a)
Step 1✍️ By hand
A1
Part (b)
Step 1🧠 ThinkWhich comes first: the discount or the voucher?
: the 10% discount is used first, then the voucher . : the voucher first, then 10% off what is left.
Step 2✍️ By hand
A1
A1
: 10% off first, then P 5 off.R1
: P 5 off first, then 10% off.R1
💡 Remember Taking 10% off a bigger number saves more money — so discount first is cheaper. Same pieces, different order, different answer.
Part (c)
Step 1🧠 ThinkWrite the whole cost as one function, then work backwards
The cheaper order is : fare, then 10% off, then P 5 off. Set this equal to 80 and solve for .
Step 2✍️ By hand
M1
A1
Greatest distance kmA1
✅ Check it ; ; . ✔
Final answer (a) P 62   (b) (discount then voucher); (voucher then discount)   (c) km
Question 12●●● Exam-level✍️ By hand · Paper 1[6 marks]
The function is defined by . It is known that and .
  1. (a) Find the value of and the value of .[3]
  2. (b) Let . Solve .[3]
Show the full step-by-step solution
Part (a)
Step 1🧠 ThinkTurn the inverse fact into a normal fact
means “the input that gives 11 is 3”. So . Now we have two ordinary equations.
Step 2✍️ By hand
M1
and
Subtract:
A1A1
Part (b)
Step 1🧠 Thinkf first, then square
. A square equal to 64 means the bracket is 8 or −8.
Step 2✍️ By hand
M1
or
or A1A1
✅ Check it ✔   ✔
Final answer (a)   (b) or
⚠️ Common mistake Forgetting the negative square root and losing the second solution.
🆘 Stuck on a question? Open the notes, GDC toolkit and common mistakes
💻 Using the TI-Nspire CX Student Software on a laptop
  • The screens in these notes are drawn exactly as the Student Software shows them. The keypad on the left of the software works like the handheld — click its keys with the mouse.
  • menu: click menu on the on-screen keypad (or Documents Toolbox ▸ 🔧). The menu numbers and letters are the same as in these notes.
  • enter = Enter  ·  tab = Tab (next box)  ·  esc = Esc  ·  del = Backspace.
  • Powers: type ^ (Shift+6), the power, then press → to come back down before typing more. x² = ^2 then →.
  • Fraction: type /  ·  √: type sqrt(  ·  π: type pi  ·  eˣ: type exp(  ·  store: type :=. For EE (×10ⁿ) and i, click them on the keypad.
  • New page: Ctrl+I (or the Insert menu)  ·  change page: Ctrl+← / Ctrl+→  ·  graph entry line: Ctrl+G  ·  var: Ctrl+L.
  • Radian / Degree: click Settings in the status bar at the bottom of the window. The mode (RAD or DEG) shows in the top bar.
  • IB exam mode (Press-to-Test): everything in these notes works on the non-CAS TI-Nspire with the IB exam settings. In exam mode there are no dot-product, cross-product, unit-vector or eigenvalue keys and no Diff Eq graphs — the notes show the allowed way (type the components, use polyRoots on the characteristic equation, do Euler steps on a Calculator page).
  • If you type nDeriv(, the software shows it as centralDiff( — it is the same command.

🎯 What you must know

  • Composite: . Work from the inside out: do first, then put the answer into .
  • Order matters: usually .
  • Inverse undoes : if then . So , the identity function.
  • To find : write , swap and , make the subject. (Or make the subject first, then swap.)
  • Only a one-to-one function has an inverse. A function like must have its domain restricted (e.g. ) first.
  • Domain of = range of ; range of = domain of .
  • The graph of is the reflection of in the line .
Composite function
🧠 Learn this one
Inverse and identity
🧠 Learn this one

🖩 Your GDC toolkit for this subtopic

Follow the steps on your own TI-Nspire CX II. The screens show what you should see.

Store a function on a Calculator page (then use f(g(2)) directly)
Define f(x)=3x−2›enter💻 Enter
  1. Type Define f(x)=3x−2.
  2. Press enter.
Find without the formula: solve
nSolve(f(x)=5,x)›enter💻 Enter
📍 Where to find it on the TI-Nspire
nSolve(is inmenu💻 click menu on keypad›3: Algebra›1: Numerical Solve
  1. Type nSolve(f(x)=5,x).
  2. Press enter.
1.1*DocRADnSolvex3+2·x−1=5,x1.45616
x = 1.45616…
Worked example: Question 6 — Solve with nSolve on a Calculator page
nSolve is in 3: Algebra › 1: Numerical Solve, or just type it.
Graph , and to see the reflection (Graphs page)
f1(x)=…›enter💻 Enter›f3(x)=x›enter💻 Enter
  1. Type f1(x)=….
  2. Press enter.
  3. Type f3(x)=x.
  4. Press enter.
1.11.2*DocRAD-544-5xy11f1(x)=2eˣ−3f2(x)=lnx+32f3(x)=x
Worked example: Question 4 — See the reflection in y = x
On a Graphs page enter all three. The blue and red graphs are mirror images in the green line . The red graph only exists for .
Find where two graphs meet
menu💻 click menu on keypad›6: Analyze Graph›4: Intersection
  1. Start on a Graphs page (ctrl doc adds one).
  2. Press menu.
  3. Choose 6: Analyze Graph.
  4. Choose 4: Intersection.
  5. Move the pointer to the LEFT of the crossing point and press click, then to the RIGHT and press click. The intersection point and its coordinates appear.
1.1*DocRAD⚡1Actions▣2View✎3Graph Entry/Edit⌕4Window / Zoom⌇5Trace⌕6Analyze Graph▦7Table△8Geometry⚙9Settings...1Zero2Minimum3Maximum4Intersection5dy/dx6Integral7Bounded Area8Analyze Conics
The menu path
1.11.2*DocRAD-177-1xy11f1(x)=(x−2)²+1, x≥2f2(x)=2+x−1f3(x)=x(3.61803, 3.61803)(2, 1)(1, 2)
Worked example: Question 5 — See it on a Graphs page
The “|” (such that) symbol restricts the domain; find it with ctrl =. Then use Intersection on f1 and f3.

⚠️ Where students lose marks

  • Doing the composite in the wrong order: means first, even though is written first.
  • Confusing with . The −1 means “inverse”, not “one over”.
  • Forgetting to state the domain of — it is the range of , and it is often worth a mark.
  • Using the wrong sign of a square root: if the domain of is , the inverse must give values , so take the + root.
  • Writing in terms of . The final answer must be in terms of .