Problem

Source: Spanish MO 2022 P1

Tags: Spain, combinatorics, combinatorial geometry



The six-pointed star in the figure is regular: all interior angles of the small triangles are equal. Each of the thirteen marked points is assigned a color, green or red. Prove that there are always three points of the same color, which are the vertices of an equilateral triangle.


Attachments: