Remainder of polynomial division ($r$)

The polynomial remainder is the polynomial $r$ in polynomial division $q=Qs+r$. Division by $X-a$ has a constant polynomial remainder $q(a)$, as expressed by the factor theorem.

For any identity $f=gq+r$, polynomial evaluation at a root of a polynomial $a$ of $g$ givesThis substitution requires no division by $g(a)$. In the worked example, polynomial factorization gives $g=(X-1)(X+2)$, so its two roots of a polynomial are $1$ and $-2$. The cubic polynomial and its linear polynomial remainder agree there:A cubic expression has been compressed into a straight line carrying exactly these two values.

Conversely, those two values determine the linear polynomial remainder by polynomial interpolation. Write $r=AX+B$; then $A+B=6$ and $-2A+B=12$, giving $A=-2$ and $B=8$. The polynomial degree bound is essential: adding any multiple of $g$ preserves the two values, but generally raises the polynomial degree. The plot also shows agreement at $x=-1/2$, where $q=0$ rather than $g=0$. Agreement of $f$ and $r$ at a point therefore does not imply that the point is a root of a polynomial of the divisor.

Dividing a polynomial $f$ by $X-a$ leaves the constant polynomial remainder $f(a)$. Polynomial division makes the polynomial remainder constant because its polynomial degree must be below one; polynomial evaluation at $a$ identifies that constant. In particular, it is zero exactly when $a$ is a root of a polynomial of $f$, which is the factor theorem.^[ref]

In the worked example, division by $X-1$ leaves $6$ and division by $X+2$ leaves $12$. Division by their product leaves $-2X+8$, a polynomial remainder that stores both values at once. The argument also holds over a commutative ring for $a$ in that ring, because $X-a$ is a monic polynomial.