Functions
Chapter: Functions Level: 3 — Production (from-scratch derivations, explain-out-loud reasoning) Time limit: 45 minutes Total marks: 50
Instructions: Show all working. Where a question asks you to explain, write full sentences justifying each step. Use notation for all mathematics.
Question 1. [8 marks] Let .
(a) Derive the domain of from scratch, explaining the restriction. [2]
(b) Find the range of by solving for and stating which output value is impossible. Explain the reasoning. [4]
(c) State whether is one-to-one, justifying briefly with the horizontal line test idea. [2]
Question 2. [10 marks] Given .
(a) By completing the square from scratch, find the vertex and the range of . [4]
(b) The function is obtained by reflecting in the -axis, then shifting the result 3 units up. Write in terms of , then as an explicit expression. Explain the order of transformations. [4]
(c) State the vertex of and its range. [2]
Question 3. [9 marks] Let and .
(a) Derive and from the definition of composition. [4]
(b) Solve . [3]
(c) Explain why composition of functions is generally not commutative, referring to your answer in (b). [2]
Question 4. [9 marks] Consider for .
(a) Explain, from scratch, why the domain is and find the range. [3]
(b) Derive algebraically, showing the swap-and-solve method. State its domain. [4]
(c) Verify that for one specific valid value of . [2]
Question 5. [8 marks] Classify each function below as even, odd, or neither, using the algebraic tests and . Show full working for each.
(a) [2]
(b) [2]
(c) [2]
(d) Explain graphically what even and odd symmetry each correspond to. [2]
Question 6. [6 marks] A piecewise function is defined as
(a) Evaluate , , , and . [2]
(b) State the intervals on which is increasing and decreasing. [2]
(c) Explain whether this graph passes the vertical line test and what that tells us. [2]
Answer keyMark scheme & solutions
Question 1 [8]
(a) Denominator cannot be zero: . [1] Domain: . The restriction arises because division by zero is undefined. [1]
(b) Set . Multiply: [1] [1] . This requires . [1] So range ; is impossible because it would require division by zero when solving for (it is the horizontal asymptote). [1]
(c) is one-to-one: each horizontal line () meets the curve exactly once, since solving gives a unique . Hence it passes the horizontal line test. [2]
Question 2 [10]
(a) . [2] Vertex: . [1] Since , minimum value is ; range . [1]
(b) Reflection in -axis: . Then shift up 3: . [2] Order matters: reflect first, then translate. [1] . [1]
(c) Reflecting vertex gives ; shift up 3 gives . Vertex . [1] Opens downward, so range . [1] (Check: , vertex . ✓)
Question 3 [9]
(a) . [2] . [2]
(b) [1] . [1] . [1]
(c) Since for all (they are equal only at the two solutions above), composition is not commutative — the order of applying functions changes the result. [2]
Question 4 [9]
(a) Radicand must be : . [1] At , ; as , ; so . [1] Range . [1]
(b) Let . Swap: ... using swap-and-solve on original: [1] [1] , so . [1] Domain of = range of = . [1]
(c) Take (valid, ): . Then . ✓ [2]
Question 5 [8]
(a) → even. [2]
(b) → odd. [2]
(c) and → neither. [2]
(d) Even functions are symmetric about the -axis (mirror reflection). Odd functions have rotational symmetry about the origin. [2]
Question 6 [6]
(a) ; ; ; . [2] (½ each)
(b) Decreasing on (since falls); increasing on (since rises); constant on . [2]
(c) Yes — every vertical line meets the graph at most once (each has one output, pieces don't overlap in ). This confirms it is a genuine function. [2]
[
{"claim":"Q2a vertex form: x^2-4x+1 = (x-2)^2-3","code":"x=symbols('x'); result = simplify((x-2)**2 - 3 - (x**2-4*x+1))==0"},
{"claim":"Q2b g(x) = -x^2+4x+2 = -(x-2)^2+6","code":"x=symbols('x'); result = simplify(-(x-2)**2+6 - (-x**2+4*x+2))==0"},
{"claim":"Q3b solutions of 3x^2+1=9x^2-12x+5 are 1 +/- sqrt(3)/3","code":"x=symbols('x'); sol=solve(Eq(3*x**2+1,9*x**2-12*x+5),x); result = set(sol)==set([1+sqrt(3)/3,1-sqrt(3)/3])"},
{"claim":"Q4 inverse: f(f^{-1}(x))=x where f=sqrt(x-2)+1, finv=(x-1)^2+2","code":"x=symbols('x'); f=lambda t: sqrt(t-2)+1; finv=lambda t:(t-1)**2+2; result = simplify(f(finv(x)) - x)==0 if True else False"},
{"claim":"Q4c f(6)=3","code":"result = sqrt(6-2)+1 == 3"}
]