Consider 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 be the set of regions having finite area. Prove that it is possible to colour of the lines blue in such a way that no region in has a completely blue boundary. (For a real number denotes the least integer which is not smaller than .)
Solution
Let be the given set of lines. Choose a maximal (by inclusion) subset such that when we colour the lines of blue, no region in has a completely blue boundary. Let . We claim that .
Let us colour all the lines of red. Call a point blue if it is the intersection of two blue lines. Then there are blue points.
Now consider any red line . By the maximality of , there exists at least one region whose only red side lies on . Since has at least three sides, it must have at least one blue vertex. Let us take one such vertex and associate it to .
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 . On the other hand, this number is , so
and finally , 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 lines satisfying the desired condition for . 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 .
Let us make weighted associations as follows. Let a region whose only red side lies on have vertices, so that of them are blue. We associate each of these blue vertices to , and put the weight on each such association. So the sum of the weights of all the associations is exactly .
Now, one may check that among the four regions adjacent to a blue vertex , at most two are triangles. This means that the sum of the weights of all associations involving is at most . This leads to the estimate
or
which yields .
2. Next, we even show that . 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 , and take an arbitrary region whose only red side lies on . Let be its vertices in clockwise order with ; then the points are red, while all the points are blue. Let us associate to the red point and the blue point . One may notice that to each pair of a red point and a blue point , at most one red line can be associated, since there is at most one region having and as two clockwise consecutive vertices.
We claim now that at most two red lines are associated to each blue point ; this leads to the desired bound
Assume, to the contrary, that three red lines , and are associated to the same blue point . Let , and respectively be the red points associated to these lines; all these points are distinct. The point defines four blue rays, and each point is the red point closest to on one of these rays. So we may assume that the points and lie on one blue line passing through , while lies on the other one.
Now consider the region used to associate and with . Three of its clockwise consecutive vertices are , and either or (say, ). Since has only one red side, it can only be the triangle ; but then both and pass through , as well as some blue line. This is impossible by the problem assumptions.