Мы расплющили наши многогранники[175]
, вынув одну грань и растянув то, что осталось. Количество областей на плоском рисунке в точности равно количеству гранейДля начала я сотру одно ребро. Что произойдет с количеством вершин, ребер и областей? Количество вершин не поменялось – я всего лишь стер ребро. Количество ребер, естественно, уменьшилось на 1. А что произошло с количеством граней? Как можно видеть на рисунке, две грани по обе стороны исчезнувшего ребра слились в одну грань, так что количество граней уменьшилось на единицу.
Обозначим количество вершин/ребер/граней на новом рисунке через
Следовательно,
Если я докажу, что
Моя стратегия такова: я стану стирать всё новые и новые ребра. Всякий раз количество ребер и количество граней будет уменьшаться на единицу. Но мне следует проявить осторожность. Рано или поздно я дойду до ребра, слева и справа от которого будет одна и та же область; поглядите на жирную черточку на рисунке. Я не должен стирать ребра таким образом, чтобы рисунок оказался разбит на несколько не связанных между собою замкнутых областей.
Сколько бы ребер я ни стер, число
В конце концов все области сольются в одну (в наших обозначениях
На рисунке больше нет замкнутых областей. Я возьму любую вершину наугад и отправлюсь в вояж по ребрам и вершинам. Этот путь не сможет привести меня в исходную вершину, поскольку замкнутых областей больше нет; рано или поздно он закончится (так как количество вершин конечно), в некоторой вершине он зайдет в тупик. Эту вершину называют
Я начну срывать листья и отламывать «ветки», на которых они держатся. Что произойдет с числом
Таким образом,
Сколько бы листов и соответствующих им ребер я ни стирал, замкнутых областей на рисунке не появится. Я буду выбирать новый лист, стирать его и соответствующее ребро и т. д. В конце концов на графе останется всего одна вершина. Но число
Подведу итог. Я расплющил многогранник. Удалил ребра таким образом, чтобы замкнутые области не оставались изолированными друг от друга; в конце концов число замкнутых областей свелось к нулю; значения
Мы познакомились с пятью правильными многогранниками: тетраэдром, кубом, октаэдром, додекаэдром и икосаэдром. С помощью формулы (A) я покажу, что других правильных многогранников не существует.
Я буду использовать пять букв для параметров правильного многогранника. Первые три вам хорошо знакомы:
Вот параметры для платоновых тел:
Давайте проработаем алгебраические взаимосвязи между этими числами.
Во-первых, напомню формулу Эйлера:
Во-вторых, мы будем использовать прием со штрихами, чтобы выяснить соотношение между