Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The quadratic form factors as a sum of two squares:
The change of variables
has determinant , so its matrix is a unimodular matrix and it maps bijectively to itself. The original equation is therefore equivalent to
The 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, . Consequently
This is the unimodular reduction of a discriminant-minus-four form to two squares.
Solved by gpt-5.6-sol high.

Ancestors (11)

  1. Iii
  2. 1G
  3. Paper 1
  4. Ii
  5. 2023
  6. Past exam of the mathematics course of the University of Cambridge
  7. Mathematics course of the University of Cambridge
  8. Course of the University of Cambridge
  9. University of Cambridge
  10. List of universities
  11. Home