■ABCからDEへ(その95)
221の頂点は(0,0,0,0,0,0;4/√3)から等距離にある
(0,0,0,0,0,0)
(±2,0,0,0,0,0;6/√3)とその置換
(±1,±1,±1,±1,±1;3/√3)とその置換(−は奇数個)
したがって,半径^2は2^2+4/3=5+1/3=3/16→4/√3
頂点間距離^2=2^2+2^2=8→2√2
頂点間距離が2のとき,半径は√8/3
R^2=1+1/3+1/6+1/10+1/15+a6^2=8/3
=1+1/3+1/6+1/10+2/5+b6^2
1+1/3+1/6+1/10=(30+10+5+3)/30=8/5
R^2=8/5+2/5+b6^2=8/5+1/15+a6^2=8/3
a6^2=(40−24−1)/15=1
b6^2=(40−24−6)/15=2/3
===================================
221の基本単体の頂点は,ρについて
P0(0,0,0,0,0,0)
P1(1,0,0,0,0,0)
P2(1,1/√3,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1)
σについて
P0(0,0,0,0,0,0)
P1(1,0,0,0,0,0)
P2(1,1/√3,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0)
P5(1,1/√3,1/√6,1/√10,√(2/5),0)
P6(1,1/√3,1/√6,1/√10,√(2/5),√(2/3))
===================================
231の126頂点は
(2,0,0,0,0,0,0,−2),56置換
(1,1,1,1,−1,−1,−1,−1),70置換
ファセット221=E6は56個=|E7|/|E6|
ファセット230=α6は576個=|E7|/|A6|
頂点図形は131=hγ6
各頂点に連結する辺は32本,したがって,231の辺数は126・16=2016
頂点間距離が2のとき、半径が2
===================================
R^2=1+1/3+1/6+1/10+2/5+2/3+a7^2=4
=1+1/3+1/6+1/10+1/15+1+b7^2
a7^2=b7^2=4/3
===================================
[まとめ]これで231の基本単体が求まったことになる.
231の基本単体の頂点は,ρについて
P0(0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0)
P5(1,1/√3,1/√6,1/√10,1/√15,0,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1,0)
P6(1,1/√3,1/√6,1/√10,1/√15,1,2/√3)
σについて
P0(0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0)
P4(1,1/√3,1/√6,1/√10,0,0,0)
P5(1,1/√3,1/√6,1/√10,√(2/5),0,0)
P6(1,1/√3,1/√6,1/√10,√(2/5),√(2/3),0)
P6(1,1/√3,1/√6,1/√10,√(2/5),√(2/3),,2/√3)
===================================