A plane intersects the edges , , , and of a triangular pyramid at points , , , and , respectively. It appears that the dihedral angles , , , and are equal. Prove that the projections of the vertices , , , and onto the plane are concyclic. (By we denote the dihedral angle of a tetrahedron at the edge .)
Solution
Обозначим через проекции вершин соответственно на плоскость . Пусть — произвольная точка на продолжении отрезка за точку . Тогда имеем и . По условию, эти углы равны; значит, в трехгранном угле (с вершиной ) двугранные углы при ребрах и равны между собой. Это означает, что плоскость, проходящая через прямую и перпендикулярная плоскости , — это плоскость симметрии трехгранного угла . Поэтому точка лежит на прямой, содержащей биссектрису угла , то есть на внешней биссектрисе угла .

Аналогично показывается, что лежит на внешней биссектрисе угла . Применяя такие же рассуждения для точек , получаем, что точки — пересечения внешних биссектрис соседних углов четырехугольника .
Из треугольника находим . Аналогично получаем, что . Таким образом, , откуда и следует, что четырехугольник — вписанный.