■エルランゲン・プログラムと変換群(その57)
1行目はすべて1
3行目は(tanα)^2・・・一意に決まる
2行目は2項の積が(secα)^2・・・一意に決まらないが、
(tanα)^2-(secα)^2=1
を満足する。どれかを一意に決めればすべて一意となる。
4行目は(tanα)^2(tanβ)^2-(secα)^2(secβ)^2=1?
(sinα)^2(sinβ)^2-1=(cosα)^2(cosβ)^2?
1/4{cos(α+β)-cos(α-β)}^2-1/4{cos(α+β)+cos(α-β)}^2=1?
-cos(α+β)cos(α-β)=1
-1/2{cos(2α)+cos(2β)}=1
5行目は4行目の2項の積が1であれば、0になる。
===================================
a=[-1,0,1,4],(tana)^2=(0,1)(-1,4)/(-1,0)(1,4)
b=[-1,1,2,4],(tanb)^2=(1,2)(-1,4)/(-1,1)(2,4)
c=[-1,2,3,4],(tanc)^2=(2,3)(-1,4)/(-1,2)(3,4)
α=[-1,0,1,2],(tanα)^2=(0,1)(-1,2)/(-1,0)(1,2)
β=[0,1,2,3],(tanβ)^2=(1,2)(0,3)/(0,1)(2,3)
γ=[1,2,3,4],(tanγ)^2=(2,3)(1,4)/(1,2)(3,4)
===================================
4次元では
a=[-1,0,1,5],(tana)^2=(0,1)(-1,5)/(-1,0)(1,5)
b=[-1,1,2,5],(tanb)^2=(1,2)(-1,5)/(-1,1)(2,5)
c=[-1,2,3,5],(tanc)^2=(2,3)(-1,5)/(-1,2)(3,5)
d=[-1,3,4,5],(tand)^2=(3,4)(-1,5)/(-1,3)(4,5)
α=[-1,0,1,2],(tanα)^2=(0,1)(-1,2)/(-1,0)(1,2)
β=[0,1,2,3],(tanβ)^2=(1,2)(0,3)/(0,1)(2,3)
γ=[1,2,3,4],(tanγ)^2=(2,3)(1,4)/(1,2)(3,4)
δ=[2,3,4,5],(tanγ)^2=(3,4)(2,5)/(2,3)(4,5)
===================================