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

 正三角柱の基本図形は三角柱になると思われるが,ρ,σはどこに対応しているのだろうか?

 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,0,1)

P3(1,1/√3,1)・・・これは正八面体の基本単体ではないことに注意

 この二面角を求めるために,4超平面

 a1x1+a2x2+a3x3=d

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