Pair Squares
Problem
The numbers $2$, $34$ and $47$ are such that the sum of any pair of these numbers is a perfect square. Find a method for choosing three square numbers and from them finding a corresponding set of three integers with this property and give some examples.
The integers $-208$, $224$, $352$ and $737$ also have the property that the sum of any pair of these numbers is a perfect square. Find other sets of four integers with this property.
Getting Started
You can choose any square numbers to start with but you'll find that only certain combinations of odd and even numbers will work. You'll need to solve three simultaneous linear equations in three unknowns to find formulae for the three integers in terms of the three square numbers that you started with.
For the second part you'll need a number which can be written as the sum of two squares in at least three different ways. You could use this example:
$1^2 + 132^2 = 28^2 + 129^2 = 36^2 + 127^2 = 55^2 + 120^2 = 63^2 + 116^2 = 80^2 + 105^2 = 17425$
Student Solutions
Solutions are given here for finding sets of three numbers such that the sum of any two of them is a perfect square. Can you generalize the methods to find sets of four numbers with this property?
Hyeyoun Chung from St Paul's Girls' School noticed that if the square numbers chosen are: $x^2$, $(x+1)^2$ and $(x+3)^2$ and the corresponding set of three integers are $a,\ b$ and $c$, with $a< b< c$ and: $$\eqalign{ a + b &= x^2 \cr a + c &= (x + 1)^2 \cr b + c &= (x + 3)^2 }.$$ then these these three equations can be solved to give: $$\eqalign { c &= {x^2 + 8x + 10 \over 2} \cr b &= {x^2 + 4x + 8 \over 2} \cr a &= {x^2 -4x - 8 \over 2} }.$$
Therefore, from a single square number, $x^2$, three integers $a$, $b$ and $c$ can be found with values such that the sum of any pair of these numbers is a perfect square. The only problem with this system is, however, that the square number must be even, otherwise $a$, $b$ and $c$ will not be integers.
Yatir Halevi tackled the problem as follows:
We are given 3 square numbers: $a^2,\ b^{2}$ and $c^{2}$, and we have to find a general formula for finding 3 integers that are 'Pair Squares' such that the sum of any pair is a square number, that is: $x+y=a^2$, $y+z=b^2$ and $x+z=c^2$.
Solving for $x,\ y$ and $z$ we get:
$$\eqalign{ a^2-b^2 &= x-z \cr c^2 &= x+z \cr 2x &= a^2 + c^2 - b^2 \cr x &= (a^2- b^2 + c^2)/2}$$
By the same methods we get: $$\eqalign{ y &=(a^2+b^2-c^2)/2 \cr z &=(-a^2+b^2+c^2)/2.}$$
In order for $x,\ y$ and $z$ to be integers; either $a,\ b$ and $c$ are all even or two are odd and the other is even because if an integer $n$ is even or odd so is its square. This is proved as follows: if $n$ is odd then it can be written $n=2m+1$, so $n^2=(2m+1)^2=4m^2+4m+1=2(2m^2+2m)+1=2q+1$ which is odd. If $n$ is even then $n=2m$, so $n^2=(2m)^2=4m^2=2(m^2)$ which is even.
For the first case we can generate Pair Squares by choosing any three even squares, for example 4, 16 and 36 and the formula gives:
$$\eqalign { x &= (4 -16 + 36)/2 = 12 \cr y&= (4 + 16 -36)/2 = -8 \cr z&= -4 +16 +36)/2 = 24. }$$ This is a set of pair squares because $12-8=4$, $-8+24=16$ and $24+12=36$.
For the second case we can generate Pair Squares by choosing any two odd squares together with one even square, for example 9, 1 and 4 and the formula gives: $$\eqalign { x &= (9 - 1 + 4)/2 = 6 \cr y&= (9 + 1 - 4)/2 = 3 \cr z&= -9 +1 + 4)/2 = -2. }$$
Checking that this is a set of pair squares we have $6+3=9,\ 3-2=1,\ 6-2=4$.
As for four integers that are pair squares: take an even square $a^2$ and halve it and you have $b=a^2/2$ giving $\{b,\ b,\ b,\ b\}$ for example $\{8, 8, 8, 8\}$ or $\{8,8,8,17\}$.
Saul Foresta used a similar method and gave the following example: $x=54$, $y=10$ and $z=90$