The Solution
Calculation: Rational Root Theorem Calculator
Rational Root Theorem Calculator
Enter your polynomial coefficients above and click "Find Rational Root Candidates" to see results.Cubic Equation Solver
Find real and complex roots, discriminant, and cubic graphs in seconds with our precision solver.
Input integer coefficients to generate all possible rational root candidates using the ±p/q theorem.
Calculation: Rational Root Theorem Calculator
Rational Root Theorem Calculator
Enter your polynomial coefficients above and click "Find Rational Root Candidates" to see results.The Treatise
The Formula
The Method
The Illustration
The Deep Dive
The proof is a divisibility argument. Suppose p/q in lowest terms satisfies aₙ(p/q)ⁿ + ... + a₀ = 0. Clearing denominators gives aₙpⁿ + aₙ₋₁pⁿ⁻¹q + ... + a₀qⁿ = 0. Every term except a₀qⁿ contains a factor of p, so p divides a₀qⁿ; since gcd(p, q) = 1, p | a₀. The mirror argument on the other end gives q | aₙ. Two lines of divisibility, and the infinite search collapses to a finite list.
The monic case deserves its spotlight: when the leading coefficient is 1, every denominator q must divide 1, so q = ±1 and all rational roots are integers dividing the constant term. This is why textbook problems feel easy: they are almost always monic. The moment a problem like 6x³ − 5x² − 2x + 1 appears, the fractional candidates return, and the full theorem earns its keep.
Large coefficients can produce daunting lists, sometimes hundreds of candidates. Test smartly: try small integers first, since problems are often constructed with them. Use the bound that all real roots lie within 1 + max|aᵢ/aₙ| to skip absurd values. And remember you may stop the moment you have found as many roots as the degree, each confirmed root deflating the problem via synthetic division. A useful habit is testing ±1 first: they are the cheapest evaluations and surprisingly often hit in constructed problems.
Gauss's lemma says a primitive integer polynomial factors over Q exactly when it factors over Z. The rational root theorem is this lemma in degree one: a linear factor over Q can be cleared to a linear factor over Z, whose root is the p/q the theorem describes. This is why integer-coefficient methods are theoretically complete for rational questions, a fact computer algebra systems rely on constantly.
The theorem is silent about everything it does not cover: irrational roots like ∛2 and complex roots never appear on the candidate list. x³ − 2 = 0 has candidates ±1, ±2, all failures, yet the real root ∛2 ≈ 1.26 exists. When the full list fails, switch tools: the discriminant classifies the root types, Cardano's method gives closed forms, and the roots calculator gives values.
The Applications
Before reaching for heavy machinery, spend two minutes on the candidate list. A large share of contest, exam, and textbook cubics were constructed with rational roots, and finding one by hand is faster than any formula.
Examiners love monic cubics precisely because the integer-candidate shortcut applies. Knowing the theorem turns "solve the cubic" into a quick divisibility exercise followed by routine testing.
Root-finding algorithms in computer algebra open with the rational root test: exact rational roots are cheaper than any numerical iteration, so the candidate list is always exhausted before Newton or bisection begins. One exact root found here is one fewer dimension for the numerical solver.
Symbolic systems isolate rational roots first to deflate the polynomial, shrinking the problem before deploying expensive exact solvers like Cardano's method.
In engineering, ruling out nice roots in seconds tells you whether to expect a clean closed form or reach for numerical methods immediately, saving the effort of doomed exact attempts.
The Cautions
Forgetting negative candidates: Every factor p and q comes with a ± sign. The root -3/2 is missed by anyone who only tests positive candidates.
Not reducing fractions: Candidates must be in lowest terms. Testing 2/4 after testing 1/2 doubles the work for zero new information.
Confusing which divides which: Numerators p divide the constant term; denominators q divide the leading coefficient. Swapping them builds a list that the theorem never promised.
Assuming every candidate is a root: The list contains suspects, not convictions. Each candidate must be tested, usually by substitution or synthetic division, before it earns root status.
Ignoring the leading coefficient: When a ≠ 1, fractional candidates like ±3/2 appear. Testing only integers in a non-monic problem can miss every root.
The Reference
The Questions
No. The cubic x³ - 2 has none at all; its real root ∛2 is irrational. The theorem lists candidates, it does not guarantee winners.
The denominator of a root in lowest terms must divide the leading coefficient, just as the numerator must divide the constant term. Both constraints come from the same proof.
At most (divisors of the constant term) × (divisors of the leading coefficient), counting ± once, minus duplicates from unreduced fractions.
No. Stop as soon as you have found as many roots as the degree. Each find also deflates the polynomial via synthetic division, shrinking later tests, and the quadratic formula finishes whatever remains.
The roots are irrational or complex. Use the cubic roots calculator for values and the discriminant for their types. An empty candidate result is itself information: it rules out the easy cases.
Multiply through to clear decimals into integers first, then apply the theorem to the scaled polynomial.
Because then every rational root is an integer dividing the constant term, which keeps candidate lists short and hand-testing pleasant.
Yes. Any p/q in lowest terms counts as rational, including negatives and fractions. The theorem was built exactly for cases like this.