Common tangents to four unit balls in ℝ3

Abstract

We answer a question of David Larman, by proving the following result. Any four unit balls in three-dimensional space, whose centers are not collinear, have at most twelve common tangent lines. This bound is tight.