Sophie Germain's Identity

In mathematics, Sophie Germain's identity is a polynomial factorization named after Sophie Germain stating that
$\begin x^4 + 4y^4 &= \bigl((x + y)^2 + y^2\bigr)\cdot\bigl((x - y)^2 + y^2\bigr)\\ &= (x^2 + 2xy + 2y^2)\cdot(x^2 - 2xy + 2y^2). \end$
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 x^4+y^4 &= (x^2-y^2)^2+2(xy)^2\\ &= (x^2+y^2)^2-2(xy)^2.\\ \end$
Modifying this equation by multiplying $y$ by $\sqrt2$ 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.

The identity can be proven simply by multiplying the two terms of the factorization together, and verifying that their product equals the right hand side of the equality. A proof without words is also possible based on multiple applications of the Pythagorean theorem.

Applications to integer factorization

One consequence of Germain's identity is that the numbers of the form
$n^4+4^n$
cannot be prime for $n>1$. (For $n=1$, the result is the prime number 5.) 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^$. These numbers (starting with $n=0$) form the integer sequence

Many of the appearances of Sophie Germain's identity in mathematics competitions come from this corollary of it.

Another special case of the identity with $x=1$ and $y=2^k$
can be used to produce the factorization
$\begin \Phi_4(2^)&=2^+1\\ &=(2^-2^+1)\cdot (2^+2^+1),\\ \end$
where $\Phi_4(x)=x^2+1$ is the fourth cyclotomic polynomial. As with the cyclotomic polynomials more generally, $\Phi_4$ is an irreducible polynomial, so this factorization of infinitely many of its values cannot be extended to a factorization of $\Phi_4$ as a polynomial, making this an example of an aurifeuillean factorization.

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.

References

{{reflist, refs=

{{citation, title=CC79: Show that if $n$ is an integer greater than 1, then $n^4 + 4$ is not prime, page=239, department=The contest corner, journal=Crux Mathematicorum, volume=40, issue=6, url=https://smc.math.ca/wp-content/uploads/crux-pdfs/CRUXv40n6.pdf, date=June 2014; originally from 1979 APICS Math Competition

{{citation, title=Sophie Germain's identity, work=Cut-the-Knot, first=Alexander, last=Bogomolny, author-link=Alexander Bogomolny, access-date=2023-06-19, url=https://www.cut-the-knot.org/blue/SophieGermainIdentity.shtml

{{citation, first=Leonard Eugene, last=Dickson, author-link=Leonard Eugene Dickson, title=History of the Theory of Numbers, Volume I: Divisibility and Primality, title-link=History of the Theory of Numbers, publisher=Carnegie Institute of Washington, year=1919, pag
382
}

{{citation
, last = Engel , first = Arthur
, doi = 10.1007/b97682
, isbn = 0-387-98219-1
, location = New York
, mr = 1485512
, page = 121
, publisher = Springer-Verlag
, series = Problem Books in Mathematics
, title = Problem-Solving Strategies
, url = https://books.google.com/books?id=IJLzBwAAQBAJ&pg=PA121
, year = 1998

{{citation
, last1 = Granville , first1 = Andrew
, last2 = Pleasants , first2 = Peter
, doi = 10.1090/S0025-5718-05-01766-7
, issue = 253
, journal = Mathematics of Computation
, mr = 2176412
, pages = 497–508
, title = Aurifeuillian factorization
, volume = 75
, year = 2006, doi-access = free

{{citation
, last1 = Łukasik , first1 = Radosław
, last2 = Sikorska , first2 = Justyna
, last3 = Szostok , first3 = Tomasz
, doi = 10.1007/s00025-018-0820-y
, issue = 2
, journal = Results in Mathematics
, mr = 3783549
, at = Paper No. 60
, title = On an equation of Sophie Germain
, volume = 73
, year = 2018, s2cid = 253591505
, doi-access = free

{{citation
, last1 = Moreno , first1 = Samuel G.
, last2 = García-Caballero , first2 = Esther M.
, doi = 10.1080/07468342.2019.1603533
, issue = 3
, journal = The College Mathematics Journal
, mr = 3955328
, page = 197
, title = Proof without words: Sophie Germain's identity
, volume = 50
, year = 2019, s2cid = 191131755

{{citation, url=https://www.theoremoftheday.org/Binomial/GermainId/TotDGermainIdentity.pdf, title=Sophie Germain's identity, work=Theorem of the day, first=Robin, last=Whitty

Algebraic identities
Factorization