Why strict monotonicity gives uniqueness
A derivative can give more than information about how a function behaves near one point. If its sign is fixed throughout an interval, it controls the function’s ordering across the whole interval. When the derivative is strictly positive, larger inputs produce strictly larger outputs; when it is strictly negative, larger inputs produce strictly smaller outputs.
This ordering has an immediate consequence for equations. If a function is strictly increasing or strictly decreasing, it cannot take the same value at two different inputs. Therefore, an equation of the form \(f(x)=c\) has at most one solution in any interval where \(f\) is strictly monotone. The phrase “at most one” matters: monotonicity rules out multiple solutions, but does not by itself guarantee that a solution exists.
Strict increase and strict decrease
The definition compares every pair of distinct inputs, not just nearby inputs. A graph of a strictly increasing function rises as we move from left to right, and a graph of a strictly decreasing function falls. Strictness excludes a horizontal stretch between distinct points, as well as any return to a previously attained value.
For an open interval, continuity on each closed subinterval is automatic when \(f\) is differentiable throughout the interval. If the interval includes an endpoint, continuity there is needed to apply the Mean Value Theorem on a segment reaching that endpoint. The sign condition must hold throughout the relevant interval, not merely at one point or at a selection of sample points.
Why the derivative sign forces strict monotonicity
The justification is a direct application of the Mean Value Theorem. Take any two points \(x_1,x_2\in I\) with \(x_1<x_2\). The segment \([x_1,x_2]\) lies in \(I\), and the stated continuity and differentiability conditions allow the theorem to be applied on that segment. It supplies a point \(c\in(x_1,x_2)\) such that the change in the function equals the derivative at \(c\) multiplied by the change in input.
Since \(x_2-x_1>0\), the sign of the right-hand side is exactly the sign of \(f'(c)\). If the derivative is positive everywhere in the interval, then \(f'(c)>0\), so \(f(x_2)-f(x_1)>0\). This is \(f(x_1)<f(x_2)\), the definition of strict increase. If the derivative is negative everywhere, then \(f'(c)<0\), giving \(f(x_2)-f(x_1)<0\), or \(f(x_1)>f(x_2)\). That is strict decrease. Because the pair \(x_1<x_2\) was arbitrary, the conclusion holds for every such pair.
From strict monotonicity to uniqueness
To see why, suppose instead that two distinct points \(x_1,x_2\in I\) both solve the equation. If \(x_1<x_2\), strict increase would imply \(f(x_1)<f(x_2)\), and strict decrease would imply \(f(x_1)>f(x_2)\). Either way, \(f(x_1)\) and \(f(x_2)\) cannot both equal \(c\). Thus two distinct solutions are impossible.
This is also the statement that a strictly monotone function is one-to-one on its interval: distinct inputs have distinct outputs. It does not establish that the target value \(c\) is attained. To prove that a solution exists, you need an additional argument—for example, a direct verification or, when its conditions apply, the Intermediate Value Theorem. A uniqueness argument and an existence argument answer different questions.
Worked applications
Worked Example: A cubic equation has at most one real solution
Consider the equation \(x^3+x=2\) on \(\mathbb{R}\). Define \(f(x)=x^3+x\). Its derivative is
For every real \(x\), \(x^2\geq 0\), so \(3x^2+1\geq 1>0\). By the derivative-sign theorem, \(f\) is strictly increasing on \(\mathbb{R}\). Consequently, \(f(x)=2\) can have at most one real solution.
Now check \(x=1\): \(f(1)=1^3+1=2\). Thus \(x=1\) is a solution. Strict increase shows that there cannot be another, so it is the unique real solution.
Check: Substitution gives \(1^3+1=1+1=2\), as required.
Worked Example: A trigonometric equation on a specified interval
Show that \(\cos x=0\) has exactly one solution in the interval \((0,\pi)\). Let \(g(x)=\cos x\). On this interval, \(\sin x>0\), and therefore
Thus \(g\) is strictly decreasing on \((0,\pi)\). The equation \(g(x)=0\) has at most one solution there. Since \(\cos(\pi/2)=0\) and \(\pi/2\in(0,\pi)\), a solution does exist. It follows that \(x=\pi/2\) is the unique solution in the specified interval.
Check: The candidate lies in the domain, and substituting it gives \(\cos(\pi/2)=0\). The derivative sign proves that no other point in \((0,\pi)\) can give the same value.
Worked Example: Restricting the domain can make a root unique
Consider \(x^2-4=0\) with the restriction \(x\in(0,\infty)\). Define \(p(x)=x^2-4\) on that interval. Its derivative is
So \(p\) is strictly increasing on \((0,\infty)\). The equation \(p(x)=0\) has at most one solution in this domain. Substituting \(x=2\) gives \(p(2)=2^2-4=4-4=0\), and \(2\in(0,\infty)\). Hence \(x=2\) is the unique solution in the restricted domain.
Check: On the full real line, \(x^2-4=0\) also has the solution \(-2\). That point is outside \((0,\infty)\), so it does not contradict uniqueness on the stated interval. The domain is part of the uniqueness claim.
What the sign condition does—and does not—say
A derivative that is strictly positive throughout an interval is a sufficient condition for strict increase, and a strictly negative derivative is a sufficient condition for strict decrease. These conditions are not necessary: a function can be strictly increasing even if its derivative is zero at some points. For example, \(q(x)=x^3\) is strictly increasing on \(\mathbb{R}\), although \(q'(0)=0\). The theorem gives a reliable test, not a characterization of every strictly monotone function.
It is also important not to replace a strict sign by a weak sign without checking the conclusion. A derivative that is nonnegative guarantees nondecrease by the Mean Value Theorem, but does not always guarantee strict increase.
Common Pitfall: Treating a nonnegative derivative as strictly positive
Define \(r:\mathbb{R}\to\mathbb{R}\) by
For \(x<0\), \(r'(x)=0\); for \(x>0\), \(r'(x)=3x^2>0\). At \(x=0\), the derivative is also \(0\), since the difference quotient from the left is \(0\) and from the right is \(h^3/h=h^2\), which tends to \(0\). Thus \(r'(x)\geq 0\) everywhere.
The incorrect conclusion would be: “Since \(r'(x)\geq 0\), \(r\) is strictly increasing.” But if \(x_1=-2\) and \(x_2=-1\), then \(x_1<x_2\) while \(r(x_1)=0=r(x_2)\). This violates the definition of strict increase. The correction is to use the right conclusion for the available condition: nonnegative derivative implies nondecrease, not necessarily strict increase. To apply the strict-sign theorem, one needs \(r'(x)>0\) at every interior point; this example does not meet that hypothesis.
Before using monotonicity to prove uniqueness, identify the interval on which the equation is being considered, define the function whose value is set equal to the target, and verify the derivative sign throughout that interval. Then state the conclusion carefully: strict monotonicity proves at most one solution there. If you also claim exactly one, show separately that a solution exists.
Check Your Understanding
Answer each question using the definitions and results above.
- What inequality between \(f(x_1)\) and \(f(x_2)\) defines strict decrease when \(x_1<x_2\)?
- State the derivative-sign condition that guarantees strict increase on an interval.
- Why does a strictly monotone function take a given value at most once?
- Does \(f'(x)\geq 0\) everywhere always imply that \(f\) is strictly increasing? Give the relevant distinction.
- If monotonicity proves that an equation has at most one solution, what additional fact is needed to conclude that it has exactly one?
