ILL 1974 Problem 10
A regular octagon is given whose incircle has diameter . About is circumscribed a regular -gon, which is also inscribed in , cutting from eight isosceles triangles. To the octagon , three of these triangles are added so that exactly two of them are adjacent and no two of them are opposite to each other. Every -gon so obtained is said to be . Prove the following statement: Given a finite set of points lying in such that every two points of this set have a distance not exceeding , one of the -gons contains all of .
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.