ｎ次元正軸体：ｇk＝（ｎ，ｋ＋１）２^(k+1)

　　ｎ次元正単体：ｇk＝（ｎ＋１，ｋ＋１）

２系統の準正胞体の重複の有無について調べてみたい．

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

［１］Ｇkの最大値は（ｋ＋１）！，最小値はｋ＋１

［２］最小次数はｎ．ここで最大次数を求めてみると

［ａ］ｎが奇数のとき（ｎ＝２ｋ＋１）

　　　ｍ＝２ｋ（ｋ＋１）＝（ｎ^2−１）／２　　　　　　　　（正軸体系）

　　　ｍ＝ｋ（ｋ＋１）＋（ｋ＋１）＝（ｎ＋１）^2／４　　　（正単体系）

［ｂ］ｎが偶数のとき（ｎ＝２ｋ）

　　　ｍ＝２ｋ^2＝ｎ^2／２　　　　　　　　　　　　　　　　（正軸体系）

　　　ｍ＝ｋ^2＋ｋ＝ｎ（ｎ＋１）／４　　　　　　　　　　　（正単体系）

［３］頂点数が一致するとき，

　　ｆ0＝Ｇsｇs＝Ｇoｇo

であるから，

　　Ｇs（ｎ＋１，ｓ＋１）＝Ｇo（ｎ，ｏ＋１）２^(o+1)

　　ただし，ｓ＝［０，ｎ−１］，ｏ＝［０，ｎ−１］

［４］頂点数が一致するとき，辺数，したがって，次数ｍが等しくなること

　　ｍs／２・Ｇs（ｎ＋１，ｓ＋１）＝ｍo／２・Ｇo（ｎ，ｏ＋１）２^(o+1)

はあるだろうか？・・・という問題に帰着される．

　Ｇkは階乗関数的，ｍは代数関数的であり，ｓ＞ｏとしても一般性は失われないと思われる．

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

　　ｓ＋１≦Ｇs≦（ｓ＋１）！

　　ｏ＋１≦Ｇo≦（ｏ＋１）！

　　ｎ≦ｍs≦（ｎ＋１）^2／４

　　ｎ≦ｍo≦ｎ^2／２

　　（ｓ＋１）（ｎ＋１，ｓ＋１）≦Ｇs（ｎ＋１，ｓ＋１）≦（ｓ＋１）！（ｎ＋１，ｓ＋１）

　　ｎ（ｓ＋１）（ｎ＋１，ｓ＋１）≦ｍsＧs（ｎ＋１，ｓ＋１）≦（ｎ＋１）^2／４（ｓ＋１）！（ｎ＋１，ｓ＋１）

　　（ｏ＋１）（ｎ，ｏ＋１）２^(o+1)≦Ｇo（ｎ，ｏ＋１）２^(o+1)≦（ｏ＋１）！（ｎ，ｏ＋１）２^(o+1)

　　ｎ（ｏ＋１）（ｎ，ｏ＋１）２^(o+1)≦ｍoＧo（ｎ，ｏ＋１）２^(o+1)≦ｎ^2／２（ｏ＋１）！（ｎ，ｏ＋１）２^(o+1)

　もう少し範囲を狭める工夫が必要と思われる．

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