n+1点

　　（１，０，０，０，０，０，０）

　　（０，１，０，０，０，０，０）

　・・・・・・・・・・・・・・・・

　　（０，０，０，０，０，０，１）

が，ｘｙ平面上のn+1点

　　（ｃｏｓ０π／n+1，ｓｉｎ０π／７）

　　（ｃｏｓ２π／n+1，ｓｉｎ２π／７）

　・・・・・・・・・・・・・・・・

　　（ｃｏｓ2(n-1)π／n+1，ｓｉｎ2(n-1)π／７）

に投影されるためには，２×７行列

Ｍ＝［ｃｏｓ０π／n+1，ｃｏｓ２π／n+1，・・・，ｃｏｓ2(n-1)π／n+1］

　　［ｓｉｎ０π／n+1，ｓｉｎ２π／n+1，・・・，ｓｉｎ2(n-1)π／n+1］

が必要になる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

n次元正単体のN+1頂点

は超平面：x1+x2+x3+x4+x5+x6+x(n+1)=1上にあります。

また、赤道面

は超平面：x1-x4=X(x2-x3),x2-x5=X(x3-x4),x3-x6=X(x4-x5),x4-x7=X(x5-x6)・・・対角線の長さXとなるための条件

X=1+2cos(180-180(7-2)/7)=1+2cos(360/7)

一般に X=1+2cos(360/(N+1))

正方形の場合は式が異なり、X=2cos(45)=√2

正五角形の場合はX=1+2cos(360/5)=1+(√5-1)/2=τ

正六角形の場合はX=1+2cos(360/6)=1+1=2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

例えば、面P1P2P3P4P5はx1+x2+x3+x4+x5=1,x6=0,x7=0上にあり、

x1-x4=X(x2-x3),x2-x5=X(x3-x4),x3=X(x4-x5),x4=X(x5)

との共有点は

x4=X(x5),x3=X(X-1)x5={X^2-X}x5,x2=X{X^2-X-X}x5+x5={X^3-2X^2+1}x5,

x1=X{X^3-2X^2+1-X^2+X}x5+Xx5={X^4-3X^3+X^2+2X}x5をx1+x2+x3+x4+x5=1に代入すると

(X^4-2X^3+2X+2)x5=1

まずこの多項式を表す方法が分からない・・・

F0=0

F1=1

F2=X

Fn=X(Fn-1-Fn-2)+Fn-3

F3=X(F2-F1)+F0=X(X-1)

F4=X(F3-F2)+F1=X{X(X-1)-X})+1=X^2(X-1)-X^2+1

4項漸化式であるから3次方程式を解く必要がある。

a^3-Xa^2+Xa-1＝0

(a-1)(a^2-(x-1)a+1)=0

a=1/2・{(x-1)+-{(x-1)^2-4}^1/2}

a=1/2・{2cos(360/(N+1))+-{4cos(360/(N+1))^2-4}^1/2}

a=1/2・{2cos(360/(N+1))+-{-4sin(360/(N+1))^2}^1/2}

a=1/2・{2cos(360/(N+1))+-2isin(360/(N+1))}

a={cos(360/(N+1))+-isin(360/(N+1))}・・・複素数となった

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】ｋフィボナッチ数列の一般項

　ｋパスカルの三角形の自己相似性については省略し，ｋフィボナッチ数列の一般項を求めるあらすじを紹介したい．特性方程式

　　　ｘ^2−ｘ−１＝０，ｘ^3−ｘ^2−ｘ−１＝０，・・・は重解をもたないので，これらの行列は対角化可能である．ｋ＝３の場合で示すが，

　　Ａ3 ＝［０，１，０］

　　　　　［０，０，１］

　　　　　［１，１，１］

　　Ｐ^-1Ａ3Ｐ＝［λ1 ，０，０］，Ｐ^-1Ａ3^nＰ＝［λ1^n，０，０］

