【２】４次元正多胞体とシュレーフリ記号

　４次元正多胞体はシュレーフリ記号｛ｐ，ｑ，ｒ｝・・・各頂点にｐ角形がｑ面集まる多面体が各辺にｒ個集まる・・・で表記されるとします．

　３次元正多面体（ｐ，ｑ）を各辺のまわりにｒ個集めてできる４次元正多胞体の必要条件は，２面角のｒ倍が４直角未満ですから，正４面体（３，３）の２面角は７１°より少し小さいので，１本の辺に３，４，５個の正４面体を置くことができます→（３，３，３），（３，３，４），（３，３，５）．

　立方体（４，３）の２面角は直角ですから，１本の辺のまわりに４個の立方体で隙間なく空間を充填します．しかし，（４，３，４）では無限の多面体になってしまいますから，超立方体（４，３，３）は有限胞体になります．

　正８面体と正１２面体の２面角は，９０°と１２０°の間にあるので，１辺の周囲には３個の正多面体が置けます→（３，４，３），（５，３，３）．正２０面体の２面角は１２０°より大きいので，このようなことはできません．

　すなわち，正４面体に対してはｒ＝２，３，４．正６，８，１２面体に対してはｒ＝３．正２０面体では許されないので，結局，正多胞体の可能性としては（３，３，３），（３，３，４），（３，３，５），（４，３，３），（３，４，３），（５，３，３）しかあり得ないことがわかります．

　以上の必要条件をまとめると

　　１／ｐ＋１／ｑ＞１／２　　　（ｐ，ｑ≧３）

　　１／ｑ＋１／ｒ＞１／２　　　（ｑ，ｒ≧３）

となります．そして，実際にこの６通りの正多胞体が構成できます．なお（４，３，４）は角の和がちょうど４直角となるので，３次元空間充填形です．

　そうすることによって，以下の結果が得られます（境界面ｐ，頂点に集まる面ｑ，辺に集まる胞ｒ）．

　　　　　　境界多面体　境界面ｐ　頂点に集まる面ｑ　辺に集まる胞ｒ

５胞体　　　正４面体　　　　３　　　　　　　　３　　　　　　　３

８胞体　　　立方体　　　　　４　　　　　　　　３　　　　　　　３

１６胞体　　正４面体　　　　３　　　　　　　　３　　　　　　　４

２４胞体　　正８面体　　　　３　　　　　　　　４　　　　　　　３

１２０胞体　正１２面体　　　５　　　　　　　　３　　　　　　　３

６００胞体　正４面体　　　　３　　　　　　　　３　　　　　　　５

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】２次不等式

　前節ではｐ，ｑ，ｒに関する不等式

　　１／ｐ＋１／ｑ＞１／２　　　（ｐ，ｑ≧３）

　　１／ｑ＋１／ｒ＞１／２　　　（ｑ，ｒ≧３）

が現れましたが，有限群であるという条件からさらに２次不等式

　　ｐ−４／ｐ＋２ｑ＋ｒ−４／ｒ＜１２

　　ｐ−４／ｐ＜１２−２ｑ−ｒ＋４／ｒ

　　ｐ^2−（１２−２ｑ−ｒ＋４／ｒ）ｐ−４＜０

が得られます．

　泡細胞の合胞体の場合，１個の頂点に３個の辺が集まり，１本の辺の周りに３個の泡細胞が合するというのが空間分割の局所条件ですから，ｑ＝ｒ＝３とおくと

　　ｐ^2−（１３／３）ｐ−４＜０

　　ｐ＜（１３＋√３１３）／６＝５．１１５３

これを

　　ｆ＝１２／（６−ｐ）

　　ｖ＝４ｐ／（６−ｐ）

　　ｅ＝６ｐ／（６−ｐ）

に代入すると

　　ｆ＝（２３＋√３１３）／３＝１３．５６４

　　ｖ＝２（１７＋√３１３）／３＝２３．１２８

　　ｅ＝１７＋√３１３＝３４．６９２

になるというわけです．これにて一件落着．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