Статьи Соросовского Образовательного журнала в текстовом формате
Обсуждаются топологические аспекты теоремы Эйлера и приводится ее элементарное доказательство как для простых многогранников, так и для более сложных поверхностей.
ТЕОРЕМА ЭЙЛЕРАДЛЯ МНОГОГРАННИКОВ
Г. М. ЖИСЛИН
Нижегородский государственный университет
им. Н.И. Лобачевского
Посвящается памяти
Николая Петровича Тихомирова, моего учителя математики в школе ╧ 2 г. Владимира
ВВЕДЕНИЕ
Теорема Эйлера - математическое утверждение, связывающее между собой число ребер, граней и вершин многогранников. Эта теорема была открыта французским ученым Рене Декартом еще в 1640 году, затем забыта более чем на сто лет и лишь в 1752 году переоткрыта российским математиком Леонардом Эйлером, имя которого она носит.
Теорема Эйлера хорошо известна и присутствует в продвинутых школьных курсах математики. Однако там она, как правило, жестко связана с изучением многогранников и используется в основном для выяснения того, какие правильные многогранники могут существовать. Такой подход создает превратное впечатление о роли и месте теоремы Эйлера: остается невскрытой чисто топологическая сущность этой теоремы и ее роль в классификации поверхностей, не выясняется связь эйлеровой характеристики с родом поверхности. В результате возникают потери и для приложений: распространение теоремы Эйлера на более сложные, чем обычные многогранники, объекты (сферы с "ручками", многогранники с "дырками" и т.д.) остается вне школьных факультативов.
Цель настоящей статьи - привлечь внимание учителей к чисто топологическим аспектам теоремы Эйлера. Для этого мы сначала (следуя идеям [1]) проводим наглядное топологическое доказательство данной теоремы для простых многогранников, а затем, используя уже полученный результат, доказываем теорему Эйлера и для более сложных поверхностей. Одновременно выясняется связь эйлеровой характеристики и рода поверхности. В заключение приведено вытекающее из теоремы Эйлера описание всех возможных правильных многогранников.
В статье использованы только простые математические понятия, самым сложным из которых (по мнению автора) является понятие непрерывного взаимно однозначного отображения (определение 1). Поэтому изложенный материал доступен не только учителям, но и старшим школьникам, и после соответствующего расширения (см., например, [1-4]) он может быть использован в школьных факультативах.
ТЕОРЕМА ЭЙЛЕРА ДЛЯ ПРОСТЫХ МНОГОГРАННИКОВ
Начнем с рассмотрения двух многогранников, хорошо известных из школьной программы, - тетраэдра и куба. Условимся обозначать число вершин многогранника буквой В, число ребер - буквой Р, число граней - буквой Г. Тогда для выбранных многогранников можно составить следующую табличку:
В последнем столбце таблицы вычисляется величина Э, которая, по определению, равна В + Г - Р. Мы видим, что, хотя числа В, Г и Р для тетраэдра и куба различны, величины Э для них совпадают. Можно было бы подумать, что это совпадение случайно, однако если бы мы подсчитали величины В, Г и Р для какого-либо другого многогранника "без дырок", заполнив свободную строчку таблицы, то еще раз убедились бы, что, несмотря на различия самих многогранников и различия для них величин В, Г и Р, значение Э остается постоянным и равным двум. Таким образом, имеет место равенство
В + Г - Р = 2,
которое и называется теоремой Эйлера для многогранников. В этом разделе мы опишем условия справедливости равенства (1) и дадим его простое геометрическое доказательство. Начнем с необходимых определений. Многоугольником называется часть плоскости, ограниченная замкнутой ломаной линией (без самопересечений). Пространственная фигура, ограниченная многоугольниками, называется многогранником. Примеры многоугольников и многогранников хорошо известны, и мы на них не останавливаемся. В настоящем разделе рассматриваются только так называемые простые многогранники. Чтобы определить их строго, нам необходимо ввести основное для дальнейшего изложения понятие гомеоморфизма или гомеоморфного отображения.
Пусть G = {r | r = (x, y, z)} и G' = {r' | r' = (x', y', z')} - два точечных множества в трехмерном пространстве (мы не исключаем возможности того, что G и G ' лежат на каких-либо кривых или принадлежат каким-либо плоскостям).
Определение 1. Отображение r' = f (r) множества G на множество G ' называется гомеоморфизмом, если выполняются следующие условия:
А. Каждой точке r из G отображение f (r) ставит в соответствие единственную точку r' из G ' и для любой точки r' k G ' существует единственная точка r из G, для которой f (r) = r'.
Б. Для любых r1 , r2 из G, :
если то || 0;
если || 0, то и .
Условие А есть требование взаимной однозначности отображения r' = f (r): разные точки под действием f (r) переходят в разные.
Условие Б есть требование непрерывности отображения f (r) и его обратного f -1(r'): близкие точки r1 и r2 из G должны отображаться в близкие точки из G ' и, наоборот, близкие точки и из G ' должны иметь близкие прообразы r1 и r2 в G.
Таким образом, можно сказать, что гомеоморфизм - это взаимно однозначное и непрерывное отображение, для которого обратное тоже является непрерывным. Примером гомеоморфизма может служить соответствие между точками поверхности куба и точками содержащей его произвольной сферы. Установим это соответствие следующим образом (рис. 1): из произвольной точки О, лежащей строго внутри куба, проведем лучи ко всем точкам сферы и точке r пересечения луча с поверхностью куба поставим в соответствие точку r' пересечения этого же луча с поверхностью сферы. Легко проверить, что построенное отображение удовлетворяет требованиям А, Б определения 1 и, следовательно, является гомеоморфизмом. Нетрудно показать также, что замкнутая ломаная линия без самопересечений гомеоморфна окружности, что парабола гомеоморфна прямой и т.д. В то же время, например, отрезок прямой негомеоморфен окружности. Действительно, если бы отрезок был гомеоморфен окружности, то отрезок с выколотой точкой был бы гомеоморфен окружности с выколотой точкой. Но это невозможно, поскольку отрезок с выколотой точкой есть множество несвязное и при гомеоморфизме он должен отображаться в несвязное множество, а окружность с выколотой точкой является множеством связным (множество G называется связным, если любая пара точек из G может быть соединена непрерывной кривой, все точки которой принадлежат G; сохранение связности множества при гомеоморфизме легко проверяется).Точно так же можно показать, что отрезок негомеоморфен кругу. В качестве распространенного и наглядного примера гомеоморфного отображения поверхности можно рассматривать ее деформацию при условии, что эта деформация не разрывает поверхности (является непрерывной) и не приводит к склеиванию различных точек (то есть является взаимно однозначной).
Теперь мы можем дать определение простого многогранника.
Определение 2. Многогранник называется простым, если его поверхность гомеоморфна сфере.
Простыми многогранниками являются, например, пирамиды, призмы и вообще все выпуклые многогранники (то есть такие, для которых отрезок, соединяющий любые точки многогранника, целиком принадлежит этому многограннику). Мы можем убедиться в этом, построив явно гомеоморфное отображение поверхности многогранника на поверхность сферы так же, как это было сделано в случае куба. Выпуклость многогранника нужна нам здесь лишь для того, чтобы лучи, идущие из внутренней точки многогранника к поверхности содержащей его сферы, пересекали поверхность многогранника только в одной точке. Пример многогранника, не являющегося простым, - многогранник с "дыркой" (рис. 2, а).
Докажем теорему Эйлера (то есть равенство (1)) для простых многогранников. Пусть S - поверхность простого многогранника, В(S), Г (S) и Р(S) - соответственно число вершин, граней и ребер поверхности S, Э(S) := В(S) + Г (S) - Р(S). Мы хотим доказать, что Э(S) = 2. Отобразим гомеоморфно S на поверхность S0 некоторой сферы. Тогда на S0 появится криволинейная сетка L0 , состоящая из образов ребер многогранника; образами граней будут некоторые области на S0 , гомеоморфные кругу, а образами вершин - точки пересечения кривых сетки L0 между собой. Сохраним за образами на сфере ребер, вершин и граней поверхности S прежние названия. Вследствие гомеоморфизма поверхностей S и S0 числа ребер Р(S0), граней Г (S0) и вершин В(S0) криволинейной сетки L0 на сфере S0 будут теми же, что у поверхности S, и, значит, Э(S0) = Г (S0) + В(S0) - - Р(S0) = Э(S). Вырежем из поверхности сферы S0 одну грань и гомеоморфно деформируем полученную сферу с "дыркой" в плоскую область, растягивая сферу так, чтобы ребра - границы дырки составили границу полученной плоской области S1 (рис. 3, а соответствует случаю, когда вырезанная грань была пятиугольником). Вследствие деформации сферы S0 сетка L0 на S0 трансформируется в некоторую сетку L1 на S1 . По построению, сетка L1 имеет на одну грань меньше, чем L0 , при том же количестве вершин и ребер, и, значит,
Э(S0) = Э(S1) + 1.
Для нахождения Э(S1) будем последовательно упрощать область S1 , убирая ребра, грани и вершины так, чтобы на каждом этапе величина Э = В + Г - Р не менялась. В качестве первого шага уберем из S1 ребро AB и грань a. Ясно, что для полученной области S2 выполняется Э(S2) = Э(S1). Далее из S2 удалим ребро AC и грань b. Для полученной фигуры S3 (см. рис. 3, б ), очевидно, Э(S3) = Э(S2). Теперь уберем одинокое ребро AA1 с вершиной A. Так как при этом уменьшаются на единицу и число ребер, и число вершин (входящие в формулу Эйлера с противоположными знаками), то для полученной области S4 выполняется Э(S4) = Э(S3). Продолжая действовать подобным образом, после k-го шага придем к области Sk + 1 , являющейся многоугольником. Но для любого многоугольника числа ребер и вершин совпадают, грань одна. Поэтому Э(Sk + 1 ) = 1. По построению, Э(S1) = Э(Sk + 1) = 1, и в силу (2) Э(S0) = 2.
Теорема Эйлера доказана.
Самым поучительным в приведенном доказательстве является то, что оно верно не только для многогранников. Действительно, рассмотрим произвольную пространственную фигуру, гомеоморфную шару. Нанесем на ее поверхность S криволинейную сетку L, разбивающую S на конечное число областей, гомеоморфных кругу, которые мы назовем гранями. Пусть Р(S), Г (S) и В(S) суть соответственно число ребер, граней и вершин сетки L и Э(S) = В(S) + + Г (S) - Р(S). Отобразив S гомеоморфно на поверхность какой-либо сферы и рассуждая аналогично предыдущему, получим Э(S) = 2. Таким образом, мы установили, что все гомеоморфные сфере поверхности S имеют одну и ту же величину эйлеровой характеристики Э(S) - число 2. Обратим внимание на то, что значение Э(S) оказалось не зависящим от площади и числа граней, длин и числа ребер, углов пересечения ребер и числа вершин сетки и т.д. Другими словами, эйлерова характеристика не связана с метрическими свойствами поверхностей, а отображает более глубокие их свойства.
Определение 3. Свойство поверхности S называется топологическим, если оно сохраняется при любых гомеоморфных преобразованиях S.
Ясно, например, что объем, ограниченный поверхностью S, или площадь S не относятся к топологическим свойствам. В отличие от них эйлерова характеристика является топологическим свойством поверхности. Более того, она определяет тип поверхности в том смысле, что если для какой-то поверхности эйлерова характеристика равна двум, то эта поверхность гомеоморфна сфере. Точная формулировка этого и более общего утверждений будет дана в следующем разделе.
ТЕОРЕМА ЭЙЛЕРА. ОБЩИЙ СЛУЧАЙ
Доказательство теоремы Эйлера для простых многогранников привело нас к выделению класса поверхностей, гомеоморфных сфере. Рассмотрим теперь многогранники, не являющиеся простыми. Примером таких многогранников может служить уже упоминавшийся многогранник с дыркой (рис. 2, а). Эйлерова характеристика для него равна нулю. Легко проверить, что для многогранника с двумя не пересекающимися дырками она равна -2. Возникают вопросы: какие еще значения может принимать эйлерова характеристика для многогранников, не являющихся простыми; являются ли многогранники с одним и тем же значением эйлеровой характеристики гомеоморфными друг другу, и если да, то какая геометрическая фигура может наглядно представлять класс многогранников с заданным значением Э(S), подобно тому как сфера представляет поверхности простых многогранников?
Ответ на эти вопросы будет дан в ответе на вопросы более общего характера, формулируемые ниже.
Рассмотрим произвольную поверхность S, которая с помощью криволинейной сетки L разбита на конечное число областей, гомеоморфных кругу. Пусть ВL(S), ГL(S) и РL(S) суть числа вершин, граней и ребер сетки L. Сопоставим поверхности S и сетке L число ЭL(S) = ВL(S) + ГL(S) - РL(S). Интересно выяснить:
1) зависит ли величина ЭL(S) от выбора сетки L;
2) если не зависит, то какие значения Э(S) возможны для различных поверхностей;
3) будут ли все поверхности S с одним и тем же значением Э(S) гомеоморфны друг другу;
4) если да, то каков "эталонный представитель" класса поверхностей с заданным значением Э(S) и как он зависит от величины Э(S)?
Ответ на первый вопрос: не зависит. Величина ЭL(S) определяется только поверхностью S, и, значит, можно писать ЭL(S) = Э(S). Чтобы доказать это, достаточно рассмотреть две произвольные сетки L1 и L2 одной и той же поверхности и сетку L3 , которая получается наложением сеток L1 и L2 друг на друга. При этом, не ограничивая общности, можно считать, что ни одна из вершин одной сетки не попадает на ребра другой сетки, так как при необходимости вершины можно немного сдвинуть (изгибая ребра) с сохранением величины Тогда, рассматривая сетку L3 как произошедшую из L1 и аккуратно подсчитывая вновь образованные грани, ребра и вершины, мы получаем, что Аналогично показывается, что
Ответ на третий вопрос: поверхности с одним и тем же значением Э(S) гомеоморфны друг другу. Доказательство можно найти в [2], а здесь мы отметим лишь, что поверхности с различными значениями Э(S) не могут быть гомеоморфны друг другу, так как при гомеоморфных отображениях величин Э(S) сохраняется. Таким образом, все множество поверхностей распадается на непересекающиеся классы, отвечающие различным значениям эйлеровой характеристики Э(S).
Переходим теперь к ответам на второй и четвертый вопросы. При этом мы ограничимся рассмотрением только тех поверхностей, для которых (как будет показано далее) эйлеровы характеристики совпадают с эйлеровыми характеристиками каких-либо многогранников. Нам будут необходимы некоторые определения [2].
Определение 4. Поверхностью (без края) называется фигура, у которой каждая точка r = (x, y, z) имеет окрестность, гомеоморфную кругу, и точка r лежит внутри этой окрестности.
Определение 5. Краем называется множество тех точек r = (x, y, z) фигуры, для каждой из которых существует окрестность, гомеоморфная кругу, и точка r лежит на границе этой окрестности.
Примеры поверхностей: сфера, многогранник, тор (бублик) (см. рис. 2, б ) и т.д.
Если вырезать из поверхности шапочку, гомеоморфную кругу, то граница получившейся дырки образует край. На рис. 4 приведены сфера с краем и тор с краем. Тор с краем называется ручкой. Если две поверхности имеют края, гомеоморфные окружности, то их можно склеить по краю. В результате получится поверхность без края, так как отверстие в одной поверхности закрывается другой поверхностью. Например, склеив две сферы с краями, получим фигуру типа гантели; склеив сферу с краем и ручку, мы получим фигуру типа гири - сферу с ручкой (рис. 5, а). Если из сферы вырезано m непересекающихся шапочек, то к ней можно приклеить m ручек и т.д.
Определение 6. Поверхность называется ориентируемой или двухсторонней, если для любой точки r = (x, y, z), лежащей на поверхности, при движении нормали из этой точки по любому замкнутому контуру, лежащему на поверхности и проходящему через r = (x, y, z), направление нормали после возвращения в точку r не меняется на противоположное.
Примеры двухсторонних поверхностей - многогранник, тор, сфера с ручками или без, сфера с краем и т.д.
Пример поверхности, не являющейся двухсторонней, - лента М╦биуса. Чтобы получить ленту М╦биуса, надо взять длинную бумажную прямоугольную ленту и склеить ее концы после поворота одного из концов на 180? (рис. 4, в). Поверхность М╦биуса обладает удивительными и на первый взгляд неожиданными свойствами и заслуживает специального рассмотрения. Здесь же отметим только, что если двигать нормаль, например, по средней линии поверхности М╦биуса начиная с какой-либо точки r (которую мы отметим проколом), то нормаль вернется в r с противоположным направлением. Таким образом, поверхность М╦биуса не является двухсторонней: она имеет только одну сторону! Чтобы убедиться в этом, будем закрашивать поверхность М╦биуса начиная от какого-то места и двигаясь в одном направлении. Тогда мы закрасим ее всю.
Теперь можно сформулировать ответ на второй и четвертый вопросы, поставленные в начале раздела.
Теорема. Пусть S - произвольная замкнутая двухсторонняя поверхность без края, допускающая разбиение на конечное число областей, гомеоморфных кругу. Тогда для некоторого целого числа р
Э(S) = 2 - 2р
и поверхность S гомеоморфна сфере с р ручками.
Полное доказательство теоремы можно найти, например, в [2]. Вычисление величины Э(S) для сферы с р ручками приведем в следующем разделе, используя наглядный геометрический подход. А сейчас обсудим, что дает теорема для многогранников. Рассмотрим многогранник S с р непересекающимися "дырками" - полостями, каждая из которых обладает следующими свойствами:
а) имеет ровно два "входа",
б) каждый вход может быть закрыт поверхностью, гомеоморфной кругу;
в) фигура, образуемая закрывающими поверхностями и граничной поверхностью полости, гомеоморфна простому многограннику.
Грубо говоря, мы рассматриваем многогранник с такими "дырками", что если заполнить дырку быстротвердеющим составом, закрыв после этого оба "входа" в полость "дырки" поверхностями, а потом разбить исходный многогранник и извлечь полученную фигуру, то получим или простой многогранник, или гомеоморфное ему тело. Найдем Э(S). Заклеим все р дырок "гранями" Fi1 и Fi2 , i = 1, 2, _, р, и обозначим поверхность, полученную из S после заклейки дырок, через S0 , а многогранные поверхности заклеенных дырок-полостей через si , i = 1, 2, _ _, р. Так как и S0 и si гомеоморфны сферам, то Э(S0) = Э(si) = 2, i = 1, 2, _, р. Поэтому величина T = Э(S0) + равна 2р + 2. По сравнению с Э(S) в выражении T лишний раз считаются ребра каждой из новых граней Fi1 , Fi2 : один раз в Э(S0), второй в Э(si), i = 1, 2, _, р. Но одновременно мы лишний раз считаем и вершины этих граней, число которых в точности равно числу ребер. Поэтому разность T - Э(S) обусловлена только числом граней, считаемых в T. А именно: в T считается 2р лишних граней Fi1 , Fi2 , i = 1, 2, _, р, и, кроме того, каждая из них считается дважды - в S0 и в si . Следовательно, T - Э(S) = 4р, и, значит,
Э(S) = T - 4р = 2 - 2р.
Таким образом, для многогранника с р дырками эйлерова характеристика равна 2 - 2р и, согласно обсуждаемой теореме, такой многогранник гомеоморфен сфере с р ручками.
Приведенные рассуждения применимы и к многогранникам, у которых имеются дырки с k входами при k $ 3, при выполнении тех же условий б), в), что и для k = 2. Поэтому, например, многогранник S, имеющий одну дырку с р + 1 входами, гомеоморфен сфере с р ручками, то есть Э(S) = 2 - 2р.
ТЕОРЕМА ЭЙЛЕРА ДЛЯ СФЕРЫ С РУЧКОЙ.
РОД ПОВЕРХНОСТИ
Обозначим через Sр сферу с р ручками и вычислим величину Э(Sр). Для простоты ограничиваемся сферой S1 с одной ручкой, ибо обобщение на сферу с р ручками будет очевидным. Разобьем поверхность S1 криволинейной сеткой L1 на области, гомеоморфные кругу, а затем рассечем ручку плоскостью, отогнем один конец разрезанной ручки от другого и заклеим дырки плоскими гранями F1 и F2 (рис. 5, б ). Обозначим полученную поверхность S0 . Очевидно, что S0 может быть гомеоморфно деформирована в сферу и поэтому Э(S0) = 2. Установим связь величин Э(S1) и Э(S0). Не ограничивая общности, можно считать, что секущая плоскость F не проходит через вершины сетки L1 . Мы всегда можем этого добиться с помощью сколь угодно малого изгиба некоторых ребер сетки L1 , не меняющего Э(S1). Пусть плоскость F пересекает k ребер (aibi), i = = 1, 2, _, k, сетки L1 . Обозначим точки пересечения секущей плоскости F с ребрами (aibi) через ci . При разгибании разрезанной ручки на два "отростка" каждая точка ci "раздваивается", порождая точку di на F2 (считаем, что ci остается на F1). Поверхность S0 по сравнению с S1 имеет 2k новых ребер на новых гранях F1 и F2 : (cici + 1),(didi + 1), i = 1, 2, _, k (здесь dk + 1 = d1 , ck + 1 = c1), и, кроме того, вместо каждого ребра (aibi) сетки L1 появляются два ребра в сетке для S0 : (aici) и (dibi). Поэтому
Р(S0) = Р(S1) + 3k.
Далее
В(S0) = В(S1) + 2k,
ибо в сетке для S0 присутствуют вершины ci , di , i = 1, 2, _, k, которых не было в L1 . Наконец,
Г (S0) = Г (S1) + 2 + k.
Действительно, две новые грани на S0 - это F1 и F2 . Но, кроме того, появляется еще k граней за счет того, что грань, содержавшая в сетке L1 ребра (aibi) и (ai + 1bi + 1), порождает две грани в сетке на S0 : одну, содержащую ребра (aiсi), (сiсi + 1), (сi + 1ai + 1) и другую с ребрами (bidi), (didi + 1), (di + 1bi + 1) (см. рис. 5, б ). В силу наших выкладок
Э(S0) = Э(S1) + 2k + (2 + k) - 3k = Э(S1) + 2,
но Э(S0) = 2 и, значит, Э(S1)=0.
Если бы ручка была не одна, а р штук, то, проведя подобные рассуждения для каждой из них, мы получили бы, что
Э(S0) = Э(Sр) + 2р,
и поэтому верна общая формула
Э(Sр) = 2 - 2р,
приведенная в теореме.
Таким образом, присутствующее в формуле Эйлера (3) число р можно рассматривать как число ручек на сфере, которая гомеоморфна поверхности S. Но это же число характеризует и важное топологическое свойство замкнутых поверхностей, называемое родом поверхности. Для определения рода поверхности нам необходимо одно новое понятие. Пусть g - замкнутая непрерывная кривая, лежащая на поверхности S. Мы говорим, что g делит (или разбивает) поверхность S, если в S найдутся две такие точки, не принадлежащие g, что любая непрерывная кривая, соединяющая эти точки и лежащая на S, обязательно пересечет g. Если же для каждой пары точек на S, не лежащих на g, найдется соединяющая их кривая, лежащая на S и не пересекающая g, то мы говорим, что кривая g не делит (не разбивает) поверхность S.
На сфере, например, любая замкнутая кривая разбивает поверхность сферы. На торе провести замкнутую кривую, не разбивающую тор, можно: достаточно взять в качестве g поясок. Однако наши попытки провести на торе еще одну замкнутую кривую, не пересекающую g, так, чтобы ни она, ни g не делили поверхность тора, закончатся безрезультатно. Аналогична ситуация для сферы с ручкой, так как эта поверхность гомеоморфна тору. На сфере с двумя ручками можно провести две замкнутые, непересекающиеся кривые g1 и g2 , не разбивающие поверхность (например, пояски на "ручках"). Но если мы проведем любую третью замкнутую кривую g3 , не пересекающую g1 и g2 , то одна из кривых g1 , g2 , g3 обязательно будет разбивать поверхность сферы с двумя ручками. Таким образом, для каждой из рассмотренных поверхностей существует максимальное число замкнутых не пересекающихся друг с другом кривых, не разбивающих поверхность. Это число называется родом поверхности. Мы видели, что для сферы род равен нулю, для тора - единице, для сферы с двумя ручками - двойке. Рассуждая так же, как в рассмотренных примерах, можно убедиться, что для сферы с р ручками род равен р. Род поверхности, так же как и эйлерова характеристика, не меняется при гомеоморфных преобразованиях и, следовательно, является топологическим инвариантом. Это, конечно, следует и из равенства (3), поскольку эйлерова характеристика есть топологический инвариант. Однако мы могли бы убедиться в этом и непосредственно, так как свойство непрерывной замкнутой кривой, лежащей на поверхности S, разбивать или не разбивать эту поверхность сохраняется при гомеоморфизмах. Отметим, что, согласно сказанному, род многогранника с р дырками равен р.
ТЕОРЕМА ЭЙЛЕРА
И ПРАВИЛЬНЫЕ МНОГОГРАННИКИ
В настоящем разделе мы с помощью теоремы Эйлера отвечаем на вопрос: какие правильные многогранники могут существовать? Напомним, что простой многогранник называется правильным, если все его грани суть конгруэнтные между собой правильные многоугольники и все телесные углы при вершинах равны между собой (по определению, телесный угол в вершине A многогранника - это площадь сферического сегмента, высекаемого в единичной сфере с центром в точке A плоскостями многоугольников, сходящихся в A ). Из равенства телесных углов легко следует, что количество ребер правильного многогранника, пересекающихся в одной вершине, не зависит от выбора вершины и для данного многогранника S является постоянной величиной. Пусть она равна m и пусть гранями многогранника S являются правильные n-угольники. Выразим входящие в формулу Эйлера величины В(S) и Г (S) через Р(S) и величины n и m. Так как каждое ребро соединяет ровно две вершины и к каждой вершине сходится m ребер, то, очевидно,
Далее поскольку каждое ребро многогранника содержится ровно в двух гранях и каждая грань имеет ровно m ребер, то
Подставляя выражения В(S) и Г (S) через Р(S) в формулу Эйлера и деля обе части полученного равенства на 2Р(S), получим
Отсюда следует, что величины m и n не могут быть одновременно больше трех. В то же время по смыслу этих величин ни одна из них не может быть меньше трех. Поэтому для нахождения целочисленных решений m и n уравнения (4) достаточно положить там m = 3 и найти все допустимые значения n, а потом учесть, что m и n входят в (4) симметрично, и, значит, наряду с решением (m, n) = (3, l ) решением будет и пара (m, n) = (l, 3). Полагая m = 3, имеем
Так как P(S) > 0, то n # 5. Поэтому из уравнения (4) и равенства (5) получаем
n = 3 {Р(S) = 6, Г (S) = 4},
n = 4 {Р(S) = 12, Г (S) = 6},
n = 5 {Р(S) = 30, Г (S) = 12}.
Таким образом, если в каждой вершине многогранника пересекаются ровно три ребра (m = 3), то теорема Эйлера разрешает существование правильных многогранников с гранями из четырех треугольников (n = 3, тетраэдр), из шести квадратов (n = 4, куб) и из 12 пятиугольников (n = 5, додекаэдр).
Меняя местами m и n, получаем при n = 3
m = 3 {Р(S) = 6, Г (S) = 4},
m = 4 {Р(S) = 12, Г (S) = 8},
m = 5 {Р(S) = 30, Г (S) = 20}.
Случай m = 3 уже учтен (тетраэдр). При m = 4 получаем октаэдр с поверхностью из восьми правильных треугольников. Наконец, значение m = 5 соответствует икосаэдру: его поверхность образована двадцатью правильными треугольниками. Итак, из теоремы Эйлера вытекает невозможность существования иных правильных многогранников, кроме тетраэдра, куба, октаэдра, додекаэдра и икосаэдра. Однако существование этих правильных многогранников теоремой Эйлера не доказывается, оно следует из обычных стереометрических вычислений.
ЛИТЕРАТУРА
1. Курант Р., Роббинс Г. Что такое математика? М.: ОГИЗ, 1947. 664 с.
2. Болтянский В.Г., Ефремович В.А. Наглядная топология. М.: Наука, 1982. 149 с.
3. Борисович Ю.Г. и др. Введение в топологию. М.: Высш. шк., 1980. 296 с.
4. Шашкин Ю.А. Эйлерова характеристика. М.: Наука, 1984. 96 с.
* * *
Григорий Моисеевич Жислин, доктор физико-математических наук, профессор Нижегородского государственного университета, главный научный сотрудник Научно-исследовательского радиофизического института Минобразования РФ. Область научных интересов - спектральная теория многочастичных квантовых систем. Автор более 100 научных работ.