■DE群多面体の面数公式(その126)
[5]4次元面→コクセター図形にα0ができる
x・72+y・720+z・2160+w・2160+v・702=432+702=1134 (NG)
x=6(α5の4次元面数)
y=0(α2の3次元面数)
z=0(α1の2次元面数)
w=0(α0の1次元面数)
v=1(α0の0次元面数)
216+432+432+270+1080=2430
x・72+y・720+v・702=2430
x=4,y=2,v=1
x=14,y=1,v=1
x=24,y=0,v=1のいずれかであればよい.
[6]5次元面→コクセター図形にα0ができる
x・72+y・720+z・2160+w・2160+v・702+u・54=72+54=126 (NG)
x=1(α5の5次元面数)
y=0(α2の4次元面数)
z=0(α1の3次元面数)
w=0(α0の2次元面数)
v=0(α0の1次元面数)
u=1(α0の0次元面数)
27+216+27+72=342が正解
x・72+u・54=342
x=1,u=5
x=4,u=1のいずれかであればよい.
===================================
[雑感](x=24,y=0,v=1),(x=4,u=1)であれば,xを4倍すればよい.
===================================