■ルート系(その9)
[1]=を含むのは,Bk(k≧2),F4だけである.
・−・−・・・−・=・−・・・−・−・
ε1 ε2 εp ηq η2 η1
ε=Σiεi,η=Σiηi
|ε|^2=Σi^2−Σi(i+1)=p(p+1)/2
|η|^2=Σi^2−Σi(i+1)=q(q+1)/2
<ε,η>=−pq/√2
<ε,η>^2≦|ε|^2|η|^2
より,
(p−1)(q−1)<2
p=1またはq=1→Bk(k≧2)
p=q=2→F4
===================================
[2]分岐点を含み,−のみからなるのは,Dk(k≧4),E6,E7,E8だけである.
φ
・−・−・・・−・−・−・−・・・−・−・
ε1 ε2 εp-1 | ηq-1 η2 η1
・ζr-1
|
・
・
|
・ζ1
|ε|^2=Σi^2−Σi(i+1)=p(p−1)/2
|η|^2=Σi^2−Σi(i+1)=q(q−1)/2
|ζ|^2=Σi^2−Σi(i+1)=r(r−1)/2
<ε,φ>=−(p−1)/2
c1^2=<ε,φ>^2/|ε|^2=1/2・(1−1/p)
c1^2+c2^2+c3^2<1
より
1/p+1/q+1/r>1
p≧q≧r≧2
とすれば,
r=2
q=2,pは無条件→Dk(k≧4)
q=3,p=3,4,5→E6,E7,E8
===================================