■エルランゲン・プログラムと変換群(その42)
ユークリッド空間の基本単体では
(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
===================================
正八面体では
1 1 1 1 1
2 2 1 3
3 1 2
1 1
0
とおけて
(tanα)^2=3
(tanβ)^2=1
(tanγ)^2=2
正八面体ではα=π/3,β=π/4→√3sinγ=√2と一致
===================================
kaleidoscope, p117より
a=(1/2)^1/2, b=(1/6)^1/2,c=(1/3)^1/2
正八面体では
aj=(2/j(j+1))^1/2, an=(2/n)^1/2
n=3, j=1,a1=1
n=3, j=2,a2=(1/3)^1/2
n=3, j=3,a3=(2/3)^1/2
で一致
===================================