Maths Olympiad Prep

Library / /12 of 27

Number theory Difficulty 5.5 AIME, harder Prove it Croatia

A Gaussian integer is a complex number whose real and imaginary parts are both integers. Determine the largest positive integer nn for which there is a set of nn Gaussian integers such that the squares of their absolute values are consecutive positive integers. (Matko Ljulj)

Solution

If a complex number z=x+yiz = x + yi is Gaussian integer, then z2=x2+y2|z|^2 = x^2 + y^2 is the sum of two squares of integers.
The square of an even integer is divisible by 4, while the square of an odd integer gives remainder 1 when divided by 4. Therefore, the sum of squares of two integers can give remainder 0, 1 or 2 when divided by 4.
If nn is greater than 3, then among any four consecutive positive integers in the sequence
z12,z22,,zn2 |z_1|^2, |z_2|^2, \dots, |z_n|^2
there would be a number giving the remainder 3 when divided by 4, which is impossible. Hence, nn is less than or equal to 3.
Notice that 2+2i2 + 2i, 33 and 3+i3 + i are Gaussian integers whose absolute values squared are 88, 99 and 1010, respectively. Therefore, the answer for nn is 33.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.