В III веке до н. э. Аполлоний из Перги задался задачей: сколько окружностей можно построить так, чтобы каждая из них касалась трёх данных окружностей ровно в одной точке. Оказалось, что таких окружностей восемь, но доказать это удалось лишь спустя почти 1800 лет.