Algebra · real student question

Factor x4 + x2 - 2ax + 1 - a2 completely.

Question

Factor completely (with aa a parameter):

x4+x22ax+1a2x^4+x^2-2ax+1-a^2

Step-by-step solution

  1. Look for a square to complete, guided by the end terms. The x4x^4 and the +1+1 suggest the square (x2+1)2=x4+2x2+1\left(x^2+1\right)^2=x^4+2x^2+1. Compare it with what we have: the given expression has only x2x^2, so it is short by x2x^2, and it carries the extra 2axa2-2ax-a^2.

  2. Do the bookkeeping explicitly.

    x4+x22ax+1a2=(x4+2x2+1)x22axa2=(x2+1)2(x2+2ax+a2)x^4+x^2-2ax+1-a^2=\left(x^4+2x^2+1\right)-x^2-2ax-a^2=\left(x^2+1\right)^2-\left(x^2+2ax+a^2\right)

    and the bracket on the right is itself a perfect square, (x+a)2(x+a)^2. So the whole thing is

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

    This is the key step, and it shows the claim that the expression "does not factor nicely for arbitrary aa" is false.

  3. Apply the difference of squares. With A=x2+1A=x^2+1 and B=x+aB=x+a:

    A2B2=(AB)(A+B)=(x2+1xa)(x2+1+x+a)A^2-B^2=(A-B)(A+B)=\left(x^2+1-x-a\right)\left(x^2+1+x+a\right)

  4. Tidy each bracket.

    (x2x+1a)(x2+x+1+a)\left(x^2-x+1-a\right)\left(x^2+x+1+a\right)

    Both factors are quadratics in xx with the parameter sitting only in the constant term.

  5. Verify by expanding. Multiplying out, the x3x^3 terms cancel (x3+x3-x^3+x^3), the x2x^2 terms give x2+x2x2=x2x^2+x^2-x^2=x^2 after the cross terms, the xx terms collapse to 2ax-2ax, and the constants give (1a)(1+a)=1a2(1-a)(1+a)=1-a^2 — reproducing the original exactly. A random numerical check (x=1.5x=1.5, a=0.7a=0.7) gives the same value on both sides.

  6. Sanity-check the special case a=0a=0. The factorization becomes

    (x2x+1)(x2+x+1)=x4+x2+1\left(x^2-x+1\right)\left(x^2+x+1\right)=x^4+x^2+1

    which is the well-known identity — and indeed setting a=0a=0 in the original also gives x4+x2+1x^4+x^2+1 ✓.

Answer

x4+x22ax+1a2=(x2x+1a)(x2+x+1+a)x^4+x^2-2ax+1-a^2=\left(x^2-x+1-a\right)\left(x^2+x+1+a\right)

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