Functions: Question 5
Syllabus 1.2
The function is defined, for , by .
On its natural domain , is not one-one, for example , so it has no inverse there.
What is the largest possible domain, containing , on which is one-one?
Show worked solution Hide worked solution
Worked solution
Step 1: Find the vertex of the graph
is an upward-opening parabola with vertex at , the minimum point of the graph.
Step 2: Understand why the vertex splits the domain
A parabola is not one-one over all of , because every output value (except the minimum itself) is repeated on either side of the vertex. For example:
Two different inputs, and , give the same output, , so fails the one-one test on .
To make one-one, the domain must be restricted to one side only of the vertex :
- (the increasing branch), or
- (the decreasing branch)
is strictly monotonic on each of these branches, so each gives a one-one function.
Step 3: Apply the requirement that the domain contains
We need the domain to include . Since , the branch contains ; the branch does not.
Step 4: Find the largest such domain
Any subset of that still contains (such as ) would also be one-one, but the question asks for the largest possible domain. The largest one-one domain containing is therefore the full branch:
Why the other options are wrong
- B (): one-one, but excludes .
- C (): one-one and contains , but it’s a proper subset of , not the largest.
- D (): the full real line, on which is not one-one at all.
Final answer