■エルランゲン・プログラムと変換群(その26)

半角

(cosθ/2)^2=(1+cosθ)/2

(tanθ/2)^2=(1-cosθ)/(1+cosθ)

二面角は既知

3次元

cosδ= 1/3→2/3,1/2

cosδ= 0→1/2,1

cosδ= -1/3→1/3,2

cosδ= -√5/5→(5-√5)/10,(3+√5)/2

cosδ= -√5/3→(3-√5)/6,(7-3√5)/2

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

4次元

cosδ= 1/4→5/8,3/5

cosδ= 0→1/2,1

cosδ= -1/2→1/4,3

cosδ= -1/2→1/4,3

cosδ= -(1+√5)/4→(3-√5)/8,5+2√5

cosδ= -(1+3√5)/8→(7-3√5)/16,27+12√5

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

n次元

cosδ= 1/n→(n+1)/2n,(n-1)/(n+1)

cosδ=0→1/2,1

cosδ= -(n-2)/n→1/n,n-1

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

ユークリッド空間の基本単体では

(sinα)^2(sinγ)^2-(cosβ)^2=0

sinαsinγ-cosβ=0

正四面体ではα=π/3,β=π/3→√3sinγ=1

正八面体ではα=π/3,β=π/4→√3sinγ= √2

正20面体ではα=π/3,β=π/5→√3sinγ=2φ

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

正八面体では

cosδ= -1/3→1/3,2

1   1   1   1   1

  2   2   1   3・・・(sec)^2

    3   1   2・・・(tan)^2

      1   1

        0

とおけて

(tanα)^2=3

(tanβ)^2=1

(tanγ)^2=2

正八面体ではα=π/3,β=π/4→√3sinγ=√2と一致  

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

正16胞体では

cosδ= -1/2→1/4,3

1   1   1   1   1   1

  2   2   2   1   4・・・(sec)^2

    3   3   1   3・・・(tan)^2

      4   1   2

        1   1 

          0

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

立方体では

1   1   1   1   1

  1   2   2   1・・・(sec)^2

    1   3   1・・・(tan)^2

      1   1

        0

とおけて

(tanα)^2=1

(tanβ)^2=3

(tanγ)^2=1

α=π/4,β=π/3→一致  

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

a=(1)^1/2, b=(1)^1/2,c=(1)^1/2→一致

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

正8胞体では

1   1   1   1   1   1

  1   2   2   2   1・・・(sec)^2

    1   3   3   1・・・(tan)^2

      1   4   1

        1   1

          0

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

正四面体では

1   1   1   1   1

  1   4   1  3/2・・・(sec)^2

    3   3   1/2・・・(tan)^2

      2   1/2

        0

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

a=(2)^1/2, b=(2/3)^1/2,c=(1/3)^1/2→一致

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

正5胞体では

1   1   1   1   1   1

  4   1   4   1    8/5・・・(sec)^2

    3   3   3  3/5・・・(tan)^2

      8   2   4/5

        5   1/5

        0

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