How can you tell whether a polynomial is factorable and find whatever factors it has?

2 Answers
Jan 27, 2017

Some thoughts...

Explanation:

First let's talk about what is meant by "factorable / not factorable".

If you are given a polynomial with integer coefficients then it may be factorable as a product of simpler polynomials also with integer coefficients.

For example:

#x^2-3x+2 = (x-1)(x-2)#

I think we would agree that that counts as factorable.

The next level of complexity would be irrational coefficients, for example:

#x^2-2x-2 = (x-1-sqrt(3))(x-1+sqrt(3))#

We could say that #x^2-2x-2# is not factorable over the rational numbers. That is it has no factors whose coefficients are rational numbers. However it is factorable if you allow irrational coefficients.

The next level would be Complex coefficients. For example:

#x^2-2x+2 = (x-1-i)(x-1+i)#

The quadratic #x^2-2x+2# is not factorable over the reals. That is, it has no simpler factors with Real coefficients - only Complex coefficients.

We can tell whether a quadratic #ax^2+bx+c# with Real coefficients is factorable over the reals by examining its discriminant:

#Delta = b^2-4ac#

  • If #Delta > 0# then #ax^2+bx+c# has two distinct Real zeros and is factorable over the Reals. In addition, if #Delta# is a perfect square (and #a, b, c# are rational) then it can be factored over the rationals.

  • If #Delta = 0# then #ax^2+bx+c# is a perfect square trinomial, expressible as #(sqrt(a)x+sqrt(c))^2# or as #(sqrt(a)x-sqrt(c))^2#.

  • If #Delta < 0# then #ax^2+bx+c# has two distinct Complex zeros and is not factorable over the reals. It is factorable if you allow Complex coefficients.

You will probably get used to seeing #x^2+2# or similar and recognising that it is not factorable over the reals, but you might then be surprised to find:

#x^4+4 = (x^2-2x+2)(x^2+2x+2)#

In theory any polynomial in one variable with real coefficients is factorable as a product of linear and quadratic factors with real coefficients. In practice, those coefficients are not necessarily expressible in terms of #n#th roots. It is also always (in theory) expressible as a product of linear factors with Complex coefficients.

An example of a polynomial whose factors are not expressible in terms of #n#th roots is:

#x^5+4x+2#

Jan 27, 2017

Some more thoughts...

Explanation:

Descartes' Rule of Signs

Given any polynomial in one variable with Real coefficients:

#f(x) = a_nx^n+a_(n-1)x^(n-1)+...+a_1x+a_0#

Look at the pattern of the signs of the coefficients and write it as a sequence of pluses and minuses.

For example, given:

#f(x) = x^3-21x-90#

we would write:

#+ - -#

Then count the number of changes of sign. In our example, there's one change of sign.

This count tells us the possible number of positive Real zeros, and if the polynomial has fewer positive zeros then it is less by a multiple of #2#. In our example, there has to be exactly #1# positive zero.

Further, by examining the signs of the coefficients of #f(-x)# we can deduce the possible number of negative Real zeros.

In our example:

#f(-x) = -x^3+21x-90#

which has coefficients with signs #- + -#.

With #2# changes of sign, that means that #f(x)# has #2# or #0# negative Real zeros.

#color(white)()#
Rational roots theorem

Given any polynomial in one variable with integer coefficients:

#f(x) = a_nx^n+a_(n-1)x^(n-1)+...+a_1x+a_0#

the rational roots theorem tells us that any rational zeros of #f(x)# are expressible in the form #p/q# for integers #p, q# with #p# a divisor of the constant term #a_0# and #q# a divisor of the coefficient #a_n# of the leading term.

Any such rational zero #x=p/q# corresponds to a linear factor #(qx-p)# of #f(x)# with integer coefficients.

If you can find such a factor, then you can divide your starting polynomial by it to get a simpler polynomial to factor.

For example, given:

#f(x) = x^3-21x-90#

By the rational roots theorem, any rational zeros of #f(x)# are expressible in the form #p/q# where #p# is a divisor of #90# and #q# a divisor of #1#.

So the only possible rational zeros are:

#+-1, +-2, +-3, +-5, +-6, +-9, +-10, +-15, +-18, +-30, +-45, +-90#

We know from Descartes' Rule of Signs that this #f(x)# has a positive Real zero, so try the positive values first.

We find:

#f(6) = 6^3-21*6-90 = 216 - 126 - 90 = 0#

So #(x-6)# is a factor:

#x^3-21x-90 = (x-6)(x^2+6x+15)#

Then examining the discriminant of the remaining quadratic factor, we can observe that it is negative, so has no Real zeros and no further linear factors with Real coefficients.