Теорема о шести окружностях

Рассмотрим цепь из окружностей, каждая из которых касается двух сторон данного треугольника, а также предыдущей окружности в цепи. Тогда эта цепь замыкается, в том смысле, что шестая окружность касается первой^[1].

Теорема о семи окружностях

Проведём цепочку из шести чёрных окружностей (см. рис. справа), каждая из которых касается седьмой окружности (красная) и двух соседних окружностей. Тогда три линии (синие), проведённые между противоположными парами точек касания с седьмой окружностью, пересекаются в одной точке (зелёная). Эта элементарная по сути теорема не была известна вплоть до 1974 года^[2].

Подобрав радиусы трёх окружностей соответствующим образом (и выставив окружности наружу), можно получить прямые вместо трёх оставшихся окружностей. Эти прямые образуют треугольник, а все четыре нарисованные окружности будут создавать ситуацию с последнего рисунка среди четырёх примеров к основной теореме, где также видны три чевианы к точкам касания окружностей и прямых, пересекающиеся в одной точке.