S. D. V. Stephens

notes / Integrated Mathematics / chapter 10: Polynomials

10.9 The Rational Root Theorem

The same idea extends to rational roots: a root in lowest terms has dividing the constant term and dividing the leading coefficient.

Problem 10.9.1.

Show solution

Is there with ? Possible: .

The negative candidates don’t work: , , , .

So that leaves : , ; for the first 3 terms sum to something that ends in 5, so no; .

Now suppose :

So , and Since , . And with , so .

Similar logic for , using , whose terms all have a .

Theorem 10.9.2 (Rational Root Theorem). Given , if and are relatively prime integers and , then and .

Proof. Let be a polynomial with and . Let such that are relatively prime and . Then

Since and , . Similarly for : ∎

Show solution

Divisors: : and : , so are the possibilities (numerator and denominator must be relatively prime).

the roots are , , .

Problem 10.9.3. Find the roots:

(a)

(b)

Show solution

(a) and , so the non-integer candidates are

Signs of the four terms:

NOT .

There is a root between and , since the sign changes.

So is a root:

Try on : , then ; even? ( isn’t an integer, so it can’t cancel the .)

Candidates let’s work backwards:

So:

(b) , over denominators giving

: and , so . .

.

(by calculator)

Candidates now: over .

and , .

are candidates, and . Yay!

With :

Check the constant term: . ✓

Roots: , , , .

Tips:

  1. Factor, factor, factor!
  2. Start your rational root hunt with .
  3. Try the same strats in different ways.
  4. Example general for proofs.

Exercises

Exercise 10.9.4.

Show solution

Because for all with , there exists such that in () are relatively prime.

Exercise 10.9.5. Find consecutive integers such that the cubes of the first three add up to the cube of the last: for .

Show solution

Expanding, which add up to , while . So Candidates for rational roots: .

✓. Synthetic division by : so the quotient is , whose roots are So , and indeed :

Remark (Scratch work). With no problem statement on the page: beside a rough sketch of two crossing curves.