Sophie Germain's identity

This article is about a polynomial identity attributed to Sophie Germain. For the pseudonymous identity used by Germain, see Antoine-Auguste Le Blanc.

In mathematics, Sophie Germain's identity is a polynomial factorization named after Sophie Germain stating that

$${\begin{aligned}x^{4}+4y^{4}&={\bigl (}(x+y)^{2}+y^{2}{\bigr )}{\bigl (}(x-y)^{2}+y^{2}{\bigr )}\\&=(x^{2}+2xy+2y^{2})(x^{2}-2xy+2y^{2}).\end{aligned}}$$

Beyond its use in elementary algebra, it can also be used in number theory to factorize integers of the special form $x^{4}+4y^{4}$, and it frequently forms the basis of problems in mathematics competitions.

History

Although the identity has been attributed to Sophie Germain, it does not appear in her works. Instead, in her works one can find the related identity

$${\begin{aligned}x^{4}+y^{4}&=(x^{2}-y^{2})^{2}+2(xy)^{2}\\&=(x^{2}+y^{2})^{2}-2(xy)^{2}.\\\end{aligned}}$$

Modifying this equation by multiplying $y$ by ${\sqrt {2}}$ gives

$$x^{4}+4y^{4}=(x^{2}+2y^{2})^{2}-4(xy)^{2},$$

a difference of two squares, from which Germain's identity follows. The inaccurate attribution of this identity to Germain was made by Leonard Eugene Dickson in his History of the Theory of Numbers, which also stated (equally inaccurately) that it could be found in a letter from Leonhard Euler to Christian Goldbach.

Applications

One consequence of Germain's identity is that the numbers of the form

$$n^{4}+4^{n}$$

cannot be prime for $n>1$. They are obviously not prime if $n$ is even, and if $n$ is odd they have a factorization given by the identity with $x=n$ and $y=2^{(n-1)/2}$.

Generalization

Germain's identity has been generalized to the functional equation

$$f(x)^{2}+4f(y)^{2}={\bigl (}f(x+y)+f(y){\bigr )}{\bigl (}f(x-y)+f(y){\bigr )},$$

which by Sophie Germain's identity is satisfied by the square function.

See also

• Aurifeuillean factorization