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

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

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

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

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

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

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

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

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

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

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

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

５胞体　　　正４面体　　　　３　　　　　　　　３　　　　　　　３

８胞体　　　立方体　　　　　４　　　　　　　　３　　　　　　　３

１６胞体　　正４面体　　　　３　　　　　　　　３　　　　　　　４

２４胞体　　正８面体　　　　３　　　　　　　　４　　　　　　　３

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

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

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