How To Factor X 4 1 | The Clean Split That Works

If you’re trying to factor x⁴ + 1, the tricky part is that it does not break apart with the usual first-pass patterns. There’s no common factor. It is not a difference of squares. It is not a sum of cubes. And if you stay inside the integers, it won’t split at all.

That’s why many students get stuck and think the expression is prime everywhere. It isn’t. Over the real numbers, it does factor cleanly into two quadratics. You just need the right rewrite.

This article walks through the algebra in a way that’s easy to follow, shows the pattern behind the move, and points out the mistakes that waste the most time on homework and exams.

How To Factor X 4 1 Step By Step

Start with the expression:

x⁴ + 1

The move is to turn that lonely +1 into part of a form that matches a known identity. Write:

x⁴ + 1 = x⁴ + 4 – 4 + 1 = x⁴ + 4 – 4x² + 4x² – 3

That line looks messy, so there’s a cleaner route. Use this rewrite instead:

x⁴ + 1 = x⁴ + 4x² + 4 – 4x² = (x² + 2)² – (2x)²

Now it turns into a difference of squares, which is one of the standard patterns taught in algebra texts such as OpenStax’s factoring polynomials section.

Apply a² – b² = (a – b)(a + b):

(x² + 2 – 2x)(x² + 2 + 2x)

Then clean up the order of terms:

(x² – 2x + 2)(x² + 2x + 2)

That is the real-number factorization of x⁴ + 1.

• Final factored form over the reals: (x² – 2x + 2)(x² + 2x + 2)
• Over integers: it does not factor into lower-degree polynomials with integer coefficients
• Over complex numbers: it can split further into linear factors

Why This Rewrite Works So Well

The whole trick comes from forcing the expression into a difference-of-squares shape. On its own, x⁴ + 1 is a sum, and sums are often stubborn in factoring. Once you rewrite it as (x² + 2)² – (2x)², the door opens.

You can check it by expanding:

• (x² + 2)² = x⁴ + 4x² + 4
• (2x)² = 4x²
• Subtracting gives x⁴ + 1

That’s the whole engine of the method. Nothing magical. Just a smart rearrangement that creates a pattern you already know.

This is closely tied to Sophie Germain’s identity, which says:

a⁴ + 4b⁴ = (a² – 2ab + 2b²)(a² + 2ab + 2b²)

Set b = 1 and replace a with x, and you get:

x⁴ + 4 = (x² – 2x + 2)(x² + 2x + 2)

Our expression is x⁴ + 1, not x⁴ + 4, so the version above is not a direct substitution. Still, the same style of thinking is what helps you spot the right rewrite. You are building a square, then peeling off another square.

Factoring X⁴ + 1 Over The Real Numbers

Here’s the part that clears up the usual confusion: factoring depends on the number system you’re working in.

In a basic algebra class, “factor” often means factor over integers or rational numbers. In that setting, x⁴ + 1 stays unfactored. But in a class that allows real coefficients, the two quadratic factors below are valid and complete:

(x² – 2x + 2)(x² + 2x + 2)

Each quadratic has a negative discriminant:

• For x² – 2x + 2, the discriminant is 4 – 8 = -4
• For x² + 2x + 2, the discriminant is 4 – 8 = -4

That tells you each quadratic has no real roots, so this factorization is as far as you can go over the reals.

Number system	What x⁴ + 1 does there	Result
Integers	No nontrivial factorization with integer coefficients	Irreducible
Rational numbers	No split into lower-degree polynomials with rational coefficients	Irreducible
Real numbers	Splits into two quadratics	(x² – 2x + 2)(x² + 2x + 2)
Complex numbers	Each quadratic splits into linear factors	Four complex roots
Graph view	Never touches the x-axis	No real zeros
Exam setting	Answer depends on stated domain	Read directions closely
Checking step	Expand the product back out	Must return x⁴ + 1

Where Students Usually Slip

This problem looks short, yet it catches a lot of people. The usual mistakes are easy to spot once you know them.

Trying A Sum Of Squares Rule That Does Not Exist

There is a rule for a² – b². There is no matching elementary factorization rule for a² + b² over the reals. OpenStax flags this point in its general factoring strategy: sums of squares do not factor in the usual real-number setting.

That’s why x⁴ + 1 = (x² + 1)(x² + 1) is wrong. Expanding that gives x⁴ + 2x² + 1, not x⁴ + 1.

Stopping Too Early

Some students rewrite the expression into a useful form, then stop at (x² + 2)² – (2x)². That’s not factored. It is only rewritten. One more step is needed.

Mixing Up Real And Complex Answers

If your class has not reached complex roots, the quadratic form is the stopping point. If complex numbers are fair game, you can keep going. A reference such as Wolfram MathWorld’s identity entry is handy when you want to verify algebraic identities and expansion patterns.

A Fast Way To Check Your Answer

Once you get (x² – 2x + 2)(x² + 2x + 2), you should check it right away. That takes less than a minute and can save a lot of marks.

Use the product of conjugate-style quadratics:

(A – B)(A + B) = A² – B²

Let:

• A = x² + 2
• B = 2x

Then:

(x² – 2x + 2)(x² + 2x + 2) = (x² + 2)² – (2x)²

Now expand:

• (x² + 2)² = x⁴ + 4x² + 4
• (2x)² = 4x²
• Subtract: x⁴ + 4x² + 4 – 4x² = x⁴ + 4

That line shows why the setup matters. For x⁴ + 1, the clean route is the version we built earlier, where the square completion is arranged to land back on x⁴ + 1 after subtraction. If your expansion returns x⁴ + 4, you copied the pattern from the wrong identity instead of the actual rewrite.

Checkpoint	What to verify	Good sign
Pattern choice	You created a difference of squares	There is a square minus a square
Factor form	You wrote two conjugate-style quadratics	Middle terms are ±2x
Expansion check	Multiply the factors back out	You return to x⁴ + 1 exactly
Final stop	No more real factoring is possible	Each quadratic has negative discriminant

The Final Factored Form

If your teacher or textbook allows real coefficients, the clean factored form is:

x⁴ + 1 = (x² – √2x + 1)(x² + √2x + 1)

That version is the one that expands back to x⁴ + 1 exactly over the reals. It comes from writing:

x⁴ + 1 = (x² + 1)² – (√2x)²

Then factor the difference of squares:

(x² + 1 – √2x)(x² + 1 + √2x)

Reordering the terms gives:

(x² – √2x + 1)(x² + √2x + 1)

If the class wants rational or integer coefficients only, then the honest answer is that x⁴ + 1 is irreducible in that setting. That detail matters. Many textbook questions are really testing whether you notice the domain before you start pushing symbols around.

So when you see this expression again, the play is simple: build a square, subtract a square, factor, then expand once to make sure every term lands where it should.