Problem:
A finite set of circles in the plane is called nice if it satisfies the following three conditions:
(i) No two circles intersect in more than one point;
(ii) For every point of the plane there are at most two circles passing through ;
(iii) Each circle from the set is tangent to exactly 5 other circles from the set.
Does there exist a nice set consisting of exactly
(a) 2006 circles?
(b) 2007 circles?
Solution
Solution:
(a) The answer is yes. The following picture shows that there is a nice set consisting of exactly 12 circles. It is also possible to construct a nice set with 22 circles (the picture can be found below). Since we can make a nice set of 2006 by making a union of 158 disjoint nice sets of 12 circles each, and 5 disjoint nice sets each of which contains 22 circles.
(b) We will prove that a nice set can't contain an odd number of circles. Let be the total number of circles. We will count the number of pairs where is a circle in the set and a point at which touches another circle. For each circle there are exactly 5 such pairs, and hence the total number of pairs is . For each point there are exactly 2 pairs corresponding to it. Hence the total number of pairs has to be even, but can't be even if is odd.