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

 もう少し計算を続ける.

 両者に共通する面は

 (0,0,0,0)

 (1,1,0,0)

 (1,1,1,0)

 (3/2,1/2,1/2,1/2)

辺の長さは√2,√3,√3,1,1,1

共通しない部分を考えれば,β4の頂点は

 (2,0,0,0)と

 (0,0,0,0)

 (1,1,0,0)

 (1,1,1,0)

 (3/2,1/2,1/2,1/2)

辺の長さは2,√2,√3,1

ここにβ4の基本単体何個分かと考えると話が難しくなる.

hγ4の頂点は

 (1,1,1,1)と

 (0,0,0,0)

 (1,1,0,0)

 (1,1,1,0)

 (3/2,1/2,1/2,1/2)

辺の長さは2,√2,1,1

ここにhγ4の基本単体何個分かと考えると話が難しくなる.

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