4. Полуправильные многогранники или Архимедовы тела — выпуклые многогранники, обладающие двумя свойствами:

1. Все грани являются правильными многоугольниками двух или более типов (если все грани — правильные многоугольники одного типа, это — правильный многогранник).

2. Для любой пары вершин существует симметрия многогранника (то есть движение переводящее многогранник в себя) переводящая одну вершину в другую. В частности все многогранные углы при вершинах конгруэнтны.

Кроме полуправильных многогранников из правильных многогранников - Платоновых тел, можно получить так называемые правильные звездчатые многогранники. Их всего четыре, они называются также телами Кеплера-Пуансо. Кеплер открыл малый додекаэдр, названный им колючим или ежом, и большой додекаэдр. Пуансо открыл два других правильных звездчатых многогранника, двойственных соответственно первым д вум: большой звездчатый додекаэдр и большой икосаэдр.

Два тетраэдра, прошедших один сквозь другой, образуют восьмигранник. Иоганн Кеплер присвоил этой фигуре имя «стелла октангула» - «восьмиугольная звезда». Она встречается и в природе: это так называемый двойной кристалл.

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

Если же продлить все грани октаэдра до пересечения их друг с другом, то получится фигура, что возникает при взаимопроникновении двух тетраэдров - «стелла октангула», которая называется «продолженным о ктаэдром».

Икосаэдр и додекаэдр дарят миру сразу четыре «почти правильных многогранника». Один из них - малый звездчатый додекаэдр, полученный впервые Иоганном Кеплером.

Столетиями математики не признавали за всякого рода звездами права называться многоугольниками из-за того, что стороны их пересекаются. Людвиг Шлефли не изгонял геометрическое тело из семейства многогранников только за то, что его грани самопересекаются, тем не менее, оставался непреклонным, как только речь заходила про малый звездчатый додекаэдр. Довод его был прост и весом: это кеплеровское животное не подчиняется формуле Эйлера! Его колючки образованы д венадцатью гранями, тридцатью ребрами и двенадцатью вершинами, и, следовательно, В+Г—Р вовсе не равняется двойке.

Шлефли был и прав, и не прав. Конечно же, геометрический ежик не настолько уж колюч, чтобы восстать против непогрешимой формулы. Надо только не считать, что он образован двенадцатью пересекающимися звездчатыми гранями, а взглянуть на него как на простое, честное геометрическое тело, составленное из 60 треугольников, имеющее 90 ребер и 32 вершины.

Тогда В+Г-Р=32+60-90 равно, как и положено, 2. Но зато тогда к этому м ногограннику неприменимо слово «правильный» - ведь грани его теперь не равносторонние, а всего лишь равнобедренные треугольники. Кеплер не д одумался, что у полученной им фигуры есть двойник.

Многогранник, который называется «большой додекаэдр» - построил французский геометр Луи Пуансо спустя двести лет после кеплеровских звездчатых фигур.

Большой икосаэдр был впервые описан Луи Пуансо в 1809 году. И опять Кеплер, увидев большой звездчатый додекаэдр, честь открытия второй фигуры оставил Луи Пуансо. Эти фигуры также наполовину подчиняются формуле Эйлера.