Архимедово тело
Архиме́дово те́ло (или архиме́дов многогра́нник) — выпуклый многогранник, имеющий в качестве граней два или более типов правильных многоугольников, примыкающих к идентичным вершинам. Здесь «идентичные вершины» означают, что для любых двух вершин существует изометрия всего тела, переводящая одну вершину в другую.
Архимедовы тела отличаются от платоновых тел (правильных многогранников), которые состоят только из одного типа многоугольников в одинаковых вершинах, и от многогранников Джонсона, правильные многоугольные грани которого принадлежат различным типам вершин.
Иногда только требуется, чтобы грани, прилегающие к одной вершине, были изометричными граням при другой вершине. Эта разница в определениях определяет, считается ли удлинённый квадратный гиробикупол (псевдоромбокубооктаэдр) архимедовым телом или многогранником Джонсона — это единственный выпуклый многогранник, в котором многоугольные грани примыкают к вершине одним и тем же способом в каждой вершине, но многогранник не имеет глобальную симметрию, которая бы переводила любую вершину в любую другую. Основываясь на существовании псевдоромбокубооктаэдра, Грюнбаум[1] предложил терминологическое различие, в котором архимедово тело определяется как имеющее одну и ту же вершинную фигуру в каждой вершине (включая удлинённый квадратный гиробикупол), в то время как однородный многогранник определяется как тело, у которого любая вершина симметрична любой другой (что исключает гиробикупол).
Призмы и антипризмы, группами симметрий которых являются диэдрические группы, обычно не считаются архимедовыми телами, несмотря на то, что они подпадают под определение, данное выше. С этим ограничением существует только конечное число архимедовых тел. Все тела, кроме удлинённого квадратного гирокупола, можно получить построениями Витхоффа из платоновых тел с помощью тетраэдральной, октаэдральной и икосаэдральной симметрий.
Архимедовы тела названы по имени Архимеда, обсуждавшего их в ныне потерянной работе. Папп ссылается на эту работу и утверждает, что Архимед перечислил 13 многогранников[1]. Во времена Возрождения художники и математики ценили чистые формы и переоткрыли их все. Эти исследования были почти полностью закончены около 1620 года Иоганном Кеплером[2], который определил понятия призм, антипризм и невыпуклых тел, известных как тела Кеплера — Пуансо.
Кеплер, возможно, нашёл также удлинённый квадратный гиробикупол (псевдоромбокубооктаэдр) — по меньшей мере, он утверждал, что имеется 14 архимедовых тел. Однако его опубликованные перечисления включают только 13 однородных многогранников, и первое ясное утверждение о существовании псевдоромбоикосаэдра было сделано в 1905 Дунканом Соммервилем[1].
