Let be a triangular pyramid. A sphere is tangent to the face , and to the planes of the other faces outside the faces. Similarly, a sphere is tangent to the face , and to the planes of the other faces outside the faces. Let meet the plane at , and let meet the plane at . The points and are chosen on the extensions of the segments and beyond and , respectively, so that and . Prove that the points and are equidistant from the midpoint of .
Solution
Отметим точки и касания вписанной сферы тетраэдра с гранями и соответственно, а также точки и касания сфер и с этими гранями. Сферы и гомотетичны с центром в точке , поэтому точка лежит на отрезке . Аналогично, точка лежит на отрезке .
Покажем, что точки и изогонально сопряжены относительно треугольника , то есть , и . Докажем первое из этих равенств; остальные два доказываются аналогично. Обозначим через и точки касания плоскости со сферами и соответственно (см. рис. 20). Из равенства отрезков касательных, проведённых из одной точки к сфере, следует, что следующие пары треугольников равны по трём сторонам: , , , , , . Значит, , откуда следует требуемое равенство .
Используя условие задачи и доказанную изогональную сопряжённость точек и , получаем, что . Следовательно, четырёхугольник вписанный. Аналогично устанавливается вписанность четырёхугольника .
Обозначим через точку касания сферы и грани . Из равенства треугольников и равенства аналогичных пар треугольников, примыкающих к пяти остальным рёбрам тетраэдра , получаем (см. рис. 21), что . Так как точки и лежат на отрезках и соответственно, отсюда следует, что .
Повернём плоскость вокруг прямой так, чтобы она совместилась с плоскостью и при этом треугольник совместился с равным ему треугольником . При этом повороте окружность, описанная около четырёхугольника , перейдёт в окружность , описанную около четырёхугольника . В частности, точка перейдёт в некоторую точку на окружности . Из равенства углов следует, что точки и симметричны относительно диаметра окружности , перпендикулярного хорде . Следовательно, точки и , а значит, и точки и равноудалены от середины отрезка .


