■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)

===================================