■n次元の立方体と直角三角錐(その329)

 (その328)を補足しておきたい.

===================================

[1]正軸体系の最小ファセット数は2^n+2nである.

[2]正単体のファセット数はn+1である.

  2^n+2n>n+1

より,正軸体を切頂しても正単体にはならない.

[3]切頂単体のファセット数は2(n+1)である.

  2^n+2n>2(n+1)

より,正軸体を切頂しても切頂単体にはならない.

[4]正単体系の切頂・切稜体の最大ファセット数は2(2^n−1)である.

  2^n+2n<2(2^n−1)

であるから,正軸体を切頂すると切頂切稜単体になる可能性がある.

 3次元と4次元では,正四面体(正16胞体)の辺の中点を結ぶと正八面体(正24胞体)ができる,すなわち,正単体(正軸体)の切頂で他の正多胞体はできる.

 しかし,5次元以上の空間では,正単体の切頂で正軸体・立方体はできないことは[1]より主張できることになる.

===================================