■ABCからDEへ(その110)
(その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のとき,半径は2√2
R^2=1+1/3+1/6+1/10+9/10+a6^2=8
=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=8
a6^2=(40−16−9)/10=11/2
b6^2=(40−16−9)/10=11/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,√(11/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,√(11/2))
===================================
132では頂点間距離が2のとき,半径は√7
R^2=8+a7^2=7
しかし、これはNG
===================================