Большая Советская энциклопедия - многогранник

в трёхмерном пространстве, совокупность конечного числа плоских многоугольников, такая, что каждая сторона любого из многоугольников есть одновременно сторона другого (но только одного), называемого смежным с первым (по этой стороне); от любого из многоугольников, составляющих М., можно дойти до любого из них, переходя к смежному с ним, а от этого, в свою очередь, — к смежному с ним, и т. д. Эти многоугольники называются гранями, их стороны — рёбрами, а их вершины — вершинами М.

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

М. называется выпуклым, если он весь лежит по одну сторону от плоскости любой его грани; тогда грани его тоже выпуклы. Выпуклый М. разрезает пространство на две части — внешнюю и внутреннюю. Внутренняя его часть есть выпуклое тело. Обратно, если поверхность выпуклого тела многогранная, то соответствующий М. — выпуклый.

Важнейшие теоремы общей теории выпуклых М. (рассматриваемых как по верхности) следующие.

Теорема Эйлера (1758): число вершин минус число рёбер плюс число граней выпуклого М. — эйлерова характеристика М. — равно двум; символически: в — р + г = 2.

Теорема Коши (1812) (в современной форме): если два выпуклых М. изометричны друг другу (т. е. один М. может быть взаимно однозначно отображён на другой М. с сохранением длин лежащих на нём линий), то второй М. может быть получен из первого движением его как жёсткого целого (или движением и зеркальным отражением). Отсюда, в частности, следует, что если грани выпуклого М. жестки, то он сам жёсток, хотя бы его грани были скреплены друг с другом по ребрам шарнирно. Это предполагал верным ещё Евклид и знает всякий, клеивший картонные модели М., но доказал Коши только через 2000 лет после Евклида.

Теорема А. Д. Александрова (1939): если взять конечное число плоских выпуклых многоугольников (сделанных, например, из бумаги) и указать, какую сторону какого из них с какой стороной какого другого мы будем склеивать (склеиваемые стороны, конечно, должны быть одинаковой длины), т. е. если рассмотреть развёртку (выкройку) М., то для того, чтобы так склеенную замкнутую поверхность можно было, соответственно расправив (т. е. изогнув, если нужно, но не растягивая, не сжимая, не разрывая и больше не склеивая), превратить в поверхность выпуклого М., необходимо и достаточно, чтобы: а) удовлетворялось условие Эйлера в — р + г = 2 и б) чтобы сумма плоских углов, сходящихся при склеивании в одной вершине, для любой вершины была меньше 360°. Эта теорема есть теорема существования, т. е. она показывает, с какими развёртками существуют выпуклые М., а теорема Коши есть для неё теорема единственности, т. е. она показывает, что существует только один (с точностью до движения и отражения) выпуклый М. с такой развёрткой.

Теорема (существования) Минковского (1896): существует выпуклый М. с любыми площадями граней и любыми направлениями внешних нормалей к ним, лишь бы сумма векторов, имеющих направления нормалей и длины, равные площадям соответствующих граней, была равна нулю и эти векторы не лежали бы все в одной плоскости. Эти условия необходимы.

Теорема (единственности) Минковского (1896): выпуклый М. вполне определяется площадями своих граней и направлениями внешних нормалей к ним; и углубляющая её теорема (единственности) А. Д. Александрова: два выпуклых М. с попарно параллельными гранями не равны друг другу только в том случае, если для одной из пар параллельных граней с одинаково направленными внешними нормалями одна из этих граней может быть при помощи параллельного переноса вложена в другую.

Теорема Штейница (1917): существует выпуклый М. с любой наперёд заданной сеткой. При этом сеткой выпуклого М. называют сетку, составленную его ребрами. Два М. принадлежат к одному и тому же типу, если топологически тождественны сетки их рёбер, т. е. если один из них отличается от другого лишь длиной своих рёбер и величиной углов между ними. Сетку рёбер выпуклого М. можно спроектировать на плоскость из внешней точки, весьма близкой к внутренней точке какой-либо его грани. Сама эта грань спроектируется тогда в виде внешнего выпуклого многоугольника, а все остальные — в виде малых выпуклых многоугольников, которые его заполняют, не налегая друг на друга, и смежны друг с другом целыми сторонами. Тип сетки рёбер М. при таком проектировании не меняется. Число m типов М. с данным числом n граней ограничено, а именно: если n = 4, 5, 6, 7, 8, ..., то m = 1, 2, 7, 34, 257,... На рис. даны сетки всех типов для n = 4, 5, 6.

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

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

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

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

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

----------------------------------------------------------------------------------------------------------------------------------------------------------------

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

|---------------------------------------------------------------------------------------------------------------------------------------------------------------|

| Тетраэдр