Division always succeeds, but not always exactly
For any f and any non-zero d there are a quotient q and a remainder r with f = dq + r. A remainder of zero means d is a factor of f; any other remainder means it is not.
The long division you learned for integers, performed on polynomials. It works for a divisor of any degree, it always terminates, and it produces a quotient and a remainder that are unique — which is what makes it an algorithm rather than a technique.
Core ideas
One statement carries this lesson. Everything in the procedure exists to produce the q and r it promises.
For any f and any non-zero d there are a quotient q and a remainder r with f = dq + r. A remainder of zero means d is a factor of f; any other remainder means it is not.
That is the stopping rule, and it is not a convention. While the leading term of what is left is still divisible by the leading term of d, there is another step to take.
2x⁴ - 3x³ + 5x - 1 has no x² term, and the division needs a column for it. Writing + 0x² costs one symbol; omitting it misaligns every subtraction that follows.
The material
The algorithm, the stopping rule, and the subtraction that goes wrong.
Dividing 17 by 5 gives 3 remainder 2, and the content of that sentence is 17 = 5 · 3 + 2 with 2 < 5. Polynomial division makes the same statement, with degree playing the part of size.
Let f and d be polynomials with d ≠ 0. There exist unique polynomials q and r such that f(x) = d(x)q(x) + r(x), where either r = 0 or deg r < deg d.
Uniqueness is the half that is usually skipped, and it is what lets you check an answer. If you and I divide the same f by the same d and get different quotients, one of us is wrong; there is no second correct answer to compare against.
Write both polynomials in descending order with every power present. Divide the leading term of the current remainder by the leading term of the divisor to get the next quotient term; multiply the whole divisor by that term; subtract; bring down. Stop when the remainder's degree is less than the divisor's.
Only the LEADING terms decide each quotient term. To start 2x⁴ - 3x³ + 0x² + 5x - 1 divided by x² - x + 2 you ask what times x² gives 2x⁴, and the answer 2x² depends on nothing else in either polynomial.
2x² · (x² - x + 2) = 2x⁴ - 2x³ + 4x². Subtracting this from 2x⁴ - 3x³ + 0x² gives -x³ - 4x², because -3x³ - (-2x³) = -x³ and 0x² - 4x² = -4x². Both signs come from the subtraction, and both are places where a term is commonly lost.
Subtracting a polynomial means subtracting every one of its terms. “Adding and Subtracting Polynomials” made this point about -(x - 3); here the same slip costs you the rest of the division, because each line feeds the next. If you find it easier, negate the product and add.
The division above ends with q = 2x² - x - 5 and r = 2x + 9. The remainder has degree 1, the divisor degree 2, so the stopping rule is satisfied and the work is finished. Written out in full: 2x⁴ - 3x³ + 5x - 1 = (x² - x + 2)(2x² - x - 5) + (2x + 9).
Because r ≠ 0, the divisor is not a factor. Had the remainder been 0, we would have a factorisation of a quartic into a quadratic times a quadratic — which is how division earns its place in a course about factoring, and what “The Factor Theorem and Rational Roots” exploits.
If r = 0 then deg f = deg d + deg q. So dividing a degree-4 polynomial by a degree-2 one gives a degree-2 quotient, and a quotient of any other degree is an arithmetic error you can catch before checking a single coefficient.
Interactive
The remainder before and after every subtraction
Method
The setup carries most of the risk; the loop itself is short.
Insert 0x^k for every missing power in the dividend. The divisor needs the same treatment if it has gaps.
That single division gives the next term of the quotient. Ignore every other term in both polynomials while you do it.
Multiply the entire divisor by the new quotient term, then subtract the entire product. Change every sign, not just the first.
When the remainder's degree drops below the divisor's, stop and write f = dq + r. Expand it to check — the check catches every sign error at once.
The dividend has no x² term, so it is written with 0x² in place. The divisor has degree 2, so the division stops as soon as what remains has degree 1 or 0.
Each subtraction is where the work is lost. At the second step the line being subtracted is -x³ + x² - 2x, and -4x² - (+x²) is -5x² while 5x - (-2x) is 7x. Two sign changes in one line, both from the same rule.
The check is mechanical: expand (x² - x + 2)(2x² - x - 5) to get 2x⁴ - 3x³ + 3x - 10, then add 2x + 9 to get 2x⁴ - 3x³ + 5x - 1. That is the original dividend, so the quotient and remainder are right.
For a faded division, write x³ - 5x + 6 as x³ + 0x² - 5x + 6 and divide by x² + x - 2. The first quotient term x is supplied. Finish the multiply-subtract loop and verify the identity. You should get q = x - 1, r = -2x + 4; a remainder containing x² means you stopped before its degree fell below the divisor's.
The result is not the quotient on its own. You should write the full identity with the remainder in place, and verify it by multiplying out — which is the only step here that confirms every sign at once.
Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.
No recommendations yet for this lesson.