Платонові тіла: Чому їх лише п’ять, і що доводить формула Ейлера

Лише п’ять, і Евклід довів це

Платонова тверда фігура — це випукла поліедр, побудований з одного регулярного багатокутника, з однаковою кількістю граней, що зустрічаються в кожній вершині. Їх п’ять: тетраедр (4 трикутні грані), куб (6 квадратів), октаедр (8 трикутників), додекаедр (12 пентаграм) і їжеброід (20 трикутників). Платон призначив їх класичним елементам у «Тімає» — вогонь, земля, повітря, вода та сам космос — але математичний результат давніший за філософію: Евклід завершує «Елементи», Книга XIII, доказом того, що ці п’ять і лише ці п’ять можуть існувати.

Чому кількість обмежена: аргумент про кути

Доказ – це короткий арифметичний приклад з кутами. У кожній вершині повинно зустрічатися щонайменше три грані (одна грань само по собі не може утворити твердого кута), а сума внутрішніх кутів, що зустрічаються у вершині, має бути меншою за 360° — точно 360° лежали б плоско, і більше геометрично неможливо для вигнутої вершини. Внутрішній кут рівностороннього трикутника становить 60°, тому 3, 4 або 5 з них (180°, 240°, 300°) підходять у вершині, даючи тетраедр, октаедр і ікосаедрик; 6 трикутників сумують до точно 360° і укладаються в площину замість того, щоб утворювати тверду речовину. Кут квадрата становить 90°, тому підходять лише 3 (270°), що дає куб; 4 квадрати сумують до 360° і укладаються в площину. Внутрішній кут правильного п'ятикутника становить 108°, тому підходять лише 3 (324°), що дає додекаедр. Кут шестикутника вже становить 120°, і 3 з них сумують точно 360° — знову плоско, тверда речовина неможлива, і кожна полігональна форма із більшою кількістю сторін лише погіршується. Це вичерпує всі комбінації: п'ять твердих тіл, ні більше.

Eulerova формула як живий інваріант

Кожний випуклий поліедр дотримується формули Ейлера, V − E + F = 2, де V, E та F рахують вершини, ребра та грані. Це топологічна інваріанта, яка є істинною для будь-якого просторового поліедра незалежно від того, наскільки спотвореними або нерегулярними є його грані — вона залежить лише від того, що поверхня є топологічним шаром. Цей симулятор перераховує та відображає V, E, F для будь-якого обраного твердого тіла, і формула точно виконується кожного разу:

Чотиристонний: V=4, E=6, F=4 → 4 - 6 + 4 = 2 Куб: V=8, E=12, F=6 → 8 - 12 + 6 = 2 Восьмигранник: V=6, E=12, F=8 → 6 - 12 + 8 = 2 Dводесятигранник: V=20, E=30, F=12 → 20 - 30 + 12 = 2 Ікосаедр: V=12, E=30, F=20 → 12 - 30 + 20 = 2 Швидка перевірка закономірностей варта того, щоб її зробити явною: поміняйте V і F між кубом та восьмигранником, і кількість ребер відповідає. Це не випадковість — це подвійність.

Tetrahedron:   V=4,  E=6,  F=4   →  4  - 6  + 4  = 2
Cube:          V=8,  E=12, F=6   →  8  - 12 + 6  = 2
Octahedron:    V=6,  E=12, F=8   →  6  - 12 + 8  = 2
Dodecahedron:  V=20, E=30, F=12  →  20 - 30 + 12 = 2
Icosahedron:   V=12, E=30, F=20  →  12 - 30 + 20 = 2

Двоїстість: п’ять тверді тіл колапсують у три сім’ї

Поставте вершину в центр кожної грані куба та з’єднайте вершини, які раніше були на межі одного граней, і ви отримаєте вісімку. Зробивши те саме з вісімкою, ви повернете куб. Куб і вісімка є двійками один одного — однакова кількість ребер (12), обмінюються вершинами та гранями (8 ↔ 6). Додекаедр (20 вершин, 12 граней) та ікосаедр (12 вершин, 20 граней) утворюють ту ж пару, поділяючи 30 ребер. Чотиристорнна піраміда є самодвійкою: її двійник — ще одна чотиристорнна піраміда, що саме тому кількість вершин і граней у них однакова (4 і 4). Під цими п’ятьма твердими тілами насправді лише три сімейства двійників, а двоїстість пояснює, чому обертання групи симетрії куба також описує симетрію вісімки.

Відображення каркасу проти відображення з відтіненням

Для рендерингу їх на 2D-холсті потрібно лише три елементи: список координат вершин 3D, список ребер (або граней) у вигляді пар індексів/кортежів в цьому списку та матриця обертання, яка застосовується що кадр перед простим ортографічним або перспективним проектуванням, яке стискає (x, y, z) до екрану (x, y). Режим каркасного відображення просто малює кожен ребро; режим з відтіненням також потребує обчислення зовнішнього нормаля кожної грані за допомогою векторного добутку двох векторів ребер, а потім скалярного добутку проти фіксованої світлової напрямки для визначення яскравості. Попередній розрахунок координат вершин з точного алгебраїчного побудови кожного твердого тіла (не з ітеративного розслаблення) підтримує точність кожної довжини ребер та кутів граней математично, а не візуально наближений.

Frequently asked questions

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Platonic Solids і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.