Иными словами,

2C3 + 2C4  + 2C5  + 2C6 + … = 4 + V3 + 2V4  + 3V5 + 4V6 + … (6)

Вид столь громоздких равенств разочаровывает, но мы перешли от формулы Эйлера к соотношению, которое связывает вершины и грани, и при этом в нем не учитывается число ребер.

Если прибавить к (5) выражение (6), умножив обе его части на 2, получим:

2V3  + 2V4  + 2V5 + 2V6 + … + 4С3 + 4С4 + 4С5 + 4С6 + … = 12 + С3 + 2С4  + 3С5 + 4С6 +… + 2V3 + 4V4 + 6V5 + 8V6 + …

Упростив это выражение, получим удивительный результат:

3C3 + 2C4  + C5 = 12 + 2V4 + 4V5 + … + C7 + 2С8 + … (*)

В этом выражении не фигурирует число ребер, а также отсутствуют шестиугольные грани и вершины, в которых сходятся три ребра. Запомните выражение (*): оно поможет нам совершить много удивительных открытий. Например, вспомним, какую форму имеет футбольный мяч. Это многогранник, в котором сочетаются пятиугольные и шестиугольные грани, а в каждой вершине сходятся три ребра.

Существуют ли другие многогранники, где вершины и грани обладают теми же особенностями? Заметим, что С3 = С4 = Сn = 0 при n >= 7, V4 = Vn = 0 при n >= 5, следовательно, согласно (*) должно выполняться равенство С5 = 12, но С6 остается неопределенным. Б. Грюнбаум и Т. С. Моцкин доказали, что С6 может принимать любое значение, отличное от 1. Любопытно, что пятиугольных граней именно 12.

В многограннике, образованном четырехугольниками и шестиугольниками, согласно (*) 2С4 = 12 + 2V4 + 4V5 + …, то есть минимум шесть его граней будут четырехугольниками. Если вершины будут иметь степень 3, то таких граней будет ровно 6. Если гранями многогранника являются треугольники и шестиугольники, то 3С3 = 12 + 2V4 + 4V5 + … и как минимум четыре грани будут иметь форму треугольника. Если вершины будут иметь степень 3, то треугольных граней будет ровно четыре.

Попробуйте представить себе выпуклый многогранник, у которого нет ни одной грани в форме треугольника, четырехугольника или пятиугольника. Очевидно, что такого выпуклого многогранника не существует.

Вспомним формулу (*) из прошлого раздела:

3C3 + 2C4 + C5 = 12 + 2V4 + 4V5 + … + С7 + 2С8 + … (*)

Заметим, что выражение в правой части больше или равно 12, то есть всегда выполняется соотношение

3С3 + 2С4 + С5 >= 12.

Кроме того, С3, С4 и С5 не могут быть равны нулю одновременно. Можно сформулировать следующую теорему:

«В любом выпуклом многограннике всегда существует как минимум одна грань в форме треугольника, четырехугольника или пятиугольника».

Другие грани могут иметь любую форму, но как минимум одна грань должна иметь три, четыре или пять ребер. Вспомним, что правильным многогранником называется выпуклый многогранник, все грани которого являются одинаковыми правильными многоугольниками и во всех вершинах которого сходится одинаковое число ребер. Тогда предыдущую теорему можно записать так:

«Единственными правильными многогранниками являются тетраэдр, октаэдр, икосаэдр, куб и додекаэдр».