Find all pairs of integers that satisfy . Use this to prove the inequalities
Irish Mathematical Olympiad
Solution
The 16 solutions of in integers are
These form the vertices of a hexadecagon. Calculating the perimeter of this hexadecagon gives rise to the lower bound for as follows. Let , , , , , etc. and denote the lengths of the line segments by , . The perimeter of the hexadecagon is then equal to (see diagram).
From the coordinates of the we easily obtain , and . This shows that the perimeter of the hexadecagon is equal to
Because the circumcircle of the hexadecagon has radius , we obtain the inequality hence
The upper bound is obtained by observing that the circle with equation lies inside the hexadecagon. Indeed, because , this circle is tangent to but does not intersect the line segments and . Hence, its circumference is bounded above by the perimeter of the hexadecagon. This gives the inequality , hence