🔣 Polynomial Factorization Calculator – Factor Any Polynomial Instantly
Polynomial factorization is the process of rewriting a polynomial as a product of simpler polynomials (its factors). This is one of the most fundamental skills in algebra, underpinning equation-solving, simplification of rational expressions, and calculus techniques such as partial fractions. This tool factors univariate polynomials — polynomials in a single variable — over your choice of rational, real, or complex domains, with full step-by-step explanations and automatic verification.
📐 How Polynomial Factorization Works
The tool applies a systematic four-stage algorithm used in every algebra classroom:
- Extract the GCF. The Greatest Common Factor of all coefficients and the lowest variable power present in every term is pulled out first. For example,
4x³ − 12x² = 4x²(x − 3). - Apply the Rational Root Theorem. For an integer-coefficient polynomial
aₙxⁿ + … + a₀, every rational root has the form±p/q, wherepdivides the constant terma₀andqdivides the leading coefficientaₙ. The tool tests all such candidates using synthetic division. - Synthetic division. Each confirmed root
rdivides the current polynomial by(x − r), reducing the degree by 1. The quotient becomes the new polynomial for the next iteration. - Handle the remaining quadratic. Once the polynomial is reduced to degree 2, the discriminant
Δ = b² − 4acdetermines whether the remaining factor splits into two real linear factors, stays as an irreducible real quadratic, or breaks into complex conjugate pairs.
🌐 Domain Modes Explained
Choosing the right domain controls how far the factorization proceeds:
| Domain | What Factors Are Split | Example |
|---|---|---|
| Rational | Only rational roots (exact fractions) | x²−2 stays as (x²−2) |
| Real | All real roots, including irrationals | x²−2 = (x−√2)(x+√2) |
| Complex | All roots including complex conjugate pairs | x²+4 = (x−2i)(x+2i) |
📌 Supported Input Formats
The tool accepts two input styles:
- Expression mode: Type the polynomial directly using
^for exponents. Example:x^4-5x^2+6represents x⁴ − 5x² + 6. Implied coefficients of 1 are recognised, sox^3means1·x³. - Coefficient list mode: Enter coefficients from highest to lowest degree, separated by commas. For
x³ − 6x² + 11x − 6, type1,-6,11,-6. The tool automatically determines the degree from the list length.
📊 Understanding the Output
For each successful factorization the tool shows:
- Factored Form — the main symbolic result, e.g.
(x−1)(x−2)(x−3) - GCF badge — the extracted common factor if any (e.g.
4x²) - Roots table — each root with its type (real or complex), multiplicity (how many times that root appears), and decimal approximation
- Verification — the factored form is expanded and compared against the original polynomial; a ✓ badge confirms an exact match
- Step-by-step panel — toggle "Show Steps" to see GCF extraction, rational root testing, and each synthetic division in order
🔬 Classic Worked Examples
Example 1 — Three distinct linear factors
Polynomial: x³ − 6x² + 11x − 6
- GCF = 1 (no common factor)
- Rational candidates: ±1, ±2, ±3, ±6. Test x = 1: 1 − 6 + 11 − 6 = 0 ✓
- Divide by (x−1): quotient
x² − 5x + 6 - Test x = 2: 4 − 10 + 6 = 0 ✓. Divide: quotient
x − 3 - Result: (x−1)(x−2)(x−3)
Example 2 — GCF extraction + variable factor
Polynomial: 4x³ − 12x²
- GCF = 4x² (common integer 4, common variable x²)
- Reduced:
x − 3 - Result: 4x²(x−3). Roots: 0 (multiplicity 2) and 3
Example 3 — Irreducible over reals, complex over C
Polynomial: x² + 4
- GCF = 1, no real roots (Δ = 0 − 16 = −16 < 0)
- Real domain: stays as
(x²+4) - Complex domain: splits into (x−2i)(x+2i)
💡 Tips for Best Results
- Always start with Real domain for classroom problems — it matches standard textbook expectations.
- Switch to Rational domain when you need to verify exact rational roots only (e.g. for finding integer solutions of equations).
- Use Complex domain when working with signal processing, control theory, or any context where the full factorisation into linear factors is required.
- If the tool shows a polynomial of degree ≥ 2 as a single factor, that remaining polynomial has no rational roots and is irreducible over the selected domain.