USAMO 2017 Problem 5
- Day 2
Let denote the set of all integers. Find all real numbers such that there exists a labeling of the lattice points with positive integers for which:
- only finitely many distinct labels occur, and
- for each label , the distance between any two points labeled is at least .
Proposed by Ricky Liu
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.