■二項係数の公式
自然数の3乗和はパスカルの三角形のいくつかの倍数の和として表される。
Σk^3=ΣC(k+2,3)+4ΣC(k+1,3)+ΣC(k,3)
C(n,k)=C(n-1,k-1)+C(n-2,k-1)+・・・+ΣC(k-1,k-1)
C(n,k)+C(n,k+1)=C(n+1,k+1)
ΣC(n+k-1,k)=C(n+k,k)
C(n+k-1,k)+C(n+k-1,k+1)=C(n+k,k+1)
それではこれはどうか
ΣC(n,k)^2C(m+2n-k,2n)=C(m+n,n)^2
===================================
(1+2+・・・+n)^2=n^3+(1+2+・・・+(n-1))^2=n^3+(n-1)^3+(1+2+・・・+(n-2))^2
これを繰り返すと
Σk^3=(1+2+・・・+n)^2
1^2=1^3
に到達する。
===================================