■ABCからDEへ(その102)

 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)

P7(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)

P7(1,1/√3,1/√6,1/√10,√(2/5),√(2/3),2/√3)

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

241では頂点間距離√2のとき、半径√5

 R^2=4+a8^2=10

 a7^2=b7^2=6

 241の基本単体の頂点は,ρについて

P0(0,0,0,0,0,0,0,0)

P1(1,0,0,0,0,0,0,0)

P2(1,1/√3,0,0,0,0,0,0)

P3(1,1/√3,1/√6,0,0,0,0,0)

P4(1,1/√3,1/√6,1/√10,0,0,0,0)

P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)

P6(1,1/√3,1/√6,1/√10,1/√15,1,0,0)

P7(1,1/√3,1/√6,1/√10,1/√15,1,2/√3,0)

P8(1,1/√3,1/√6,1/√10,1/√15,1,2/√3,√6)

σについて

P0(0,0,0,0,0,0,0,0)

P1(1,0,0,0,0,0,0,0)

P2(1,1/√3,0,0,0,0,0,0)

P3(1,1/√3,1/√6,0,0,0,0,0)

P4(1,1/√3,1/√6,1/√10,0,0,0,0)

P5(1,1/√3,1/√6,1/√10,√(2/5),0,0,0)

P6(1,1/√3,1/√6,1/√10,√(2/5),√(2/3),0,0)

P7(1,1/√3,1/√6,1/√10,√(2/5),√(2/3),2/√3,0)

P8(1,1/√3,1/√6,1/√10,√(2/5),√(2/3),2/√3,√6)

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

241では、α7については

R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+a8^2=10

2-2/8+a8^2=10

a8^2=33/4

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