■オイラーの多面体定理とデーン・サマーヴィル関係式(その57)
【2】フィボナッチ数とパスカルの三角形
パスカルの三角形では先頭と最後が常に1となり,その間の数値は前の行の連続した数値を加えていくことに得られる.一方,フィボナッチ数は前2項の和と等しい.どちらも再帰的(同じ規則を反復的に実行する)というわけである.
パスカルの三角形になだらかな斜線を引いて,斜線上に並ぶ数の和をとればフィボナッチ数が順番に現れる.
1+1=2,1+2=3,1+3+1=5,1+4+3=8,1+5+6+1=13,・・・
パスカルの三角形とフィボナッチ数の関係は古くから知られていたが,
fn=Σ(n−k,k)
はその二項係数表現になっている.
===================================
f0=(0,0)=1
f1=(1,0)=1
f2=(2,0)+(1,1)=2
f3=(3,0)+(2,1)=3
f4=(4,0)+(3,1)+(2,2)=5
f5=(5,0)+(4,1)+(3,2)=8
f6=(6,0)+(5,1)+(4,2)+(3,3)=13
===================================
しかし、これらは
(その33):14=(5,3)+(3,2)+(1,1)
(その35):7=(4,3)+(3,2)+(0,1)、10=(4,2)+(3,1)+(0,0)
のようには変形できない
===================================
以下のようには変形できる
fn=Σ(n−k,n-2k)
f0=(0,0)=1
f1=(1,0)=1
f2=(2,2)+(1,1)=2
f3=(3,3)+(2,1)=3
f4=(4,4)+(3,2)+(2,0)=5
f5=(5,5)+(4,3)+(3,1)=8
f6=(6,6)+(5,4)+(4,2)+(3,0)=13
===================================
したがって、
f5=(5,5)+(4,3)+(3,2)=8
f7=f5+f6=(6,6)+(5,5)+(5,4)+(4,3)+(4,2)+(3,1)+(3,0)=21
しかし、nの分割にはなっていない
一般にn,kに対して,ak>ak-1>・・・>a2>a1≧0を使って,nを一意に二項展開することができる.
n=(ak,k)+(ak-1,k−1)+・・・+(a2,2)+(a1,1)
いわゆる「nの分割」である
===================================