Поризм Штейнера:
Рассмотрим цепочку окружностей, каждая из которых касается двух соседних ( касается и ) и двух данных непересекающихся окружностей и .
Тогда для любой окружности , касающейся и (одинаковым образом, если и не лежат одна в другой, внешним и внутренним образом — в противном случае), существует аналогичная цепочка из касающихся окружностей .
Доказывается применением инверсии, которая переводит пару окружностей и в концентрические.