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

 このシリーズは,はじめは複雑な問題・手強い問題だと感じていたが,問題をついに解決したとたんに,結局のところ実に単純な問題だったことが判明した.

 いまは味気ない計算問題というところであろう.(その158)の続きを行うことにする.

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

  √(3+3/τ^4)=3/τ

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

[1]{3,5}(101)

  1−y1=(y2−y3)/√(3+3/τ^4)=L

  (y1−y2)/√4=0

→y1=y2=3/(τ+3)=3(7−√5)/22,y3=0,L=(3√5+1)/22

  c0=a1^2(1−y1)+a2^2(1−y2)+a3^2(1−y3)=4L/3+τ^4/3

  d0=(1+1/3+τ^4/3)^1/2=(4/3+τ^4/3)^1/2

  h0=(4L+τ^4)/3・√{3/(4+τ^4)}

  c1=a2^2(1−y2)+a3^2(1−y3)=L/3+τ^4/3

  ‖d1‖=(a2^2+a3^2)^1/2=(1/3+τ^4/3)^1/2

  h1=|c1|/‖d1‖=(L+τ^4)/3・√{3/(1+τ^4)

  c2=a3^2(1−y3)=τ^4/3

  ‖d2‖=(a3^2)^1/2=τ^2/√3

  h2=|c2|/‖d2‖=τ^2/√3

 また,

→V2=1/2・tan54°×5/2={(5+2√5)/5}^1/2・5/4(正五角形の面積)

→Λ2=√3/4(正三角形の面積)

  3V・2L=(N0・V2・h0+N1・h1+N2・Λ2・h2)

={12・5{(5+2√5)/5}^1/2/4・(4L+τ^4)/3・√{3/(4+τ^4)+30(L+τ^4)/3・√{3/(1+τ^4)+20・√3/4・τ^2/√3}

=(4L+τ^4)τ√5+10(L+τ^4)・√3/τ+5τ^2

V={(4L+τ^4)τ√5+10(L+τ^4)/τ+5τ^2}/6L

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

[2]{3,5}(111)

  1−y1=(y1−y2)/√4=(y2−y3)/√(3+3/τ^4)=L

  L=1/3τ,y1=1−L,y2=3L/τ,y3=0

  c0=a1^2(1−y1)+a2^2(1−y2)+a3^2(1−y3)=1/3+1/3τ^3+τ^4/3

  d0=(1+1/3+τ^4/3)^1/2=(4/3+τ^4/3)^1/2

  h0=(1+1/τ^3+τ^4)/3・√{3/(4+τ^4)}

  c1=a2^2(1−y2)+a3^2(1−y3)=L+τ^4/3

  ‖d1‖=(a2^2+a3^2)^1/2=(1/3+τ^4/3)^1/2

  h1=|c1|/‖d1‖=(L+τ^4/3)・√{3/(1+τ^4)

  c2=a3^2(1−y3)=τ^4/3

  ‖d2‖=(a3^2)^1/2=τ^2/√3

  h2=|c2|/‖d2‖=τ^2/√3

 また,

→V2=1/2・tan72°×10/2={(5+2√5)}^1/2・10/4(正十角形の面積)

→Λ2=3√3/2(正六角形の面積)

  3V・2L=(N0・V2・h0+N1・h1+N2・Λ2・h2)

={12・10{(5+2√5)}^1/2/4・(1+1/τ^3+τ^4)/3・√{3/(4+τ^4)}+30(L+τ^4/3)・√{3/(1+τ^4)+20・3√3/2・τ^2/√3}

=10τ(1+1/τ^3+τ^4)+30(L+τ^4/3)/τ+30τ^2

V={10τ(1+1/τ^3+τ^4)+30(L+τ^4/3)/τ+30τ^2}/6L

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