Maths Olympiad Prep

Library / /342 of 383

Geometry Difficulty 9.0 IMO level Prove it IMO

Consider n3n \geqslant 3 lines in the plane such that no two lines are parallel and no three have a common point. These lines divide the plane into polygonal regions; let F\mathcal{F} be the set of regions having finite area. Prove that it is possible to colour n/2\lceil\sqrt{n / 2}\rceil of the lines blue in such a way that no region in F\mathcal{F} has a completely blue boundary. (For a real number x,xx,\lceil x\rceil denotes the least integer which is not smaller than xx.)

Solution

Let LL be the given set of lines. Choose a maximal (by inclusion) subset BLB \subseteq L such that when we colour the lines of BB blue, no region in F\mathcal{F} has a completely blue boundary. Let B=k|B|=k. We claim that kn/2k \geqslant\lceil\sqrt{n / 2}\rceil.

Let us colour all the lines of L\BL \backslash B red. Call a point blue if it is the intersection of two blue lines. Then there are (k2)\binom{k}{2} blue points.

Now consider any red line \ell. By the maximality of BB, there exists at least one region AFA \in \mathcal{F} whose only red side lies on \ell. Since AA has at least three sides, it must have at least one blue vertex. Let us take one such vertex and associate it to \ell.

Since each blue point belongs to four regions (some of which may be unbounded), it is associated to at most four red lines. Thus the total number of red lines is at most 4(k2)4\binom{k}{2}. On the other hand, this number is nkn-k, so
nk2k(k1), thus n2k2k2k2 n-k \leqslant 2 k(k-1), \quad \text{ thus } \quad n \leqslant 2 k^{2}-k \leqslant 2 k^{2}
and finally kn/2k \geqslant\lceil\sqrt{n / 2}\rceil, which gives the desired result.

Comment 1. The constant factor in the estimate can be improved in different ways; we sketch two of them below. On the other hand, the Problem Selection Committee is not aware of any results showing that it is sometimes impossible to colour kk lines satisfying the desired condition for knk \gg \sqrt{n}. In this situation we find it more suitable to keep the original formulation of the problem.

1. Firstly, we show that in the proof above one has in fact k=B2n/3k=|B| \geqslant\lceil\sqrt{2 n / 3}\rceil.
Let us make weighted associations as follows. Let a region AA whose only red side lies on \ell have kk vertices, so that k2k-2 of them are blue. We associate each of these blue vertices to \ell, and put the weight 1k2\frac{1}{k-2} on each such association. So the sum of the weights of all the associations is exactly nkn-k.
Now, one may check that among the four regions adjacent to a blue vertex vv, at most two are triangles. This means that the sum of the weights of all associations involving vv is at most 1+1+12+12=31+1+\frac{1}{2}+\frac{1}{2}=3. This leads to the estimate
nk3(k2) n-k \leqslant 3\binom{k}{2}
or
2n3k2k<3k2 2 n \leqslant 3 k^{2}-k<3 k^{2}
which yields k2n/3k \geqslant\lceil\sqrt{2 n / 3}\rceil.

2. Next, we even show that k=B[n]k=|B| \geqslant[\sqrt{n}]. For this, we specify the process of associating points to red lines in one more different way.
Call a point red if it lies on a red line as well as on a blue line. Consider any red line \ell, and take an arbitrary region AFA \in \mathcal{F} whose only red side lies on \ell. Let r,r,b1,,bkr^{\prime}, r, b_{1}, \ldots, b_{k} be its vertices in clockwise order with r,rr^{\prime}, r \in \ell; then the points r,rr^{\prime}, r are red, while all the points b1,,bkb_{1}, \ldots, b_{k} are blue. Let us associate to \ell the red point rr and the blue point b1b_{1}. One may notice that to each pair of a red point rr and a blue point bb, at most one red line can be associated, since there is at most one region AA having rr and bb as two clockwise consecutive vertices.
We claim now that at most two red lines are associated to each blue point bb; this leads to the desired bound
nk2(k2)nk2. n-k \leqslant 2\binom{k}{2} \quad \Longleftrightarrow \quad n \leqslant k^{2} .
Assume, to the contrary, that three red lines 1,2\ell_{1}, \ell_{2}, and 3\ell_{3} are associated to the same blue point bb. Let r1,r2r_{1}, r_{2}, and r3r_{3} respectively be the red points associated to these lines; all these points are distinct. The point bb defines four blue rays, and each point rir_{i} is the red point closest to bb on one of these rays. So we may assume that the points r2r_{2} and r3r_{3} lie on one blue line passing through bb, while r1r_{1} lies on the other one.
Figure 1
Now consider the region AA used to associate r1r_{1} and bb with 1\ell_{1}. Three of its clockwise consecutive vertices are r1,br_{1}, b, and either r2r_{2} or r3r_{3} (say, r2r_{2} ). Since AA has only one red side, it can only be the triangle r1br2r_{1} b r_{2}; but then both 1\ell_{1} and 2\ell_{2} pass through r2r_{2}, as well as some blue line. This is impossible by the problem assumptions.

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.