Part (a)(i)
2 marksWe first evaluate .
Since , this lies in the domain of , so we substitute into .
| To check your answer: is within the domain of (since ), and , a valid output. ✓ |
.
Part (a)(ii)
1 markExplanation: setting and solving,
Part (b)(i)
2 marksExplanation: is undefined when its denominator vanishes, i.e. when , giving . Since division by zero is undefined, this value of must be excluded from the domain of .
Part (b)(ii)
3 marksApproach
means applying twice returns for every in the domain, so we find explicitly and require identically. This produces an equation that must hold for every , not just specific values, so we collect the result by powers of and set each coefficient to zero.
Let and solve for in terms of .
Replacing by , . Setting for all in the domain,
Cross-multiplying and expanding,
The terms cancel from both sides. Since this must hold for every , we collect by powers of and equate each coefficient to zero.
From the first equation, , which also satisfies . With , the third equation becomes , true for every value of , so is not fixed by this condition.
Note: must still be a genuine function with an inverse, so its numerator cannot be a scalar multiple of its denominator (this would make constant). With , when , giving identically, which has no inverse, so this value of is excluded.
| To check your answer: with and, say, : ; computing symbolically gives exactly , confirming is self-inverse. ✓ |
, and may be any real number except .
Part (b)(iii)
1 markExplanation: since , .