Maths Olympiad Prep

Library / /1 of 2

Combinatorics Difficulty 8.3 Shortlist Prove it India

Let r>0r > 0 be a real number. All the interior points of the disc D(r)D(r) of radius rr are colored with one of two colors, red or blue.

1. If r>π3r > \frac{\pi}{\sqrt{3}}, show that we can find two points AA and BB in the interior of the disc such that the distance AB=πAB = \pi and AA and BB have the same color.

2. Does the conclusion in (a) hold if r>π2r > \frac{\pi}{2}?

Solution

We will show that the conclusion holds when r>π2r > \frac{\pi}{2}.

We begin with a circle C(r)C(r) with center CC and radius r>π2r > \frac{\pi}{2}. Now, a regular polygon PP can be inscribed in the circle to have any odd number of sides 2k+12k + 1. Because the number of sides is odd, each vertex AA is opposite a pair of vertices which determine the opposite side YZYZ, and it is such longest diagonals AYAY and AZAZ that we are interested in. The greater 2k+12k + 1 is taken, the smaller YZYZ will get; by taking kk large enough, we can make YZYZ so small that AYAY will be so close to being a diameter (of length 2r2r which is bigger than π\pi) that the length of AYAY will also exceed π\pi. Suppose, then, that kk is chosen big enough to make AY>πAY > \pi.

Clearly all such longest diagonals AYAY are tangents to a small circle C(s)C(s) in the center of C(r)C(r).

Figure 1:
Now, it is vital to our solution that the length AYAY of these tangents be exactly π\pi units. Therefore,

let the figure be shrunk toward the center CC in the ratio π:AY\pi : AY; this will carry everything into the interior of the given circle, implying that all the image points will be colored, whereas the boundary of C(r)C(r) was not colored to begin with. For simplicity, let us keep the same names for the images under this transformation, bearing in mind that now the length of every diagonal like AYAY is π\pi.

Now a tangent to C(s)C(s) from a vertex of PP meets the circumcircle in one of the two opposite vertices of PP. Consequently, the sequence of tangents AY,YA1,A1Y1,Y1A2,AY, YA_1, A_1Y_1, Y_1A_2, \dots carries one around PP from AA through the vertices A,Y,A1,Y1,A2,A, Y, A_1, Y_1, A_2, \dots and after 2k2k such steps, we reach the opposite vertex ZZ. Clearly, every adjacent pair of vertices in the above list of vertices are at a distance π\pi units and starting with AA and ending with ZZ, we traverse through 2k2k tangents. Thus if AA is red, then YY is blue, A1A_1 is red, Y1Y_1 is blue and so on. This forces ZZ to be colored red and both ends of the tangent AZAZ have the same color. We are done. \square

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 reproduced verbatim; metadata (topic, difficulty) added by this project.