■単純リー環を使った面数数え上げ(その146)

【1】正600胞体{3,3,5}(1000)の場合

  a1=1,a2=√(1/3),a3=√(1/6),a4=τ^3/√2

  xj/aj=yj,y0=1,yn=0(xn=0)

とおく.

  (yj-1−yj)/(1/aj-1^2+1/aj^2)^1/2=(yj−yj+1)/(1/aj^2+1/aj+1^2)^1/2

を計算して

  (y1−y2)/√4=(y2−y3)/√9=(y3−y4)/√{6+(√2/τ^3)^2}=0→y1=y2=y3=y4=0

  1−y1=1=L

 PnPn-1に垂直なn次元超平面では

  a=(0,・・・,0,−an)

  cn-1=−anxn+an^2=−an^2yn+an^2

  hn-1=|cn-1|/‖dn-1‖,‖dn-1‖=(an^2)^1/2

  an^2yn=0

→h3=a4,H3=a4/2

→Λ3=√2/12

  V=N3・Λ3・H3/4=600・√2/12・τ^3/2√2/4=25τ^3/4

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

【2】正600胞体{3,3,5}(0001)の場合

  a1=1,a2=√(1/3),a3=√(1/6),a4=τ^3/√2

  xj/aj=yj,y0=1,yn=0(xn=0)

とおく.

  (yj-1−yj)/(1/aj-1^2+1/aj^2)^1/2=(yj−yj+1)/(1/aj^2+1/aj+1^2)^1/2

を計算して

  1−y1=(y1−y2)/√4=(y2−y3)/√9=0→y1=y2=y3=1,y4=0

 (y3−y4)/√{6+(√2/τ^3)^2}=L

 1/√{6+2/τ^6}=L

 PnP0に垂直なn次元超平面が点Qを通るのだが,原点をPnに移した方が紛らわしくないので

  a=(−a1,−a2,・・・,−an)

  q=(x1−a1,x2−a2,x3−a3,・・・,xn−an)

とすると,この超平面をa・(x−q)=0,a・x=a・q=cで表すと

  c0=−(a1x1+・・・+anxn)+(a1^2+・・・+an^2)

  c0=−(a1^2y1+・・・+an^2yn)+(a1^2+・・・+an^2)

  h0=|c0|/‖d0‖,‖d0‖=(a1^2+・・・+an^2)^1/2

  c0=a4^2=τ^6/2

  d0=(1+1/3+1/6+a4^2)^1/2=(3/2+τ^6/2)^1/2

  h0=τ^6/2・√{2/(3+τ^6)}

=√{τ^12/(6+2τ^6))

 辺の長さを1に規格化する.辺の長さは2L.したがって,

  Hk=hk/2L

→H0=√{τ^12/(6+2τ^6))・√{6+2/τ^6}/2

=√{τ^6(3τ^6+1)/(3+τ^6))}/2=τ^4/2

→V3=τ^4√5/2

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

[まとめ]これでH3,H4,F4系の体積計算の目途もたったことになる.

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