■サマーヴィルの等面四面体(その331)

 最短辺の長さは√nであるから,

  h^2=1/n,m^2=1+1/n

 ピッチはh=1/√nであるから,最短辺の長さの1/nである.

断面の形は1次元低いサマーヴィル単体と相似形になることはわかっているが,正確な寸法は個別に計算しないといけないかもしれない.

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

[1]3次元の場合

  P1(0,0,0)

  P2(1,√2,0)

  P3(2,0,0)

  P4(1,0,√2)

 z座標を有する頂点を無視すると,辺の長さの平方は

  Q1Q2^2=3,Q1Q3^2=4,Q2Q3^2=3→ファセットの形が得られた.

[2]4次元の場合

  P1(0,0,0,0)

  P2(2,0,0,0)

  P3(3/2,(√5)/2,(√10)/2,0)

  P4(1,√5,0,0)

  P5(1/2,(√5)/2,0,(√10)/2)

 z座標を有する頂点を無視すると,辺の長さの平方は

  Q1Q2^2=4,Q1Q3^2=6,Q1Q4^2=6

  Q2Q3^2=4,Q2Q4^2=6,Q3Q4^2=4→ファセットの形が得られた.

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

[雑感]必要なのはファセットではなく,断面の形である.

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