Многогранник или полиэдр — обычно замкнутая поверхность, составленная из многоугольников, но иногда так же называют тело, ограниченное этой поверхностью.
Многогранник, точнее трёхмерный многогранник — совокупность конечного числа плоских многоугольников в трёхмерном евклидовом пространстве, такая, что:
Эти многоугольники называются гранями, их стороны — рёбрами, а их вершины — вершинами многогранника[1].
Простейшим примером многогранника является выпуклый многогранник, то есть граница такого ограниченного подмножества евклидова пространства, которое является пересечением конечного числа полупространств.
Приведённое определение многогранника получает различный смысл в зависимости от того, как определить многоугольник, для которого возможны следующие два варианта:
В первом случае мы получаем понятие звёздчатый многогранник. Во втором — многогранник есть поверхность, составленная из многоугольных кусков. Если эта поверхность сама себя не пересекает, то она есть полная поверхность некоторого геометрического тела, которое также называется многогранником. Отсюда возникает третье определение многогранника, как самого геометрического тела.