（その８５）はうまくいきそうだ．

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

［１］ｎ＝４のとき，｛３，３，４｝（０１００），ｆ0＝２４

　切頂点に集まるｎ−２次元面数は

　　（ｔｐ＋１，２）＋２^n-2-fp（ｎ−１−ｆｐ）

になるはずです．ｔｐ＝１，ｆｐ＝１

　｛３，４｝（０，０）

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

　　ｆ2＝（４／３）・ｆ0

　　ｆ0＝２４→ｆ2＝３２→ＮＧ

後者を３倍すると

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

　　ｆ0＝２４→ｆ2＝９６→ＯＫ

そこで，切頂点の周囲には

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

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

　　ｆ3＝（２／６＋４／６）・ｆ0＝２４

［ａ］さらに切頂点の周囲の２次元面に関しては

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

これは｛３，４｝をＰ0で切頂したものであるから，頂点に集まる２次元面は

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

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

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

これは｛３，３｝をＰ1で切頂したものであるから，頂点に集まる１次元面は

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

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

［ａ］［ｂ］より，両者の共通して存在する

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

が［１］に掲げたもの以外にできるのではないかと思える．

　もし，それが正しければ

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

　　ｆ0＝２４→ｆ2＝９６→ＯＫ

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

［２］ｎ＝３のとき，｛３，４｝（１１０），ｆ0＝２４

　切頂点に集まるｎ−２次元面数は

　　（ｔｐ＋１，２）＋２^n-2-fp（ｎ−１−ｆｐ）

になるはずです．ｔｐ＝０，ｆｐ＝１

　｛｝（０）

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

　　ｆ1＝（１／２）・ｆ0

　　ｆ0＝２４→ｆ1＝１２→ＮＧ

後者を３倍すると

　　ｆ1＝（３／２）・ｆ0

　　ｆ0＝２４→ｆ1＝３６→ＯＫ

そこで，切頂点の周囲には

　　切頂面｛４｝（１０）１個・・・頂点数４

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

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

［ａ］さらに切頂点の周囲の１次元面に関しては

　　切頂面｛４｝（１０）１個・・・頂点数４

これは｛４｝をＰ0で切頂したものであるから，頂点に集まる１次元面は

　　｛｝（０）

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

［ｂ］３次元面｛３｝（１１）２個・・・頂点数２

これは｛３，３｝をＰ0−Ｐ1で切頂したものであるから，頂点に集まる１次元面は

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

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

［ａ］［ｂ］より，両者の共通して存在する

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

が［１］に掲げたもの以外にできるのではないかと思える．

　もし，それが正しければ

　　ｆ1＝（３／２）・ｆ0

　　ｆ0＝２４→ｆ1＝３６→ＯＫ

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