Monotonicity and Inverses: A Function Can Only Be Reversed Reliably When Outputs Identify Inputs Uniquely
An inverse function exists cleanly only when each allowed output comes from exactly one allowed input.
Secondary 3 Additional Mathematics introduces students to functions as mappings, transformations and inverse relationships. A crucial idea underneath all of this is one-to-one behaviour. If two different inputs produce the same output, then trying to reverse the function creates ambiguity. Monotonicity—being consistently increasing or consistently decreasing—often provides a powerful route to one-to-one reasoning.
This guide connects graph shape, derivative signs, domain restrictions and inverse existence. It explains why exponential and logarithmic functions form natural inverse pairs, why a quadratic usually needs a restricted domain before an inverse can be defined as a function, and why trigonometric inverses use principal branches.
AI Extraction Box: The Inverse-Existence Loop
domain → graph/mapping → one-to-one test → restrict domain if needed → swap input/output → solve for new output → state inverse domain/range → verify composition.
- Increasing: larger input gives larger output over the interval.
- Decreasing: larger input gives smaller output over the interval.
- Strict monotonicity: no output repeats, so one-to-one follows.
- Horizontal line test: a horizontal line should meet the graph at most once.
- Inverse domain: original range.
- Inverse range: original domain.
- Quadratic: usually needs one side of the turning point selected.
- Exponential/log: naturally one-to-one on their standard real domains.
- Trig: periodicity forces restricted principal branches for inverse functions.
What Does One-to-One Mean?
A function f is one-to-one on a chosen domain if different inputs always produce different outputs. Equivalently:
f(a)=f(b) ⇒ a=b.
Graphically, no horizontal line should intersect the graph more than once.
This matters because the inverse mapping must send each output back to one unique original input.
Worked Example 1: A Simple One-to-One Function
Let f(x)=3x−2 over all real x.
If f(a)=f(b):
3a−2=3b−2
3a=3b
a=b.
So f is one-to-one. Solve y=3x−2 for x:
x=(y+2)/3.
Hence:
f⁻¹(x)=(x+2)/3.
Monotonicity as a One-to-One Signal
A strictly increasing function never returns to an earlier output value as x increases. A strictly decreasing function also never repeats an output. Therefore strict monotonicity on an interval is sufficient for one-to-one behaviour there.
Derivative signs often reveal monotonicity:
- f′(x)>0 throughout an interval → f strictly increasing there;
- f′(x)<0 throughout an interval → f strictly decreasing there.
In school-level reasoning, this is one of the cleanest bridges from calculus to inverse-function structure.
Worked Example 2: Derivative Proves One-to-One Behaviour
Let f(x)=x³+x. Then:
f′(x)=3x²+1>0 for all real x.
Therefore f is strictly increasing over all real x and hence one-to-one.
Even if solving the inverse formula explicitly is algebraically inconvenient, inverse existence follows from monotonicity.
Why a Quadratic Is Usually Not One-to-One
For f(x)=x² over all real x:
f(2)=4 and f(−2)=4.
Two inputs produce the same output, so the reverse relation y²=x would send x=4 to two possible values ±2. That is not a function unless the original domain is restricted.
Restrict f to x≥0. Then f is increasing and one-to-one. Its inverse is:
f⁻¹(x)=√x, x≥0.
Domain restriction is not an arbitrary trick. It removes output duplication.
Worked Example 3: Restrict a Shifted Quadratic
Let f(x)=(x−3)²+1.
Over all real x, the graph decreases until x=3 and increases after x=3, so outputs repeat on opposite sides of the turning point.
If restricted to x≥3, then f is increasing. Solve:
y=(x−3)²+1
y−1=(x−3)²
x−3=√(y−1), because x≥3.
Thus:
f⁻¹(x)=3+√(x−1), x≥1.
The inverse domain x≥1 is the original range.
Domain and Range Swap Under Inversion
If f maps domain D to range R and is one-to-one, then f⁻¹ maps R back to D.
- domain of f⁻¹ = range of f;
- range of f⁻¹ = domain of f.
Graphically, f and f⁻¹ are reflections in the line y=x when both are plotted in the same coordinate plane.
Exponential and Logarithmic Functions Are Natural Inverse Pairs
For a>0, a≠1, the function f(x)=aˣ is strictly monotonic:
- a>1 → strictly increasing;
- 0<a<1 → strictly decreasing.
Its range is y>0. Therefore the inverse function has domain x>0 and is the logarithm:
f⁻¹(x)=logₐx.
This explains both the inverse relationship and the positive-domain restriction of logarithms.
Worked Example 4: Exponential–Log Inversion
Let f(x)=2ˣ+3.
Since 2ˣ is strictly increasing, so is f. Solve y=2ˣ+3:
y−3=2ˣ
x=log₂(y−3).
Hence:
f⁻¹(x)=log₂(x−3), x>3.
The domain x>3 is the range of the original function.
Trigonometric Functions Need Principal Branches
Sine and cosine are periodic, so over all real angles they repeat outputs infinitely many times. Therefore they are not one-to-one globally.
Inverse trigonometric functions use restricted principal domains so that each output corresponds to one chosen angle. The exact conventions depend on the inverse function used, but the structural reason is always the same: periodic functions must be restricted before inversion can return a function.
Principal inverse value is a branch choice, not the complete solution set of a periodic equation.
This is why solving sinθ=1/2 over an interval requires more than reading one calculator inverse value.
Monotonic Intervals from a Derivative Sign Chart
Consider f(x)=x³−3x.
f′(x)=3(x−1)(x+1).
- x<−1: f′>0, increasing;
- −1<x<1: f′<0, decreasing;
- x>1: f′>0, increasing.
The function is not one-to-one over all real x because it changes direction. But it is one-to-one on each strictly monotonic interval individually.
This links calculus classification to inverse-domain design.
Horizontal Line Test Versus Vertical Line Test
- Vertical line test: checks whether a relation is a function.
- Horizontal line test: checks whether a function is one-to-one.
These tests answer different questions. A parabola passes the vertical line test but fails the horizontal line test over its full real domain.
Composition as an Inverse Check
If f⁻¹ is truly the inverse of f, then within the appropriate domains:
f⁻¹(f(x))=x
and
f(f⁻¹(x))=x.
This is a powerful verification tool.
Worked Example 5: Verify an Inverse
Let f(x)=3x−2 and f⁻¹(x)=(x+2)/3.
Then:
f⁻¹(f(x))=[(3x−2)+2]/3=x.
And:
f(f⁻¹(x))=3[(x+2)/3]−2=x.
Both compositions confirm the inverse relationship.
Monotonicity in Modelling
If a model is strictly increasing, each output corresponds to one time/value input within that domain. This can make inverse questions—such as “when does the quantity reach 500?”—well posed.
If the model rises then falls, the same output may occur at two different times. An inverse question then needs a restricted time interval or additional information to determine which branch is intended.
This is the applied meaning of one-to-one behaviour.
Inverse-Existence Decision Tree
- What is the domain of the original function?
- Does any output repeat?
- Can the horizontal line test reveal duplication?
- Is the function strictly increasing or decreasing?
- If not one-to-one, can the domain be restricted naturally?
- After inversion, what do the new domain and range become?
- Can composition verify the inverse?
Common Failure Modes
| Error | Cause | Repair |
|---|---|---|
| finds inverse of x² over all real x | one-to-one condition ignored | restrict to x≥0 or x≤0 first |
| inverse domain copied from original domain | domain-range swap forgotten | use original range as inverse domain |
| principal inverse trig value treated as complete equation solution | branch choice confused with periodic solution | generate all interval solutions separately |
| derivative changes sign but function called one-to-one globally | monotonic intervals ignored | build sign chart and restrict interval |
| horizontal and vertical line tests confused | different questions merged | vertical=function, horizontal=one-to-one |
| inverse formula found but not verified | composition relationship unused | check f⁻¹∘f and f∘f⁻¹ |
A 50-Minute Monotonicity and Inverse Session
- 8 minutes: classify graphs/functions as one-to-one or not.
- 8 minutes: use horizontal line reasoning.
- 10 minutes: restrict quadratic domains and find inverses.
- 8 minutes: exponential-log inverse pairs and domain/range swaps.
- 8 minutes: derivative sign charts to identify monotonic intervals.
- 8 minutes: verify inverse functions using composition.
What Mastery Looks Like
- The learner understands why one-to-one behaviour is required for inverse functions.
- The learner uses monotonicity and horizontal line tests to detect repeated outputs.
- The learner restricts quadratic domains for inversion deliberately.
- The learner swaps domain and range correctly.
- The learner explains the exponential-logarithmic inverse relationship structurally.
- The learner understands principal inverse trig values as restricted branches.
- The learner uses derivative signs to identify intervals where inverse behaviour is valid.
- The learner verifies inverse formulas through composition.
Return to the Additional Mathematics Learning Hub
Additional Mathematics Learning Hub | Secondary 3–4 A-Math Guides
