【１】［０・・・０１１］正軸体版

　　ｆ0＝ｎ２^n

　　ｆ1＝ｎ／２・ｆ0

　　ｆn-1＝２^n＋２ｎ

｛３，４｝（０１１）→ｆ0＝２４（ＯＫ）

｛３，３，４｝（００１１）→ｆ0＝６４（ＯＫ）

｛３，３，３，４｝（０００１１）→ｆ0＝１６０（ＯＫ）

｛３，３，３，３，４｝（００００１１）→ｆ0＝３８４（ＯＫ）

　　ｆ1＝ｎ／２・ｆ0

｛３，４｝（０１１）→ｆ1＝３６（ＯＫ）

｛３，３，４｝（００１１）→ｆ1＝１２８（ＯＫ）

｛３，３，３，４｝（０００１１）→ｆ1＝４００（ＯＫ）

｛３，３，３，３，４｝（００００１１）→ｆ1＝１１５２（ＯＫ）

　　ｆn-1＝２^n＋２ｎ

｛３，４｝（０１０）→ｆ2＝１４（ＯＫ）

｛３，３，４｝（００１０）→ｆ3＝２４（ＯＫ）

｛３，３，３，４｝（０００１０）→ｆ4＝４２（ＯＫ）

｛３，３，３，３，４｝（００００１０）→ｆ5＝７６（ＯＫ）

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

　γnの頂点が消えて，αn-1に置き換わると考えると，２^n個の頂点が消えて，２^n-1（ｎ，１）個の頂点になる．

　すると，最終的な頂点数と辺数は

　　２^n（ｎ，１）＝２^nｎ　　（ＯＫ）

　　２^n（ｎ，２）＋２^n-1・２ｎ＝２^n-1・ｎ^2　　（ＯＫ）

ｋ次元面数は，

　　２^n-k（ｎ，ｋ）＋２^n・（ｎ，ｋ＋１）

ｎ−１次元面数は

　　２^n＋２ｎ　　（Ｏｋ）

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

　　２^n-k（ｎ，ｋ）＋２^n・（ｎ，ｋ＋１），ｋ＝２〜ｎ−２

｛３，３，４｝（００１１）→ｆ2＝８８（ＯＫ）

｛３，３，３，４｝（０００１１）→ｆ2＝４００（ＯＫ）

｛３，３，３，３，４｝（００００１１）→ｆ2＝１５２０（ＯＫ）

｛３，３，３，４｝（０００１１）→ｆ3＝２００（ＯＫ）

｛３，３，３，３，４｝（００００１１）→ｆ3＝１１２０（ＯＫ）

｛３，３，３，３，４｝（００００１１）→ｆ4＝４４４（ＯＫ）

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

【２】まとめ

　これまで，ワイソフ超えを果たしたのは，

［１］［１１・・・１１］正単体版，正軸体版

［２］［１０・・・０１］正単体版，正軸体版

［３］［０１０・・・０］正単体版，正軸体版

［４］［１１０・・・０］正単体版，正軸体版

［５］［０・・・０１０］正単体版，正軸体版

［６］［０・・・０１１］正単体版，正軸体版

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