IB Mathematics: Applications and Interpretation HL 6 Sections80 LessonsLifetime
Composite functions and inverse functions AI HL
Lesson 2.7 · Composite Functions and Inverse Functions
Combining processes, reversing processes and checking domains.
Faith connection
Paul encouraged believers to “Bear ye one another’s burdens” (Galatians 6:2, KJV). Loving someone often involves a sequence of actions: we listen, understand and then help. The order of those actions matters, just as the order matters when we combine functions. As you think about caring for others, come to Jesus, our Savior and Lord, and ask him to teach you patient, practical love.
Learning objectives
By the end of this lesson, you should be able to:
- calculate and interpret
; - distinguish
from
; - find the domain of a composite function;
- find inverse functions and state necessary domain restrictions;
- verify that a function and its inverse undo one another;
- solve contextual problems involving several steps and their inverses.
1. Composite functions: one operation after another
A composite function uses the output of one function as the input of another. The notation
means apply
first, then apply
:
![]()
The function closest to
acts first.
Let
and
. Find both composites.
![]()
![]()
The answers differ because changing the order changes the operations.
2. Evaluate a composite at a particular input
Work from the inside out. Calculate the inner output first, then use it as the input for the outer function.
Let
and
. Find
.
![]()
![]()
Equivalently,
and substituting
gives
.
3. Domain of a composite function
To form
, two conditions must hold:
must be allowed in
, and the resulting value
must be allowed in
. Checking only the final-looking formula can hide a restriction from the original functions.
Let
, with domain
, and
, with domain
. Find the domain of
.
![]()
The input to
must be at least
:
![]()
Therefore the domain of
is
.
Let
, with
, and
. Then:
![]()
The input
is excluded because
, which cannot be used as an input to
.
4. Composite functions in context
A chain of real-world processes can be represented by a composite. State what each function accepts and produces so the order is clear.
Let
give the price in euros after a
discount. Let
add a
tax to the price it receives. Applying the discount first gives:
![]()
For an original price of €50, the final price is
. In this particular example, reversing the two percentage multiplications produces the same result. That does not mean composites always commute.
A delivery company adds a fixed €5 fee, represented by
. A voucher then removes
of the amount presented, represented by
. For a €40 purchase:
![]()
![]()
A discount applied to the fee as well gives a different price from a discount applied only to the purchase.
5. What is an inverse function?
An inverse function reverses a function. If
takes
to
, then
takes
back to
. The notation
means the inverse of
; it does not mean
.
When both compositions are defined:
![]()
The domain of
is the range of
, and the range of
is the domain of
. Graphs of a function and its inverse reflect across the line
.
Let
. To find its inverse, write
and rearrange:
![]()
![]()
Check by composition:
![]()
6. Why a domain restriction may be needed
For an inverse to be a function, each output of the original function must correspond to only one original input. If a graph gives the same output at two inputs, restrict its domain to a part where it is one-to-one.
Let
. Over all real
,
, so there is no inverse function on that domain. Restrict
to
.
Starting with
:
![]()
Since
, we have
, so take the positive square root:
![]()
![]()
The original range is
, so it becomes the inverse domain.
If instead
is restricted to
, then
, so:
![]()
The chosen restriction determines which square-root branch is correct.
7. Finding the inverse of a more complicated function
State the original domain first. Rearrange carefully, then exchange the input and output roles.
Let
, where
. Set
:
![]()
![]()
![]()
Therefore:
![]()
The inverse excludes
because
can never equal
: solving
would require
.
8. Inverses of composites
When both inverses exist on the relevant domains, reversing a two-stage process requires undoing the last step first:
![]()
Let
and
, both on
. Then
.
To undo the result, first divide by
, then subtract
:
![]()
Indeed,
and
, so:
![]()
Calculator and exam tips
- For
, calculate the inside function first. - Check both domains when composing functions.
- To test whether an inverse is possible, inspect whether a horizontal line can cross the relevant part of the original graph more than once.
- When reversing a quadratic, use the stated domain to choose the correct square-root sign.
- Verify inverses by substitution into the original function.
- When using a graphing calculator to solve
, graph
and
, then find their intersections within the permitted domain.
IB-style Paper 1 · Skill practice
Question 1 · Two orders
Let
and
.
- Find and simplify
. - Find and simplify
. - Evaluate
and
.
Show solution
. Also,
. At
, the values are
and
, respectively.
Question 2 · Composite domain
Let
and
. Find
and state its real domain.
Show solution
. We require
and
. A sign chart with critical values
and
gives
or
. At
, the square root is zero, so that endpoint is included.
Question 3 · Inverse and restriction
The function
has domain
. Find its range and
, including the inverse domain.
Show solution
The minimum of
is
, so its range is
. From
and
, we obtain
. Hence
for
.
Question 4 · Verify an inverse
Let
and
. Show by composition that
.
Show solution
![]()
![]()
Both functions have domain and range
, so the identities establish that
.
Question 5 · Solve using an inverse
Let
for
.
- Find
and its domain. - Use your answer to solve
.
Show solution
From
, square and rearrange:
, so
. Therefore
for
. Applying it to
gives
.
Question 6 · Inverse of a composite
Let
and
, both with domain
. Find
and its inverse.
Show solution
. Set
; then
, so
. Therefore
. Both functions have domain and range
.
Applications and interpretation
Application 1 · Conversion and a service charge
For this question, an illustrative conversion function
converts an amount
in US dollars to euros. A service adds a €4 charge after conversion, represented by
.
- Find
and explain its meaning. - Find the total euro cost for US
S\circ E
(S\circ E)(p)=0.90p+4
80, the total is
.
![Rendered by QuickLaTeX.com \[(S\circ E)^{-1}(x)=\frac{x-4}{0.90}\]](https://i0.wp.com/alphyschool.org/wp-content/ql-cache/quicklatex.com-cbc13367208e90c595124fa4d8c9fd24_l3.png?resize=186%2C41&ssl=1)
For €112, the original amount is
US dollars. The exchange rate is supplied solely for this exercise.Application 2 · A discounted ticket and booking fee
A ticket has list price
euros. A student discount reduces it by
, represented by
. A €3 booking fee is then added, represented by
.- Write a function for the final amount paid.
- Find the final amount for a €48 ticket.
- If a student paid €54, find the original list price.
- Explain why
and
differ.
Show solution
The final amount is
. For a €48 ticket, the student pays €43.80. If the payment is €54, solve
, giving
euros. Reversing the order gives
, which also discounts the booking fee; the original process does not.Application 3 · Recovering time from height
A ball’s height is modelled by
metres. Consider only the rising part of its flight,
seconds.- Find the range of
on the stated domain. - Find
with its domain. - When does the ball first reach
m?
Show solution
On
, the height increases from
m to
m, so the range is
. From
, obtain
. As
, choose
:![Rendered by QuickLaTeX.com \[H^{-1}(x)=2-\sqrt{10-x},\qquad 6\leq x\leq10\]](https://i0.wp.com/alphyschool.org/wp-content/ql-cache/quicklatex.com-38c9465c7877106ced451c04da9117ce_l3.png?resize=343%2C23&ssl=1)
Thus the ball first reaches
m at
second.Application 4 · A two-stage manufacturing process
A machine cuts a square sheet with side length
cm into a smaller square by removing
cm from each edge. Its new side length is
, where
. The area function is
for
.- Find the final area as a function of the original side length.
- State its domain and range.
- Find its inverse and interpret what it calculates.
- Find the original side length when the final area is
cm
.
Show solution
for
, with range
. Because
, the inverse uses the positive square root:![Rendered by QuickLaTeX.com \[(A\circ L)^{-1}(y)=4+\sqrt{y},\qquad y>0\]](https://i0.wp.com/alphyschool.org/wp-content/ql-cache/quicklatex.com-335b4ea2e7c09911a56cf37a5650a9c1_l3.png?resize=294%2C23&ssl=1)
It gives the required original side length from the final square’s area. For
cm
, the original side length is
cm.
Paper 1 checklist
Read compositions from the inside out. State which operation happens first in a context. Check the domain of every stage. Restrict a function’s domain before assigning it an inverse when necessary. For a proposed inverse, check that both compositions return the original input on their appropriate domains.