■基本単体の二面角(その370)
辺の長さの計算方法は・・・
===================================
【1】E8無限鏡映群
[1]x7+x8=1
[2]x1+x8=x2+x3+・・・+x7
[3]x1=x2
[4]x2=x3
[5]x3=x4
[6]x4=x5
[7]x5=x6
[8]x6=x7
[9]x1=−x2
[2]を外すと
x1=x2=x3=x4=x5=x6=x7=0
x8=1
[3]を外すと
x1=1/8
x2=x3=x4=x5=x6=x7=1/8
x8=7/8
[4]を外すと
x1=x2=0
x3=x4=x5=x6=x7=1/6
x8=5/6
[5]を外すと
x1=x2=x3=0
x4=x5=x6=x7=1/5
x8=4/5
[6]を外すと
x1=x2=x3=x4=0
x5=x6=x7=1/4
x8=3/4
[7]を外すと
x1=x2=x3=x4=x5=0
x6=x7=1/3
x8=2/3
[8]を外すと
x1=x2=x3=x4=x5=x6=0
x7=1/2,x8=1/2
[9]を外すと
x1=x2=x3=x4=x5=x6=x7=1/6
x8=5/6
===================================