SCHWEITZER 2015 Problem 1
Let be a closed subset of the closed unit ball in . Suppose there exists a family of chords of the unit sphere , with the following property: for every , there exist , as close to and correspondingly, as we want, such that and is disjoint from . Verify that there exists a set , such that is dense in the unit sphere , and the chords connecting any two points of are disjoint from .
EDIT: The statement fixed. See post #4
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.
Similar problems
These problems have the most words in common with this statement.