正軸体切頂型空間充填多面体では，

ｎ−１次元面：（ｔｐ＋１，１）個（頂点数ａ）

ｎ−２次元面：（ｔｐ＋１，２）個（頂点数ａ）

ｎ−３次元面：（ｔｐ＋１，３）個（頂点数ａ）

ｎ−４次元面：（ｔｐ＋１，４）個（頂点数ａ）

ｎ−１次元面：（３／２）^0（ｔｐ＋１，０）２^tp+1（頂点数ｂ）

ｎ−２次元面：（３／２）（ｔｐ＋１，１）２^tp+1（頂点数ｂ）

ｎ−３次元面：（３／２）^2（ｔｐ＋１，２）２^tp+1（頂点数ｂ）

ｎ−４次元面：（３／２）^3（ｔｐ＋１，３）２^tp+1（頂点数ｂ）

で，数の上では（見かけ上）合致した．

　一方，正単体切頂型ペトリー多面体では

ｎ−１次元面：２^1（ｔｐ＋１，１）個（頂点数ａ）

ｎ−２次元面：２^2（ｔｐ＋１，２）個（頂点数ａ）

ｎ−３次元面：２^3（ｔｐ＋１，３）個（頂点数ａ）

ｎ−４次元面：２^4（ｔｐ＋１，４）個（頂点数ａ）

で，数の上では（見かけ上）合致した．

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

［１］｛３，３｝（０，１，０）＝（６，１２，８）

　頂点回りのｎ−１次元面は，ｎ−１次元面：２^1（ｔｐ＋１，１）個（頂点数ａ）より，

　　｛３｝（１０）４個

　　ｆ2＝（４／３）・ｆ0＝８

　ｎ−２次元面：２^2（ｔｐ＋１，２）個（頂点数ａ）を利用すると，

　　｛｝（１）４個

　　ｆ1＝（４／２）・ｆ0＝１２　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［２］｛３，３，３｝（０，１，１，０）＝（３０，６０，４０，１０）

　頂点回りのｎ−１次元面は，ｎ−１次元面：２^1（ｔｐ＋１，１）個（頂点数ａ）より，

　　｛３，３｝（１１０）頂点数１２・・・４個

　　ｆ3＝（４／１２）・ｆ0＝１０

　ｎ−２次元面：２^2（ｔｐ＋１，２）個（頂点数ａ）を利用すると，

　　｛３｝（１０）４個

となるが，

　　ｆ2＝（４／３）・ｆ0＝４０　　（ＯＫ）

しかし，三角形２０枚，６角形２０枚

　　ｆ2＝（３／３＋２／６）・ｆ0＝４０

であるから，見かけ上の一致である．

　　ｍ＝４

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［３］｛３，３，３，３｝（０，０，１，０，０）＝（２０，９０，１２０，６０，１２）

　頂点回りのｎ−１次元面は，ｎ−１次元面：２^1（ｔｐ＋１，１）個（頂点数ａ）より

　　｛３，３，３｝（０１００）頂点数１０・・・６個

　　ｆ4＝（６／１０）・ｆ0＝１２

　ｎ−２次元面：２^2（ｔｐ＋１，２）個（頂点数ａ）は，

　　｛３，３｝（１００）１２個

より，

　　ｆ3＝（６／４）・ｆ0＝６０　　（ＯＫ）

しかし，

　　正四面体３０個，正八面体３０個

　　ｆ3＝（６／４＋９／６）・ｆ0＝６０

であるから，見かけ上の一致である．

　ｎ−３次元面：２^3（ｔｐ＋１，３）個（頂点数ａ）は使えないが，実際は

　　三角形１２０枚

　　ｆ2＝（１８／３）・ｆ0＝１２０

　　ｍ＝９

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［４］｛３，３，３，３，３｝（０，０，１，１，０，０）＝（１４０，４２０，４９０，２８０，８４，１４）

　頂点回りのｎ−１次元面は，ｎ−１次元面：２^1（ｔｐ＋１，１）個（頂点数ａ）より

　　｛３，３，３，３｝（０１１００）頂点数６０・・・６個

　　ｆ5＝（６／６０）・ｆ0＝１４

　ｎ−２次元面：２^2（ｔｐ＋１，２）個（頂点数ａ）を利用すると，

　　｛３，３，３｝（１１００）頂点数２０・・・１２個

　　ｆ4＝（１２／２０）・ｆ0＝８４　　（ＯＫ）

実際は

　　ｆ4＝（６／２０＋９／３０）・ｆ0＝８４　　（ＯＫ）

　ｎ−３次元面：２^3（ｔｐ＋１，３）個（頂点数ａ）を利用すると，

　　｛３，３｝（１００）頂点数４・・・８個

　　ｆ3＝（８／４）・ｆ0＝２８０　　（ＯＫ）

実際は，

　　三角錐７０，切頂四面体２１０

　　ｆ3＝（２／４＋１８／１２）・ｆ0＝２８０

　ｎ−４次元面：２^4（ｔｐ＋１，４）個（頂点数ａ）は使えないが，実際は

　　三角形２８０枚，六角形２１０枚

　　ｆ2＝（６／３＋９／６）・ｆ0＝４９０

　　ｍ＝６

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