■DE群多面体の面数公式(その800)

 E3=1辺の長さ2の正三角柱を考える.

  (0,0,0)(0,2,0)(1,√3,0)

  (0,0,2)(0,2,2)(1,√3,2)

 中心は(1,1/√3,1)

 頂点までの距離の2乗は1+1/3+1=(3+1+3)/3

検算すると

 (√3−1/√3)+1=3+1/3−2+1

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

 頂点間距離が2のとき,半径は√(7/3)

 R^2=1+1/3+a3^2=7/3

=1+2/2+b3^2

 R^2=2+b3^2=4/3+a3^2=7/3

 a3^2=1

 b4^2=1/3

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

 正三角柱の基本単体の頂点は,ρについて

P0(0,0,0)

P1(1,0,0)

P2(1,1/√3,0)

P3(1,1/√3,1)

σについて

P0(0,0,0)

P1(1,0,0)

P2(1,1,0)

P3(1,1,1/√3)

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