■ディクソンの恒等式
Σ(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!
である。
===================================
Σ(-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としてもよい
===================================