Proving Polynomial Equations Have Solutions Without Solving Them

From an Equation to an Existence Question

A polynomial equation can be difficult to solve explicitly. It may have no convenient factorization, and its solutions may not have simple exact expressions. But proving that at least one real solution exists does not require finding that solution.

The key is to rewrite the equation as a question about whether a continuous function takes the value zero. For an equation \(P(x)=Q(x)\), where \(P\) and \(Q\) are polynomials, define the difference function \(F(x)=P(x)-Q(x)\). The equation holds exactly when \(F(x)=0\). Then, if \(F\) has opposite signs at the endpoints of an interval, the Intermediate Value Theorem guarantees a zero between them.

Why the Difference Function Works

Subtracting the right-hand side of an equation from both sides preserves its solutions. In particular, for every real number \(c\),

Thus, the original equation and the zero equation for \(F=P-Q\) have exactly the same real solutions. Since the difference of two polynomials is a polynomial, \(F\) is continuous on \(\mathbb{R}\). It is therefore continuous on every closed interval \([a,b]\).

The Intermediate Value Theorem says that if \(F\) is continuous on \([a,b]\), then it takes every value between \(F(a)\) and \(F(b)\). Opposite endpoint signs put zero between those two values. The theorem then guarantees an input \(c\) between \(a\) and \(b\) for which \(F(c)=0\). This is precisely a solution of the original equation.

Why the Sign-Change Argument Is Valid

Here is the full argument in the form used for a polynomial equation. The strict inequality in the theorem means the two endpoint values are nonzero and have opposite signs.

This proof uses the continuity of a polynomial and the Intermediate Value Theorem; it does not calculate the value of \(c\). The conclusion is an existence statement, not an explicit formula for the solution.

Worked Examples

What the Conclusion Does—and Does Not—Say

Each example proves that a solution exists in a specified interval. It does not identify the solution, give its decimal expansion, or show that it is the only solution. Those are different claims requiring different methods. The sign-change argument establishes existence because the continuous function must pass through zero between a negative value and a positive value.

The strict sign-change condition is sufficient, not necessary. A polynomial can have a zero even when chosen endpoint values do not have opposite signs. For example, \(G(x)=x^2\) has \(G(-1)=1\) and \(G(1)=1\), yet \(G(0)=0\). The endpoint test alone gives no conclusion in that case. If an endpoint itself evaluates to zero, the equation already has a solution at that endpoint; no sign-change argument is needed.

For a general polynomial equation, the useful order of work is therefore: preserve the equation while forming its difference, choose an interval, evaluate the difference exactly at both endpoints, and apply the theorem only if its hypotheses hold. Exact arithmetic makes the sign check clear and prevents a conclusion from resting on a rounded approximation.

A Common Mistake: Changing the Equation

Consider \(x^3+2=5x\). A useful difference function is \(F(x)=x^3+2-5x\), because its zero equation is equivalent to the original equation. A mistaken rearrangement might instead use \(H(x)=x^3+2+5x\). For instance, \(H(0)=2\) and \(H(1)=8\), so these endpoint values do not show a sign change. More importantly, \(H(x)=0\) is not the original equation: it corresponds to \(x^3+2=-5x\).

Correcting the subtraction gives

The signs are opposite, because \(2(-2)=-4<0\). The polynomial \(F\) is continuous on \([0,1]\), so the Intermediate Value Theorem gives a \(c\in(0,1)\) with \(F(c)=0\). By the definition of \(F\), this means \(c^3+2=5c\). The correction works because the zero equation now matches the equation we set out to study.

Why This Method Matters

Finding an exact solution and proving that a solution exists are not the same task. Polynomial equations can be complicated, but the existence argument may require only a carefully chosen interval and two straightforward evaluations. The result is rigorous even when no explicit solution is available.

This approach also clarifies the role of each ingredient: the difference function encodes the equation, continuity prevents the function from skipping intermediate values, and the endpoint sign change places zero among those values. If any step is missing—for example, if the function is not known to be continuous on the whole interval—the theorem cannot be invoked as stated.