In a regular 100-gon, 41 vertices are colored black and the remaining 59 vertices are colored white. Prove that there exist 24 convex quadrilaterals whose corners are vertices of the 100 -gon, so that
- the quadrilaterals are pairwise disjoint, and
- every quadrilateral has three corners of one color and one corner of the other color. (Austria)
Problem 1611
Official solution
Call a quadrilateral skew-colored, if it has three corners of one color and one corner of the other color. We will prove the following Claim. If the vertices of a convex -gon are colored black and white such that each color is used at least times, then there exist pairwise disjoint skew-colored quadrilaterals whose vertices are vertices of . (One vertex of remains unused.) The problem statement follows by removing 3 arbitrary vertices of the 100-gon and applying the Claim to the remaining 97 vertices with . Proof of the Claim. We prove by induction. For we have a pentagon with at least one black and at least one white vertex. If the number of black vertices is even then remove a black vertex; otherwise remove a white vertex. In the remaining quadrilateral, there are an odd number of black and an odd number of white vertices, so the quadrilateral is skew-colored. For the induction step, assume . Let and be the numbers of black and white vertices, respectively; then and . Without loss of generality we may assume , so and . We want to find four consecutive vertices such that three of them are white, the fourth one is black. Denote the vertices by in counterclockwise order, such that is black, and consider the following groups of vertices: In these groups there are white and black vertices. Since , there is a group, that contains more white than black vertices. If three are white and one is black in that group, we are done. Otherwise, if are all white then let be the first black vertex among (recall that is black); then and are white and is black. Now we have four consecutive vertices that form a skew-colored quadrilateral. The remaining vertices form a convex ( )-gon; of them are white and are black. Since and , we can apply the Claim with . Comment. It is not true that the vertices of the 100 -gon can be split into 25 skew-colored quadrilaterals. A possible counter-example is when the vertices are black and the other vertices, and are white. For having 25 skew-colored quadrilaterals, there should be 8 containing three black vertices. But such a quadrilateral splits the other 96 vertices into four sets in such a way that at least two sets contain odd numbers of vertices and therefore they cannot be grouped into disjoint quadrilaterals. !