■太鼓の形は聞こえない(その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

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