■エルランゲン・プログラムと変換群(その20)
3次元版の計算
ユークリッド空間の基本単体では
(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
(secα)^2=(-1,1)(0,2)
(secβ)^2=(0,2)(1,3)
(secγ)^2=(1,3)(2,4)
(tanα)^2=(-1,2)=(2,4)→(s,t)=(t,s+5)が成り立つ
(tanβ)^2=(0,3)
(tanγ)^2=(1,4)
===================================
4次元版の計算に利用
αn: aj=√("2/j(j+1)" )
βn: aj=√("2/j(j+1)" ),an=√("2/n" )
γn: aj=1
{3,5}: a1=1,a2=1/√3,a3=a2・τ2
{5,3}: a1=1,a2=τ √("(τ2+1)/5" ),a3=a2・τ
{3,3,5}: a1=1,a2=1/√3,a3=1/√6,a4=τ3/√2
{5,3,3}: a1=1,a2=τ √("(τ2+1)/5" ),a3=a2・τ,a4=τ4
{3,4,3}: a1=1,a2=√(1/3),a3=√(2/3),a4=√2
===================================
kaleidoscope, p99
対応する辺
P0P1=a, P0P2とP2P1のなす角度α、対応する辺P-1P3・・・P0P1に対向する辺を挟む二面角
P1P2=b, P1P0P3とP0P3P2のなす角度β、対応する辺P0P3・・・P1P2に対向する辺を挟む二面角
P2P3=c, P2P1P4とP1P4P3のなす角度γ、対応する辺P1P4
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・
Pn-2Pn-1=d, Pn-2Pn-3PnとPn-3PnPn-1のなす角度δ、対応する辺Pn-3Pn
===================================
a,b,c,d,・・・
αβγδ・・・は既知
対応する辺は計算できる
===================================