existence of circle of minimum radius, lattice points related
Source: Sharygin 2005 XI CR 15
August 19, 2019
geometrylattice pointscircleminimumradius
Problem Statement
Given a circle centered at the origin.
Prove that there is a circle of smaller radius that has no less points with integer coordinates.