Приложения к главе
46. Simmons (1992), 69.
47. Koestler (1963), 262.
48. Там же, 252.
49. Kepler (1596), английский перевод Kepler (1981).
50. Kepler (1596), quoted in Gingerich (1973).
51. Kepler (1981), 107.
52. Quoted in Martens (2000), 146.
53. Kepler (1938), английский перевод Kepler (1997).
54. Quoted in Emmer (1993).
Глава 7
Жемчужина Эйлера
«Очевидно» — самое опасное слово в математике.
14 ноября 1750 года газеты должны были бы поместить на первую полосу заголовки «Математик открывает ребро многогранника!».
В тот день Эйлер написал из Берлина письмо своему другу Христиану Гольдбаху, специалисту по теории чисел из Санкт-Петербурга. В предложении, где, на первый взгляд, не было никакой интересной математики, Эйлер описывал «сочленения, по которым соединяются две грани, которые, за неимением общепринятого термина, я буду называть “ребрами”»56. В действительности это не слишком содержательное определение было первым важным камнем, заложенным в основание того, что впоследствии стало величественной теорией.
Одним из блестящих дарований Эйлера была способность консолидировать изолированные математические результаты и выстраивать теоретическую конструкцию, в которой для всего было свое место. В 1750 году он вознамерился проделать это с многогранниками. Он приступил к тому, что, как он надеялся, станет исследованием оснований теории многогранников, или, как он называл ее, стереометрии.
К тому времени теории многогранников было уже с лишком две тысячи лет, но она оставалась чисто геометрической. Математики занимались исключительно метрическими свойствами многогранников, т. е. такими, которые можно было измерить. Их интересовало нахождение длин сторон и диагоналей, вычисление площади граней, измерение плоских углов и определение объема.
Первый же шаг Эйлера шел вразрез с этой метрической традицией. Он искал способ сгруппировать, или классифицировать, все многогранники по числу их признаков. Ведь именно так мы классифицируем многоугольники: многоугольники с тремя сторонами называются треугольниками, с четырьмя сторонами — четырехугольниками и т. д.
Очень быстро выясняется, что классифицировать многогранники подобным образом трудно. Очевидного признака — числа граней — недостаточно, чтобы отличить данный многогранник от всех остальных. Как видно по рис. 7.1, многогранники с одинаковым числом граней могут быть совершенно непохожи.
Рис. 7.1. Три различных многогранника с восемью гранями
Первой блестящей идеей Эйлера было то, что поверхность любого многогранника состоит из 0-, 1- и 2-мерных компонент, а именно вершин (или телесных углов, как он их называл), ребер и граней, и что эти признаки можно подсчитать. Именно эти три величины стали стандартными характеристиками всех топологических поверхностей. Эйлер писал:
Поэтому для любого сплошного тела следует рассматривать три вида границ, а именно: 1) точки, 2) линии и 3) поверхности, или, если использовать названия специально для этой цели: 1) телесные углы, 2) ребра и 3) грани. Эти три вида границ полностью определяют тело57.
Невозможно переоценить важность этого осознания. Как ни странно, пока Эйлер не придумал имя, никто явно не упоминал ребра многогранника. Эйлер, писавший по-латыни, употребил слово acies, означающее «ребро». На «вульгарной латыни» acies использовалось для обозначения острой кромки оружия, луча света или армии, построившейся для битвы. Поименование этого очевидного признака может показаться тривиальным делом, но это не так. В этом заключалось осознание того ключевого факта, что одномерное ребро многогранника — существенное понятие.
Для граней многогранника Эйлер использовал устоявшийся термин hedra, который, как мы уже говорили, переводится как «грань» или «основание». Вершины многогранника Эйлер называл angulus solidus, или телесный угол. До того как Эйлер стал писать о многогранниках, телесным углом называлась трехмерная область, ограниченная гранями, сходящимися в одной точке. Телесный угол куба отличается от телесного угла тетраэдра; они различаются геометрией ограничиваемой ими области. Из приведенного выше описания — согласно которому Эйлер ассоциировал телесный угол с точкой — мы видим, что он рассматривал телесные углы как нульмерные сущности. Говоря о телесном угле, он имел в виду его острие, а не трехмерную область, ограниченную его гранями. Это тонкое различие, но понимание того, что телесные углы можно рассматривать как точки, имело большое значение для его теоремы. Тем не менее Эйлер упустил возможность дать им новое название. Вершина многогранника отличается от телесного угла, исходящего из нее. В 1794 году Адриен-Мари Лежандр (1752–1833) очень ясно высказался по этому поводу: