The Seven Circles Theorem

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Take six circles tangent to each other in pairs and tangent to the unit circle on the inside. The points of contact of the six circles with the unit circle define a hexagon. The diagonals of the hexagon are concurrent.
[more]
Contributed by: Claude Fabre (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
This remarkable theorem is quite young. Evelyn, Money-Coutts, and Tyrrell first published it in 1974. The reason for this late discovery could be the difficulty of constructing a circle tangent to three other circles (Apollonius's problem). No practicable way has been found using straightedge and compass.
Mathematica readily solves three simultaneous quadratic equations to determine the tangent circle.
The conclusion also holds when the six circles are tangent to the unit circle from the outside.
Permanent Citation
"The Seven Circles Theorem"
http://demonstrations.wolfram.com/TheSevenCirclesTheorem/
Wolfram Demonstrations Project
Published: March 7 2011