How do you use the rational roots theorem to find all possible zeros of p(x)=-5x^4+x^3+2x^2-1?

1 Answer
Aug 17, 2016

Find that this quartic has no rational solutions.

Show how to solve it algebraically regardless...

Explanation:

p(x) = -5x^4+x^3+2x^2-1

By the rational roots theorem, any rational zeros of p(x) are expressible in the form p/q for some integers p, q with p a divisor of the constant term -1 and q a divisor of the coefficient -5 of the leading term.

That means that the only possible rational zeros are:

+-1/5, +-1

None of these work, so p(x) has no rational zeros.

In fact, this is a fairly typical quartic, which is very messy to solve algebraically.

Here's a sketch of how to start...

Tschirnhaus transformation

First transform the quartic into a monic one with no cube term, using a linear substitution:

-32000p(x) = 160000x^4-32000x^3-64000x^2+32000

=(20x-1)^4-166(20x-1)^2-328(20x-1)+31837

=t^4-166t^2-328t+31837

where t=(20x-1)

Factor into quadratics

Since our simplified quartic is monic with no cube term, it will factor as a product of two monic quadratics with opposite middle coefficients:

t^4-166t^2-328t+31837

=(t^2-at+b)(t^2+at+c)

=t^4+(b+c-a^2)t^2+(b-c)at+bc

Equating coefficients and rearranging a little, we get:

{ (b+c = a^2-166), (b - c = -328/a), (bc = 31837) :}

Hence we find:

(a^2-166)^2 = (b+c)^2 = (b-c)^2+4bc = (-328/a)^2 + 4(31837)

Expand the two ends to get:

(a^2)^2-332(a^2)+27556 = 107584/((a^2))+127348

Subtracting the right hand side from the left and multiplying through by a^2, we get:

(a^2)^3-332(a^2)^2-99792(a^2)-107584 = 0

Note that if we can solve this cubic in (a^2) then we can find b and c using:

b = 1/2(a^2-166-328/a)

c = 1/2(a^2-166+328/a)

and hence have two quadratics to solve.

color(white)()
Descriminant

The discriminant Delta of a cubic polynomial in the form ax^3+bx^2+cx+d is given by the formula:

Delta = b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd

In our example, a=1, b=-332, c=-99792 and d=-107584, so we find:

Delta = 1097659450331136+3975091880804352-15747873947648-312506560512-64158470627328 = 4992532480000000

Since Delta > 0 this cubic has 3 Real zeros.

color(white)()
Tschirnhaus transformation

To make the task of solving the cubic simpler, we make the cubic simpler with another Tschirnhaus transformation.

0=27((a^2)^3-332(a^2)^2-99792(a^2)-107584)

=27(a^2)^3-8964(a^2)^2-2694384(a^2)-2904768

=(3(a^2)-332)^3-1228800(3(a^2)-332)-374272000

=s^3-1228800s-374272000

where s=(3(a^2)-332)

color(white)()
Next steps

Since we know that this cubic has only Real zeros, methods like Cardano's method will result in expressions involving irreducible cube roots of Complex numbers. My preference in these cases is to solve using a trigonometric substitution:

s = k cos theta

where k is chosen to squeeze the cubic into a form containing:

4 cos^3 theta - 3 cos theta = cos 3 theta

I will stop here for now, but I think you will agree that such quartics are messy to solve.