この式は、Sophie Germainの恒等式を利用して因数分解できます。
まず、与えられた式に 4x2y2 を足して引きます。これにより、 x4+4y4=x4+4x2y2+4y4−4x2y2 と変形できます。
x4+4x2y2+4y4 は (x2+2y2)2 となります。 したがって、
x4+4y4=(x2+2y2)2−(2xy)2 となります。
これは二乗の差の形なので、
(x2+2y2)2−(2xy)2=(x2+2y2+2xy)(x2+2y2−2xy) と因数分解できます。
通常、項の順番を入れ替えて整理します。
x4+4y4=(x2+2xy+2y2)(x2−2xy+2y2)