Для доказательства того, что секущая MN пересекает отрезок, соединяющий центры окружностей под прямым углом, мы можем воспользоваться свойствами равенства треугольников.
Первоначально, мы можем построить треугольники ∆MON и ∆MO1N, соединив центры окружностей с точками их пересечения. Рассмотрим треугольники ∆OMO1 и ∆ONO1. По признаку равенства треугольников мы знаем, что OM равен радиусу первой окружности, а ON равен радиусу второй окружности, и сторона OO1 общая у них.
Из равенства треугольников ∆OMO1 и ∆ONO1 следует, что угол MOR равен углу MON1. Поэтому угол MOR равен ∠, а угол MO1R равен ∠. Это означает, что отрезки OR и O1R образуют углы ∠MON и ∠ соответственно.
Зная, что в равнобедренном треугольнике угол при вершине является прямым, мы получаем, что MN перпендикулярно отрезку OO1. Таким образом, секущая MN пересекает отрезок, соединяющий центры окружностей, под прямым углом, что и требовалось доказать.
