■基本単体の二面角(その148)
(その144)〜(その146)の頂点座標は,無限鏡映群のものと一致した.逆にいうと・・・
===================================
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章に一致することが確認された.
===================================