Русская Википедия:Поризм Штейнера

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Stejner's porizm.svg
См. также анимированный вариант)

Поризм Штейнера: Рассмотрим цепочку окружностей <math>S_1,S_2,\ldots,S_n</math>, каждая из которых касается двух соседних (<math>S_n</math> касается <math>S_{n+1}</math> и <math>S_{n-1}</math>) и двух данных непересекающихся окружностей <math>R_1</math> и <math>R_2</math>. Тогда для любой окружности <math>T_1</math>, касающейся <math>R_1</math> и <math>R_2</math> (одинаковым образом, если <math>R_1</math> и <math>R_2</math> не лежат одна в другой, внешним и внутренним образом — в противном случае), существует аналогичная цепочка из <math>n</math> касающихся окружностей <math>T_1,T_2,\ldots,T_n</math>.

Доказывается применением инверсии, которая переводит пару окружностей <math>R_1</math> и <math>R_2</math> в концентрические.

См. также

Литература