Lattice points within the n x n first quadrant [ILL 1977]
Source:
January 11, 2011
analytic geometrycombinatorics proposedcombinatorics
Problem Statement
Let be an integer greater than . In the Cartesian coordinate system we consider all squares with integer vertices such that . Denote by the number of pairs of points that are vertices of exactly such squares. Prove that .