Back to homeMathematics · 6th Year HL · Change subject
Start for free
6th Year HL · Mathematics
Functions · Real functions

Composition of functions

A shop in Galway first applies a $15\%$ discount and then subtracts a fixed coupon of €20: the final price depends on the original price through two functions applied one after the other. This operation between functions is called composition, and the order in which the functions are applied changes the result. It is a key tool in Paper 1 (Functions), and later in the chain rule for differentiation.

What it means to compose two functions

Sequential diagram of composition: the input x enters the function f to produce f(x), and this result is fed into the function g to generate g(f(x)). x f f(x) g g(f(x)) (g ∘ f)(x) = g(f(x)): first f, then g
Practice★☆☆Not started
Given the functions $f(x) = 3x + 2$ and $g(x) = x^2 - 1$, calculate the numerical value of the composite function $(g \circ f)(2)$.

Given the functions $f(x) = 3x + 2$ and $g(x) = x^2 - 1$, calculate the numerical value of the composite function $(g \circ f)(2)$.

Solve
Practice★☆☆Not started
Consider the functions $f(x) = x - 2$, $g(x) = 3x$ and $h(x) = x^2$. Calculate the numerical value of the repeated composite function $(h \circ g \circ f)(4)$.

Consider the functions $f(x) = x - 2$, $g(x) = 3x$ and $h(x) = x^2$. Calculate the numerical value of the repeated composite function $(h \circ g \circ f)(4)$.

Solve
Practice★☆☆Not started
Aoife has to calculate the numerical value of the composition $(f \circ g)(2)$ for the functions $f(x) = 2x^2 - 1$ and $g(x) = 3x - 5$. On her exam, she writes the…

Aoife has to calculate the numerical value of the composition $(f \circ g)(2)$ for the functions $f(x) = 2x^2 - 1$ and $g(x) = 3x - 5$. On her exam, she writes the following procedure:

"Since I am asked for $(f \circ g)(2)$, I first calculate $f(2) = 2 \times 2^2 - 1 = 7$. Then I enter this result into the second function: $g(7) = 3 \times 7 - 5 = 16$. Therefore, $(f \circ g)(2) = 16$".

  1. a) Identify the conceptual error Aoife made and explain, using the theoretical definition of function composition, why her reasoning is not correct.
  2. b) Perform the calculations in the proper order to find the correct value of $(f \circ g)(2)$.
  3. c) What expression or value did Aoife actually calculate? Justify your answer.
Solve
Practice★★☆Not started
Observe the following graph where the functions $f(x)$ (in blue) and $g(x)$ (in green) are represented. From the visual information and without needing to obtain their…

Observe the following graph where the functions $f(x)$ (in blue) and $g(x)$ (in green) are represented. From the visual information and without needing to obtain their algebraic expressions, determine the numerical values of $(f \circ g)(2)$ and $(g \circ f)(-1)$.

X Y f(x) g(x)
Solve

Algebraic expression of the composition

Practice★☆☆Not started
Find the algebraic expression for the composite function $(f \circ g)(x)$ given that $f(x) = 5x - 4$ and $g(x) = x^2 + 3x$.

Find the algebraic expression for the composite function $(f \circ g)(x)$ given that $f(x) = 5x - 4$ and $g(x) = x^2 + 3x$.

Solve
Practice★☆☆Not started
Given the rational functions $f(x) = \frac{2}{x}$ and $g(x) = x + 3$, determine the simplified expression for $(f \circ g)(x)$ and for $(g \circ f)(x)$.

Given the rational functions $f(x) = \frac{2}{x}$ and $g(x) = x + 3$, determine the simplified expression for $(f \circ g)(x)$ and for $(g \circ f)(x)$.

Solve
Practice★☆☆Not started
Given the composite function $h(x) = \sqrt{2x + 5}$, express it as the composite of two simpler functions $(g \circ f)(x)$, clearly stating the expression for $f(x)$ and…

Given the composite function $h(x) = \sqrt{2x + 5}$, express it as the composite of two simpler functions $(g \circ f)(x)$, clearly stating the expression for $f(x)$ and for $g(x)$.

Solve
Practice★★☆Not started
When a stone is dropped into a pond, a circular ripple is formed whose radius increases over time according to the function $r(t) = 2.5t$ (with $r$ in centimetres and…

When a stone is dropped into a pond, a circular ripple is formed whose radius increases over time according to the function $r(t) = 2.5t$ (with $r$ in centimetres and $t$ in seconds). Given that the area of the circle is given by $A(r) = \pi r^2$, find the function $(A \circ r)(t)$ describing the area as a function of time and calculate the area of the affected surface after $4$ seconds.

Solve
Practice★★☆Not started
Given that $f(x) = 3x + 2$ and that the composite function is $(g \circ f)(x) = 9x^2 + 12x + 5$, determine the algebraic expression for the outer function $g(x)$.

Given that $f(x) = 3x + 2$ and that the composite function is $(g \circ f)(x) = 9x^2 + 12x + 5$, determine the algebraic expression for the outer function $g(x)$.

Solve
Practice★★☆Not started
We know the first-degree polynomial function $f(x) = 2x - 3$, but we do not know the expression of a second function $g(x)$. However, it is known that when they are…

We know the first-degree polynomial function $f(x) = 2x - 3$, but we do not know the expression of a second function $g(x)$. However, it is known that when they are composed, the resulting quadratic function is:

$$(g \circ f)(x) = 4x^2 - 8x + 1$$
  1. a) Reasonably find the algebraic expression for $g(x)$. To do so, make the change of variable $u = 2x - 3$, solve for $x$ in terms of $u$, and substitute it into the composite expression $(g \circ f)(x)$.
  2. b) Check that your deduction is correct by recalculating $g(f(x))$ using the formula you found for $g(x)$.
  3. c) Reason whether the function $g(x)$ found is unique or if other distinct functions could exist that produce exactly the same composition with $f(x)$.
