Even So

We received solutions to this problem from Andrei Lazanu from School No. 205 in Bucharest, Romania, from Fiona Watson and Sammy Lane from Stamford High School, from Chong Ching Tong, Chen Wei Jian and Teo Seow Tian from Class Secondary 1B in River Valley High School, in Singapore, and from Aftab Hussain. Well done to you all.

Everybody used the same arguments to arrive at their conclusions; here is what they said:

(2,4,6), (10,12,2) & (2,6,8) are all examples of triples of whole numbers (a,b,c) such that a ² + b ² + c ² is a multiple of 4:

2 ² + 4 ² + 6 ² = 56
10 ² + 12 ² + 2 ² = 248
2 ² + 6 ² + 8 ² = 104

To find out if a, b and c must all be even, let's first consider what happens when all three numbers are even:
If any number is multiplied by 2, it is sure to be even. So?

then?

(2x) ² + (2y) ² + (2z) ² =
4x ² + 4y ² + 4z ² =
4(x ² + y ² + z ² )

which is a multiple of 4.

Next, let's consider taking three odd numbers:
An odd number is 1 more than an even number. So?

then?

(2x + 1) ² + (2y + 1) ² + (2z + 1) ² =
4x ² + 4x + 1 + 4y ² + 4y + 1+ 4z ² + 4z + 1 =
4(x ² + x + y ² + y + z ² + z) + 3
which is 3 more than a multiple of 4.
Therefore we cannot end up with a multiple of 4 if we start with three odd numbers.

Let's now consider taking two even numbers and one odd number:

then?

(2x) ² + (2y) ² + (2z + 1) ² =
4x ² + 4y ² + 4z ² + 4z + 1 =
4(x ² + y ² + z ² + z) + 1
which is 1 more than a multiple of 4.
Therefore we cannot end up with a multiple of 4 if we start with two even numbers and one odd number.

Finally, let's consider taking two odd numbers and an even number:

then?

(2x + 1) ² + (2y + 1) ² + (2z) ² =
4x ² + 4x + 1 + 4y ² + 4y + 1 + 4z ² =
4(x ² + x + y ² + y + z ²) + 2

which is 2 more than a multiple of 4.
Therefore we cannot end up with a multiple of 4 if we start with two odd numbers and one even number.

Therefore it is necessary for all three numbers to be even if the sum of their squares is to be a multiple of 4.