Sophie Germain identity (source code)

= Sophie Germain identity
{c}

= Sophie Germain’s identity
{c}
{synonym}

The <polynomial> identity $a^4+4b^4=(a^2-2ab+2b^2)(a^2+2ab+2b^2)$ follows by writing the left side as $(a^2+2b^2)^2-(2ab)^2$ and taking a difference of squares.