　　　　　　　　［０，λ2 ，０］　　　　　　　　［０，λ2^n，０］

　　　　　　　　［０，０，λ3 ］　　　　　　　　［０，０，λ3^n］

　区間［３／２，２］に実数解をもつ以外にｋが奇数のときは１，ｋが偶数のときには１と区間［−１，０］にも実数解が存在する．たとえば，特性方程式

　　ｘ^2−ｘ−１＝０

の２つの解は

　　α＝（１＋√５）／２，β＝（１−√５）／２

ただし，異なるｋ個の固有値はすべて実数というわけではなく，複素数解をもつので注意が必要である．

　一方，

　　Ａ3^n ＝［Ｆn-2，Ｆn-2＋Ｆn-3，Ｆn-1］

　［Ｆn-1，Ｆn-1＋Ｆn-2，Ｆn ］

　［Ｆn ，Ｆn ＋Ｆn-1，Ｆn+1］

が成り立つので，トリボナッチ数列の一般項は

　　Ｆn＝α1λ1^n＋α2λ2^n＋α3λ3^n

　Ｆ0＝０，Ｆ1＝１，Ｆ2＝１ならば

　　α1＋α2＋α3＝０

　　α1λ1＋α2λ2＋α3λ3＝１

　　α1λ1^2＋α2λ2^2＋α3λ3^2＝１

すなわち，ヴァンデルモンデの行列の入った連立方程式

　　［１ 　，１ 　，１ 　］［α1］　［０］

　　［λ1　，λ2　，λ3　］［α2］＝［１］

　　［λ1^2，λ2^2，λ3^2］［α3］　［１］

が得られる．結局，ｋフィボナッチ数列の一般項は行列の対角化と連立方程式の問題に帰着されたことになる．

　　α1＝λ1／（λ1−λ2）（λ1−λ3）

　　α2＝λ2／（λ2−λ1）（λ2−λ3）

　　α3＝λ3／（λ3−λ1）（λ3−λ2）

より，トリボナッチ数列の一般項は

　　Ｆn＝λ1^n+1／（λ1−λ2）（λ1−λ3）＋λ2^n+1／（λ2−λ1）（λ2−λ3）＋λ3^n+1／（λ3−λ1）（λ3−λ2）

のような部分分数分解の形になる．

　ところで，フィボナッチ数列｛Ｆn｝の通常型母関数ｆ（ｘ）は

　　　　ｆ（ｘ）＝Ｆ0＋Ｆ1ｘ＋Ｆ2ｘ^2＋Ｆ3ｘ^3＋・・・

　　　ｘｆ（ｘ）＝　　　Ｆ0ｘ＋Ｆ1ｘ^2＋Ｆ2ｘ^3＋・・・

　　ｘ^2ｆ（ｘ）＝　　　　　　　Ｆ0ｘ^2＋Ｆ1ｘ^3＋・・・

また，Ｆn＝Ｆn-1＋Ｆn-2より

　　ｆ（ｘ）＝ｘ／（１−ｘ−ｘ^2）＝ΣＦnｘ^n

と簡単な式になる．ｋフィボナッチ数列の母関数も同様にして

　　ｆ（ｘ）＝ｘ／（１−ｘ−ｘ^2−・・・−ｘ^k）＝ΣＦnｘ^n

　＝Σ（α1λ1^n＋α2λ2^n＋α3λ3^n＋・・・）ｘ^n

　具体的には求めないが，

　　Σλi^nｘ^n＝λiｘ／（１−λiｘ）

より，部分分数分解

　　Σαiλiｘ／（１−λiｘ）＝ｘ／（１−ｘ−ｘ^2−・・・−ｘ^k）

して両辺を比較することでも，αiが決定されることになる．

　こうして，ｋフィボナッチ数列の一般項は

　＝Σλi^n+k-2／（λi−λ1）・・・（λi−λi-1）（λi−λi+1）・・・（λi−λk）

であることがわかる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