求和C(n,k)*C(n,m-k),k从0到m,C表示数学中的组合

(1+x)^n=sum_{k=0->n}[C(n,k)x^k]=sum_{p=0->n}[C(n,n-p)x^(n-p)]
(1+x)^(2n)=(1+x)^n*(1+x)^n=sum_{k=0->n}sum_{p=0->n}[C(n,k)C(n,n-p)x^(k+n-p)],
0m变化时,只能取n-p=m-k. k>m时,k+n-p>m+n-p>=m.x^(k+n-p)肯定不能对应到x^m. 因此,最后的等式成立.