■単純リー環を使った面数数え上げ(その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
===================================