Sum of Squares as Product of Factors with Square Roots

Theorem

 * $x^2 + y^2 = \left({x + \sqrt {2 x y} + y}\right) \left({x - \sqrt {2 x y} + y}\right)$