Proving Exactly One Real Root (Calculus Guide)
To prove that an equation has exactly one real root in an interval, show two things: a root exists, and no second root can exist there. Continuity and opposite endpoint signs establish existence by the Intermediate Value Theorem. A derivative with one strict sign establishes monotonicity, which rules out two roots. State the interval clearly and combine both parts.
A function can change sign and still cross the axis more than once. That is the calculus version of saying, “I found the door, so there can’t be another one.” To prove exactly one root, you need both an existence argument and a uniqueness argument. I’ll show how to build each one and how to avoid common gaps.
Problem Setup and Theorem: What “Exactly One Root” Requires
A root of (f) is a real number (x) for which (f(x)=0). To prove there is exactly one root on an interval, specify the function and interval, then prove there is at least one root and at most one. These are separate claims; neither alone proves “exactly one.”
Start by writing the claim in a precise form: “The equation (f(x)=0) has exactly one real root in ([a,b]).” The interval matters. A proof on ([a,b]) does not automatically rule out roots outside it.
- Existence means at least one root lies in the interval.
- Uniqueness means no two distinct roots lie in the interval.
- Exactly one means both statements are true.
The standard calculus route uses the Intermediate Value Theorem (IVT) for existence and the Mean Value Theorem (MVT) to justify monotonicity for uniqueness. Before using either theorem, check its conditions. In particular, the IVT requires continuity on the full closed interval ([a,b]).
The role of continuity and endpoints
Continuity means the function has no breaks, holes, or jumps on the interval. The IVT says that if a continuous function takes values of opposite signs at the endpoints, it must equal zero somewhere between them. Endpoint values also matter: if an endpoint is already a root, handle it directly instead of claiming a strict sign change.
For a strict sign change, show [ f(a)f(b)<0. ] This product is negative precisely when one endpoint value is positive and the other is negative. Continuity on ([a,b]) then guarantees a root in the open interval ((a,b)).
If (f(a)=0) or (f(b)=0), the product is not negative. That does not mean there is no root; it means the strict sign-change version of the IVT does not apply. Check the endpoint as a root, then show whether any other root can occur.
Calculus Proof: Continuity, Endpoint Signs, and Monotonicity
The usual proof has a clear order: first establish existence, then establish uniqueness. Check continuity and endpoint signs before studying the derivative. A derivative that keeps one strict sign makes the function strictly monotone, while the IVT gives a root. Put together, these steps prove exactly one root in the stated interval.
A step-by-step proof using the derivative
A function is strictly increasing if larger inputs always give larger outputs; it is strictly decreasing if larger inputs always give smaller outputs. If (f'(x)>0) throughout ((a,b)), the MVT shows that (f) is strictly increasing there. If (f'(x)<0) throughout, it is strictly decreasing.
Here is a complete example. Prove that [ f(x)=x^3+x-1 ] has exactly one real root in ([0,1]).
-
State the interval and check continuity.
The function is a polynomial, so it is continuous on ([0,1]). -
Show existence.
Evaluate the endpoints: [ f(0)=-1,\qquad f(1)=1. ] Since (f(0)f(1)=-1<0), the IVT guarantees at least one root in ((0,1)). -
Show uniqueness.
Differentiate: [ f'(x)=3x^2+1. ] This is positive for every (x), so (f) is strictly increasing on ([0,1]). A strictly increasing function cannot equal zero at two different inputs. -
Combine the results.
There is at least one root and at most one root in ([0,1]). Therefore, there is exactly one real root in that interval.
The derivative does not need to be calculated at the endpoints for this argument. It is enough to establish its strict sign in the interval’s interior, with the function continuous on the closed interval.
What each proof step does
A proof becomes easier to check when each step has one job. Continuity and opposite signs give existence; a derivative of fixed strict sign gives uniqueness. The table below matches common evidence to the conclusion it supports. Use it to spot a missing step before you write the final sentence.
| Evidence you establish | What it proves | What it does not prove |
|---|---|---|
| (f) is continuous on ([a,b]), and (f(a)f(b)<0) | At least one root in ((a,b)) | That there is only one root |
| (f'(x)>0) throughout ((a,b)) | At most one root in ([a,b]) | That a root exists |
| (f'(x)<0) throughout ((a,b)) | At most one root in ([a,b]) | That a root exists |
| Both an IVT existence argument and a monotonicity argument | Exactly one root in the stated interval | That no roots exist outside it |
The “at most one” claim follows from the MVT. If two distinct points (u<v) were roots, then (f(u)=f(v)=0). The MVT would give a point (c) between them with [ f'(c)=\frac{f(v)-f(u)}{v-u}=0. ] That contradicts (f’) being strictly positive or strictly negative throughout the interval.
Common Proof Errors and How to Verify Each Step
A proof error often comes from asking one fact to do two jobs. A sign change gives a root, not a unique root. A derivative sign gives no more than one root, not proof that a root exists. Check each claim against the result it can actually support before concluding “exactly one.”
- Using a graph as proof. A graph may suggest where roots lie, but a sketch or calculator display does not establish the function’s behavior at every point in an interval. Use it to explore, then prove the claim with theorems.
- Checking only a few derivative values. Finding (f'(x)>0) at several sample points does not show that it stays positive between them. Use algebra or a valid inequality to establish the sign throughout the interval.
- Stopping after the sign change. Continuity and opposite endpoint signs prove at least one root. Add a uniqueness argument.
- Stopping after the derivative test. A strict derivative sign proves at most one root. Add an existence argument, such as the IVT.
- Claiming a global result from a local proof. A derivative sign on ([a,b]) supports a conclusion on ([a,b]), not on all real numbers. For a global claim, analyze the whole domain.
When the derivative does not have one strict sign
A derivative test with one strict sign is a convenient method, not the only possible uniqueness proof. If (f’) changes sign or equals zero, that fact alone does not prove that (f) has multiple roots. It means you need a different argument or a more careful analysis of the intervals where the function rises and falls.
For example, (f(x)=x^3) has derivative (3x^2), which is zero at (x=0), but the function is still strictly increasing. So requiring (f'(x)>0) at every point is a useful sufficient condition, not a necessary condition for monotonicity. If the derivative test does not settle uniqueness, prove monotonicity another way or examine how roots could occur on separate parts of the interval.
Extensions: Root Location, Numerical Approximation, and Further Study
Once you prove exactly one root lies in an interval, you know where the root is and that no second root shares that interval. A numerical method may estimate its value, but the estimate is separate from the proof. Keep the exact claim tied to the interval and the arguments you have established.
Endpoint roots, open intervals, and approximations
Be precise about whether the problem asks for a root in ([a,b]) or in ((a,b)). If (f(a)=0), then (a) is a root in the closed interval but not in the open interval. If the claim concerns ([a,b]), check whether another root could also lie inside; monotonicity can rule that out.
For example, (f(x)=x-1) has derivative (1>0). On ([1,2]), (f(1)=0), and strict increase shows that it has exactly one root in the closed interval: (x=1). On ((1,2)), it has no root. The interval notation changes the conclusion.
A numerical solver can suggest an approximate root, but it cannot replace the proof. If a question asks for an approximation, first establish a bracket—an interval whose endpoint values have opposite signs—and then use an allowed numerical method. The bracket proves a root exists when continuity holds; the uniqueness argument shows the approximation points to the only root in that interval.
Conclusion: Name the function and interval, verify continuity, use endpoint signs for existence, and prove monotonicity for uniqueness. Then state exactly what the proof shows. Do not extend the conclusion beyond the interval you analyzed.
Frequently Asked Questions
These short answers address common points that arise when proving one root on an interval. The key distinction remains the same: existence and uniqueness need separate support. Check the interval, theorem conditions, and conclusion each time you use a sign test or derivative.
Does a sign change prove exactly one root?
No. For a continuous function, opposite endpoint signs prove at least one root between them. You still need a separate argument, such as strict monotonicity, to prove there is at most one.
Does (f'(x)>0) prove a root exists?
No. It proves that (f) is strictly increasing on the interval, so it can have at most one root there. Use endpoint values or another valid argument to establish existence.
Do I need (f'(x)>0) at every point?
No. A derivative that is strictly positive throughout the interval is a simple sufficient test for strict increase. Other methods can prove monotonicity even if the derivative is zero at some points.
What if an endpoint is a root?
State that the endpoint is a root, then check whether another root could occur in the interval. Do not use the strict sign-change test when an endpoint value is zero.
Can I prove uniqueness from a graph?
A graph can help you form a conjecture, but a graph or a finite set of plotted points does not prove what happens at every point. Give a mathematical argument that covers the whole interval.
Does a proof on ([a,b]) rule out roots elsewhere?
No. It establishes a claim only on ([a,b]). To prove a global unique root, you must also rule out roots outside that interval.
What if (f’) changes sign?
A change in derivative sign means the simple monotonicity test may not apply across the full interval. It does not by itself prove there are multiple roots. Use another uniqueness argument or analyze smaller intervals.
Why must I check continuity?
The IVT requires continuity on the closed interval. Without it, opposite endpoint signs alone do not guarantee a root between the endpoints.
(This article was written by one of our staff writers, Alan Westbrook. Visit our Meet the Team page.)
