Правильный многоугольник — это двумерная фигура с определенным числом η одинаковых сторон. В случае η = 3 получается равносторонний треугольник, при η = 4 — квадрат, при η = 5 — правильный пятиугольник и т. д. Многогранник — это трехмерная фигура, все стороны которой являются многоугольниками. Например, куб имеет шесть квадратных граней. Правильным называют многогранник, все грани которого представляют собой одинаковые правильные многоугольники, причем в каждой вершине сходится одинаковое число граней. Для работ пифагорейцев и Кеплера фундаментальное значение имеет факт, что существует пять, и только пять, правильных тел. Простейшее доказательство этого факта можно получить из открытого значительно позже Декартом и Леонардом Эйлером соотношения, связывающего число граней
Так, у куба 6 граней (
Уравнение (2) предсказывает, что у куба 12 ребер, и это соответствует действительности. Простое геометрическое доказательство уравнения (2) можно найти в книге Куранта и Роббинса «Что такое математика?»[243]
. Пользуясь уравнением (2), легко доказать, что существует всего пять правильных тел.Каждое ребро правильного многогранника является общей стороной двух прилегающих друг к другу граней. Возвращаясь к примеру с кубом: каждое ребро — это граница между двумя квадратами. Если мы подсчитаем все стороны всех граней многогранника η
η
Обозначим
Подставляя выражения для
Деление обеих частей уравнения на 2Е дает:
Мы знаем, что значение η не может быть меньше 3, поскольку треугольник является простейшим многоугольником. Нам также известно, что
Если η = 3, уравнение (5) принимает вид
(1/3) + (1/r) = (1/2) + (1/Е) или
В данном случае
Если r = 3, уравнение (5) приобретает вид
Другие сочетания целых чисел не подходят в качестве значений η
и r, а значит, существует только 5 правильных многогранников[244]. Этот вывод, полученный в результате красивых абстрактных математических рассуждений, оказал, как вы уже знаете, весьма глубокое воздействие на практические дела людей.Комментарии к цветным иллюстрациям
Форзац:
Небольшое скопление галактик, включающее в себя крупную спиральную и эллиптическую галактики.