■基本単体の二面角(その340)
A,D,Eのルートはすべて同じ長さである.
φ=c1ρ1+・・・+cmρm
c=Σciが最大となるものが,最大ルートρ0である.
===================================
[1]E7
ρ1=1/2(e1−e2−e3−e4−e5−e6+e7−e8)
ρ2=e1+e2
ρ3=e2−e1
ρ4=e3−e2
ρ5=e4−e3
ρ6=e5−e4
ρ7=e7−e8
ρ0=e8−e7・・・(?)
e2−e1=ρ3
e2+e1=ρ2
e1=(ρ2−ρ3)/2
e2=(ρ2+ρ3)/2
e3=ρ4+e2=ρ4+(ρ2+ρ3)/2
e4=ρ5+e3=ρ5+ρ4+(ρ2+ρ3)/2
e5=ρ6+e4=ρ6+ρ5+ρ4+(ρ2+ρ3)/2
2ρ1=e1−e2−e3−e4−e5−e6+e7−e8
=(ρ2−ρ3)/2+ρ7−ρ6−2ρ5−3ρ4−2(ρ2+ρ3)−e6
===================================
[2]E6
ρ1=1/2(−e1−e2−e3−e4−e5−e6−e7+e8)
ρ2=e1+e2
ρ3=e2−e1
ρ4=e3−e2
ρ5=e4−e3
ρ6=e5−e4
ρ0=1/2(e1+e2+e3+e4+e5−e6−e7+e8)
ρ0+ρ1=−e6−e7+e8
e2−e1=ρ3
e2+e1=ρ2
e1=(ρ2−ρ3)/2
e2=(ρ2+ρ3)/2
e3=ρ4+e2=ρ4+(ρ2+ρ3)/2
e4=ρ5+e3=ρ5+ρ4+(ρ2+ρ3)/2
e5=ρ6+e4=ρ6+ρ5+ρ4+(ρ2+ρ3)/2
2ρ1=(−e1−e2−e3−e4−e5−e6−e7+e8)
=−ρ6−2ρ5−3ρ4−2(ρ2+ρ3)−(ρ2−ρ3)/2−e6−e7+e8
=−ρ6−2ρ5−3ρ4−2(ρ2+ρ3)−(ρ2−ρ3)/2+ρ0+ρ1
ρ0=ρ1+5ρ2/2+3ρ3/2+3ρ4+2ρ5+ρ6
===================================