Let be a positive integer less than . Exactly vertices of a regular -gon are red, while the remaining ones are blue. Prove that the number of isosceles triangles having all three vertices of the same colour does not depend on the arrangement of the blue and the red vertices. (Russia 1994)
Solution
First, notice that none of the triangles formed by taking three vertices of the given polygon is equilateral. If there were one, we would have the same number of vertices of the original polygon between any two of the triangle's vertices. This would imply that divides , which is false.
Let us now prove that each segment (whose endpoints are vertices of the given polygon) belongs to exactly different isosceles triangles.

Consider an arbitrary segment. Its endpoints divide the circumcircle of the polygon into two arcs containing vertices. One of the arcs contains an odd number, and the other contains an even number of vertices. Therefore, there exists a unique isosceles triangle with the chosen segment as its base (the third vertex is the midpoint of the arc containing an odd number of vertices). In a similar fashion, we infer that the chosen segment is a base in exactly two isosceles triangles – there are two possible choices of the third segment, both on the longer arc.
Let be the number of blue points, so that . Let , be the number of blue (both endpoints blue), red, and two-colour segments, respectively. Furthermore, let be the number of isosceles triangles with the vertices coloured all blue, all red, two blue – one red, and two red – one blue, respectively.
From the fact that each segment belongs to three isosceles triangles, we get:
This implies , i.e.
which depends only on the number of the red and blue points, but not on their arrangement.