■DE群多面体の面数公式(その363)
E群では,以下の掲げるP1→新たな頂点P0,P2→新たなP1,・・・,Pn→新たなファセットの中心Pn-1,P0→あらたな体心となって,二面角がひとつずれる怪も整合性のとれるものとなった.
三対性の正体は,A,Dにあった2つの中心が,Cに移ることによって生じることがわかった!
===================================
221の基本単体の頂点は,ρについて
P0(0,0,0,0,0,0)
P1(1,0,0,0,0,0)
P2(1,1/√3,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1)
σについて
P0(0,0,0,0,0,0)
P1(1,0,0,0,0,0)
P2(1,1/√3,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0)
P5(1,1/√3,1/√6,1/√10,√(2/5),0)
P6(1,1/√3,1/√6,1/√10,√(2/5),√(2/3))
===================================
321の基本単体の頂点は,ρについて
P0(0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0)
P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,√(9/7))
σについて
P0(0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,√(2/6),0)
P7(1,1/√3,1/√6,1/√10,1/√15,√(2/6),1)
===================================
421の基本単体の頂点は,ρについて
P0(0,0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)
P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,0)
P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(9/4))
σについて
P0(0,0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)
P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(2/7),0)
P8(1,1/√3,1/√6,1/√10,1/√15,1/√21,√(2/7),√2)
===================================