9

I want to know other ways of factorization to get quadratic factors in this polynomial:

$$x^4+2x^3+3x^2+2x-3$$

Thanks in advance for your suggestions.

The original polynomial is $$x^6-2x^3-4x^2+8x-3$$ where the two found factors are $(x+1)$ and $(x-1)$ by synthetic division.

Isai
  • 361
  • 6
    What do you mean by "other ways"? Which ones don't you want us to tell you about? – YukiJ Jan 03 '17 at 16:55
  • The real polynomial is of 6th order; so I considered the shown factor irreductible, but the answer has two quadratic factors, and none method comes to my head. Any method that I can apply? – Isai Jan 03 '17 at 16:55
  • For degree 4 polynomials there is a formula to find the roots. See, for example, https://en.wikipedia.org/wiki/Quartic_function#General_formula_for_roots – YukiJ Jan 03 '17 at 16:57
  • 1
    The factorization is $$(x^2+x-1)(x^2+x+3)$$ but I didn't find it by hand – Peter Jan 03 '17 at 16:58
  • @YukiJ I don't want to know its roots, but its factors as Peter wrote. Any suggestions to do it by hand? – Isai Jan 03 '17 at 17:12
  • 1
    @YukiJ "Other ways" out of: identifying sums and differences of cubes and perfect squares or synthetic division. – Isai Jan 03 '17 at 17:15
  • 1
    If you know the roots, then you can also factorize it. – YukiJ Jan 03 '17 at 17:16
  • @YukiJ Is it possible? Because I understand the roots for binomial factors. – Isai Jan 03 '17 at 17:21
  • @YukiJ In general, it is very hard to calculate the roots of a quartic exactly. I am not sure, if it is easy to see that the expression can be simplified to a number being a root of a quadratic equation. The usual way is to find the factorization first and then searching for roots – Peter Jan 03 '17 at 17:34
  • @Isai Kroneckers method requires some effort, but finds always a nontrivial factor (if existent) – Peter Jan 03 '17 at 17:35
  • 2
    A quartic is never irreducible over real polynomials. It always has at least one factorization into two quadratic factors. Finding those factors is the tricky part. – David K Jan 03 '17 at 19:22
  • You should have written in your question the original sixth-degree polynomial. It is possible that the original problem was easier to solve than this subproblem. – Federico Poloni Jan 03 '17 at 21:11
  • @FedericoPoloni I've written a P.D. Thanks. – Isai Jan 03 '17 at 21:28
  • @Isai Indeed, I find much easier to see the "difference of squares" trick in the original polynomial: $x^6-2x^3-4x^2+8x-3 = (x^3-1)^2 - (2x-2)^2 = (x^3-1+2x-2)(x^3-1-2x+2)$. – Federico Poloni Jan 04 '17 at 09:51

5 Answers5

38

Note that $$(x^2 + x + 1)^2 = x^4 + 2x^3 + 3x^2 + 2x + 1$$which means that your polynomial is equal to $$ (x^2 + x + 1)^2 - 4 \\ = (x^2 + x + 1)^2 - 2^2\\ = (x^2 + x + 1 - 2)(x^2 + x + 1 + 2) $$

Arthur
  • 199,419
24

One may try to use the rational root theorem. But that is not possible in this case because there is no rational root.

