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

 1辺の長さ1の正5角形の面積は

  1/2・tan54°×5/2={(5+2√5)/5}^1/2・5/4

で与えられる.1辺の長さ1の正10角形の面積は

  1/2・tan72°×5/2={(5+2√5)}^1/2・10/4

で与えられる.

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

【1】2次元I2(5)系

  {5}(10):{(5+2√5)/5}^1/2・5/4

  {5}(01):{(5+2√5)/5}^1/2・5/4

  {5}(11):{(5+2√5)/5}^1/2・5√5/2

  a1=1,a2=tan(3π/10)={(5+2√5)/5}^1/2=t

[1]{5}(10):{(5+2√5)/5}^1/2・5/4

 b=(01)

  V2={b1g1H1V1Λ0}/2

 また,y0=1,y2=0

  (y0−y1)/√(1/a1)^2=L

  (y1−y2)/√{(1/a1)^2+(1/a2)^2}=0

→y0=1,y1=0,L=1

  c0=a1^2(1−y1)+a2^2(1−y2)=1+t^2

  ‖d0‖=(a1^2+a2^2)^1/2=√(1+t^2)

  h0=|c0|/‖d0‖=√(1+t^2)

  c1=a2^2(1−y2)=t^2

  ‖d1‖=(a2^2)^1/2=t

  h1=|c1|/‖d1‖=t

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

  Hk=hk/2L

 以上より

 V={b1g1h1V1Λ0}/2=5・t/2・1/2=5t/4 (一致)

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[2]{5}(01):{(5+2√5)/5}^1/2・5/4

 b=(10)

  V2={b0g0H0V0Λ1}/2

 また,y0=1,y2=0

  (y0−y1)/√(1/a1)^2=0

  (y1−y2)/√{(1/a1)^2+(1/a2)^2}=L

→y0=1,y1=1,L=1/√(1+1/t^2)

  c0=a1^2(1−y1)+a2^2(1−y2)=t^2

  ‖d0‖=(a1^2+a2^2)^1/2=√(1+t^2)

  h0=|c0|/‖d0‖=t^2/√(1+t^2)

  c1=a2^2(1−y2)=t^2

  ‖d1‖=(a2^2)^1/2=t

  h1=|c1|/‖d1‖=t

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

  Hk=hk/2L

 以上より

 V={b0g0h0V0Λ1}/2=5・t/2・1/2=5t/4 (一致)

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[3]{5}(11):{(5+2√5)/5}^1/2・5√5/2

 b=(11)

  V2={b0g0H0V0Λ1+b1g1H1V1Λ0}/2

 また,y0=1,y2=0

  (y0−y1)/√(1/a1)^2=L

  (y1−y2)/√{(1/a1)^2+(1/a2)^2}=L

→y0=1,y1=1−L,L=√(t^2(1+t^2))−t^2)

  c0=a1^2(1−y1)+a2^2(1−y2)=L+t^2=√(t^2(1+t^2))

  ‖d0‖=(a1^2+a2^2)^1/2=√(1+t^2)

  h0=|c0|/‖d0‖=t

  c1=a2^2(1−y2)=t^2

  ‖d1‖=(a2^2)^1/2=t

  h1=|c1|/‖d1‖=t

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

  Hk=hk/2L

 以上より

 V={b0g0h0V0Λ1+b1g1H1V1Λ0}/2=(5・t/2L+5・t/2L)/2=5・t/2L

 1/2L=√5/2→V=5・t√5/2 (一致)

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