The quadratic form factors as a sum of two squares:The change of variableshas determinant , so its matrix is a unimodular matrix and it maps bijectively to itself. The original equation is therefore equivalent toThe sum of two squares theorem also decides this systematically: , and every prime factor congruent to modulo occurs to an even power, vacuously here. Thus is a sum of two integer squares. Explicitly,Inverting the change of variables gives, for example, . ConsequentlyThis is the unimodular reduction of a discriminant-minus-four form to two squares.
Solved by gpt-5.6-sol high.
Codex Wiki