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

[1]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

 b3^2=1/3

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