Self-inverse functions alternate by parity
A function is said to be a self-inverse function if . The function is defined by , , , where are non-zero constants.
(i) By finding , show that for to be self-inverse. marks
For the rest use . (ii) Find . mark (iii) Evaluate . marks
The function is defined by , . (iv) Explain why composite does not exist. marks (v) Find exact solutions of . marks
[2020/CJC/Promo/10]
Solution
Self-inverse functions
for . By finding , show that for to be self-inverse.
Hint
Write and make the subject.
Compare with .
Matching coefficients in two displayed fractions is not generally enough to prove equality. Here the nonconstant premise prevents cancellation, so their poles must agree; with , the rules also agree.
Answer · (i)
; self-inverse requires .
Inverse requires 2a+bc≠0; its input excludes a/c.
Clear the fraction
Multiply both sides by the denominator.
Collect
Factorise the terms.
Inverse
Rename as . This assumes ; otherwise the original rational rule is constant and has no inverse.
Compare with
For a nonconstant rational function, equality with its inverse requires the same excluded pole: . Since , this gives .
Explore the idea
Powers of a function
Now , , . Find .
Hint
, so .
It works, but the self-inverse property gives the answer immediately.
Answer · (ii)
, .
Use
A function followed by its inverse is the identity, on .
Reducing large powers
Evaluate .
Hint
is the identity, so only the parity of the power matters.
.
That is the answer for even powers. 71 is odd, so one remains.
Answer · (iii)
.
Reduce
Each pair does nothing.
Evaluate
Substitute .
Explore the idea
Existence of composites
for all real . Explain why does not exist.
Hint
exists when .
Find the one value excluded from and check whether reaches it.
That is irrelevant. Existence of depends only on .
Answer · (iv)
does not exist: but .
Range of
, so .
Domain of
is undefined where .
A bad output
has solutions (), so would be asked to evaluate at .
Explore the idea
Solving rational equations
Find the exact solutions of .
Hint
.
Solve , so .
gives both and .
Answer · (v)
or .
Set up
Add 3 and divide by 2.
Take both square roots
.
Solve each
Neither equals , so both are allowed. Alternatively, expand the squared equation to and apply the quadratic formula: or .