■サマーヴィルの等面四面体(その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→ファセットの形が得られた.
===================================
[雑感]必要なのはファセットではなく,断面の形である.
===================================