INMO 2019 Problem 2
Let be a regular pentagon. For ,
let be the pentagon whose vertices are the midpoints of the sides of the pentagon . All the 5 vertices of each of the 11 pentagons are arbitrarily coloured red or blue. Prove that four points among these 55 points have the same colour and form the vertices of a cyclic quadrilateral.
Dataset text NuminaMath olympiads. 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.