Жемчужина Эйлера
- Автор: Ричесон Дэвид С.
- Год: 2021
- Язык: русский
- Жанр: Прочее научное
Электронная книга - «Жемчужина Эйлера». Краткое содержание книги:
В 1750 году Эйлер заметил, что любой многогранник, имеющий V вершин, E ребер и F граней, удовлетворяет соотношению V – E + F = 2. Из книги вы узнаете, что греки совсем не заметили эту формулу, что Декарт был в шаге от ее открытия, что математики XIX века обобщили ее в направлениях, о которых Эйлер и не подозревал, а в XX веке было доказано, что у любого тела есть своя формула Эйлера. На тщательно подобранных примерах представлены многие элегантные и неожиданные применения этой формулы, например: почему на Земле всегда существует точка, где нет ветра, как измерить площадь лесного участка, посчитав деревья на нем, и сколько разноцветных карандашей необходимо для раскрашивания любой карты.
Издание предназначено для широкого круга любителей математики.
Рис. 7.5. Нетреугольная грань привносит одну новую грань и одно новое ребро в новый многогранник
Рис. 7.6. Две компланарные грани уменьшают число граней и ребер на 1
Эти сложные на вид формулы описывают число граней и ребер после удаления одной вершины. Сама мысль о том, чтобы следить за этими числами после удаления нескольких вершин, приводит в ужас. Однако важное наблюдение, сделанное Эйлером, избавляет нас от этой необходимости. если взять разность между числом ребер и граней нового многогранника, то получим
(E – 3 + s – t) – (F – 2 + s – t) = E – F – 1.
Иными словами, разность между числом ребер и числом граней ровно на единицу меньше той, что была до удаления вершины. После удаления n вершин разность между числом ребер и числом граней будет равна E – F – n .
Теперь мы можем закончить доказательство Эйлера. Мы начали с многогранника, имеющего V вершин, E ребер и F граней. Предположим, что мы удаляем вершины по одной, всего n штук, пока не останется четыре вершины. Тогда V – n = 4, или n = V – 4. единственный многогранник с четырьмя вершинами — треугольная пирамида (у которой четыре грани и шесть ребер). Для треугольной пирамиды разность между числом ребер и числом граней равна 6 – 4 = 2, но из предыдущего обсуждения мы знаем, что она также равна E – F – n. Таким образом, имеем равенства
E – F – n = 2
и
n = V – 4.
Подставляя второе равенство в первое и изменяя порядок членов, получаем V – E + F = 2, что и требовалось доказать.
В самом начале мы сказали, что доказательство Эйлера не вполне строгое и что он упустил из виду некоторые тонкости. На самом деле мы видим, что Эйлер очень внимательно следил за числом граней и ребер при удалении вершины. Однако к процессу удаления вершин он отнесся легкомысленно и не дал детальных инструкций, как следует отрезать пирамиды. Вместо этого он обошелся несколькими расплывчатыми примерами. Эйлер правильно утверждал, что может существовать несколько способов удалить данную вершину путем отрезания пирамид, но не предупредил, что одни способы декомпозиции приемлемы, а других следует избегать. У читателя создается неверное впечатление, что все способы декомпозиции равнозначны. В действительности некоторые ведут к неприятностям.
Первая подстерегающая нас ловушка заключается в том, что в процессе декомпозиции мы можем случайно получить невыпуклый многогранник. Эйлер привел пример, в котором удаляемая вершина O соседствует с четырьмя вершинами A, B, C, D (см. рис. 7.7). Он писал:
Это можно сделать двумя способами ... нужно отрезать две пирамиды: OABC и OACD или OABD и OBCD. И если точки A, B, C, D не лежат в одной плоскости, то получающиеся тела будут иметь разную форму65.
Рис. 7.7. Удаление вершины многогранника (слева) может привести как к выпуклому (в центре), так и к невыпуклому (справа) многограннику
Это правда, но если четыре соседние вершины не компланарны, то один из получающихся многогранников обязательно будет выпуклым, а другой — невыпуклым. Для многогранника на рис. 7.7 отрезание пирамид OABD и OBCD приводит к невыпуклому многограннику.
Эйлер ни разу не упомянул о выпуклости в своей статье. Он неявно предполагал, что все многогранники выпуклые. Если внимательно рассмотреть его алгоритм, то мы увидим, что важно, чтобы многогранник оставался выпуклым после отрезания вершины. Возникновение невыпуклого многогранника может привести к неприятности, потому что техника Эйлера неприменима к удалению вершины, находящейся в точке невыпуклости. Но и это еще не самое страшное.
Как указал математик Анри Лебег (1875–1941), мало того что результирующий многогранник может оказаться невыпуклым, он может вообще не быть многогранником66! На рис. 7.8 показана вершина, в которой сходятся четыре грани. Один из двух способов ее отрезания работает правильно, тогда как другой приводит к фигуре, которая является не многогранником, а объектом, состоящим из двух многогранников, соединенных по одному ребру. Хуже того, этот немногогранник не удовлетворяет формуле Эйлера (V = 6, E = 11, F = 8, так что V – E + F = 3, а не 2). Похоже, этот пример указывает на серьезный дефект в доказательстве Эйлера. На рис. 7.9 показано, что, применяя метод рассечения Эйлера, мы можем получить и другие вырожденные многогранники. Одна декомпозиция дает два многогранника, соединенных в вершине, другая — несвязный многогранник. И в обоих случаях формула Эйлера не выполняется.
Рис. 7.8. Метод Эйлера, примененный к многограннику слева, может дать вырожденный (в центре) или невырожденный (справа) многогранник