全プロセスの詳細解説
-
3つの正方形が頂点で接する際の 90° の余り 5 ステップ
3つの正方形が1つの頂点で合わさり、90° が未使用のまま残る。その余った角度に何が起こるかを算出し、なぜそれが平面、立体、あるいはそのどちらでもないもののいずれになるかを決定づけるのかを解き明かせ。
-
正多角形の内角は、外角の和が1周になることから導かれる。正方形の内角は 90° であり、この1つの数値こそが問題に対するすべての入力である。
-
1つの頂点のまわりに正方形を3つ配置すると 270° を消費し、90° が余る。平坦な平面上ではこれは隙間となり、この図形では平面をタイリングすることはできない。
-
その隙間は無駄ではない。辺が合わさるまで頂点を折ると、余った角度は曲率となり、その頂点は立体の頂点となる。それがそもそも可能かどうかは1つの積によって決定され、2 は 4 より小さい。
-
それが閉じて形成される立体は立方体である。その構成要素を数えると、あらゆる凸多面体で成立するのと同様にオイラーの多面体定理が成立する。すなわち、頂点数マイナス辺数プラス面数は 2 である。
-
次に、全8個の頂点における余り(角欠損)の合計を求める。720° であり、デカルトの定理によれば、どのような形状であれすべての凸多面体が正確にこの値を与える。立方体も、正四面体も、900面を持つ立体も、すべて合計は 720° となる。
解答
ツールは角あたり 90°、頂点まわり 270°、余り 90°、判定式として 2 < 4、オイラーの 2、および合計角欠損 720° と表示する。1つの積がすべてを決定する。(p−2)(q−2) が 4 未満であれば球面に閉じ、4 に等しければ平坦になり、4 より大きければ双曲空間にしか収まらない。これこそが、プラトンの立体が正確に5種類存在し、平面の正多角形タイリングが3種類 — {3,6}、{4,4}、{6,3}(三角形、正方形、六角形)しか存在せず、それ以外には決して存在しない理由である。p = 6, q = 3 と設定し、余りがゼロになる様子を観察せよ。
-
参考文献 (6)
- Why there is no sixth Platonic solid: Euclid, Elements, Book XIII, Proposition 18 and its closing Remark, which rules out further regular solids on the grounds that six equilateral triangles at a corner "will be equal to four right angles" and so lie flat. The edition by David E. Joyce, Clark University.
- The hyperbolic tilings and Escher: H. S. M. Coxeter, "The Non-Euclidean Symmetry of Escher’s Picture ‘Circle Limit III’." Leonardo 12(1), 19–25, 1979.
- The nested solids of Kepler: Johannes Kepler, Mysterium Cosmographicum. Tübingen, 1596 — the model that spaced the six known planets by inscribing the five regular solids between their spheres, and which Kepler spent the following decades replacing.
- Why the honeycomb is hexagonal: Thomas C. Hales, "The Honeycomb Conjecture." Discrete & Computational Geometry 25, 1–22, 2001 — the proof that the regular hexagonal tiling divides a surface into equal areas with the least total perimeter.
- Why so many viruses are icosahedral: D. L. D. Caspar and A. Klug, "Physical Principles in the Construction of Regular Viruses." Cold Spring Harbor Symposia on Quantitative Biology 27, 1–24, 1962.
- Hyperbolic space for hierarchies and networks: D. Krioukov, F. Papadopoulos, M. Kitsak, A. Vahdat and M. Boguñá, "Hyperbolic geometry of complex networks." Physical Review E 82, 036106, 2010.