Once you have used the rational root theorem to list all the possible* *rational roots of any polynomial, the next step is to test the roots. One way is to use long division of polynomials and hope that when you divide you get a remainder of 0. Once you have a list of possible rational roots, you then pick one and assume that it’s a root.

For example, consider the equation *f*(*x*) = 2*x*^{4} – 9*x*^{3} – 21*x*^{2} + 88*x* + 48, which has the following possible rational roots:

If *x* = *c* is a root*,* then *x* – c is a factor. So if you pick *x* = 2 as your guess for the root, *x* – 2 should be a factor. You can use long division to test if *x* – 2 is actually a factor and, therefore, *x* = 2 is a root.

Dividing polynomials to get a specific answer isn’t something you do every day, but the idea of a function or expression that’s written as the quotient of two polynomials is important for pre-calculus. If you divide a polynomial by another and get a remainder of 0, the divisor is a factor, which in turn gives a root.

In math lingo, the division algorithm states the following: If *f*(*x*) and *d*(*x*) are polynomials such that *d*(*x*) isn’t equal to 0, and the degree of *d*(*x*) isn’t larger than the degree of *f*(*x*), there are unique polynomials *q*(*x*) and *r*(*x*)* *such that

In plain English, the dividend equals the divisor times the quotient plus the remainder. You can always check your results by remembering this information.

Remember the mnemonic device* *__D__irty __M__onkeys __S__mell __B__ad when doing long division to check your roots. Make sure all terms in the polynomial are listed in descending order and that every degree is represented. In other words, if *x*^{2} is missing, put in a placeholder of 0*x*^{2} and then do the division. (This step is just to make the division process easier.)

To divide two polynomials, follow these steps:

__D__ivide.Divide the leading term of the dividend by the leading term of the divisor. Write this quotient directly above the term you just divided into.

__M__ultiply.Multiply the quotient term from Step 1 by the entire divisor. Write this polynomial under the dividend so that like terms are lined up.

__S__ubtract.Subtract the whole line you just wrote from the dividend.

You can change all the signs and add if it makes you feel more comfortable. This way, you won’t forget signs.

__B__ring down the next term.Do exactly what this says; bring down the next term in the dividend.

Repeat Steps 1–4 over and over until the remainder polynomial has a degree that’s less than the dividend’s.

The following list explains how to divide 2*x*^{4} – 9*x*^{3} – 21*x*^{2} + 88*x *+ 48 by *x* – 2. Each step corresponds with the numbered step in the illustration in this figure.

(Note that using Descartes’s rule of signs, you find that this particular example may have positive roots, so it’s efficient to try a positive number here. If Descartes’s rule of signs had said that no positive roots existed, you wouldn’t test any positives!)

__D__ivide.What do you have to multiply

*x*in the divisor by to make it become 2*x*^{4}in the dividend? The quotient, 2*x*^{3}, goes above the 2*x*^{4}term.__M__ultiply.Multiply this quotient by the divisor and write it under the dividend.

__S__ubtract.Subtract this line from the dividend: (2

*x*^{4}– 9*x*^{3}) – (2*x*^{4}– 4*x*^{3}) = –5*x*^{3}. If you’ve done the job right, the subtraction of the first terms always produces 0.__B__ring down.Bring down the other terms of the dividend.

__D__ivide.What do you have to multiply

*x*by to make it –5*x*^{3}? Put the answer, –5*x*^{2}, above the –21*x*^{2}.__M__ultiply.Multiply the –5

*x*^{2}times the*x*– 2 to get –5*x*^{3}+ 10*x*^{2}. Write it under the remainder with the degrees lined up.__S__ubtract.You now have (–5

*x*^{3}– 21*x*^{2}) – (–5*x*^{3}+ 10*x*^{2}) = –31*x*^{2}.__B__ring down.The +88

*x*takes its place.__D__ivide.What to multiply by to make

*x*become –31*x*^{2}? The quotient –31*x*goes above –21*x*^{2}.__M__ultiply.The value –31

*x*times (*x*– 2) is –31*x*^{2}+ 62*x;*write it under the remainder.__S__ubtract.You now have (–31

*x*^{2}+ 88*x*) – (–31*x*^{2}+ 62*x*), which is 26*x.*__B__ring down.The +48 comes down.

__D__ivide.The term 26

*x*divided by*x*is 26. This answer goes on top.__M__ultiply.The constant 26 multiplied by (

*x*– 2) is 26*x*– 52.__S__ubtract.You subtract (26

*x*+ 48) – (26*x*– 52) to get 100.__S__top.The remainder 100 has a degree that’s less than the divisor of

*x*– 2.

Wow . . . now you know why they call it *long* division. You went through all that to find out that *x* – 2 isn’t a factor of the polynomial, which means that *x* = 2 isn’t a root.

If you divide by *c* and the remainder is 0, then the linear expression (*x* – *c*) is a factor and that *c* is a root. A remainder other than 0 implies that (*x* – *c*) isn’t a factor and that *c* isn’t a root.