Algebra · real student question

Factor the polynomial x^4 + 2x^3 + 3x^2 + 2x + 1 completely.

Question

Factor completely:

x4+2x3+3x2+2x+1x^4 + 2x^3 + 3x^2 + 2x + 1

Step-by-step solution

  1. Notice the palindromic coefficients. Reading 1, 2, 3, 2, 11,\ 2,\ 3,\ 2,\ 1 forwards and backwards gives the same list. A palindromic quartic is often the square of a palindromic quadratic, so try (x2+bx+c)2\left(x^2 + bx + c\right)^2.

  2. Match coefficients. Expanding the trial square:

    (x2+bx+c)2=x4+2bx3+(b2+2c)x2+2bcx+c2\left(x^2 + bx + c\right)^2 = x^4 + 2bx^3 + \left(b^2 + 2c\right)x^2 + 2bc\,x + c^2

    Comparing with the target: 2b=22b = 2 gives b=1b = 1; c2=1c^2 = 1 with the xx coefficient 2bc=22bc = 2 forces c=1c = 1; and the x2x^2 check is b2+2c=1+2=3b^2 + 2c = 1 + 2 = 3. Every coefficient agrees.

  3. Write the factorisation.

    x4+2x3+3x2+2x+1=(x2+x+1)2x^4 + 2x^3 + 3x^2 + 2x + 1 = \left(x^2 + x + 1\right)^2

  4. Show the factorisation is complete over the reals. The inner quadratic has discriminant 14=3<01 - 4 = -3 < 0, so it is irreducible over R\mathbb{R} and never zero. Completing the square, x2+x+1=(x+12)2+3434x^2 + x + 1 = \left(x + \tfrac12\right)^2 + \tfrac34 \ge \tfrac34, so the quartic is bounded below by (34)2=916\left(\tfrac34\right)^2 = \tfrac{9}{16} and has no real roots at all.

  5. Note the complex factorisation. Over C\mathbb{C} the roots of x2+x+1x^2 + x + 1 are the primitive cube roots of unity ω=1±i32\omega = \tfrac{-1 \pm i\sqrt3}{2}, each a double root of the quartic:

    x4+2x3+3x2+2x+1=(xω)2(xωˉ)2x^4 + 2x^3 + 3x^2 + 2x + 1 = \left(x - \omega\right)^2\left(x - \bar\omega\right)^2

  6. Check numerically. At x=2x = 2: the quartic gives 16+16+12+4+1=4916 + 16 + 12 + 4 + 1 = 49, and (4+2+1)2=72=49\left(4 + 2 + 1\right)^2 = 7^2 = 49. At x=1.7x = -1.7 both forms return 4.79614.7961.

Answer

(x2+x+1)2\left(x^2 + x + 1\right)^2

Need to solve a different problem like this? Open the solver →