Problem

Source: Bundeswettbewerb Mathematik 2017, Round 2 - #2

Tags: combinatorics, combinatorics unsolved, Coloring, Polygons, isosceles



In a convex regular $35$-gon $15$ vertices are colored in red. Are there always three red vertices that make an isosceles triangle?