Rational Root Theorem Calculator
p/q Candidates · Synthetic Division · Actual Roots · Factored Form · Batch Mode
Enter a polynomial to list every ±p/q candidate, test each with the remainder theorem, identify actual rational roots, and display the fully factored form with step-by-step synthetic division.
Quick Examples
Use ^ for exponents · coefficients must be integers · degrees 2–8 supported
Step 1 — Factors of Constant Term (p) and Leading Coefficient (q)
p — factors of constant term
q — factors of leading coefficient
Step 2 — All ±p/q Candidates with Remainder Test
| Candidate | Decimal | f(candidate) | Result |
|---|
Step 3 — Synthetic Division for Each Root
What Is the Rational Root Theorem?
The Rational Root Theorem is a fundamental theorem in algebra that provides a complete, finite list of candidates for all rational roots of a polynomial with integer coefficients. Formally, if the polynomial anxn + an-1xn-1 + … + a1x + a0 has integer coefficients and a rational root expressed in lowest terms as p/q, then p must be a factor (divisor) of the constant term a0, and q must be a factor of the leading coefficient an.
The theorem was known in various forms to mathematicians in the 16th and 17th centuries, though it appears most prominently in the work of René Descartes and later formalized in modern algebra textbooks. It is a direct consequence of Gauss's Lemma, which states that if a polynomial with integer coefficients factors over the rationals, it factors over the integers. This property forces any rational root to satisfy the divisibility conditions on p and q.
The practical power of the theorem is that it transforms an impossible infinite search (any rational number could theoretically be a root) into a finite, systematic checklist. For a degree-n polynomial with constant term a0 and leading coefficient an, the maximum number of candidates is 2 × d(a0) × d(an), where d(k) is the number of positive divisors of k. After generating this list, each candidate is tested by evaluating the polynomial or by synthetic division. Any candidate where the remainder equals zero is a confirmed rational root.
How to Use This Calculator
- Enter the polynomial in the expression box using ^ for exponents (e.g., 2x^3 - 3x^2 - 11x + 6), or switch to Coefficients mode and enter each coefficient in the grid.
- Click "Find Rational Roots". The calculator extracts the constant term and leading coefficient, finds all their positive factors, and generates the full ±p/q candidate list.
- Review the candidate table. Every candidate is shown with its decimal value, the remainder f(candidate), and whether it is a root (remainder = 0) or not.
- See actual roots highlighted in green in the chip panel, with the multiplicity noted if a root appears more than once.
- Examine synthetic division for each confirmed root, showing the step-by-step row arithmetic and the deflated quotient polynomial.
- Read the factored form combining all linear factors with any remaining irreducible factor.
- For multiple polynomials, switch to Batch Mode and paste one polynomial per line.
The p/q Formula Explained
Given a polynomial with integer coefficients, every rational root r = p/q (in lowest terms, with q > 0) must satisfy:
- p divides a0 (the constant term)
- q divides an (the leading coefficient)
For example, for 2x³ − 3x² − 11x + 6: the constant term is 6, with positive factors {1, 2, 3, 6}; the leading coefficient is 2, with positive factors {1, 2}. The candidate list is: ±1/1, ±2/1, ±3/1, ±6/1, ±1/2, ±3/2 — that is, ±{1, 2, 3, 6, 1/2, 3/2}. Testing each reveals the actual roots are x = 3, x = −2, and x = 1/2, giving the factored form 2(x − 3)(x + 2)(x − 1/2) = (x − 3)(x + 2)(2x − 1).
Worked Example: 2x³ − 3x² − 11x + 6
| Candidate | f(candidate) | Root? |
|---|---|---|
| 1 | 2−3−11+6 = −6 | No |
| −1 | −2−3+11+6 = 12 | No |
| 2 | 16−12−22+6 = −12 | No |
| −2 | −16−12+22+6 = 0 | Yes: x = −2 |
| 3 | 54−27−33+6 = 0 | Yes: x = 3 |
| 1/2 | 2(1/8)−3(1/4)−11(1/2)+6 = 0 | Yes: x = 1/2 |
After finding x = −2, synthetic division gives the quotient 2x² − 7x + 3. Dividing that by (x − 3) gives 2x − 1, which has root x = 1/2. Final factored form: (x + 2)(x − 3)(2x − 1).
Limitations of the Rational Root Theorem
The theorem is powerful, but it only addresses rational roots. It cannot find:
- Irrational roots such as √5, 1 + √3, or cube roots. For example, x² − 2 has no rational roots (the candidates ±1 and ±2 all fail), yet has irrational roots ±√2.
- Complex roots such as 2 + 3i. The polynomial x² + 1 has no real roots at all.
- Roots of polynomials with non-integer coefficients. The theorem requires integer (or rational, after clearing denominators) coefficients. If your polynomial has irrational coefficients like √2·x² + 1, first multiply to clear denominators or use numerical methods.
When the theorem yields no rational roots, you should apply the quadratic formula (degree 2), Descartes' Rule of Signs to bound the number of positive/negative roots, or numerical solvers such as Newton's method or bisection for an approximate answer.