olymmath

ILL 1974 Problem 10

    A regular octagon PP is given whose incircle kk has diameter 11 . About kk is circumscribed a regular 1616 -gon, which is also inscribed in PP , cutting from PP eight isosceles triangles. To the octagon PP , 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 1111 -gon so obtained is said to be P′P' . Prove the following statement: Given a finite set MM of points lying in PP such that every two points of this set have a distance not exceeding 11 , one of the 1111 -gons P′P' contains all of MM .

    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.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator ill/1974/p10 · Tag 5XXMXWTC90 · Edit this page on GitHub · Keys: j next, k previous