MathDB
Triangles, Octagons, 11-gons and 16-gons [ILL 1974]

Source:

January 2, 2011
geometrycombinatorics proposedcombinatorics

Problem Statement

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 PP'. 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 PP' contains all of MM.