Условие
Выпуклый многогранник имеет шесть вершин — по одной на каждой из полуосей прямоугольной системы координат. Докажите, что восемь проекций начала координат на грани многогранника принадлежат одной сфере.
Решение
Пусть три вершины многогранника X0,Y0 и Z0 лежат на отрицательных полуосях, а три другие вершины X1,Y1 и Z1 на положительных полуосях, точка O — начало координат. Четыре проекции точки O лежат на гранях многогранника Z1X1Y1, Z1Y1X0, Z1X0Y0 и c Z1Y0X1 — это точки A, B, C и D соответственно. Так как ∠Z1AO=∠Z1CO=∠Z1DO=90∘, то сфера S, построенная на Z1O как на диаметре, содержит точки A, B, C и D. Докажем, что точки A, B, C и D принадлежат одной окружности, т.е. сечению сферы S. Спроектировав эти точки из точки Z1 на ребра многогранника X1Y1, Y1X0 X0Y0 и Y0X1, получим точки A1, B1, C1 и D1, соответственно. Эта проекция — стереографическая, и как только мы докажем, что A1, B1, C1 и D1 принадлежат одной окружности, так сразу убедимся, что точки A, B, C и D тоже принадлежат одной окружности. Заметим, что точки A1, B1, C1 и D1 — это проекции точки O на стороны четырехугольника X1Y1X0Y0 , диагонали которого X1X0 и Y1Y0 перпендикулярны и пересекаются в точке O (см. рисунок). В треугольнике X0Y1X1 отрезок B1A1 антипараллелен стороне X0X1, т.е. ∠Y1B1A1=∠Y1X1X, a ∠Y1A1B1=∠Y1X0X1; аналогичные равенства углов получим в треугольниках Y1X0Y0, X0Y0X1 и Y0X1Y1. После этого простой подсчет покажет, что суммы противоположных углов в четырехугольнике A1B1C1D1 равны по 180∘, т.е. около A1B1C1D1 можно описать окружность. Значит, точки A B, C и D принадлежат одной окружности, а четырехугольник ABCDявляется одной из шести граней многогранника M, восемь вершин которого — это восемь проекций точки O на грани исходного многогранника. Все грани многогранника M (кубоида) являются четырехугольниками, около каждого из которых можно описать окружность. Рассмотрим сферу Q, содержащую две окружности, описанные около двух смежных граней многогранника M. Нетрудно убедиться, что сфера Q содержит все вершины многогранника M.