■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の基本単体何個分かと考えると話が難しくなる.
===================================