■基本単体の二面角(その252)
E6~の基本単体は
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/√3,0,0,0)
P4(1,1/√3,1/√3,1,0,0)
P5(1,1/√3,0,0,1/√3,0)
P6(1,1/√3,0,0,1/√3,1)
===================================
E7~について
(0,0,0,0,0,0,0)
(1,0,0,0,0,0,0)
(1,1/√3,0,0,0,0,0)
(1,1/√3,1/√6,0,0,0,0)
(1,1/√3,1/√6,1/√6,0,0,0)
(1,1/√3,1/√6,1/√6,1/√3,0,0)
(1,1/√3,1/√6,1/√6,1/√3,1,0)
(1,1/√3,1/√6,0,0,0,1/2)
===================================
E8~について
(0,0,0,0,0,0,0,0)
(1,0,0,0,0,0,0,0)
(1,1/√3,0,0,0,0,0,0)
(1,1/√3,1/√6,0,0,0,0,0)
(1,1/√3,1/√6,1/√10,0,0,0,0)
(1,1/√3,1/√6,1/√10,1/√15,0,0,0)
(1,1/√3,1/√6,1/√10,1/√15,1/√12,0,0)
(1,1/√3,1/√6,1/√10,1/√15,1/√12,1/2,0)
(1,1/√3,1/√6,1/√10,1/√15,0,0,1/3)
>のすべての辺の長さが「SPLAG」第21章に一致することが確認された.
===================================
[まとめ]En~,Dn~の基本単体については(その183)〜(その187),(その177),(その202)〜(その211)
===================================