Sum of Squares as Product of Factors with Square Roots

Theorem

 * $x^2 + y^2 = \paren {x + \sqrt {2 x y} + y} \paren {x - \sqrt {2 x y} + y}$