■太鼓の形は聞こえない(その43)
n−k<3で成り立たない理由は,明らかにn−1次元の半立方体にある.
fn-k={k(n,k)/(n−k+1)+(n,k)/2^n-k-1}f0
そこで,2^n-k-1を変えることによって,正しい公式を導き出せるかもしれない.
===================================
[2]n−k=2
f3={(n−2)(n,n−2)/3+(n,n−2)/2}f0
f3={(n−2)(n,2)/3+(n,2)/2}f0
={(n−2)n(n−1)/6+n(n−1)/4}f0
=n(n−1)/2{(n−2)/3+1/2}f0
=n(n−1)(2n−1)/12・f0 (NG)
正しくは
f2=n(n−1)(n−2)/6・f0,n>3
したがって,
f3={(n−2)(n,n−2)/3+0}f0
すればよい.
[3]n−k=1
f3={(n−1)(n,n−1)/2+(n,n−1)/1}f0
f3={(n−1)(n,1)/2+(n,1)/1}f0
={(n−1)n/2+n}f0
=n/2{(n−1)+2}f0
=n(n+1)/2・f0 (NG)
正しくは
f1=n(n−1)/4・f0
したがって,
f3={(n−1)(n,n−1)/4+0}f0
すればよい.
===================================