6

Part of 1978 Austrian-Polish Competition

Problems(1)

Disjoint discs tangent to 6 others

Source: Austrian-Polish 1978, Problem 6

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.

combinatoricscombinatorial geometrycircles