Overview

Many olympiad problems involve expressions that appear impossible to factor at first glance. One particularly important example is an expression of the form

Although this does not resemble any standard factorisation, it can be factored using the Sophie Germain Identity.

This identity appears frequently in olympiad algebra, number theory, and Diophantine equations. Recognising it can turn a difficult looking quartic expression into a far more simple factorisation.

Motivation

Consider the expression

Initially it is not obvious how to factor it.

It is not a difference of squares, not a sum or difference of cubes, and common factorisation techniques do not seem to apply.

However, if we rewrite the constant term as

then the expression becomes

which is of the form

This suggests that a special factorisation may exist.

The Identity

For all real numbers $a$ and $b$,

This factorisation is named after the French mathematician Sophie Germain.

Proof

The identity looks unusual at first, but it follows naturally from the difference of squares.

Start with

Add and subtract $4a^2b^2$:

The first three terms form a perfect square:

Now apply the difference of squares formula:

This gives

which can be rearranged as

This proves the identity.

Recognising the Pattern

The most important skill is recognising when the identity can be applied.

Look for expressions that resemble

Common examples include:

In each case, try to rewrite the expression in the form

Once you see the pattern, the factorisation becomes easier.

Worked Examples

Example 1

Factor $x^4 + 4$.

Rewrite as

Applying Sophie Germain with $a=x$ and $b=1$ gives

Example 2

Factor $81n^4 + 64$.

Observe that

and

Therefore

Applying the identity with $a = 3n$ and $b = 2$:

Example 3

Factor $4x^4 + y^4$.

Rewrite as

which is in the form $a^4 + 4b^4$ with $a = y$ and $b = x$.

Applying the identity:

Applications

The Sophie Germain Identity is also useful in other cases beyond simple factorisation.

Divisibility Problems

Factoring a quartic expression often contains less obvious divisibility properties.

For example,

Any divisor of either factor is automatically a divisor of the original expression.

Diophantine Equations

Many olympiad problems involving integer solutions can be simplified by factoring quartic expressions.

Instead of solving

directly, it is often easier to look at

This converts the problem into one involving products of integers.

Number Theory

The identity played an important role in Sophie Germain's work on Fermat's Last Theorem and remains a useful tool in modern olympiad number theory.

Key Contest Insight

When you see

or something that can be rewritten into that form, your first instinct should be to try Sophie Germain.

Many contest problems are designed so that recognising the identity is the main difficulty. Once the factorisation is found, the remainder of the problem is often straightforward.

Strategy Tips

• Always look for hidden fourth powers.
• Rewrite constants whenever possible.
• Try adding and subtracting terms to create a difference of squares.
• Check whether a quartic expression resembles $a^4+4b^4$.
• In number theory problems, factor first before attempting modular arithmetic or considering cases.

Common Pitfalls

• Forgetting the coefficient $4$ in the identity.
• Applying the identity to expressions that are not of the form $a^4+4b^4$.
• Expanding incorrectly after substitution.
• Missing opportunities to rewrite constants as fourth powers.

Practice Problems