（その２６４）で

　　｛｝（１）×｛｝（１）×｛｝（１）

で出現した．そうなると（その２６３）も誤りかもしれない．

　切頂型とちがって，切頂切稜型は複雑だ．なお（１０・・・０１）は切る頂点型と同じ扱いができる．もう一度，（その２６１）から（その２６４）を振り返ってみたい．

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

【１】その２６１

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

　頂点回りには

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

　　切稜面｛３，３｝（００１）×｛｝（１）４個・・・頂点数８

　　２次元面｛３｝（０１）×｛３｝（１０）６個・・・頂点数９

　　３次元面｛｝（１）×｛３，３｝（１００）４個・・・頂点数８

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

　　ｆ4＝（２／５＋８／８＋６／９）ｆ0＝１２＋３０＋２０＝６２　　（１４６４１）＝（１，１）^4

　１６点からなる図形で，頂点次数は８であるからその３次元面数は８である．これは４次元立方体と思われ，その辺数は３２，面数は２４である．

　　切頂面｛３，３，３｝（０００１）の３次元胞は三角錐

　　切稜面｛３，３｝（００１）×｛｝（１）の３次元胞は｛３，３｝（００１）と｛３，３｝（０１）×｛｝（１），すなわち，三角錐と三角柱

　　２次元面｛３｝（０１）×｛３｝（１０）の３次元胞が三角錐

　　３次元面｛｝（１）×｛３，３｝（１００）の３次元胞は｛３，３｝（００１）と｛３，３｝（０１）×｛｝（１），すなわち，三角錐と三角柱

　　４次元面｛３，３，３｝（１０００）の３次元胞は三角錐

→切頂型なので正しいと思われる．

　　三角錐６０，三角柱２０

　　ｘ＋ｙ＝３２

　　ｘ／４＋ｙ／６＝６→３ｘ＋２ｙ＝７２→ｘ＝８，ｙ＝２４

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

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

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

　　三角形１２０枚，四角形９０枚

　　ｘ＋ｙ＝２４

　　ｘ／３＋ｙ／４＝７→４ｘ＋３ｙ＝８４→ｘ＝１２，ｙ＝１２

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

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

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

　次数８で，辺回りに三角形３，四角形３，正四面体３，三角柱９

　　ｆ1＝（８／２）・ｆ0＝１２０

　　ｆ1＝（４／２＋４／２）・ｆ0＝１２０　　（４，４）＝４（１，１）

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

【２】その２６２

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

　頂点回りには

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

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

　６点からなる図形で，頂点次数は６であるからその４次元面数は６である．これは５次元正単体であるから，辺数１５，２次元面数２０，３次元面数１５．

　　切頂面｛３，３，３，３｝（０１１００）は切頂型であり，

｛３，３，３｝（１１００）と｛３，３，３｝（０１１０）からなる．

　　３次元面｛３，３，３｝（００１１０）も同様である．個

→切頂型なので正しいと思われる．

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

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

　　ｘ＋ｙ＝１５

　　ｘ／２０＋ｙ／３０＝８４／１４０→３ｘ＋２ｙ＝３６→ｘ＝６，ｙ＝９

　　｛３，３，３｝（１１００）は｛３，３｝（１００）と｛３，３｝（１１０）

　　｛３，３，３｝（０１１０）は｛３，３｝（１１０）からなる．

　　｛３，３｝（１００）は（３，３，３）で頂点数４

　　｛３，３｝（１１０）は（３，６，６）で頂点数１２

　　三角錐７０，六角柱２１０では三角錐７０，切頂四面体２１０

　　ｘ＋ｙ＝２０

　　ｆ3／ｆ0＝ｘ／４＋ｙ／１２＝２→３ｘ＋ｙ＝２４→ｘ＝２，ｙ＝１８

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

　　ｘ＋ｙ＝１５

　　ｆ2／ｆ0＝ｘ／３＋ｙ／６＝７／２→２ｘ＋ｙ＝２１→ｘ＝６，ｙ＝９

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

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

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