■単純リー環を使った面数数え上げ(その193)
(その192)の続きである.
===================================
[8]{3,4,3}(1010)の場合
(y1−y2)/√4=(y3−y4)/√2=0
(1−y1)=(y2−y3)/√(9/2)=L
→y1=y2=1/(1+√2/3),y3=y4=0→NG
[9]{3,4,3}(0101)は省略
[10]{3,4,3}(1001)の場合
(1−y1)=(y3−y4)/√2=L
(y1−y2)/√4=(y2−y3)/√(9/2)=0
→y1=y2=y3=1/(1+1/√2),y4=0→NG
[11]{3,4,3}(1110)の場合
(1−y1)=(y1−y2)/√4=(y2−y3)/√(9/2)=L
(y3−y4)/√2=0
→y1=1−L,y2=3L/√2,L=(2−√2)/3,y3=y4=0
→y1=(1+√2)/3,y2=√2−1,y3=y4=0→NG
[12]{3,4,3}(0111)は省略
[13]{3,4,3}(1101)の場合
(1−y1)=(y1−y2)/√4=(y3−y4)/√2=L
(y2−y3)/√(9/2)=0
→y1=1−L,y2=y3=L√2,y4=0
→L=1/(3+√2)→NG
[14]{3,4,3}(1011)は省略
[15]{3,4,3}(1111)の場合
(1−y1)=(y1−y2)/√4=(y2−y3)/√(9/2)=(y3−y4)/√2=L
→y1=1−L,y2=1−3L,y3=L√2,y4=0
→L=(5√2−6)/7→NG
どれも整数多面体(格子多面体)にはならないようである.
===================================