Те, кто не признает за Декартом предвидения формулы Эйлера, говорят, что включение в нее ребер принципиально важно. Как мы уже отмечали, Эйлер осознавал, что истинный смысл теоремы состоит в том, что она связывает нульмерные объекты (вершины), одномерные объекты (ребра) и двумерные объекты (грани). Впоследствии обобщенная формула Эйлера стала важной теоремой в топологии. Топологи не остановились на двумерных гранях. В главах 22 и 23 мы увидим, что Пуанкаре и другие обобщили формулу Эйлера на объекты любой размерности.
Все согласны, что Декарт подошел очень близко, и все же он не сделал последний важный шаг. Плоские углы — не те объекты, которые должны стоять в одном ряду с гранями и вершинами. Для получения правильной формулировки необходимо было ввести понятие ребра. В ответ тем, кто заявляет, что Декарт наверняка знал о связи с ребрами, критики указывают, что даже самые талантливые математики могут не заметить очевидных следствий из собственной работы. После внимательного изучения рукописи математик Анри Лебег писал: «Декарт не сформулировал теорему; он ее не увидел»75
.Широко распространено ошибочное мнение, будто объекты в математике называются в честь своих первооткрывателей, а если это не так, значит, налицо чуть ли не плагиат или фальсификация истории. По такому стандарту Эйлера уязвляли неоднократно, потому что многие его открытия носят имена других людей (есть расхожая острота — «математические объекты называют в честь первого человека, открывшего их после Эйлера»). Несть числа примерам (даже в этой книге) математических объектов, названных не по имени первооткрывателя, а в честь кого-то, внесшего важный вклад в предмет, — быть может, того, кто первым осознал важность открытия. Кун замечает, что, как в данном примере, не вполне понятно, кому принадлежит приоритет открытия. «Вот почему мы так охотно соглашаемся с тем, что процесс открытия, подобно зрению или осязанию, столь же определенно должен быть приписан отдельной личности и определенному моменту времени. Но открытие невозможно приурочить к определенному моменту; часто его нельзя и точно датировать… Открытие предполагает осознание и того,
Открыл ли Декарт формулу Эйлера раньше — спорный вопрос. Но поскольку работа Декарта не была опубликована и поскольку он не нашел «полезного» вида этой формулы, будет разумно и дальше называть соотношение V — E + F = 2 формулой Эйлера.
Приложения к главе
70. Descartes (1965), 259.
71. Quoted in Bell (1937), 35.
72. Descartes (1965).
73. Kuhn (1970), 54.
74. Quoted in Federico (1982), 76.
75. Lebesgue (1924).
76. Kuhn (1970), 55.
Глава 10
Лежандр расставляет все по местам
Главное для математиков — чтобы архитектура была правильной. Какой бы математикой я ни занимался, принципиально важно было найти правильную архитектуру. Это все равно, что строить мост. После того как основные черты архитектуры выбраны правильно, все детали укладываются как по волшебству. Вся проблема — в общей конструкции.
Второе опубликованное доказательство формулы Эйлера для многогранников и первое, отвечающее современным стандартам строгости, было дано Адриеном-Мари Лежандром. Лежандр стал первым французским математиком, который являлся одновременно членом Французской академии наук и Лондонского королевского общества. Он публиковал работы в нескольких областях, но наиболее важный вклад внес в теорию чисел и теорию эллиптических функций. Его наследие включает также чрезвычайно популярный учебник элементарной геометрии «Elements de Geometrie» (Элементы геометрии), написанный в 1794 году. Во многих отношениях «Элементы» Лежандра заменили «Начала» Евклида, став основным учебником геометрии на следующие сто лет и задав образец для будущих учебников. Эта книга несколько раз переводилась на английский язык, а один американский перевод выдержал тридцать три издания.
Рис. 10.1. Адриен-Мари Лежандр
Лежандр включил формулу Эйлера для многогранников в «Элементы геометрии», а благодаря популярности книги она получила широкую известность. Лежандр не стал исправлять доказательство Эйлера, а предложил новое — существенно отличающееся. В своем изобретательном рассуждении Лежандр воспользовался понятиями сферической геометрии и такими метрическими свойствами, как величины углов и площади. Успех выглядит особенно неожиданным в свете того, что в самой формулировке теоремы этих понятий нет.