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

半角

(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 →(tanγ)^2=τ^2

cosδ= -√5/3→(3-√5)/6,(7+3√5)/2 →(tanγ)^2=2+3τ=τ^4

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

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=(tanδ)^2

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

5次元正軸体では

1   1   1   1   1   1   1

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

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

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

5次元立方体では

1   1   1   1   1   1   1

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

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

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

それぞれ、左右対称三角形分割に一致した。

さらに

[1]3次元の正四面体、正12面体、正20面体は周期的なフリーズとすることは可能であったが

[2]4次元の正五胞体、正120胞体、正600胞体は不可能であることが証明された

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