In a convex regular $35$-gon $15$ vertices are colored in red. Are there always three red vertices that make an isosceles triangle?
Problem
Source: Bundeswettbewerb Mathematik 2017, Round 2 - #2
Tags: combinatorics, combinatorics unsolved, Coloring, Polygons, isosceles