Solve
Practice★★★Not started
Decompose the complex function $H(x) = \frac{1}{\sqrt{3^{\sin x} + 2}}$ as the successive composition of four elementary functions $f_1, f_2, f_3, f_4$ such that…

Decompose the complex function $H(x) = \frac{1}{\sqrt{3^{\sin x} + 2}}$ as the successive composition of four elementary functions $f_1, f_2, f_3, f_4$ such that $H(x) = (f_4 \circ f_3 \circ f_2 \circ f_1)(x)$. Clearly state the algebraic expression for each of the four functions.

Solve
Practice★★★Not started
Consider the rational function $f(x) = \frac{1}{x - 3}$ and an unknown function $g(x)$. It is known that the composition of both gives the result: $$(f \circ g)(x) =…

Consider the rational function $f(x) = \frac{1}{x - 3}$ and an unknown function $g(x)$. It is known that the composition of both gives the result:

$$(f \circ g)(x) = \frac{x + 1}{2 - 3x}$$
  1. a) Determine, with justification, the algebraic expression of the function $g(x)$.
  2. b) Find the domain of the composite function $(f \circ g)(x)$ by strictly applying the formal definition of a chain of functions: $x \in \operatorname{Dom}(g)$ and $g(x) \in \operatorname{Dom}(f)$.
  3. c) A student looks at the final expression $\frac{x + 1}{2 - 3x}$ and states: «The domain of $(f \circ g)$ is all real numbers except $x = \frac{2}{3}$, since for $x = -1$ the formula gives $\frac{-1+1}{2-3(-1)} = \frac{0}{5} = 0$, which is a perfectly valid real value». Think of the composition as two chained machines: the first is $g$, which receives the number $x$ and outputs $g(x)$; that output goes directly into the second machine, $f$, which outputs $f(g(x))$. Each machine only works with inputs from its own domain, and if the first one gives no output, the second receives nothing. Using this idea of the two chained machines, refute the student's argument and explain exactly what happens in the calculation process when you try to evaluate the composition at $x = -1$.
Solve

Composition is not commutative

The shop context confirms it: discounting $15\%$ first and then subtracting €20 does not give the same final price as subtracting the €20 first and then applying the $15\%$.

Practice★☆☆Not started
Using the functions $f(x) = 5x - 4$ and $g(x) = x^2 + 3x$, find the expression for $(g \circ f)(x)$ and prove analytically that function composition is not commutative.

Using the functions $f(x) = 5x - 4$ and $g(x) = x^2 + 3x$, find the expression for $(g \circ f)(x)$ and prove analytically that function composition is not commutative.

Solve
Practice★☆☆Not started
Prove analytically that composing the function $f(x) = \frac{3x + 1}{x - 2}$ with the identity function $I(x) = x$ yields the original function itself. Calculate and…

Prove analytically that composing the function $f(x) = \frac{3x + 1}{x - 2}$ with the identity function $I(x) = x$ yields the original function itself. Calculate and simplify both $(f \circ I)(x)$ and $(I \circ f)(x)$.

Solve
Practice★★☆Not started
An electronics shop applies a discount of $15\%$ to all its products, which is modelled by the function $d(x) = 0.85x$. In addition, a customer has a loyalty voucher for…

An electronics shop applies a discount of $15\%$ to all its products, which is modelled by the function $d(x) = 0.85x$. In addition, a customer has a loyalty voucher for a direct discount of $20$ euros, modelled by the function $c(x) = x - 20$. Determine the expressions for $(c \circ d)(x)$ and $(d \circ c)(x)$. Which order of composition benefits the customer more if they want to buy a computer with an initial price of $600$ euros?

Solve
Practice★★☆Not started
Given the functions $f(x) = 2x + k$ and $g(x) = 4x - 3$, find the value of the parameter $k$ so that the commutative property holds in this particular case, that is,…

Given the functions $f(x) = 2x + k$ and $g(x) = 4x - 3$, find the value of the parameter $k$ so that the commutative property holds in this particular case, that is, $(f \circ g)(x) = (g \circ f)(x)$ for any value of $x$.

