Жемчужина Эйлера

Хотя сумма углов при любой вершине многогранника меньше 2π, после проецирования на гладкую поверхность сферы эти углы в сумме дают 2π. Поскольку всего вершин V, они вносят в сумму вклад 2πV. Каждое ребро вносит вклад –2π: —π с одной стороны и —π с другой. Поскольку всего ребер E, их общий вклад составляет –2πЕ. В середине каждой грани находится метка 2π. Поскольку всего граней F, они привносят в сумму величину 2πF. Складывая все вместе, находим, что полная площадь сферы равна

4π = 2πV — 2πЕ +2πF.

Поделив на 2π, получаем формулу Эйлера:

2 = V — E + F.

Сразу видно, что доказательства Эйлера и Лежандра совершенно разные. С одной стороны, кажется, что доказательство Эйлера «правильное» или, по крайней мере, соответствует духу теоремы. Теорема комбинаторная, и Эйлер дал комбинаторное доказательство. Эйлер напрямую использовал связь между вершинами, ребрами и гранями. При удалении вершины для компенсации добавляются или удаляются грани и ребра, так что знакопеременная сумма не изменяется.

С другой стороны, Лежандр для доказательства теоремы ввел понятия, на первый взгляд совершенно с ней не связанные: сферы, углы и площадь. Его подход совершенно законный и весьма остроумный, но из него не видно, почему теорема справедлива, — по крайней мере, не сразу. Тем не менее доказательство Лежандра — первый намек на то, что это нечто большее, чем просто комбинаторная теорема. Тот факт, что мы можем доказать теорему, используя метрическую геометрию, наводит на мысль о важной связи между формулой Эйлера и геометрией. Мы вернемся к этой теме в главах 20 и 21.

И последнее замечание о доказательстве Лежандра. В подходе Эйлера мы осторожно (осторожнее, чем сам Эйлер) применяли формулу только к выпуклым многогранникам. Как и Эйлер, Лежандр предполагал, что многогранники выпуклые. Но в приложении к статье 1809 года Луи Пуансо (1777–1859) заметил, что доказательство Лежандра применимо к несколько более широкому классу тел — звездным многогранникам⁸².

Первым шагом в доказательстве Лежандра было проецирование многогранника на сферу. Для этого нам нужна внутренняя точка x, являющаяся центром проекции. Эта точка должна обладать тем свойством, что из нее «видна» любая точка многогранника. Для выпуклого многогранника мы можем выбрать любую внутреннюю точку. В большинстве же невыпуклых многогранников такой точки нет, а те, в которых она есть, называются звездными (или звездчатыми). Многогранник Кеплера, показанный на рис. 6.6, — пример звездного многогранника, как и те, что показаны на рис. 10.12. В каждом из них существует внутренняя точка, из которой «видно все» и которая, следовательно, может быть выбрана в качестве центра проекции. Пуансо объяснил это следующим образом:

[Формула Эйлера] остается верной для любого многогранника с входящими телесными углами, при условии что внутри тела можно найти точку, являющуюся центром сферы такой, что когда на нее проецируются грани тела с помощью прямых, исходящих из центра, то их проекции на сфере не пересекаются; я хочу сказать, что никакая грань, полностью или частично, не проецируется на проекцию другой грани. Как легко видеть, это условие применимо к бесконечному числу многогранников с входящими телесными углами. Истинность этого утверждения легко устанавливается из самого доказательства г-на Лежандра, в которое не нужно вносить никаких изменений⁸³.

Рис. 10.12. Звездные многогранники

Рис. 10.13. Луи Пуансо

Благодаря Лежандру к концу XIX века под формулу Эйлера было подведено прочное основание для всех выпуклых многогранников, а его популярный учебник раскрыл красоту этой формулы широкой аудитории. В последующие годы Пуансо и другие авторитетные математики были заворожены этим элегантным соотношением. Они искали новые доказательства и дальнейшие обобщения. Чтобы понять некоторые из этих обобщений, нам предстоит познакомиться с теорией графов. Истоки этой дисциплины восходят — неудивительно — к Эйлеру и математической головоломке о мостах города Кёнигсберга.

Приложения к главе

77. Albers (1994).

78. Lohne (1972).

79. Quoted in Itard (1972).

80. Girard (1629).

81. Quoted in Itard (1972).

82. Poinsot (1810).

83. Poinsot (1810).

Глава 11 Прогулка по Кёнигсбергу