正多面体の展開図を描いてみる.正四面体の展開図は正三角形,平行四辺形の2種類あり,どちらも平面充填図形である.立方体の展開図は回転と裏返しで同形になるものを除くと11種類あり,意外なことにそのすべてが平面充填図形となる.正八面体は立方体の双対図形であるから,展開図の個数は等しく,ともに11種類になる.正十二面体と正二十面体も互いに双対図形であり,展開図の総数は43380種類にもなるそうである.正十二面体の展開図はひとつも平面充填図形にならないが,正二十面体の展開図には平面充填図形になるものが存在する.
ここでは面正則多面体(プラトン立体・アルキメデス立体・アルキメデス角柱・アルキメデス反角柱・ジョンソン立体)の辺展開図を考えて,少なくともひとつの展開図が平面充填可能な図形になるか否かという問題を取り上げる.
===================================
【1】シェパードの定理
まず,これまで知られていることを整理してみたい.
[参]G.C. Shephard: Tessellation Polyhedra
によると,
プラトン立体:正四面体,立方体,正八面体,正二十面体
アルキメデス立体:なし
アルキメデス角柱:立方体
アルキメデス反角柱:正八面体
ジョンソン立体:5個のデルタ多面体とJ1,J14,J15,J16,J86
がタイル貼り可能であることがわかっている.
また,正五角形,正八角形,正十角形を含むものはタイル貼り不可能であることが証明されている.
===================================
【2】一様タイル
面正則多面体(プラトン立体・アルキメデス立体・アルキメデス角柱・アルキメデス反角柱・ジョンソン立体)のなかで,プラトン立体・アルキメデス立体・アルキメデス角柱・アルキメデス反角柱は頂点が一様であるが,ジョンソン立体は一様ではない.そこでまず一様タイルを網羅してみたい.
[1]プラトンの平面充填形
正多角形は無限に多く存在しますが,それでは「互いに合同な正多角形を隙間も重なりもないように並べて平面を完全に埋める仕方が何通りあるでしょうか?」
この問題は昔から知られていて,それが3種類に限ることは以下のようにして証明されます.正多角形の中で平面をタイル張りのように隙間なく埋めつくすことができる平面充填形では,各頂点に正p角形がq面が会するとすると,正p角形の一つの内角は2(1−2/p)×90°であり,一つの頂点の回りの内角の和はこれがq個集まって四直角ですから,
2q(1−2/p)=4,すなわち,
1/p+1/q=1/2 (p,q≧3)
で,この条件を満たす(p,q)の組は(3,6),(4,4),(6,3)の3通りしかありません.したがって,平面充填形は正三角形,正方形,正六角形の3つだけです.このうち正方形のは碁盤,正六角形のは蜂の巣などでおなじみでしょう.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[2]アルキメデスの平面充填形
1種類の正多角形を使ったタイル張りはわかりましたが,それでは2種類以上の正多角形を使ったらどうでしょうか? それを全部求めてみよといわれたらちょっと大変です.まず,どんな多角形を組み合わせたら,頂点のまわりを完全に埋めることができるかを考えてみましょう.
頂点のまわりには正三角形でも6個より多く並べることはできません.しかもこの場合は全部が正三角形に限ります.次に5個集まる場合は少なくとも正三角形が3個なければなりませんから,結局,5個の組は正三角形3個と正方形2個か,正三角形4個と正六角形1個の場合しかありません.次に4個の場合,正多角形をそれぞれp1 ,p2 ,p3 ,p4 角形(pi ≧3)とすると,必要条件は
1/p1 +1/p2 +1/p3 +1/p4 =1
3個の場合は同様に
1/p1 +1/p2 +1/p3 =1/2
と書けます.これを満たす3以上の正の整数の組を求めればよいことになります.
実際に解いてみると必要条件を満たす組は17組できますが,十分条件を満たさない,すなわち,1点のまわりだけは完全に埋められても平面のタイル張りにならないものがでてきます.たとえば,正五角形,正十角形を含むものは実際にタイル貼りを完成させることができません.
十分条件を満たしたものだけを列挙すると
プラトンの平面充填形:(3^6),(4^4),(6^3)
アルキメデスの平面充填形:(3^46),(3^34^2),(34^26),(3^26^2),(48^2),(4612),(312^2)
ですが,(3^34^2)には本質的に異なる並べ方が2通りあり,結局,求めるタイル張りであるアルキメデスの平面充填形は8種,ただ1種類の正多角形を使う場合の3通り(プラトンの平面充填形)を含めて全部で11通りあることになります.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[3]基本領域
11通りの基本領域はプラトンの平面充填形:(3^6),(4^4),(6^3)ではそれぞれ正三角形,正方形,正六角形ですが,アルキメデスの平面充填形では
(3^46) :正三角形:正六角形=8:1
(3^34^2):正三角形:正方形=2:1
(34^26):正三角形:正方形:正六角形=2:3:1
(3^26^2):正三角形:正六角形=2:1
(48^2) :正方形:正八角形=1:1
(4612):正方形:正六角形:正十二角形=3:2:1
(312^2):正三角形:正十二角形=2:1
となります.
タイル貼り可能の必要条件は,面正則多面体の展開図がこれらの基本領域と同じ比率になることですが,合致する多面体をあげると
プラトン立体:正四面体,立方体,正八面体,正二十面体
アルキメデス立体:なし
アルキメデス角柱:立方体
アルキメデス反角柱:正八面体
また,ジョンソン立体では
ジョンソン立体:5個のデルタ多面体とJ14,J15,J16
だけが必要条件を満たします.実際に模型で確かめてみるとこれらすべてがタイル貼り可能であることがわかります.
===================================
【3】擬似一様タイル
アルキメデスの平面充填形は全部で8種ありましたが,アルキメデス立体やジョンソン立体は全部で何種類あるでしょうか?
1/p1 +1/p2 +1/p3 +1/p4 >1
1/p1 +1/p2 +1/p3 >1/2
のすべての可能な解を列挙し,対応する多面体の存在・非存在を論じなければなりません,アルキメデスの平面充填形の最大pi角形は12でしたが,その過程でアルキメデス立体,ジョンソン立体では10になること,n(≧11)角形を含む面正則凸多面体は角柱か反角柱だけであることが証明されます.しかしながら,アルキメデス立体の13種はともかくとしてジョンソン立体は92種であることの完全な分類に達することは簡単ではありません.
また,面が正多角形の面正則多面体(プラトン立体・アルキメデス立体・アルキメデス角柱・アルキメデス反角柱・ジョンソン立体)のなかで,各頂点の周りが一定な面で囲まれていないのはジョンソン立体だけです.すなわち,ジョンソン立体は擬似一様多面体ということになります.これまで調べてきたアルキメデスの平面充填形はどの頂点でも一様なタイルでしたが,ジョンソン立体では擬似一様タイルを考える必要が生じます.
[1]分割型擬似一様タイル
アルキメデス立体やジョンソン立体では最大10角形までですから,擬似一様タイルを構成するには,アルキメデスの平面充填形の正十二角形や正六角形を分割する方法が考えられます.
それにはアルキメデスの平面充填形(34^26)(基本領域は正三角形:正方形:正六角形=2:3:1)の正六角形を正三角形6個で置き換えたもの(正三角形:正方形=8:3)やアルキメデスの平面充填形(312^2)(基本領域は正三角形:正十二角形=2:1)の正十二角形を正三角形12個,正方形6個で置き換えたもの(正三角形:正方形=14:6),アルキメデスの平面充填形(4612)(基本領域は正方形:正六角形:正十二角形=3:2:1)の正六角形を正三角形6個で,正十二角形を正三角形12個,正方形6個で置き換えたもの(正三角形:正方形=24:9)などがあります.しかし,これらの基本領域に合致する多面体は存在しません.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[2]挿入型擬似一様タイル
(3,3,3,4,4)は正方形の帯と正三角形の帯の平行な帯,カゴメ格子(3,6,3,6)は正六角形と正三角形の組み合わせの帯からなっていますから,それらの帯の間に正方形の帯,正三角形の帯,正六角形と正三角形の組み合わせの帯などを挿入する作り方が考えられます.このようにすれば正三角形:正方形:正六角形比を一様タイルとは異なる値に定めた複雑なタイル貼りを構成することができます.
その際,中心対称(2回回転対称)で差し渡し幅が一定の展開図について探索することにします.正五角形,正八角形,正十角形を含むものはタイル貼り不可能であるという「シェパードの定理」はそれらが2回回転対称で定幅にならないので平行四辺形(平行六辺形)を作ることができないということの現れと考えられるからです.
ジョンソン立体で正三角形と正方形でできるものは全部で24種類あります.これらはデルタ多面体に次いで単純なわけですが,挿入型擬似一様タイルからはJ1(正四角錐)やJ86(3^124^2)がタイルになること,また,シェパードが見逃したJ50の展開図も平面充填可能となることが確かめられます.
ジョンソン立体で正三角形と正方形と正六角形でできるものは全部で8種類ありますが,中心対称(2回回転対称)で差し渡し幅が一定という必要条件を満たす多面体はJ55,J56,J57と六角反柱だけですが,正六角形を含むこれらの多面体はすべてタイル貼り不可能でした.
===================================
【4】雑感
ひとつの多面体であっても展開図の個数は非常に多くなってしまう.膨大な数のすべての組み合わせについて漏れなく探索するためにはコンピュータプログラムが必要になるが,オルーク先生によるとそのようなアルゴリズムは(いまのところ)ないという.
しかし,挿入型擬似一様タイルの差し渡し幅は一定のものに限定しても一般性は失われないものと思われる.そうしてついにシェパードが見逃したものを探し出すことができた.これだけ大騒ぎして探し出すことができたのはJ50だけであったからまさに大山鳴動してネズミ一匹である.しかし,どこから手をつけてよいやらわからなかった問題をある程度系統的に探索した結果であるから満足することにしたい.試行錯誤でしらみつぶしに探索することは到底出来ないが,見逃したものはないはずである.
===================================