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

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

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

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

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

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

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

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

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

　　｛３｝（１０）２個

　　｛３｝（０１）２個

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

　ｎ−２次元面：

　　｛｝（１）４個

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

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

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

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

　　｛３，３｝（１１０）頂点数１２・・・２個＝（ｔｐ＋１，１）

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

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

　ｎ−２次元面：三角形２０枚，６角形２０枚

　　｛３｝（１０）頂点数３・・・１個＝（ｔｐ＋１，２）

　　｛３｝（１１）頂点数６・・・４個・・・頂点数換算で｛３｝（１０）＝２（ｔｐ＋１，２）＝２個分

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

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

　　ｍ＝４：ｆ1＝（４／２）・ｆ0＝６０

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

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

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

　　｛３，３，３｝（０１００）頂点数１０・・・３個＝（ｔｐ＋１，１）

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

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

　ｎ−２次元面：正四面体３０個，正八面体３０個

　　｛３，３｝（１００）３個＝（ｔｐ＋１，２）

　　｛３，３｝（０１０）９個・・・頂点数換算で｛３，３｝（１００）＝２（ｔｐ＋１，２）＝６個分

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

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

　ｎ−３次元面：

　　三角形１２０枚

　　｛３｝（１０）９個＝２^2（ｔｐ＋１，３）は使えない

　　｛３｝（０１）９個

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

　　ｍ＝９：ｆ2＝（９／２）・ｆ0＝９０

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

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

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

　　｛３，３，３，３｝（０１１００）頂点数６０・・・３個＝（ｔｐ＋１，１）

　　｛３，３，３，３｝（００１１０）頂点数６０・・・３個＝（ｔｐ＋１，１）

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

　ｎ−２次元面：

　　｛３，３，３｝（１１００）頂点数２０・・・３個＝（ｔｐ＋１，２）

　　｛３，３，３｝（０１１０）頂点数３０・・・９個＝頂点数換算で｛３，３，３｝（１１００）＝２（ｔｐ＋１，２）＝６個分

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

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

　ｎ−３次元面：

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

　　｛３，３｝（１００）頂点数４・・・１個＝（ｔｐ＋１，３）

　　｛３，３｝（１１０）頂点数１２・・・９個＝頂点数換算で｛３，３｝（１００）＝３（ｔｐ＋１，３）＝３個分

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

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

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

　ｎ−４次元面：三角形２８０枚，六角形２１０枚

　　｛３，３｝（１０）頂点数３・・・３個＝（ｔｐ＋１，４）は使えない

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

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

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

　　ｍ＝６：ｆ1＝（６／２）・ｆ0＝４２０

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

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

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

　　｛３，３，３，３，３｝（００１０００）頂点数３５・・・４個＝（ｔｐ＋１，１）

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

　　ｆ6＝（４／３５＋４／３５）・ｆ0＝１６

　ｎ−２次元面：

　　｛３，３，３，３｝（０１０００）頂点数１５・・・６個＝（ｔｐ＋１，２）

　　｛３，３，３，３｝（００１００）頂点数２０・・・１６個＝頂点数換算で｛３，３，３，３｝（０１０００）＝２（ｔｐ＋１，２）＝１２個分

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

　　ｆ5＝（１２／１５＋１６／２０）・ｆ0＝１１２　　（ＯＫ）

　ｎ−３次元面：

　　｛３，３，３｝（１０００）頂点数５・・・４個＝（ｔｐ＋１，３）

　　｛３，３，３｝（０１００）頂点数１０・・・２４個＝頂点数換算で｛３，３，３｝（１０００）＝３（ｔｐ＋１，３）＝１２個分

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

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

　　ｆ4＝（８／５＋４８／１０）・ｆ0＝４４８

　ｎ−４次元面：三角錐５６０個，八面体４２０個

　　｛３，３｝（１００）頂点数４・・・１６個＝（ｔｐ＋１，４）は使えない

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

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

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

　ｎ−５次元面：三角形４８枚

　　｛３｝（１０）頂点数３・・・２４個＝（ｔｐ＋１，５）は使えない

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

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

　　ｍ＝１６：ｆ1＝（１６／２）・ｆ0＝５６０

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

［まとめ］この検討でかえって難しさが際立ってしまった．

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