What's Possible?
Hannah from Munich International School
worked out which numbers between 1 and 20 were
possible:
1: $1^2 - 0^2$ is $1 - 0 = 1$
2: does not work
3: $2^2 - 1^2$ is $4 - 1 = 3$
4: $2^2 - 0^2$ is $4 - 0 = 4$
5: $3^2 - 2^2$ is $9 - 4 = 5$
6: does not work
7: $4^2 - 3^2$ is $16 - 9 = 7$
8: $3^2 - 1^2$ is $9 - 1 = 8$
9: $5^2 - 4^2$ is $25 - 16 = 9$
10: does not work
11: $6^2 - 5^2$ is $36 - 25 = 11$
12: $4^2 - 2^2$ is $16 - 4 = 12$
13: $7^2 - 6^2$ is $49 - 36 = 13$
14: does not work
15: $8^2 - 7^2$ is $64 - 49 = 15$
16: $5^2 - 3^2$ is $25 - 9 = 16$
17: $9^2 - 8^2$ is $81 - 64 = 17$
18: does not work
19: $10^2 - 9^2$ is $100 - 81 = 19$
20: $6^2 - 4^2$ is $36 - 16 = 20$
You can express 16 of the 20 numbers as a difference of two perfect
squares. A pattern occuring throughout these solutions is that all
odd numbers can be represented by a difference of two perfect
squares, as well as all numbers resulting in an integer when
divided by four.
Joshua from St John's School used algebra
to show how odd numbers and multiples of four could be
made:
You can make every odd number by taking consecutive squares.
$(n+1)^2 - n^2 = 2n+1$, every odd number can be written in the form
$2n+1$.
Similarly, you can make every multiple of 4 by taking squares with
a difference of 2.
All other numbers you can't make:
$(n+x)^2 - n^2 = x^2 + 2nx = x(x+2n)$
If $x$ is odd then $x^2$ is also odd and $2nx$ is even. An odd plus
an even is odd.
If $x$ is even then $x^2$ is a multiple of $4$ and $2nx$ is also a
multiple of $4$ so $(n+x)^2 - n^2$ is a multiple of $4$.
Numbers such as 2,6,10 etc can't be made because these are made by
multiplying an even by an odd.
Patrick from Woodbridge School and Richard
from Mearns Castle School both used a formula for the difference of
two squares to investigate which numbers were possible. Here is
Patrick's solution:
$a^2 - b^2= (a + b)(a - b)$
Thus, a number $n$ can only be a difference of two squares if it
has two factors of the form $(a + b)$ and $(a - b)$, where $a + b
\geq \sqrt{n}$ and $a - b \leq \sqrt{n}$.
If $1$ could be written as the difference of squares then $(a + b)
= (a - b) = 1$, as the only factor of $1$ is $1$.
Thus, $a = 1$ and $b = 0$. So $1 = 1^2 - 0^2$.
If $2$ could be written as the difference of two squares then $(a
+ b) = 2$ and $(a - b) = 1$, as $2$ is prime, and clearly $a - b
< a + b$ for positive $b$.
Thus, solving the simultaneous equations, $b = 2 - a$, so $a - (2 -
a) = 1$, $2a = 3$ and $a = \frac{3}{2}$. Thus, $2$ is not
representable as the difference of two integer squares.
This method can be generalised for any prime $p$ by solving $(a +
b) = p$ and $(a - b) = 1$
Adding the equations gives $2a = p + 1$, so $a = \frac{p+1}{2}$.
Since $a - b = 1$, $b = a-1$, so $b = \frac{p+1}{2} - 1 =
\frac{p-1}{2}$. Thus, any odd prime can be written as the
difference of two squares.
Any square number $n$ can also be written as the difference of two
squares, by taking $a = \sqrt{n}$ and $b = 0$.
Generally, a number can be written as the difference of two squares
if it has two factors of the same parity, since if $a + b$ is odd
and $a - b$ is even, when the two equations are added we would get
$2a$ odd, so the solution would not be an integer. So a number
cannot be written as a difference of two squares if and only if it
is equivalent to $2$ mod $4$ (leaves a remainder of $2$ when
divided by $4$).
Richard from Comberton Village College
considered prime factorisation:
An integer $x$ can be written as the difference between two square
integers unless it contains only one $2$ in its prime power
factorisation.
Proof: $x=a^2 - b^2$ can be rewritten in the form
$(a+b)(a-b)$.
Suppose $u$ and $v$ are two factors of $x$ such that $u = a + b$
and $v = a - b$.
Subtracting the two equations, we get $u - v = 2b$.
This tells us that the difference between the two factors will
always be even if the number can be written in this form.
Now, to get an even difference, we either need $u$ and $v$ to be
both odd, or both even. Therefore, any number with either two even
or odd factors can be written in this form.
This leaves numbers which will always have one odd and one even
factor.
If $v$ is an odd factor of $x$, it must have a prime factorisation
of only odd numbers.
Suppose $u$ is an even factor of $x$ and contains more than one $2$
in its prime factorisation.
This means that $u$ could be divided by two and still be even, and
at the same time $v$ could be doubled so that it too is even. This
means that $x$ has a factor pair which are both even, and so can be
written as the difference of two squares.
If both factors are odd an even difference will also be attained,
so if there are no twos in the prime factorisation of $x$, then x
can be written as the difference of two squares.
This leaves the case where there is exactly one $2$ in the prime
factorisation. This means that one factor must contain the $2$ and
not the other, and that the factors cannot be manipulated in the
fashion described before. This will always leave factors with an
odd difference suggesting $x$ cannot be written as the difference
of two squares.
This also gives a very nice algorithm for finding two squares which
have a difference of $x$:
1. Establish how many $2$s are in the prime factorisation of $x$.
If there is only one, x cannot be written as the difference of two
squares.
2. Choose a factor pair which are both even or both odd, call them
$u$ and $v$. Find their difference and divide it by 2 to find the
smaller square. $\frac{u - v}{2}=b$ from before.
3. Square $b$ and add it to $x$. Square root the sum and that is
$a$.
We now have $x = a^2 - b^2$.
For example, $60 = 2 \times 2 \times 3 \times 5$. There is more
than one 2 so it is possible.
The two factors $2 \times 5 = 10$ and $2 \times 3 = 6$ give a
difference of 4. Halve it to get $b = 2$.
$x + b^2 = 60 + 4 = 64$. $\sqrt{64} = 8$, so $a = 8$.
This gives us $60 = 8^2 - 2^2$.
We could also have taken $u = 2 \times 3 \times 5$ and $v = 2$,
which gives a difference of 28. Halve it to get $b=14$.
$x + b^2 = 60 + 196 = 256$.
$\sqrt{256} = 16$ so $a = 16$.
$16^2 - 14^2 = 60$