Consider 2018 pairwise crossing circles no three of which are concurrent. These circles subdivide the plane into regions bounded by circular edges that meet at vertices. Notice that there are an even number of vertices on each circle. Given the circle, alternately colour the vertices on that circle red and blue. In doing so for each circle, every vertex is coloured twice once for each of the two circles that cross at that point. If the two colourings agree at a vertex, then it is assigned that colour; otherwise, it becomes yellow. Show that, if some circle contains at least 2061 yellow points, then the vertices of some region are all yellow.
Solutions — 2
Solution 1
Letting , we will show that, if every region has at least one non-yellow vertex, then every circle contains at most yellow points. In the case at hand, the latter equals , contradicting the hypothesis.
Consider the natural geometric graph associated with the configuration of circles. Fix any circle in the configuration, let be the number of yellow points on , and find a suitable lower bound for the total number of yellow vertices of in terms of and . It turns out that is even, and has at least
yellow vertices. The proof hinges on the two lemmata below.
Lemma 1. Let two circles in the configuration cross at and . Then and are either both yellow or both non-yellow.
Proof. This is because the numbers of interior vertices on the four arcs and determine on the two circles have like parities.
In particular, each circle in the configuration contains an even number of yellow vertices.
Lemma 2. If , , and are circular arcs of three pairwise distinct circles in the configuration, then the number of yellow vertices in the set is odd.
Proof. Let be the three circles under consideration. Assume, without loss of generality, that and cross at , and cross at , and and cross at . Let , be the numbers of interior vertices on the three circular arcs under consideration. Since each circle in the configuration, different from the , crosses the cycle at an even number of points (recall that no three circles are concurrent), and self-crossings are counted twice, the sum is even.
Let be the colour gets from and define the other colours similarly. By the preceding, the number of bichromatic pairs in the list is odd. Since the total number of colour changes in a cycle is even, the number of bichromatic pairs in the list is odd, and the lemma follows.
We are now in a position to prove that (*) bounds the total number of yellow vertices from below. Refer to Lemma 1 to infer that the yellow vertices on pair off to form the pairs of points where is crossed by circles in the configuration. By Lemma 2, these circles cross pairwise to account for another yellow vertices. Finally, the remaining circles in the configuration cross at non-yellow vertices, by Lemma 1, and Lemma 2 applies again to show that these circles cross pairwise to account for yet another yellow vertices. Consequently, there are at least (*) yellow vertices.
Next, notice that is a plane graph on degree 4 vertices, having exactly edges and exactly faces (regions), the outer face inclusive (by Euler's formula for planar graphs).
Lemma 3. Each face of has equally many red and blue vertices. In particular, each face has an even number of non-yellow vertices.
Proof. Trace the boundary of a face once in circular order, and consider the colours each vertex is assigned in the colouring of the two circles that cross at that vertex, to infer that colours of non-yellow vertices alternate.
Consequently, if each region has at least one non-yellow vertex, then it has at least two such. Since each vertex of has degree 4, consideration of vertex-face incidences shows that has at least non-yellow vertices, and hence at most yellow vertices. (In fact, Lemma 3 shows that there are at least red, respectively blue, vertices.)
Finally, recall the lower bound (*) for the total number of yellow vertices in , to write , and conclude that , as claimed in the first paragraph.
Solution 2
The first two lemmata in Solution 1 show that the circles in the configuration split into two classes: Consider any circle along with all circles that cross at yellow points to form one class; the remaining circles then form the other class. Lemma 2 shows that any pair of circles in the same class cross at yellow points; otherwise, they cross at non-yellow points.
Call the circles from the two classes white and black, respectively. Call a region yellow if its vertices are all yellow. Let and be the numbers of white and black circles, respectively; clearly, . Assume that , and that there is no yellow region. Clearly, , otherwise each region is yellow. The white circles subdivide the plane into larger regions - call them white. The white regions (or rather their boundaries) subdivide each black circle into black arcs. Since there are no yellow regions, each white region contains at least one black arc.
Consider any white region; let it contain black arcs. We claim that the number of points at which these cross does not exceed t-1. To prove this, consider a multigraph whose vertices are these black arcs, two vertices being joined by an edge for each point at which the corresponding arcs cross. If this graph had more than t-1t$ vertices; this cycle would correspond to a closed contour formed by black sub-arcs, lying inside the region under consideration. This contour would, in turn, define at least one yellow region, which is impossible.
Let be the number of black arcs inside the white region. The total number of black arcs is , and they cross at points. By the preceding,
or, equivalently, , which is the case if and only if . Consequently, , so there are at most yellow vertices on each circle - a contradiction.