■太鼓の形は聞こえない(その35)
大域幾何学では,
f(n,0)=2^n-1
f(n,1)=2^n-2(n−1)n/2
f(n,2)=2^n-2n(n−1)(n−2)/3
f(n,3)=2^n-4n(n−1)(n−2)^2/3
f(n,k)=n!/(k+1)!(n−k)!{2^n-1(n−k)+2^n-k(k+1)} k>2のとき
f(n,n−1)=2^n-1+2n → n>3のとき
が得られている.
とくに,k>2では
f(n,k)=n!/(k+1)!(n−k)!{2^n-1(n−k)+2^n-k(k+1)}
ときれいな形にまとまった.
===================================
[まとめ]
(その32)〜(その34)の局所幾何学の結果も大域幾何学の結果に呼応したものといえる.
f1=n(n−1)/4・f0
f2=n(n−1)(n−2)/6・f0,n>3
f3=n(n−1)(n−2)^2/24・f0,n>3
fk={k(n,k)/(n−k+1)+(n,k)/2^n-k-1}f0
===================================