MathDB
concyclic, cuts of reg. hexagon All-Russian MO 1995 Regional (R4) 9.7

Source:

August 26, 2024
geometryConcyclichexagon

Problem Statement

A regular hexagon of side 55 is cut into unit equilateral triangles by lines parallel to the sides of the hexagon. We call the vertices of these triangles knots. If more than half of all knots are marked, show that there exist five marked knots that lie on a circle.