Maths Olympiad Prep

Library / /39 of 44

Geometry Difficulty 6.7 National Olympiad Prove it Slovenia

Consider a regular nn-gon where n>1n > 1 is an odd integer. At most how many vertices can be coloured red so that the centre of the nn-gon does not lie inside a polygon, determined by the red vertices?

Solution

The greatest number of vertices that can be painted red is n+12\frac{n+1}{2}. If we paint n+12\frac{n+1}{2} consecutive vertices of the nn-gon, then the condition is satisfied.

Now, assume that we have painted at least n+12+1\frac{n+1}{2}+1 vertices. Let us denote the vertices of the nn-gon in order using positive integers from 11 to 2k+1=n2k+1=n. We have assumed that at least k+2k+2 vertices are red. Consider the pairs (1,k+1)(1, k+1), (2,k+2)(2, k+2), (3,k+3)(3, k+3), ..., (k,2k)(k, 2k), (k+1,2k+1)(k+1, 2k+1), which determine some of the longest diagonals of the nn-gon. There are precisely k+1k+1 pairs and each vertex is contained in one of them, so there exists at least one pair in which both vertices are red.

Without loss of generality we may assume that the red pair is (1,k+1)(1, k+1), renumbering the vertices if necessary. There are at least kk red vertices remaining, but there are only k1k-1 numbers 2,3,...,k2, 3, ..., k. So, at least one of the vertices numbered k+2,k+3,...,2k+1k+2, k+3, ..., 2k+1 must be red. Assume that the red vertex is k+mk+m where 2mk+12 \le m \le k+1. The vertex k+mk+m lies on the same side of the line through 11 and k+1k+1 as the centre of the nn-gon. We conclude that the centre of the nn-gon lies inside the triangle with vertices 1,k+1,k+m1, k+1, k+m, since the segment with endpoints 1,k+11, k+1 is one of the longest diagonals of the nn-gon. But the vertices 1,k+1,k+m1, k+1, k+m are all painted red, so the centre of the nn-gon lies inside a triangle with red vertices.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.