Выпуклый многогранник называется правильным, если его гранями являются равные правильные многоугольники, и в каждой вершине сходится одинаковое число граней.
Рассмотрим возможные правильные многогранники и прежде всего те из них, гранями которых являются правильные треугольники. Наиболее простым таким правильным многогранником является треугольная пирамида, гранями которой являются правильные треугольники (рис. 1, а). В каждой ее вершине сходится по три грани. Имея всего четыре грани, этот многогранник называется также тетраэдром, что в переводе с греческого языка означает четырехгранник.
Многогранник, гранями которого являются правильные треугольники, и в каждой вершине сходится четыре грани, изображен на рисунке 1, в. Его поверхность состоит из восьми правильных треугольников, поэтому он называется октаэдром.
Многогранник, в каждой вершине которого сходится пять правильных треугольников, изображен на рисунке 1, г. Его поверхность состоит из двадцати правильных треугольников, поэтому он называется икосаэдром.
Заметим, что поскольку в вершинах выпуклого многогранника не может сходиться более пяти правильных треугольников, то других правильных многогранников, гранями которых являются правильные треугольники, не существует.
Аналогично, поскольку в вершинах выпуклого многогранника может сходиться только три квадрата, то, кроме куба (рис. 1, б), других правильных многогранников, у которых гранями являются квадраты не существует. Куб имеет шесть граней и поэтому называется также гексаэдром.
Многогранник, гранями которого являются правильные пятиугольники, и в каждой вершине сходится три грани, изображен на рисунке 1, д. Его поверхность состоит из двенадцати правильных пятиугольников, поэтому он называется додекаэдром.
Поскольку в вершинах выпуклого многогранника не могут сходиться правильные многоугольники с числом сторон больше пяти, то, используя теорему Коши о жесткости выпуклого многогранника, получаем, что других правильных многогранников не существует, и таким образом, имеется только пять правильных многогранников: тетраэдр, куб, октаэдр, додекаэдр и икосаэдр.
Рассмотрим понятие правильного многогранника с точки зрения топологии науки, изучающей свойства фигур, не зависящих от различных деформаций без разрывов. С этой точки зрения, например, все треугольники эквивалентны, так как один треугольник всегда может быть получен из любого другого соответствующим сжатием или растяжением сторон. Вообще все многоугольники с одинаковым числом сторон эквивалентны по той же причине.
Как в такой ситуации определить понятие топологически правильного многогранника? Иначе говоря, какие свойства в определении правильного многогранника являются топологически устойчивыми и их следует оставить, а какие не являются топологически устойчивыми и их следует отбросить.
В определении правильного многогранника количество сторон и количество граней являются топологически устойчивыми, т. е. не меняющимися при непрерывных деформациях. Правильность же многоугольников не является топологически устойчивым свойством. Таким образом, мы приходим к следующему определению.
Выпуклый многогранник называется топологически правильным, если его гранями являются многоугольники с одним и тем же числом сторон и в каждой вершине сходится одинаковое число граней.
Например, все треугольные пирамиды являются топологически правильными многогранниками, эквивалентными между собой. Все параллелепипеды также являются эквивалентными между собой топологически правильными многогранниками. Четырехугольные пирамиды не являются топологически правильными многогранниками.
Выясним вопрос о том, сколько существует не эквивалентных между собой топологически правильных многогранников.
Как мы знаем, существует только пять правильных многогранников: тетраэдр, куб, октаэдр, икосаэдр и додекаэдр. Казалось бы, топологически правильных многогранников должно быть гораздо больше. Однако оказывается, что никаких других топологически правильных многогранников, не эквивалентных уже известным правильным, не существует.
Для доказательства этого воспользуемся теоремой Эйлера. Пусть дан топологически правильный многогранник, гранями которого являются n - угольники, и в каждой вершине сходится m ребер. Ясно, что n и m больше или равны трем. Обозначим, как и раньше, В - число вершин, Р - число ребер и Г - число граней этого многогранника.
Полную информацию смотрите в файле.