■エルランゲン・プログラムと変換群(その44)
ユークリッド空間の基本単体では
(sinα)^2(sinγ)^2-(cosβ)^2=0
sinαsinγ-cosβ=0
正四面体ではα=π/3,β=π/3→√3sinγ=1
正八面体ではα=π/3,β=π/4→√3sinγ=√2
正20面体ではα=π/3,β=π/5→√3sinγ=φ
kaleidoscope, p102-103
(-1,0),(0,1),(1,2),(2,3),(3,4)
(-1,1),(0,2),(1,3),(2,4)
(-1,2),(0,3),(1,4)
(-1,3),(0,4)
(-1,4)
a^2(tanγ)^2=1
c^2(tanα)^2=1
b^2=a^2c^2
a=AB,b=BC,c=CD
d=ADとすると
d^2=(tanβ)^2
===================================
正四面体ではα=π/3,β=π/3→√3sinγ=1
(tanα)^2=3
(tanβ)^2=3
(tanγ)^2=1/2
正四面体では
1 1 1 1 1
1/2 8 1/2 3
3 3 1/2
1 1
0
===================================
a=(2)^1/2, b=(2/3)^1/2,c=(1/3)^1/2→一致
正四面体では
aj=(2/j(j+1))^1/2
===================================