13.17 On a grid paper with small squares of size , a circle of radius is drawn with one of the nodes (the intersection points of the grid lines) as the center. Prove that if there are exactly 1988 nodes on the circumference, then either or is an integer.
(14th All-Russian Mathematical Olympiad, 1988)
Problem 1153
Official solution
[Proof] With the center of the circle as the origin, and the coordinate axes parallel to the grid lines, establish a coordinate system on the grid paper. Then all nodes are integer points.
If the point lies on the circumference of the circle, by symmetry, all points of the form and also lie on the circumference of the circle. If and , then there are 8 such points; if or , then there are 4 such points.
Since
Therefore, among the given 1988 points, there must be points satisfying or points satisfying .
If there exists a point satisfying , then by
it follows that is an integer, hence is an integer.
If there exists a point satisfying , then by
it follows that is an integer.