Disjoint discs tangent to 6 others
Source: Austrian-Polish 1978, Problem 6
July 5, 2015
combinatoricscombinatorial geometrycircles
Problem Statement
We are given a family of discs in the plane, with pairwise disjoint interiors. Each disc is tangent to at least six other discs of the family. Show that the family is infinite.