6111. Докажите, что при инверсии окружность, проходящая через центр инверсии, переходит в прямую, не проходящую через центр инверсии.
Решение. Рассмотрим инверсию относительно окружности S
радиуса R
с центром O
. Пусть M_{0}
— произвольная точка, отличная от O
, M_{0}'
— образ точки M_{0}
при рассматриваемой инверсии, a
— прямая, проходящая через точку M_{0}'
перпендикулярно OM_{0}'
, M
— произвольная точка окружности с диаметром OM_{0}
, отличная от O
и M_{0}
, M'
— образ точки M
. Тогда \angle OMM_{0}=90^{\circ}
, OM_{0}'=\frac{R^{2}}{OM_{0}}
и OM'=\frac{R^{2}}{OM}
, значит, \frac{OM_{0}'}{OM'}=\frac{OM}{OM_{0}}
, поэтому треугольник OM_{0}'M'
подобен прямоугольному треугольнику OMM_{0}
(угол при вершине O
— общий). Следовательно, \angle OM_{0}'M'=90^{\circ}
и точка M'
лежит на прямой a
.
Доказано, что при инверсии образы всех точек окружности, проходящей через центр инверсии, лежат на прямой a
, не проходящей через центр инверсии. Осталось доказать, что каждая точка прямой a
, является образом некоторой точки этой окружности.
Действительно, если K
— произвольная точка прямой a
, отличная от M_{0}'
, а луч OK
пересекает окружность с диаметром OM_{0}
в точке N
, то прямоугольные треугольники ONM_{0}
и OM_{0}'K
подобны по двум углам, поэтому \frac{ON}{OM_{0}'}=\frac{OM_{0}}{OK}
, откуда OK=\frac{OM_{0}\cdot OM_{0}'}{ON}=\frac{R^{2}}{ON}
. Следовательно, K
— образ точки N
при рассматриваемой инверсии. Что и требовалось доказать.