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:
[list]
[*] only finitely many distinct labels occur, and
[*] for each label , the distance between any two points labeled is at least .
[/list]
[i]
Solution
To solve this problem, we need to determine all real numbers such that there exists a labeling of the lattice points with positive integers while satisfying the given conditions:
- Only finitely many distinct labels occur.
- For each label , the distance between any two points labeled is at least .
Given the reference answer, we are looking for such that . Let's see why this holds:
1. Understanding Distances in the Lattice:
Consider the Euclidean distance between two lattice points and in . This distance is given by:
2. Labeling with Condition on Distances:
For a fixed label , the distance between any two points with this label must be . We need infinitely many points since the lattice is infinite, but only finitely many distinct labels. Thus, the labeling for each label inherently restricts possible distances between pairs of points.
3. **Bounding :**
- If , consider any two adjacent lattice points, say and or . For sufficiently large , will exceed any possible finite maximum distance between these pairs using distinct labels, contradicting the need for only finitely many labels.
- If , then for any integer , can be smaller than the shortest distance between two adjacent lattice points. Therefore, it becomes possible to find suitable points and repeatedly assign the same labels within these constraints.
4. Conclusion:
The condition ensures that the labeling can satisfy both criteria provided: controlling the finite number of labels and maintaining the required distances between points with the same label.
Thus, the values of that satisfy the problem's conditions are indeed:
This completes the correctness validation of the initial reference answer by logically confirming the constraints outlined in the labeling problem.