Another thing we can try (if we don't "see" anything) is write

$$(x^2+ax+b)(x^2+cx+d)\equiv x^4+2x^3+3x^2+2x-3$$

$$x^4+(a+c)x^3+(d+ac+b)x^2+(ad+bc)x+bd\equiv x^4+2x^3+3x^2+2x-3$$

and then solve:

\begin{cases} a+c=2\\ d+ac+b=3\\ ad+bc=2\\ bd=-3 \end{cases}

EDIT:

Once this answer is getting attention I will explain more.

Like already said, that is one approach when we don't have any good idea about how to proceed. Solve the system depends how it looks and each system is a new system. However that idea works for many cases that we usually face with.

The first idea to solve the system is look for integer solutions. On that way, the best equation to start is $bd=-3$. That give us the possibilities $(b,d)=\{(-1,3),(1,-3),(-3,1),(3,-1)\}$. Now we plug those possibilities in the system and check if we find $a$ and $c$ that solve it. After do that we see that the solutions are $(a,b,c,d)=\{(1,-1,1,3),(1,3,1,-1)\}$. But both give us the same factorization.

Arnaldo
  • 21,342
  • 1
    Simple and brilliant solution. – Isai Jan 03 '17 at 20:45
  • 1
    This is the best solution, since it is the most general method. It should be the accepted one. Keep in mind that solving the set of equations will take some time if done by hand. – FundThmCalculus Jan 03 '17 at 21:44
  • 1
    @FundThmCalculus: Fure sure it cans take a while, but fortunately in many cases is enough to search for integer solutions. It makes the system much easier. – Arnaldo Jan 04 '17 at 00:14
  • 1
    I rather disagree that this is a reasonable solution. Try solving the equations and you will find you end up with a quartic. So in general you've not helped yourself one bit. – DRF Jan 04 '17 at 12:09
  • 1
    @DRF: I totally disagree. I have used this method a bunch of times and it works. Just see my comment above. – Arnaldo Jan 04 '17 at 12:13
  • @ArnaldoNascimento: Presumably from your earlier comment you are meaning that it works well for integer solutions (and I can see how that could be) but does it work at all if you have non-integer solutions? I can't see how you can easily solve those equations for the general case. Perhaps actually solve the solution in your answer as a demonstration? It is quite plausible you may be using tricks I haven't thought of... – Chris Jan 04 '17 at 12:15
  • 1
    @Chris: Of course that is not a general method. BTW, I don't know if exist any method that works for any case (that is a whole field of research). What I'm saying is that it works in many cases that we usually face with. It also works for this especific case. How to solve those equations depends how they look and each system is a new system. – Arnaldo Jan 04 '17 at 12:22
  • @ArnaldoNascimento: Ah, I got stuff confused in my brain. Somebody said in comments that it was a general solution which I had misattributed to you. – Chris Jan 04 '17 at 12:31
  • @ArnaldoNascimento Yes in case you get lucky and the polynomials are nice and so you can try and solve for integers only (which still is mostly guesswork) then it can be useful. But show me how this helps you factor x^4+2x^3+3x^2+4x+4. – DRF Jan 04 '17 at 12:39
  • @DRF: I think you didn't get my point. I already light it up. If you know some general method to solve that kind of problem please let me know. – Arnaldo Jan 04 '17 at 12:50
  • @ArnaldoNascimento A whole field of research? It's well known that there exist general solutions up to quartics and it's provable there doesn't exist one (in terms of arithmetic operations and radicals) for quintics (degree 5 polynomials) and above. For more information see the wiki page on plynomials. – DRF Jan 04 '17 at 12:51
  • @ArnaldoNascimento I think my issue is that the answer doesn't point out anything about trying to find integer solutions or guessing or anything else making it seem (especially to laymen) as though that solves the issue. It doesn't. You also don't explain at all how you would go about solving those equations assuming a,b,c,d are integers. – DRF Jan 04 '17 at 12:55
5

Rational Root Theorem Solution

We can reduce the problem to a straightforward Rational Root Theorem problem as follows. We start with reducing the polynomial modulo $x^2 - p x - q$ where $p$ and $q$ are undetermined integers that we want to choose such that this yields zero. This amounts to putting $x^2 = p x + q$ and higher powers are reduced by multiplying this rule by $x$ and then applying this reduction rule again. So, the polynomial becomes a linear function by applying the substitutions:

$$\begin{split} x^2 &= p x + q\\ x^3 &= p x^2 + q x&= (p^2 + q)x + pq\\ x^4 &= p x^3 + q x^2 &= p(p^2+2q)x+q(p^2+q) \end{split}$$

The polynomial reduced modulo $x^2 - p x - q$ then becomes:

$$\left(p^3 + 2 pq + 2 p^2 +2 q+3p + 2\right)x +p^2 q + q^2 + 2 pq + 2 q-3\tag{1}$$

We need to find integers $p$ and $q$ such that the above function is identical zero. We can simplify things by using that the function is then also zero for special values for $x$, allowing us to choose a value for $x$ that simplifies things a lot. Choosing $x = -\frac{q}{p}$ eliminates the $p^3$ term and a few more terms, setting what remains equal to zero yields a linear equation for $p$ in terms of $q$. Expressing $p$ in terms of $q$ yields:

$$p = -\frac{2q(q+1)}{q^2+q+3}\tag{2}$$

We can then substitute this in the constant term of eq. (1), setting the resulting expression equal to zero yields the equation:

$$q^6 + 3 q^5 + 7 q^4 + 10 q^3 - 21 q^2 + 27 q - 27 = 0\tag{3}$$

Here we have set the numerator of the resulting rational function equal to zero. Now we know that $q$ must be an integer, therefore the Rational Root Theorem is guaranteed to succeed and inserting any solution for $q$ (for which denominator is not zero) in eq. (2) will always yield a $p$ such that $x^2 - p x - q$ is a factor of the polynomial. It can be easily shown that this method works for general fourth degree polynomials.

Note also that applying the rational root theorem to find integer solution can be made very efficient by shifting the variable. If the value of a polynomial for some value $u$ is not zero, then this is the value of the constant term of the polynomial obtained by translating the variable by $u$. So, by factoring the value you just obtained you obtain the root candidates of that translated polynomial, adding $u$ to those values yields the root candidates of the original polynomial. The root candidates must then be on the intersection of the original list and the new list. By repeating this method, the list of root candidates will shrink rapidly. This is why I find the Rational Root Theorem such a powerful tool and that's why at least in my opinion it's worthwhile to reduce problems to Rational Root Theorem problems.

Count Iblis
  • 10,366
3

A general quartic polynomial $ax^4+bx^3+cx^2+dx+e$ can be reduced to the "depressed" form

$$x^4+px^2+qx+r$$ by dividing by $a$ and translating the unknown by $\dfrac b{4a}$.

Now we try the factorization in two quadratic binomials such that the cubic term is missing,

$$(x^2+ux+v)(x^2-ux+w)=x^4+(-u^2+w+v)x^2+u(w-v)x+wv.$$

By identification of the coefficients we obtain

$$\begin{cases}w+v=p+u^2,\\u(w-v)=q\end{cases}$$ and we eliminate $v,w$ with

$$u^2(w+v)^2-u^2(w-v)^2=4wvu^2,$$ i.e.

$$u^2(p+u^2)^2-q^2=4ru^2$$ which is cubic in $u^2$. As the cubic coefficient is positive and the value at $u^2=0$ is negative, there is certainly a positive solution, which we can find by means of the Tartaglia formula.

1

Splitting up the x^2 term works well for factorising quartic but one has to be smart in grouping terms In this , write 3x^2 as x^2 + 2x^2 and group terms as = x^2(x^2+2x+1) +2x^2+2x-3 =[x(x+1)]^2 +2x(x+1) -3

= [x(x+1) +3][x(x+1)-1]

chan
  • 11
  • 1
    Please, use MathJax (i.e. LaTeX commands) for mathematical notations. – Taroccoesbrocco May 12 '18 at 08:38
  • In this particular problem, the suppressed quartic equation reduces to a bi-quadratic equation having no "u" term. It has only u^4 , u^2 and constant term. We can easily solve this equation by quadratic formula and and translate it back to the original variable. The equation has two conjugate irrational and two conjugate complex roots. – K.Subramanian Jun 08 '21 at 16:00