４次元多面体を扱ってみたい．

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

【１】（０１００）→ｆ＝（２４，９６，９６，２４）

　頂点に（１００）→（６，１２，８）ができる．原正多面体は頂点と辺が消失する．正八面体同士は点で重複する．

ｆ0＝８・６−２４・１＝２４　　（ＯＫ）

ｆ1＝８・１２−２４・０＝９６　　（ＯＫ）

ｆ2＝８・８＋３２・１＝９６　　（ＯＫ）

ｆ3＝８・１＋１６・１＝２４　　（ＯＫ）

　これは正２４胞体で，空間充填図形である．

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

【２】（１０１０）→ｆ＝（９６，２８８，２４０，４８）

　頂点に（０１０）→ｆ＝（１２，２４，１４）ができる．　頂点に（０１０），辺に（１０）柱ができる．これでおしまい．（辺上で（１０）→ｆ＝（４，４）が重複するのではない）．原正多面体は頂点が消失する．

（０１０）→ｆ＝（１２，２４，１４）

（０１）→ｆ＝（４，４）

（１）→ｆ＝（１）

（１）

ｆ0＝８・１２＝９６　　（ＯＫ）

ｆ1＝８・２４＋２４・４＝２８８　　（ＯＫ）

ｆ2＝８・１４＋２４・４＋３２・（１）＝２４０　　（ＯＫ）

ｆ3＝８＋２４＋１６＝４８はワイソフ算術で計算　（ＯＫ）

　これは切頂正２４胞体であり，空間充填図形にはならない．

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

【３】（１１１０）→ｆ＝（１９２，３８４，２４０，４８）

　頂点に（１１０），辺に（１０）柱ができている．

（１１０）→ｆ＝（２４，３６，１４）

（０１）→ｆ＝（４，４）

ｆ0＝８・２４＝１９２　　（ＯＫ）

ｆ1＝８・３６＋２４・４＝３８４　　（ＯＫ）

ｆ2＝８・１４＋２４・４＋３２・１＝２４０　　（ＯＫ）

ｆ3＝８＋２４＋１６＝４８はワイソフ算術で計算　（ＯＫ）

　これも切頂正２４胞体であり，空間充填図形にはならない．

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