# A combinatorial approach to sums of two squares and related problems

• Published in 2002
In the collections
Heath-Brown  suggested a short proof of the two squares theorem, thereby simplifying ideas of Liouville. Zagier  suggested a particularly neat form of this, a "One sentence proof". It consists of two suitable involutions on the finite set of the solutions of p = x 2 +4yz in positive integers. A parity argument ensures the existence of a solution with y = z. The proof can be stated in one sentence since elementary calculations (namely to check that the mappings are well defined and are indeed involutory) can be left to the reader. The proof remained somewhat mysterious, since it is not obvious, where these mappings come from. In this paper we reveal this mystery and systematically explore similar proofs that can be given for related problems. We show that the very same method proves results on p = x 2 +2y 2 (see also Jackson ), p = x 2 2y 2 , p = 3x 2 + 4y 2 , and p = 3x 2 4y 2 .

## Other information

key
Elsholtz2002
type
misc
2010-07-16
date_published
2002-09-14

### BibTeX entry

@misc{Elsholtz2002,
key = {Elsholtz2002},
type = {misc},
title = {A combinatorial approach to sums of two squares and related problems},
author = {Elsholtz, Christian},
abstract = {Heath-Brown  suggested a short proof of the two squares theorem, thereby simplifying ideas of Liouville. Zagier  suggested a particularly neat form of this, a "One sentence proof". It consists of two suitable involutions on the finite set of the solutions of p = x 2 +4yz in positive integers. A parity argument ensures the existence of a solution with y = z. The proof can be stated in one sentence since elementary calculations (namely to check that the mappings are well defined and are indeed involutory) can be left to the reader. The proof remained somewhat mysterious, since it is not obvious, where these mappings come from. In this paper we reveal this mystery and systematically explore similar proofs that can be given for related problems. We show that the very same method proves results on p = x 2 +2y 2 (see also Jackson ), p = x 2 2y 2 , p = 3x 2 + 4y 2 , and p = 3x 2 4y 2 .},
comment = {},
}