МНОГОГРАННИК: ПРАВИЛЬНЫЕ МНОГОГРАННИКИ
МНОГОГРАННИК: ПРАВИЛЬНЫЕ МНОГОГРАННИКИ К статье МНОГОГРАННИК Выпуклый многогранник называется правильным, если он удовлетворяет следующим двум условиям: (i) все его грани - конгруэнтные правильные многоугольники; (ii) к каждой вершине примыкает одно и то же число граней. Если все грани - правильные р-угольники и q из них примыкают к каждой вершине, то такой правильный многогранник обозначается {p, q}. Это обозначение было предложено Л.Шлефли (1814-1895), швейцарским математиком, которому принадлежит немало изящных результатов в геометрии и математическом анализе. Существуют невыпуклые многогранники, у которых грани пересекаются и которые называются "правильными звездчатыми многогранниками". Так как мы условились такие многогранники не рассматривать, то под правильными многогранниками мы будем понимать исключительно выпуклые правильные многогранники. Платоновы тела. На рис. 2 изображены правильные многогранники. Простейшим из них является правильный тетраэдр, гранями которого служат четыре равносторонних треугольника и к каждой из вершин примыкают по три грани. Тетраэдру соответствует запись {3, 3}. Это не что иное, как частный случай треугольной пирамиды. Наиболее известен из правильных многогранников куб (иногда называемый правильным гексаэдром) - прямая квадратная призма, все шесть граней которой - квадраты. Так как к каждой вершине примыкают по 3 квадрата, куб обозначается {4, 3}. Если две конгруэнтные квадратные пирамиды с гранями, имеющими форму равносторонних треугольников, совместить основаниями, то получится многогранник, называемый правильным октаэдром. Он ограничен восемью равносторонними треугольниками, к каждой из вершин примыкают по четыре треугольника, и следовательно, ему соответствует запись {3, 4}. Правильный октаэдр можно рассматривать и как частный случай прямой правильной треугольной антипризмы. Рассмотрим теперь прямую правильную пятиугольную антипризму, грани которой имеют форму равносторонних треугольников, и две правильные пятиугольные пирамиды, основания которых конгруэнтны основанию антипризмы, а грани имеют форму равносторонних треугольников. Если эти пирамиды присоединить к антипризме, совместив их основания, то получится еще один правильный многогранник. Двадцать его граней имеют форму равносторонних треугольников, к каждой вершине примыкают по пять граней. Такой многогранник называется правильным икосаэдром и обозначается {3, 5}. Помимо четырех названных выше правильных многогранников, существует еще один - правильный додекаэдр, ограниченный двенадцатью пятиугольными гранями; к каждой его вершине примыкают по три грани, поэтому додекаэдр обозначается как {5, 3}. Пять перечисленных выше правильных многогранников, часто называемых также "телами Платона", захватили воображение математиков, мистиков и философов древности более двух тысяч лет назад. Древние греки даже установили мистическое соответствие между тетраэдром, кубом, октаэдром и икосаэдром и четырьмя природными началами - огнем, землей, воздухом и водой. Что касается пятого правильного многогранника, додекаэдра, то они рассматривали его как форму Вселенной. Эти идеи не являются одним лишь достоянием прошлого. И сейчас, спустя два тысячелетия, многих привлекает лежащее в их основе эстетическое начало. О том, что они не утратили свою притягательность и поныне, весьма убедительно свидетельствует картина испанского художника Сальвадора Дали Тайная вечеря. Древними греками исследовались также и многие геометрические свойства платоновых тел; с плодами их изысканий можно ознакомиться по 13-й книге Начал Евклида (см. также ГЕОМЕТРИЯ). Изучение платоновых тел и связанных с ними фигур продолжается и поныне. И хотя основными мотивами современных исследований служат красота и симметрия, они имеют также и некоторое научное значение, особенно в кристаллографии. Кристаллы поваренной соли, тиоантимонида натрия и хромовых квасцов встречаются в природе в виде куба, тетраэдра и октаэдра соответственно. Икосаэдр и додекаэдр среди кристаллических форм не встречаются, но их можно наблюдать среди форм микроскопических морских организмов, известных под названием радиолярий. Число правильных многогранников. Естественно спросить, существуют ли кроме платоновых тел другие правильные многогранники. Как показывают следующие простые соображения, ответ должен быть отрицательным. Пусть {p, q} - произвольный правильный многогранник. Так как его гранями служат правильные р-угольники, их внутренние углы, как нетрудно показать, равны (180 - 360/р) или 180 (1 - 2/р) градусам. Так как многогранник {p, q} выпуклый, сумма всех внутренних углов по граням, примыкающим к любой из его вершин, должна быть меньше 360 градусов. Но к каждой вершине примыкают q граней, поэтому должно выполняться неравенство где символ < означает "меньше чем". После несложных алгебраических преобразований полученное неравенство приводится к виду Нетрудно видеть, что p и q должны быть больше 2. Подставляя в (1) р = 3, мы обнаруживаем, что единственными допустимыми значениями q в этом случае являются 3, 4 и 5, т.е. получаем многогранники {3, 3}, {3, 4} и {3, 5}. При р = 4 единственным допустимым значением q является 3, т.е. многогранник {4, 3}, при р = 5 неравенству (1) также удовлетворяет только q = 3, т.е. многогранник {5, 3}. При p 5 допустимых значений q не существует. Следовательно, других правильных многогранников, кроме тел Платона, не существует. Все пять правильных многогранников перечислены в таблице, приведенной ниже. В трех последних столбцах указаны N0 - число вершин, N1 - число ребер и N2 - число граней каждого многогранника. К сожалению, приводимое во многих учебниках геометрии определение правильного многогранника неполно. Распространенная ошибка состоит в том, что в определении требуется лишь выполнение приведенного выше условия (i), но упускается из виду условие (ii). Между тем условие (ii) совершенно необходимо, в чем проще всего убедиться, рассмотрев выпуклый многогранник, удовлетворяющий условию (i), но не удовлетворяющий условию (ii). Простейший пример такого рода можно построить, отождествив грань правильного тетраэдра с гранью еще одного тетраэдра, конгруэнтного первому. В результате мы получим выпуклый многогранник, шестью гранями которого являются конгруэнтные равносторонние треугольники. Однако к одним вершинам примыкают три грани, а к другим - четыре, что нарушает условие (ii). Свойства правильных многогранников. Вершины любого правильного многогранника лежат на сфере (что вряд ли вызовет удивление, если вспомнить, что вершины любого правильного многоугольника лежат на окружности). Помимо этой сферы, называемой "описанной сферой", имеются еще две важные сферы. Одна из них, "срединная сфера", проходит через середины всех ребер, а другая, "вписанная сфера", касается всех граней в их центрах. Все три сферы имеют общий центр, который называется центром многогранника. Двойственные многогранники. Рассмотрим правильный многогранник {p, q} и его срединную сферу S. Средняя точка каждого ребра касается сферы. Заменяя каждое ребро отрезком перпендикулярной прямой, касательной к S в той же точке, мы получим N1 ребер многогранника, двойственного многограннику {p, q}. Нетрудно показать, что гранями двойственного многогранника служат правильные q-угольники и что к каждой вершине примыкают р граней. Следовательно, многограннику {p, q} двойствен правильный многогранник {q, p}. Многограннику {3, 3} двойствен другой многогранник {3, 3}, конгруэнтный исходному (поэтому {3, 3} называется самодвойственным многогранником), многограннику {4, 3} двойствен многогранник {3, 4}, а многограннику {5, 3} - многогранник {3, 5}. На рис. 3 многогранники {4, 3} и {3, 4} показаны в положении двойственности друг другу. Кроме того, каждой вершине, каждому ребру и каждой грани многогранника {p, q} соответствует единственная грань, единственное ребро и единственная вершина двойственного многогранника {q, p}. Следовательно, если {p, q} имеет N0 вершин, N1 ребер и N2 граней, то {q, p} имеет N2 вершин, N1 ребер и N0 граней. Так как каждая из N2 граней правильного многогранника {p, q} ограничена р ребрами и каждое ребро является общим ровно для двух граней, то всего имеется pN2/2 ребер, поэтому N1 = pN2/2. У двойственного многогранника {q, p} ребер также N1 и N0 граней, поэтому N1 = qN0/2. Таким образом, числа N0, N1 и N2 для любого правильного многогранника {p, q} связаны соотношением Симметрия. Основной интерес к правильным многогранникам вызывает большое число симметрий, которыми они обладают. Под симметрией (или преобразованием симметрии) многогранника мы понимаем такое его движение как твердого тела в пространстве (например, поворот вокруг некоторой прямой, отражение относительно некоторой плоскости и т.д.), которое оставляет неизменными множества вершин, ребер и граней многогранника. Иначе говоря, под действием преобразования симметрии вершина, ребро или грань либо сохраняет свое исходное положение, либо переводится в исходное положение другой вершины, другого ребра или другой грани. Существует одна симметрия, которая свойственна всем многогранникам. Речь идет о тождественном преобразовании, оставляющем любую точку в исходном положении. С менее тривиальным примером симметрии мы встречаемся в случае прямой правильной р-угольной призмы. Пусть l - прямая, соединяющая центры оснований. Поворот вокруг l на любое целое кратное угла 360/р градусов является симметрией. Пусть, далее, ? - плоскость, проходящая посредине между основаниями параллельно им. Отражение относительно плоскости ? (движение, переводящее любую точку P в точку P ?, такую, что ? пересекает отрезок PP ? под прямым углом и делит его пополам) - еще одна симметрия. Комбинируя отражение относительно плоскости ? с поворотом вокруг прямой l, мы получим еще одну симметрию. Любую симметрию многогранника можно представить в виде произведения отражений. Под произведением нескольких движений многогранника как твердого тела здесь понимается выполнение отдельных движений в определенном заранее установленном порядке. Например, упоминавшийся выше поворот на угол 360/р градусов вокруг прямой l есть произведение отражений относительно любых двух плоскостей, содержащих l и образующих относительно друг друга угол в 180/р градусов. Симметрия, являющаяся произведением четного числа отражений, называется прямой, в противном случае - обратной. Таким образом, любой поворот вокруг прямой - прямая симметрия. Любое отражение есть обратная симметрия. Рассмотрим подробнее симметрии тетраэдра, т.е. правильного многогранника {3, 3}. Любая прямая, проходящая через любую вершину и центр тетраэдра, проходит через центр противоположной грани. Поворот на 120 или 240 градусов вокруг этой прямой принадлежит к числу симметрий тетраэдра. Так как у тетраэдра 4 вершины (и 4 грани), то мы получим всего 8 прямых симметрий. Любая прямая, проходящая через центр и середину ребра тетраэдра проходит через середину противоположного ребра. Поворот на 180 градусов (полуоборот) вокруг такой прямой также является симметрией. Так как у тетраэдра 3 пары ребер, мы получаем еще 3 прямые симметрии. Следовательно, общее число прямых симметрий, включая тождественное преобразование, доходит до 12. Можно показать, что других прямых симметрий не существует и что имеется 12 обратных симметрий. Таким образом, тетраэдр допускает всего 24 симметрии. Для наглядности полезно построить картонную модель правильного тетраэдра и убедиться, что тетраэдр действительно обладает 24 симметриями. Развертки, которые можно вырезать из тонкого картона и, сложив, склеить из них пять правильных многогранников, приведены на рис. 4. Прямые симметрии остальных правильных многогранников можно описать не по отдельности, а все вместе. Условимся понимать под {p, q} любой правильный многогранник, кроме {3, 3}. Прямая, проходящая через центр {p, q} и любую вершину, проходит через противоположную вершину, и любой поворот на целое кратное 360/q градусов вокруг этой прямой является симметрией. Следовательно, для каждой такой прямой существуют, включая тождественное преобразование, (q - 1) различных симметрий. Каждая такая прямая соединяет две из N0 вершин; следовательно, всего таких прямых - N0/2, что дает (q - 1) N0/2 симметрий. Кроме того, прямая, проходящая через центр многогранника {p, q} и центр любой грани, проходит через центр противоположной грани, и любой поворот вокруг такой прямой на целое кратное 360/р градусов является симметрией. Так как общее число таких линий равно N2/2, где N2 - число граней многогранника {p, q}, мы получаем (p - 1) N2/2 различных симметрий, включая тождественное преобразование. Наконец, прямая, проходящая через центр и середину любого ребра многогранника {p, q}, проходит через середину противоположного ребра, и симметрией является полуоборот вокруг этой прямой. Поскольку имеется N1/2 таких прямых, где N1 - число ребер многогранника {p, q}, мы получаем еще N1/2 симметрий. С учетом тождественного преобразования получаем прямых симметрий. Других прямых симметрий нет, и имеется столько же обратных симметрий. Хотя формула (3) была получена не для многогранника {3, 3}, нетрудно проверить, что она верна и для него. Таким образом, многогранник {3, 3} обладает 12 прямыми симметриями, многогранники {4, 3} и {3, 4} имеют по 24 симметрии, а многогранники {5, 3} и {3, 5} - по 60 симметрий. Читатели, знакомые с абстрактной алгеброй, поймут, что симметрии многогранника {p, q} образуют группу относительно определенного выше "умножения". В этой группе прямые симметрии образуют подгруппу индекса 2, а обратные симметрии группу не образуют, так как нарушают свойство замкнутости и не содержат тождественного преобразования (единичного элемента группы). Обычно о группе прямых симметрий говорят как о группе многогранника, а полную группу симметрий называют его расширенной группой. Из рассмотренных выше свойств двойственных многогранников ясно, что любой правильный многогранник и двойственный ему многогранник имеют одну и ту же группу. Группа тетраэдра называется тетраэдрической группой, группа куба и октаэдра называется октаэдрической группой, а группа додекаэдра и икосаэдра - икосаэдрической группой. Они изоморфны знакопеременной группе А4 из четырех символов, симметрической группе S4 из четырех символов и знакопеременной группе А5 из пяти символов соответственно (см. также АЛГЕБРА АБСТРАКТНАЯ).