■エルランゲン・プログラムと変換群(その71)

1行目はすべて1

3行目は(tanα)^2・・・一意に決まる

2行目は2項の積が(secα)^2・・・一意に決まらないが、

(tanα)^2-(secα)^2=1

を満足する。どれかを一意に決めればすべて一意となる。

そこで(0,2)=(1,3)=secβとおく

(-1,1)=(secα)^2cosβ

(2,4)=(secγ)^2cosβ

とおく

(-1,1)(0,2)=(secβ)^2

(1,3)(2,4)=(secγ)^2

これですべて一意に決まる。

(-1,1)=(secα)^2cosβ

(0,2)=secβ

(1,3)=secβ

(2,4)=(secγ)^2cosβ

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

4次元の場合は

(-1,1)=(secα)^2(cosβ)(secγ)

(0,2)=(secβ)(cosγ)

(1,3)=(secβ)(secγ)

(2,4)=(cosβ)(secγ)

(3,1)=(secβ)(cosγ)(secδ)^2

これですべて一意に決まる。

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

5次元の場合は

(-1,1)=(secα)^2(cosβ)^2(secγ)

(0,2)=(secβ)^2(cosγ)

(1,3)=(secγ)

(2,4)=(secγ)

(3,5)=(cosγ)(secδ)^2

(4,6)=(secγ)(cosδ)^2(secε)^2

これですべて一意に決まる。

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

6次元の場合は

(-1,1)=(secα)^2(cosβ)^2(secγ)(cosδ)

(0,2)=(secβ)^2(cosγ)(secδ)

(1,3)=(secγ)(cosδ)

(2,4)=(secγ)(secδ)

(3,5)=(cosγ)(secδ)

(4,6)=(secγ)(cosδ)(secε)^2

(5,7)=(cosγ)(secδ)(cosε)^2(secζ)^2

これですべて一意に決まる。

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

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になる。

B系、F4では1・1の形にできているが、A系、H系ではa・1/a=1の形になっている。

上記の変換で1・1の形にできるだろうか?

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

正600胞体では

1   1   1   1   1   1

 4τ^-2 τ^2 4τ^-2  1  28+12√5 ・・・(sec)^2

    3   3  √5τ^-3 27+12√5・・・(tan)^2

      8τ^-2 τ^-2  14+6√5

        -8τ+13 (9+4√5)

           0

-8τ+13=(9-4√5)

      1   1パターンはできていない。

(-1,1)=(1,5)

(-1,2)=(2,5)もできていない

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

(tanα)^2=3→cosα=1/2

(tanβ)^2=3→cosβ=1/2

(tanγ)^2=5-2√5→cosγ=(1+√5)/4

(tanδ)^2=27+12√5→cosδ=(√18-√10)/8

(-1,1)=(secα)^2(cosβ)(secγ)=8/(1+√5)=2(√5-1)

(0,2)=(secβ)(cosγ)=1

(1,3)=(secβ)(secγ)=(1+√5)/2

(2,4)=(cosβ)(secγ)=1/2・4/(1+√5)=(√5-1)/2

(3,1)=(secβ)(cosγ)(secδ)^2=44+20√5

正600胞体では

1   1   1   1   1   1

 4τ^-1 τ  4τ^-1  τ^-1 44+20√5 ・・・(sec)^2

    3   3  √5τ^-3 27+12√5・・・(tan)^2

      8τ^-1 τ^-3  4τ^5

        τ^-6 τ^6

           0

-8τ+13=(9-4√5)

      1   1パターンはできていない。

(-1,1)=(1,5)

(-1,2)=(2,5)もできていない

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

  φ^-4=−3φ+5、 √5φ^-4=7φ−11

  φ^-3=2φ−3、 √5φ^-3=-4φ+7

  φ^-2=−φ+2、 √5φ^-2=3φ−4

  φ^-1=φ−1、 √5φ^-1=−φ+3

  φ^0=1、 √5φ^0=2φ−1

  φ^1=φ、 √5φ^1=φ+2

  φ^2=φ+1、 √5φ^2=3φ+1

  φ^3=2φ+1、 √5φ^3=4φ+3

  φ^4=3φ+2、 √5φ^4=7φ+4

  φ^5=5φ+3、 √5φ^5=11φ+7

  φ^6=8φ+5、 √5φ^6=18φ+11

 右辺mφ+nの係数m,nはフィボナッチ数列をなす.

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