6. Find the smallest positive integer such that: If each vertex of a regular -gon is arbitrarily colored with one of the three colors red, yellow, or blue, then there must exist four vertices of the same color that are the vertices of an isosceles trapezoid. (2008 China Mathematical Olympiad)
Solution
6. First construct a coloring method that does not meet the problem's requirements for .
Let represent the vertices of a regular -sided polygon (in clockwise order), and represent the sets of vertices of three different colors.
When , let . For , the distance from to the other 4 vertices is different, and these 4 vertices form a rectangle. Similarly to , it can be verified that does not contain 4 vertices that form the vertices of an isosceles trapezoid. For , the 6 vertices are the endpoints of 3 diameters, so any 4 vertices either form the 4 vertices of a rectangle or the 4 vertices of a non-equilateral quadrilateral.
When , let , and no 4 points in each form the vertices of an isosceles trapezoid.
When , let , and no 4 points in each form the vertices of an isosceles trapezoid.
When , let , and no 4 points in each form the vertices of an isosceles trapezoid.
In the above cases, removing vertex and keeping the coloring method unchanged gives a coloring method for ; then removing vertex gives a coloring method for ; and continuing to remove vertex gives a coloring method for .
When , the number of vertices of each color can be less than 4, so there are no 4 vertices of the same color that form the vertices of an isosceles trapezoid.
Therefore, does not have the property required by the problem.
Next, we prove that satisfies the conclusion.
Proof by contradiction. Assume there exists a way to color the vertices of a regular 17-sided polygon with three colors such that no 4 vertices of the same color form the vertices of an isosceles trapezoid.
Since , there must be 6 vertices of the same color, say yellow. Connecting these 6 points in pairs, we get line segments. Since these line segments can have only different lengths, one of the following two cases must occur:
(1) There are 3 line segments of the same length.
Note that 3 < 17, so it is impossible for these 3 line segments to have a common vertex. Therefore, there must be two line segments with no common vertices. The 4 vertices of these two line segments satisfy the problem's requirements, leading to a contradiction.
(2) There are 7 pairs of line segments of the same length.
By the assumption, each pair of line segments of the same length must have a common yellow vertex, otherwise we could find 4 yellow vertices that satisfy the problem's requirements. By the pigeonhole principle, there must be two pairs of line segments with the same common yellow vertex. The other 4 vertices of these 4 line segments must form the vertices of an isosceles trapezoid, leading to a contradiction. Therefore, satisfies the conclusion.
In summary, the smallest value of is 17.