ISL 2020 G9
Prove that there exists a positive constant such that the following statement is true: Assume that is an integer with , and let be a set of points in the plane such that the distance between any two distinct points in is at least 1 . Then there is a line separating such that the distance from any point of to is at least . (A line separates a point set if some segment joining two points in crosses .)
Dataset text NuminaMath olympiads. 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.