A Sign Change Guarantees a Root

From Opposite Signs to a Root

A function that is continuous on an interval cannot jump from a negative value to a positive value without taking the value zero somewhere in between. This observation turns a simple endpoint calculation into a proof that an equation has a solution.

The conclusion is an existence statement: it guarantees that a root lies between the endpoints, but it does not necessarily tell us where that root is or how to calculate it. The key requirement is continuity throughout the interval, not just at its endpoints.

The Sign-Change Theorem

The Intermediate Value Theorem says that if \(f\) is continuous on the closed interval \([a,b]\), then every value between \(f(a)\) and \(f(b)\) is attained by \(f\) at some point in \([a,b]\). For the root-existence result, the value we want the function to attain is zero.

The conclusion places the root in the open interval \((a,b)\), not merely somewhere in the closed interval. The strict sign conditions mean neither endpoint is already a zero. If an endpoint value is zero, then that endpoint itself is a root, but the strict sign-change hypothesis does not apply.

Why the Theorem Works

Suppose, for example, that \(f(a)<0\) and \(f(b)>0\). The number zero lies strictly between the two endpoint values. Since \(f\) is continuous on the whole interval, the Intermediate Value Theorem says that \(f\) attains every value between those endpoint values. In particular, it attains zero.

This argument also covers the reverse sign order. If \(f(a)>0\) and \(f(b)<0\), zero still lies between the endpoint values, so the same theorem applies. The order of the signs does not matter; what matters is that they are strictly opposite.

provided \(f\) is continuous on \([a,b]\). The product condition is simply a compact way to express that the two endpoint values are nonzero and have opposite signs.

Worked Examples

What Must Be Checked

The endpoint calculations alone are not enough. A valid application requires continuity on the entire closed interval. It is not sufficient that \(f(a)\) and \(f(b)\) exist, or that \(f\) is continuous only at those two points.

For example, define \(g(x)=-1\) when \(x<0\), and \(g(x)=1\) when \(x\geq 0\). On \([-1,1]\), the endpoint values satisfy \(g(-1)=-1\) and \(g(1)=1\). But \(g\) never equals zero. There is no contradiction: \(g\) is discontinuous at \(0\), so the continuity hypothesis required by the theorem is absent.

When continuity is established by a known rule—for example, because a function is a polynomial—say so explicitly. When a formula has a restricted domain or a possible discontinuity, check that no such issue occurs anywhere in \([a,b]\) before using the sign change.

A Common Mistake: Confusing Existence with Location

A sign change does not say that the root is the midpoint of the interval. Consider \(f(x)=x^2-2\) on \([1,2]\). This polynomial is continuous, and

The values have opposite signs, so the theorem guarantees a root somewhere in \((1,2)\). A mistaken argument might claim that the root must be the midpoint, \(\frac{1+2}{2}=\frac32\). But direct substitution gives

So the midpoint is not a root. The theorem guarantees at least one root in the interval; it does not specify its location. To establish that a particular number is a root, substitute it into the function and verify that the output is zero.

Why This Result Matters

The sign-change theorem lets us prove that an equation has a solution even when we cannot solve it explicitly. It converts two endpoint evaluations and a continuity check into a rigorous existence argument. This is useful whenever a problem asks whether a continuous function reaches zero on an interval.

The conclusion is deliberately limited: the theorem guarantees a root in the interval, not a formula for it. A proof should therefore state exactly what has been established: there exists some \(c\in(a,b)\) with \(f(c)=0\). The root may be found by other methods, but that additional work is separate from the existence guarantee.