■DE群多面体の面数公式(その517)
[5]E7=321
321の頂点は(−3,1,1,1,1,1,1,−3)
(−3,−3,1,1,1,1,1,1)
(3,3,−1,−1,−1,−1,−1,−1)とその置換
したがって,半径^2は2・3^2+6=24→2√6
頂点間距離^2=4^2+4^2=32→4√2
頂点間距離が2のとき,半径は√3
R^2=1+1/3+1/6+1/10+1/15+1/21+a7^2=3
=1+1/3+1/6+1/10+1/15+2/6+b7^2
1+1/3+1/6+1/10+1/15=(30+10+5+3+2)/=5/3
R^2=5/3+1/3+b7^2=5/3+1/21+a7^2=3
a7^2=(63−35−1)/21=9/7
b7^2=(9−5−1)/3=1
===================================
α6の5次元面とβ6の5次元面はともにα5で一致する.
1+1/3+1/6+1/10+1/15までは共通.
その後,1/21=2/42と2/6=14/42に分かれる.このとき,基本単体は・・・
===================================