Правильные многогранники интересовали многих великих учёных. И этот интерес выходил далеко за пределы математики. Платон (427 до н.э. — 347 до н.э.) рассматривал их как основу строения Вселенной, Кеплер (1571—1630) пытался связать правильные многогранники с движением планет Солнечной системы (которых в его время было известно пять). Возможно, именно красота и гармония правильных многогранников заставляла великих учёных прошлого предполагать какое-то более глубокое их назначение, чем просто геометрических объектов.
Правильным многогранником называется многогранник, все грани которого суть правильные многоугольники, все плоские углы которого равны между собой и двугранные углы которого равны между собой. (Плоскими углами многогранника называются углы многоугольников-граней, двугранными углами многогранника называются углы между гранями, имеющими общее ребро.)
Заметим, что из этого определения автоматически следует выпуклость правильного многогранника, которая в некоторых книгах включается в определение.
В трёхмерном пространстве существует ровно пять правильных многогранников: тетраэдр, октаэдр, куб (гексаэдр), икосаэдр, додекаэдр. То, что других правильных многогранников не существует, было доказано Евклидом (около 300 г. до н.э.) в его великих Началах.
Тетраэдром (от греч. τετρά, в сложных словах — четыре и έδρα — грань) называется правильный многогранник, имеющий 4 треугольные грани. У него 4 вершины, 6 рёбер. Поскольку грани тетраэдра суть правильные треугольники, его плоские углы равны $\pi/3$. Двугранные углы тетраэдра равны $\arccos(1/3) ≈ 70{,}53^\circ$.
Возьмём в серединах граней тетраэдра по точке и соединим их между собой отрезками. Эти отрезки равны по длине и образуют равносторонние треугольники. Точки являются вершинами, отрезки — рёбрами, а треугольники — гранями ещё одного тетраэдра.
Аналогичное построение применимо и в более общем случае. Рассмотрим произвольный выпуклый многогранник и возьмём точки в серединах его граней. Соединим между собой точки соседних граней отрезками. Тогда точки являются вершинами, отрезки — рёбрами, а многоугольники, которые ограничивают эти отрезки, гранями ещё одного выпуклого многогранника. Этот многогранник называется двойственными к исходному.
Как было показано выше, двойственным к тетраэдру является тетраэдр.
Увеличим размер тетраэдра, вершинами которого являются середины граней исходного тетраэдра, до размеров последнего. Восемь вершин так расположенных тетраэдров являются вершинами куба.
Пересечением этих тетраэдров является ещё один правильный многогранник — октаэдр (от греч. οκτώ — восемь). Октаэдр имеет 8 треугольных граней, 6 вершин, 12 рёбер. Плоские углы октаэдра равны $\pi/3$, поскольку его грани являются правильными треугольниками, двугранные углы равны $\arccos(–1/3) ≈ 109{,}47^\circ$.
Отметим середины граней октаэдра и перейдём к двойственному к октаэдру многограннику. Это — куб или гексаэдр (от греч. εξά — шесть). У куба грани являются квадратами. Он имеет 6 граней, 8 вершин, 12 рёбер. Плоские углы куба равны $\pi/2$, двугранные углы также равны $\pi/2$.
Если взять точки на серединах граней куба и рассмотреть двойственный к нему многогранник, то можно убедиться, что им снова будет октаэдр. Верно и более общее утверждение: если для выпуклого многогранника построить двойственный, а затем двойственный к двойственному, то им будет исходный многогранник (с точностью до подобия).
Возьмём на рёбрах октаэдра по точке, с тем условием, чтобы каждая делила ребро в соотношении $1:(\sqrt5+1)/2$ (золотое сечение) и при этом точки, принадлежащие одной грани, являлись вершинами правильного треугольника. Полученные 12 точек являются вершинами ещё одного правильного многогранника — икосаэдра (от греч. είκοσι — двадцать). Икосаэдр — это правильный многогранник, у которого 20 треугольных граней. Он имеет 12 вершин, 30 рёбер. Плоские углы икосаэдра равны $\pi/3$, двугранные равны $\arccos(–1/3\cdot\sqrt5) ≈ 138{,}19^\circ$.
Икосаэдр можно вписать в куб. На каждой грани куба при этом окажется по две вершины икосаэдра.
Повернём икосаэдр, «поставив» его на вершину, и получив его более привычный вид: две шапки из пяти треугольников у южного и северного полюсов и средний слой, состоящий из десяти треугольников.
Середины граней икосаэдра являются вершинами ещё одного правильного многогранника — додекаэдра (от греч. δώδεκα — двенадцать). Грани додекаэдра суть правильные пятиугольники. Таким образом, его плоские углы равны $3\pi/5$. У додекаэдра 12 граней, 20 вершин, 30 рёбер. Двугранные углы додекаэдра равны $\arccos(–1/5\cdot\sqrt5) ≈116{,}57^\circ$.
Взяв середины граней додекаэдра, и перейдя к двойственному ему многограннику, получим снова икосаэдр. Итак, икосаэдр и додекаэдр двойственны друг другу. Это ещё раз иллюстрирует тот факт, что двойственным к двойственному будет исходный многогранник.
Заметим, что при переходе к двойственному многограннику, вершины исходного многогранника соответствуют граням двойственного, рёбра — рёбрам двойственного, а грани — вершинам двойственного многогранника. Если у икосаэдра 20 граней, значит у двойственного ему додекаэдра 20 вершин и у них одинаковое число рёбер, если у куба 8 вершин, то у двойственного ему октаэдра 8 граней.
Существуют различные способы вписывания правильных многогранников друг в друга, приводящие ко многим замечательным конструкциям. Интересные и красивые многогранники получаются также при объединении и пересечении правильных многогранников.
В додекаэдр впишем куб так, чтобы все 8 вершин куба совпадали с вершинами додекаэдра. Вокруг додекаэдра опишем икосаэдр так, чтобы его вершины оказались в серединах граней икосаэдра. Вокруг икосаэдра опишем октаэдр, так, чтобы вершины икосаэдра лежали на рёбрах октаэдра. Наконец, вокруг октаэдра опишем тетраэдр так, чтобы вершины октаэдра попали на середины рёбер тетраэдра.
Такую конструкцию из кусочков сломанных деревянных лыжных палок сделал ещё ребёнком будущий великий математик XX века В. И. Арнольд. Владимир Игоревич хранил её долгие годы, а затем отдал в лабораторию популяризации и пропаганды математики Математического института им. В. А. Стеклова.