■シュレーフリの公式と直角三角錐(その172)

結局、シュレーフリ記号と2面角から3行目を決めて(2,0)=2とすればよい

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

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

sinαsinγ-cosβ=0

(tanα)^2(tanγ)^2-(cosβ)^2/(cosα)^2(cosγ)^2=0

 が導き出せればよい

4次元の場合は

{{(tanα)^2(tanβ)^2(tanγ)^2-(tanα)^2-(tanγ)^2 -1}{{(tanδ)^2(tanβ)^2(tanγ)^2-(tanδ)^2-(tanβ)^2 -1}=(secβ)^2(secγ)^2

が最も計算しやすい形であると思われる。

3次元の場合は

(tanα)^2(tanγ)^2=(secα)^2(secγ)^2/(secβ)^2

が最も計算しやすい形であると思われる。

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

正八面体では

1   1   1   1   1

  2   2   1   3

    3   1   2

      1   1

        0

とおけて

(tanα)^2=3

(tanβ)^2=1

(tanγ)^2=2

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

(tanα)^2(tanγ)^2=6

(secα)^2(secγ)^2/(secβ)^2=4・3/2=6

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

立方体では

1   1   1   1   1

  1   2   2   1

    1   3   1

      1   1

        0

とおけて

(tanα)^2=1

(tanβ)^2=3

(tanγ)^2=1

cosδ= 0→1/2,1

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

(tanα)^2(tanγ)^2=1

(secα)^2(secγ)^2/(secβ)^2=2・2/4=1

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

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

(tanα)^2=3

(tanβ)^2=3

(tanγ)^2=1/2

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

1   1   1   1   1

  2   2   2   3/4

    3   3   1/2

      4   1/4

        0

(tanα)^2(tanγ)^2=3/2

(secα)^2(secγ)^2/(secβ)^2=4・6/4/(4)=3/21

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