Maths Olympiad Prep

Track / Stage 7 / 261 of 300 #1661 of 1964

Problem 1661

National Olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.4 Prove it

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 Q1,…,Q24Q_{1}, \ldots, Q_{24} whose corners are vertices of the 100 -gon, so that
- the quadrilaterals Q1,…,Q24Q_{1}, \ldots, Q_{24} are pairwise disjoint, and
- every quadrilateral QiQ_{i} has three corners of one color and one corner of the other color. (Austria)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

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 (4k+1)(4 k+1)-gon PP are colored black and white such that each color is used at least kk times, then there exist kk pairwise disjoint skew-colored quadrilaterals whose vertices are vertices of PP. (One vertex of PP 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 k=24k=24. Proof of the Claim. We prove by induction. For k=1k=1 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 k⩾2k \geqslant 2. Let bb and ww be the numbers of black and white vertices, respectively; then b,w⩾kb, w \geqslant k and b+w=4k+1b+w=4 k+1. Without loss of generality we may assume w⩾bw \geqslant b, so k⩽b⩽2kk \leqslant b \leqslant 2 k and 2k+1⩽w⩽3k+12 k+1 \leqslant w \leqslant 3 k+1. We want to find four consecutive vertices such that three of them are white, the fourth one is black. Denote the vertices by V1,V2,…,V4k+1V_{1}, V_{2}, \ldots, V_{4 k+1} in counterclockwise order, such that V4k+1V_{4 k+1} is black, and consider the following kk groups of vertices: (V1,V2,V3,V4),(V5,V6,V7,V8),…,(V4k−3,V4k−2,V4k−1,V4k) \left(V_{1}, V_{2}, V_{3}, V_{4}\right),\left(V_{5}, V_{6}, V_{7}, V_{8}\right), \ldots,\left(V_{4 k-3}, V_{4 k-2}, V_{4 k-1}, V_{4 k}\right) In these groups there are ww white and b−1b-1 black vertices. Since w>b−1w>b-1, there is a group, (Vi,Vi+1,Vi+2,Vi+3)\left(V_{i}, V_{i+1}, V_{i+2}, V_{i+3}\right) that contains more white than black vertices. If three are white and one is black in that group, we are done. Otherwise, if Vi,Vi+1,Vi+2,Vi+3V_{i}, V_{i+1}, V_{i+2}, V_{i+3} are all white then let VjV_{j} be the first black vertex among Vi+4,…,V4k+1V_{i+4}, \ldots, V_{4 k+1} (recall that V4k+1V_{4 k+1} is black); then Vj−3,Vj−2V_{j-3}, V_{j-2} and Vj−1V_{j-1} are white and VjV_{j} is black. Now we have four consecutive vertices Vi,Vi+1,Vi+2,Vi+3V_{i}, V_{i+1}, V_{i+2}, V_{i+3} that form a skew-colored quadrilateral. The remaining vertices form a convex ( 4k−34 k-3 )-gon; w−3w-3 of them are white and b−1b-1 are black. Since b−1⩾k−1b-1 \geqslant k-1 and w−3⩾(2k+1)−3>k−1w-3 \geqslant(2 k+1)-3>k-1, we can apply the Claim with k−1k-1. 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 V1,V3,V5,…,V81V_{1}, V_{3}, V_{5}, \ldots, V_{81} are black and the other vertices, V2,V4,…,V80V_{2}, V_{4}, \ldots, V_{80} and V82,V83,…,V100V_{82}, V_{83}, \ldots, V_{100} 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. !

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.