Skip to content

Polynomial Long Division

Definition

Polynomial long division is the procedure that computes the quotient and remainder in the division algorithm for polynomials: for nonzero polynomials a(x),b(x)∈F[x]a(x),b(x)\in\mathbb{F}[x], the polynomials with coefficients in a field F\mathbb{F}, there are unique polynomials q(x)q(x) and r(x)r(x) such that

a(x)=q(x)b(x)+r(x),a(x)=q(x)b(x)+r(x),

with r(x)=0r(x)=0 or deg⁡(r)<deg⁡(b)\deg(r)<\deg(b).


Interpretation

Polynomial long division answers the question how often b(x)b(x) fits into a(x)a(x) and what is left over, just as integer division with remainder writes 17=3⋅5+217=3\cdot5+2 with 0≤2<50\le2<5. For polynomials, the size of the remainder is measured by its degree instead of its value.

Each step looks only at leading terms. If what is left of a(x)a(x) has leading term c xmc\,x^m and b(x)b(x) has leading term d xkd\,x^k with m≥km\ge k, the next term of the quotient is cdxm−k\tfrac{c}{d}x^{m-k}. Subtracting cdxm−kb(x)\tfrac{c}{d}x^{m-k}b(x) cancels the leading term and lowers the degree. The process stops as soon as what is left is 00 or has degree smaller than deg⁡(b)\deg(b), and that is r(x)r(x). This is where the field matters: the step divides by the leading coefficient dd, which needs its inverse d−1d^{-1}. With integer coefficients, dividing xx by 2x2x would already need the quotient 12\tfrac{1}{2}.

The most frequent case is division by x−λx-\lambda. The remainder is then a constant, and substituting x=λx=\lambda in a(x)=q(x)(x−λ)+ra(x)=q(x)(x-\lambda)+r shows that it equals a(λ)a(\lambda). So λ\lambda is a root of aa if and only if the division leaves remainder 00. Repeated division is also the engine of the Euclidean algorithm for the greatest common divisor of two polynomials.


Key Results

  • The quotient and remainder are uniquely determined.
  • Polynomial division gives a quotient and remainder with the remainder of smaller degree.

Examples

  • Dividing x2−1x^2-1 by x−1x-1 gives quotient x+1x+1 and remainder 00.
  • Dividing x3+2x+1x^3+2x+1 by x2+1x^2+1 gives quotient xx and remainder x+1x+1: x3+2x+1=x (x2+1)+(x+1)x^3+2x+1=x\,(x^2+1)+(x+1), with deg⁡(x+1)=1<2\deg(x+1)=1<2.

Prerequisites

Sources

Aliases: polynomial division, long division of polynomials Symbols: element of, lambda

Last updated: 20 October 2026 03:02