■DE群多面体の面数公式(その860)

 E5=D5について,hγ5のファセットは1辺の長さ2のα4とβ4.a5,b5は121とファセットの中心との距離とすると,

[1]αn:aj=(2/j(j+1))^1/2

[2]βn:aj=(2/j(j+1))^1/2,an=(2/n)^1/2

 R^2=1+1/3+1/6+1/10+a5^2=5/2

=1+1/3+1/6+2/4+b5^2

 1+1/3+1/6=(6+2+1)/60=3/2

 R^2=3/2+2/4+b5^2=3/2+1/10+a5^2=5/2

 a5^2=(25−15−1)/10=9/10

 b5^2=(25−15−5)/10=1/2

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

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

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

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

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

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

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

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

  cosθ=bn/{bn-1^2+bn^2}^1/2

を計算してみると

  cosθ=√10/3/{10+10/9}^1/2=1/√10

σについて

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

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

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

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

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

P5(1,1/√3,1/√6,1/√2,1/√2)

  cosθ=√2/{2+2}^1/2=1/√2

(その854)に一致.

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