Solve
Practice★★★Not started
Let $f(x) = \frac{x}{x - 1}$ be the rational function. Calculate the successive compositions $(f \circ f)(x)$ and $(f \circ f \circ f)(x)$. From the results obtained,…

Let $f(x) = \frac{x}{x - 1}$ be the rational function. Calculate the successive compositions $(f \circ f)(x)$ and $(f \circ f \circ f)(x)$. From the results obtained, deduce with justification the expression of $f^{[n]}(x)$ (the composition of $f$ with itself $n$ times) depending on whether $n$ is an even or an odd number.

Solve
Practice★★★Not started
Prove algebraically that, if $f(x) = \frac{ax + b}{cx - a}$ (with the condition $a^2 + bc \neq 0$), the function is its own inverse by verifying that…

Prove algebraically that, if $f(x) = \frac{ax + b}{cx - a}$ (with the condition $a^2 + bc \neq 0$), the function is its own inverse by verifying that $(f \circ f)(x) = x$ for all $x$ belonging to its domain.

Solve
Practice★★★Not started
A light beam passes through a series of optical filters. A type A filter reduces light intensity by $20\%$, modelled by $f_A(I) = 0.8I$. A type B filter reduces…

A light beam passes through a series of optical filters. A type A filter reduces light intensity by $20\%$, modelled by $f_A(I) = 0.8I$. A type B filter reduces intensity by a fixed amount of $15 \text{ W/m}^2$, modelled by $f_B(I) = I - 15$. If the initial intensity is $I_0$, find the expression for the final intensity after passing through $3$ type A filters followed by $2$ type B filters. Is the result equivalent to passing through the $2$ type B filters first and then the $3$ type A filters?

Solve

Domain of the composite function

Practice★★☆Not started
Rigorously determine the domain of the composite function $(g \circ f)(x)$ given that $f(x) = x - 4$ and $g(x) = \sqrt{x}$.

Rigorously determine the domain of the composite function $(g \circ f)(x)$ given that $f(x) = x - 4$ and $g(x) = \sqrt{x}$.

Solve
Practice★★★Not started
Given the functions $f(x)$ and $g(x)$, where $f(x) = 2x$ if $x < 1$ and $f(x) = x^2$ if $x \geq 1$, and the function $g(x) = x + 3$. Determine the complete algebraic…

Given the functions $f(x)$ and $g(x)$, where $f(x) = 2x$ if $x < 1$ and $f(x) = x^2$ if $x \geq 1$, and the function $g(x) = x + 3$. Determine the complete algebraic expression for the composite function $(f \circ g)(x)$, paying special attention to the intervals of definition.

Solve
Practice★★★Not started
Consider the functions $f(x) = \sqrt{x + 3}$ and $g(x) = \frac{1}{x^2 - 4}$. Perform a rigorous analytical study to determine the domain of definition of the composite…

Consider the functions $f(x) = \sqrt{x + 3}$ and $g(x) = \frac{1}{x^2 - 4}$. Perform a rigorous analytical study to determine the domain of definition of the composite function $(f \circ g)(x)$.

Solve
Practice★★★Not started
Observe the graph of the function $f(x)$. From it, obtain the piecewise analytical expression for $f(x)$ and calculate the detailed algebraic expression for…

Observe the graph of the function $f(x)$. From it, obtain the piecewise analytical expression for $f(x)$ and calculate the detailed algebraic expression for $(f \circ f)(x)$.

f(x) 2 −2 2 X Y
Solve
Practice★★★Not started
Given the functions $f(x) = x^2 - 4$ and $g(x) = \frac{1}{\sqrt{x}}$, the composite function $h(x) = (g \circ f)(x)$ is defined. a) Estimate: Before performing any…

Given the functions $f(x) = x^2 - 4$ and $g(x) = \frac{1}{\sqrt{x}}$, the composite function $h(x) = (g \circ f)(x)$ is defined.

  1. a) Estimate: Before performing any formal algebraic calculation, reflect on the chain of processes: what kind of real values does the function $g$ accept as input to avoid undefined expressions in the real numbers? Keeping this in mind, qualitatively deduce what sign the output of $f(x)$ must have and estimate which intervals of the real line will form the domain of $h(x)$. In particular, reason without computing whether the values $x = 0$ and $x = 2$ can be part of this domain.
  2. b) Calculate: Write the analytic formula for $h(x)$ and determine its domain rigorously by applying the two theoretical conditions: $x \in \operatorname{Dom}(f)$ and $f(x) \in \operatorname{Dom}(g)$. Express the result using intervals.
  3. c) Check: Compare the domain obtained analytically with your estimates from part a). Explain in detail why, even though $x = 0$ belongs to the domain of $f$, it is ultimately excluded from the composition.
Solve

Back to the beginning: If $f(x) = 0.85x$ represents applying the $15\%$ discount and $g(x) = x - 20$ subtracting the coupon, the shop applies $(g \circ f)(x) = 0.85x - 20$; for an item costing €100 you would pay €65, whereas with the reverse order $(f \circ g)(100) = 0.85 \cdot (100 - 20) = \text{€}68$.

Summary

See all the exercises in this section