Наиболее важны следующие специальные выпуклые М.

  Правильные многогранники (тела Платона) — такие выпуклые М., все грани которых суть конгруэнтные правильные многоугольники. Все многогранные углы правильного М. правильные и равные. Как это следует уже из подсчёта суммы плоских углов при вершине, выпуклых правильных М. не больше пяти. Указанным ниже путём можно доказать, что существуют именно пять правильных М. (это доказал Евклид). Они — правильные тетраэдр , куб , октаэдр , додекаэдр и икосаэдр .

  Куб и октаэдр дуальны, т. е. получаются друг из друга, если центры тяжести граней одного принять за вершины другого или обратно. Аналогично дуальны додекаэдр и икосаэдр. Тетраэдр дуален сам себе. Правильный додекаэдр получается из куба построением «крыш» на его гранях (способ Евклида), вершинами тетраэдра являются любые четыре вершины куба, попарно не смежные по ребру. Так получаются из куба все остальные правильные М.

  В приведённой ниже таблице указаны радиус описанной сферы, радиус вписанной сферы и объём всех правильных М. (а — длина ребра М.).

  Изоэдры и изогоны. Изоэдром (изогоном) называется такой выпуклый М., что группа его поворотов (первого и второго, т. е. с отражениями, родов) вокруг центра тяжести переводит любую его грань (вершину) в любую другую его грань (вершину). Каждому изоэдру (изогону) соответствует дуальный изогон (изоэдр). Если М. одновременно и изогон и изоэдр, то он правильный М. Комбинаторно различных изоэдров (изогонов) имеется 13 специальных типов и две бесконечные серии (призмы и антипризмы). Оказывается, что каждый из этих изоэдров может быть реализован так, что все его грани суть правильные многоугольники. Полученные так М. называются полуправильными многогранниками (телами Архимеда).

Радиус описанной сферы	Радиус вписанной сферы	Объём

  Параллелоэдры (выпуклые; найдены рус. учёным Е. С. Федоровым в 1881) — М., рассматриваемые как тела, параллельным перенесением которых можно заполнить всё бесконечное пространство так, чтобы они не входили друг в друга и не оставляли пустот между собой, т. е. образовать разбиение пространства. Таковы, например, куб или правильная 6-угольная призма. Топологически различных сеток рёбер параллелоэдров пять. Число их граней — 6, 8, 12, 12, 14. Для того чтобы М. был параллелоэдром, необходимо и достаточно, чтобы он был выпуклым М. одного из пяти указанных топологических типов и чтобы все грани его имели центры симметрии.

  Если параллелоэдры разбиения смежны целыми гранями, разбиение называется нормальным. Центры параллелоэдров такого разбиения образуют решётку, т. е. совокупность всех точек с целыми координатами относительно какой-то, вообще говоря, не прямоугольной декартовой системы координат. Множество точек пространства, из которых каждая отстоит от некоторой данной точки О рассматриваемой решётки L не дальше, чем от всякой другой точки этой решётки, называется областью Дирихле (или областью Вороного) D_o L точки О в решётке L. Область D_o L является выпуклым М. с центром в точке О . Совокупность областей Дирихле всех точек произвольной решётки образует нормальное разбиение пространства. Существует замечательная теорема: произвольное (даже n -мерное) нормальное разбиение на параллелоэдры, в каждой из вершин которого сходится n + 1 параллелоэдр, может быть аффинным преобразованием превращено в разбиение Дирихле для некоторой решётки.

  Всякое движение, переводящее в себя решётку L и оставляющее на месте её точку О , преобразует в себя область D_o L и обратно. Группу всех таких движений называют голоэдрией решётки. Их всего семь: кубическая, ромбоэдрическая, квадратная (или тетрагональная), ортогональная (или ромбическая), моноклинная, триклинная и гексагональная.

  Кристаллографические многогранники. Каждая из семи рассмотренных групп имеет подгруппы, всех различных таких групп и их подгрупп 32; их называют кристаллографическими классами. Пусть какой-нибудь кристаллографический класс есть подгруппа некоторой голоэдрии, тогда говорят, что он принадлежит этой голоэдрии (или входит в состав её сингонии), если этот класс не является подгруппой никакой голоэдрии, содержащейся в данной. Если взять плоскость, не проходящую через точку О , и подвергнуть её всем поворотам какого-нибудь кристаллографического класса, то полученные плоскости ограничивают либо некоторый изоэдр с центром в точке, либо бесконечное выпуклое призматическое тело, либо многогранный угол. Полученные тела называются простыми формами кристаллов, в первом случае замкнутыми, во втором и третьем — открытыми. Две простые формы считают одинаковыми, если они имеют один и тот же комбинаторный тип, порождены одним и тем же кристаллографическим классом и повороты этого класса одинаковым образом связаны с формой. Существует 30 различных в этом смысле замкнутых форм и 17 открытых, каждая из них имеет вполне определённое название (см. Кристаллы ).

  Основываясь на первом (указанном в начале статьи) определении М., можно указать ещё четыре правильных невыпуклых многогранника (т. н. тела Пуансо), впервые найденных французским математиком Л. Пуансо в 1809. Доказательство несуществования других невыпуклых правильных М. дал французский математик О. Коши в 1811. В этих М. либо грани пересекают друг друга, либо сами грани — самопересекающиеся многоугольники. Для изучения вопросов, связанных с площадями поверхностей и объёмами таких М., удобно пользоваться именно первым определением М.

  Если у М. можно так ориентировать грани, чтобы каждое ребро в тех двух гранях, которые смежны по этому ребру, имело бы обратные направления, то его называют ориентируемым, в противном случае — неориентируемым. Для ориентируемого М. (даже если он самопересекающийся и его грани — самопересекающиеся многоугольники) можно ввести понятия площади поверхности и величины объёма. Площадью ориентируемого М. называют просто сумму площадей его граней (об определении площади самопересекающегося многоугольника см. Многоугольник ). Для определения объёма надо заметить, что совокупность внутренних кусков граней М. разрезает пространство на определённое число связных кусков, из которых один по отношению к М. бесконечный (внешний), а остальные конечные (внутренние). Если из внешней по отношению к М. точки провести отрезок в какую-либо внутреннюю точку внутреннего куска, то сумму «коэффициентов» тех внутренних кусков граней М., которые пересечёт этот отрезок, называют коэффициентом рассматриваемого внутреннего куска М. (она не зависит от выбора внешней точки О ); такой коэффициент есть целое положительное, отрицательное число или нуль. Сумму обычных объёмов всех внутренних кусков М., умноженных на эти их коэффициенты, называют объёмом М.