■基本単体の二面角(その107)

 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章に一致することが確認された.

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