■ディクソンの恒等式(その2)
Σ(k,i)^2=(2k,k)=(2k)!/(k!)^2
であるが、
Σ(-1)^j(2k,k+j)^3=(3k)!/(k!)^3 (ディクソン,1891年)
Σ(k,i)^2=(2k,k)=(2k)!/(k!)^2
との類似性に注意されたい.
ディクソンの恒等式の拡張が
Σ(-1)^j(a+b,a+j)(b+c,b+j)(c+a,c+j)=(a+b+c)!/a!b!c!
である。a+b+c個の要素を持つ集合をa,b,c個の要素を持つ3つの集合に分割する場合の数なので、包除原理を使った数え上げに相当する。
===================================
Σ(-1)^j(a+b)!(b+c)!(c+a)!/(a+j)!(a-j)!(b+j)!(b-j)!(c+j)!(c-j)!=(a+b+c)!/a!b!c!
d=min{a,b,c},-d≦j≦dとしてもよい
===================================