■太鼓の形は聞こえない(その15)

  f(n,k)=n!/(k+1)!(n−k)!{2^n-1(n−k)+2^n-k(k+1)}

ときれいな形にまとまった.

  f(k+1,k)=2^k+2(k+1)

はk>2のときOKであるから,k=2のときNGと思われるが,検証してみよう.

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

[1]k=2のとき

  f(n,2)=n(n−1)/6{2^n-1(n−2)+2^n-2・3}

=n(n−1)/6・{2^n-2(2n−1)}→NG

 正しくは

  f(n,2)=2^n-2n(n−1)(n−2)/3

[2]k=3のとき

  f(n,3)=n(n−1)(n−2)/24・{2^n-1(n−3)+2^n-1}

=2n-1n(n−1)(n−2)^2/24→OK

[3]k=n−1のとき

  f(n,n−1)=n!/n!{2^n-1+2n}=2^n-1+2n→OK

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