｛３，・・・３，３｝（１，・・・，１，１）系すなわち置換多面体のｆベクトルは

　　ｆ0＝（ｎ＋１）！，ｆ1＝ｎｆ0／２，ｆn-1＝２（２^n−１）

｛３，・・・３，４｝（１，・・・，１，１）系のｆベクトルは

　　ｆ0＝２^n・ｎ！，ｆ1＝ｎｆ0／２，ｆn-1＝３^n−１

で与えられます．

　長い間，中断していましたが，

　｛３，・・・３，３｝（１，・・・，１，１）系と｛３，・・・３，４｝（１，・・・，１，１）系の体積公式については，まだ一般式を得ていません．再開したいと思います．

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

【１】｛３，・・・３，３｝（１，・・・，１，１）系

　３次元の場合，全体を１次元あげて４次元正単体の境界多面体

　　Ｖ1（１，０，０，０）

　　Ｖ2（０，１，０，０）

　　Ｖ3（０，０，１，０）

　　Ｖ4（０，０，０，１）

　　ｘ＋ｙ＋ｚ＋ｗ＝１

をとるとしよう．

　ｘ≧ｙ≧ｚ≧ｗ≧０なる点Ｐ（ｘ，ｙ，ｚ，ｗ）が与えられたとき，ずべての稜線の長さが等しくなるのは，点Ｐからｗ＝０平面，ｘ＝ｙ平面，ｙ＝ｚ平面，ｚ＝ｗ平面までの距離が等しいときである．点Ｐをｎ−１次元境界多面体上の点すなわちｗ＝０として，点Ｐ（ｘ，ｙ，ｚ，０）からｘ＝ｙ平面，ｙ＝ｚ平面，ｚ＝ｗ平面までの距離を等しくとると

　　（ｘ−ｙ）／√２＝（ｙ−ｚ）／√２＝（ｚ−ｗ）／√２

　→　ｘ＝３ｚ，ｙ＝２ｚ，ｚ＝ｚ，ｗ＝０

これらは，ｘ＋ｙ＋ｚ＋ｗ＝１上の点であるから代入すると，６ｚ＝１

　→　ｘ＝１／２，ｙ＝１／３，ｚ＝１／６，ｗ＝０

一般には，Ｓ＝ｎ（ｎ＋１）／２として

　→　ｘ＝ｎ／Ｓ，ｙ＝（ｎ−１）／Ｓ，ｚ＝（ｎ−２）／ｓ，・・・，ｗ＝０

　また，中心座標は

　　ｃ（Ｓ）＝（１／（ｎ＋１），・・・，１／（ｎ＋１））

それぞれの胞心は

　　ｃ（Ａ）＝（１／ｎ，１／ｎ，・・・，１／ｎ，０）

であるから，重心から各頂点に向かうベクトルは

　　（ｎ／Ｓ−１／（ｎ＋１），（ｎ−１）／Ｓ−１／（ｎ＋１），・・・，０−１／（ｎ＋１））

重心から各胞心に向かうベクトルは

　　（１／ｎ−１／（ｎ＋１），１／ｎ−１／（ｎ＋１），・・・，０−１／（ｎ＋１））

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

【２】｛３，・・・３，４｝（１，・・・，１，１）系

　ｎ次元正軸体の頂点の座標は

　　（１，０，・・・，０）

　　（０，１，・・・，０）

　　・・・・・・・・・・・

　　（０，０，・・・，１）

で与えられるから，基本単体の座標はｋ次元面の重心をとることによって，

　　ｐ0（１，０，・・・，０）

　　ｐ1（１／２，１／２，０，・・・，０）

　　ｐ2（１／３，１／３，１／３，０，・・・，０）

　　・・・・・・・・・・・・・・・・

　　ｐn-1（１／ｎ，１／ｎ，１／ｎ，・・・，１／ｎ）

　　ｐn（０，０，・・・，０）

　３次元の場合，ｘ≧ｙ≧ｚ≧０なる点Ｐ（ｘ，ｙ，ｚ）が与えられたとき，ずべての稜線の長さが等しくなるのは，点Ｐ（ｘ，ｙ，ｚ）からｘ＝ｙ平面，ｙ＝ｚ平面，ｚ＝０平面までの距離を等しくとると

　　（ｘ−ｙ）／√２＝（ｙ−ｚ）／√２＝ｚ

　→　ｙ＝ｚ＋√２ｚ

　　　ｘ＝ｙ＋√２ｚ＝ｚ＋２√２ｚ

これらは，ｘ＋ｙ＋ｚ＝１上の点であるから代入すると，

　　３ｚ＋３√２ｚ＝１　→　ｚ＝１／（３＋３√２）

また，点Ｐ（ｘ，ｙ，ｚ）のｚ＝０平面に対する鏡映は（ｘ，ｙ，−ｚ）であるから，辺の長さは２ｚ．

　４次元の場合は，点Ｐ（ｘ，ｙ，ｚ，ｗ）からｘ＝ｙ平面，ｙ＝ｚ平面，ｚ＝ｗ平面，ｗ＝０平面までの距離を等しくとると

　　（ｘ−ｙ）／√２＝（ｙ−ｚ）／√２＝（ｚ−ｗ）／√２＝ｗ

　→　ｚ＝ｗ＋√２ｗ

　　　ｙ＝ｚ＋√２ｗ＝ｗ＋２√２ｗ

　　　ｘ＝ｙ＋√２ｗ＝ｗ＋３√２ｗ

これらは，ｘ＋ｙ＋ｚ＝１上の点であるから代入すると，

　　４ｗ＋６√２ｗ＝１　→　ｗ＝１／（４＋６√２）

また，点Ｐ（ｘ，ｙ，ｚ，ｗ）のｗ＝０平面に対する鏡映は（ｘ，ｙ，ｚ，−ｗ）であるから，辺の長さは√２ｗ

　一般には，Ｓ＝ｎ（ｎ−１）／２として

　→　ｎω＋Ｓ√２ω＝１，ω＝１／（ｎ＋Ｓ√２）

　　　ｘ＝（１＋（ｎ−１）√２）ω，ｙ＝（１＋（ｎ−２）√２）ω，ｚ＝（１＋（ｎ−３）√２）ω，・・・，ω＝ω

となることが理解される．

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