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

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

 E6では(R/ρ)^2=8/3

 R^2=1+1/3+1/6+1/10+1/15+a6^2

=1+1/3+1/6+1/10+2/5+b6^2

 ρ^2=b6^2

 1+1/3+1/6+1/10=(30+10+5+3)/30=8/5

 R^2=8/5+2/5+b6^2=8/5+1/15+a6^2

 ρ^2=b6^2

 (2+b6^2)/b6^2=8/3→b6^2=6/5

  1/15+a6^2=2/5+6/5=8/5

  a6^2=23/15→a6=√(23/15)

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

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

 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)

は222

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