■ABCからDEへ(その99)
122の72頂点は
(±2,±2,0,0,0;0),x6は固定,40置換
(±1,±1,±1,±1,±1,±√3),負号の数は奇数,32置換
ファセット112=hγ5は|E6|/|D5|=72・6!/2^4・5!=27
ファセット121=hγ5は|E6|/|D5|=27
頂点図形は022=t2α5
したがって,半径^2は2^2+2^2=8→2√2
頂点間距離^2=2^2+2^2=8→2√2
頂点間距離が2のとき,半径は2
R^2=1+1/3+1/6+1/10+9/10+a6^2=4
=1+1/3+1/6+2/4+1/2+b6^2
1+1/3+1/6+1/10=(30+10+5+3)/30=8/5
R^2=8/5+9/10+a6^2=4
a6^2=(40−16−9)/10=3/2
b6^2=(40−16−9)/10=3/2
===================================
[まとめ]これで122の基本単体が求まったことになる.
ρについて
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,3/√10,0)
P6(1,1/√3,1/√6,1/√10,3/√10,√(3/2))
σについて
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/√2,0,0)
P5(1,1/√3,1/√6,1/√2,1/√2,0)→E5に一致
P6(1,1/√3,1/√6,1/√2,1/√2,√(3/2))
===================================
132では頂点間距離が2のとき,半径は√7
R^2=4+a7^2=7
a7=√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,3/√10,0,0)
P6(1,1/√3,1/√6,1/√10,3/√10,√(3/2),0)
P7(1,1/√3,1/√6,1/√10,3/√10,√(3/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/√2,0,0,0)
P5(1,1/√3,1/√6,1/√2,1/√2,0,0)→E5に一致
P6(1,1/√3,1/√6,1/√2,1/√2,√(3/2),0)
P7(1,1/√3,1/√6,1/√2,1/√2,√(3/2),√3)
===================================