Maths Olympiad Prep

Library / /35 of 38

Geometry Difficulty 7.6 National olympiad, round 2 Prove it China

Find the least positive integer nn with the following property: Paint each vertex of a regular nn-gon arbitrarily with one of three colors, say red, yellow and blue, there must exist four vertices of the same color that constitute the vertices of some isogonal trapezoid.

Solution

We claim that the least positive integer nn is 1717.

Firstly we prove that n=17n = 17 has the required property. By contradiction, assume that we have a painting pattern with three colors for the regular 1717-gon such that any group of 44 vertices of the same color cannot constitute an isogonal trapezoid.

As 173+1=6\lfloor \frac{17}{3} \rfloor + 1 = 6, there exists a group of 66 vertices of the same color, say yellow. Connecting these vertices one another with lines, we get (62)=15\binom{6}{2} = 15 segments. Since the lengths of the segments have at most 172=8\lfloor \frac{17}{2} \rfloor = 8 variations, one of the following two cases must exist:

(a) There is a group of three segments with the same length. Since 373 \nmid 7, not every pair of the segments in the group has a common vertex. So there are two segments in the group which have no common vertex. The four vertices of the two segments constitute an isogonal trapezoid, and this is a contradiction.

(b) There are 77 pairs of segments with the same length. Then each pair must have a common vertex for its segments. Otherwise, the 44 vertices of the segments in a pair with no common vertex will constitute an isogonal trapezoid. On the other hand, by the pigeonhole principle, we know that there are two pairs which share the same vertex as their segments' common vertex. Then another four vertices of the segments in these two pairs constitute an isogonal trapezoid. This leads to a contradiction again. So n=17n = 17 has the required property.

Next we will construct painting patterns for n16n \le 16, which do not have the required property. Define A1,A2,,AnA_1, A_2, \dots, A_n as the vertices of a regular nn-gon (ordered in clockwise), and M1,M2,M3M_1, M_2, M_3 as the sets of vertices with the same color — red, yellow and blue respectively.

When n=16n = 16, let
M1={A5,A8,A13,A14,A16}, M_1 = \{A_5, A_8, A_{13}, A_{14}, A_{16}\},
M2={A3,A6,A7,A11,A15}, M_2 = \{A_3, A_6, A_7, A_{11}, A_{15}\},
M3={A1,A2,A4,A9,A10,A12}. M_3 = \{A_1, A_2, A_4, A_9, A_{10}, A_{12}\}.
In M1M_1, it is easy to check that the distances from A14A_{14} to the other 44 vertices are different from each other, and the latter 44 vertices constitute a rectangle, not an isogonal trapezoid. Similarly, no 44 vertices in M2M_2 constitute an isogonal trapezoid either. As to M3M_3, the 66 vertices in it are just vertices of three diameters. So any group of four vertices that constitutes either a rectangle or a 44-gon with its sides of different lengths.

When n=15n = 15, let
M1={A1,A2,A3,A5,A8}, M_1 = \{A_1, A_2, A_3, A_5, A_8\},
M2={A6,A9,A13,A14,A15}, M_2 = \{A_6, A_9, A_{13}, A_{14}, A_{15}\},
M3={A4,A7,A10,A11,A12}. M_3 = \{A_4, A_7, A_{10}, A_{11}, A_{12}\}.
It is easy to check that no four vertices in each MiM_i (i=1,2,3i = 1, 2, 3) constitute an isogonal trapezoid.

When n=14n = 14, let
M1={A1,A3,A8,A10,A14}, M_1 = \{A_1, A_3, A_8, A_{10}, A_{14}\},
M2={A4,A5,A7,A11,A12}, M_2 = \{A_4, A_5, A_7, A_{11}, A_{12}\},
M3={A2,A6,A9,A13}. M_3 = \{A_2, A_6, A_9, A_{13}\}.
This can be verified easily.

When n=13n = 13, let
M1={A5,A6,A7,A10}, M_1 = \{A_5, A_6, A_7, A_{10}\},
M2={A1,A8,A11,A12}, M_2 = \{A_1, A_8, A_{11}, A_{12}\},
M3={A2,A3,A4,A9,A13}. M_3 = \{A_2, A_3, A_4, A_9, A_{13}\}.
This can be easily verified too. As in this case, we drop A13A_{13} from M3M_3, then we arrive at the case for n=12n = 12; further drop A12A_{12}, we have the case n=11n = 11; and further drop A11A_{11}, we get the case n=10n = 10.

When n9n \le 9, we can construct a painting pattern such that Mi<4|M_i| < 4 (i=1,2,3i = 1, 2, 3), to ensure that no four vertices of the same color constitute an isogonal trapezoid.

By now, we have checked all the cases for n16n \le 16. This completes the proof that 1717 is the least value for nn to have the required property.

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 and solution reproduced as published; topic and difficulty added by this site.