Maths Olympiad Prep

Track / Stage 6 / 106 of 400 #1106 of 1964

Problem 1106

National olympiad, first round
Combinatorics Difficulty 6.1 Prove it

Example 3 Use any method to color each point on the plane black or white. Prove: there must exist an equilateral triangle with side length 1 or 3\sqrt{3}, whose three vertices are the same color.

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.

Official solution

Proof: If there exists an equilateral triangle with side length 1 and vertices of the same color, the problem is solved.

If there does not exist an equilateral triangle with side length 1 and vertices of the same color, then there must exist a line segment ABAB of length 1, with endpoints AA and BB of different colors.

Using AB=1AB=1 as the base, construct an isosceles triangle ABC\triangle ABC with legs of length 2. Then, point CC must be of a different color from either AA or BB. As shown in Figure 3, without loss of generality, assume the line segment ACAC of length 2 has endpoints of different colors.

Take the midpoint OO of ACAC, then OO must be of the same color as either AA or CC (as shown in Figure 4, without loss of generality, assume OO is the same color as AA). Since there does not exist an equilateral triangle with side length 1 and vertices of the same color, the other two vertices DD and EE of the equilateral triangle with side AOAO must be of a different color from AA. At this point, ECD\triangle ECD is an equilateral triangle with side length 3\sqrt{3} and vertices of the same color.

[Note] In fact, by dividing the plane into horizontal strip regions of width 32\frac{\sqrt{3}}{2}, where each region includes the lower boundary line but not the upper boundary line, and coloring adjacent strip regions with different colors, for such a two-coloring of the plane, the three vertices of any equilateral triangle with side length 1 are all of different colors, but there exists an equilateral triangle with side length 3\sqrt{3} and vertices of the same color.

From Example 3, we can derive a more general conclusion: After two-coloring the points on the plane, either there exists an equilateral triangle with side length a(a>0)a (a>0) and vertices of the same color, or there exists an equilateral triangle with side length 3a\sqrt{3}a and vertices of the same color.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.