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

 (その184)も無限鏡映群に対するものであるが,

 E7では(R/ρ)^2=3

 αn:aj=(2/j(j+1))^1/2,an=?

 βn:bj=(2/j(j+1))^1/2,bn-1=√2/(n−1),bn=?

 R^2=1+1/3+1/6+1/10+1/15+1/21+a7^2

=1+1/3+1/6+1/10+1/15+2/6+b7^2

 ρ^2=b7^2

 1+1/3+1/6+1/10+1/15=(30+10+5+3+2)/=5/3

 R^2=5/3+1/3+b7^2=5/3+1/21+a7^2

 ρ^2=b7^2

 (2+b8^2)/b7^2=3→b7=1

  1/21+a7^2=1/3+1

  a7^2=27/21=9/7→a7=3/√7

は以下の結果とも食い違っている.

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

 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)

は331

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