一道有趣的数学证明题

试证明等式：

$$\sum_{j=0}^n\sum_{k=j+1}^nC_n^jC_n^k(k-j)=\frac{nC_{2n}^2}{2}$$

从北京到广州两个半小时的飞机，上飞机前把题目抄在草稿纸上，心想飞机上无聊正好把这题给做了，做完看看电影睡睡觉估计就到了。然而这道题着实做了两个半小时，距离降落30分钟才搞定完整的解法，把解法在整理一遍的时间都不够。在飞机上一万次想打开手机看答案……

令$k-j=r$

$$原式=\sum_{r=1}^n[p-q=r]rC_n^pC_n^q$$
构造多项式.
$f(x)=C_n^0+C_n^1\frac{1}{x}+C_n^2\frac{1}{x^2}+...+C_n^n\frac{1}{x^n}=(1+\frac{1}{x})^n$
$g(x)=C_n^0+C_n^1x+C_n^2x^2+...+C_n^nx^n=(1+x)^n$

我们发现式子右边两个组合数可以表示成这两个多项式乘积的$x^r$项系数.

$$原式=\sum_{r=1}^nr[x^r](f(x)g(x))=\sum_{r=1}^nr[x^r]((1+\frac{1}{x})^n(1+x)^n)$$
再观察右边那个式子，相当于多项式 $(1+x)^{2n}$的 $x^{n+r}$项系数，可以知道这一项系数的值为 $C_{2n}^{n+r}=C_{2n}^{n-r}$.
$$原式=\sum_{r=1}^nrC_{2n}^{n-r}$$
有 $r=n-(n-r)$
$$原式=n\sum_{r=1}^nC_{2n}^{n-r}-\sum_{r=1}^n(n-r)C_{2n}^{n-r}$$
我们有这么一条公式.
$mC_n^m=m\frac{n!}{m!(n-m)!}=\frac{n!}{(m-1)!(n-m)!}=n\frac{(n-1)!}{(m-1)!(n-m)!}=nC_{n-1}^{m-1}$
$$原式=n\sum_{r=1}^nC_{2n}^{n-r}-2n\sum_{r=1}^nC_{2n-1}^{n-r-1}$$
根据那几条经典的组合数公式，式子还能化.
$$原式=\frac{1}{2}n(2^{2n}-C_{2n}^n)-n(2^{2n-1}-2C_{2n-1}^{n-1})$$
拆括号合并同类项啦.
$$原式=\frac{1}{2}n(4C_{2n-1}^{n-1}-C_{2n}^n)$$
有 $2=\frac{2n}{n}$，把组合数拆成阶乘，弄完在转成组合数，就能得到.
$$原式=\frac{nC_{2n}^2}{2}$$
证毕.

写的仓促可能会有写不明白或者写错的地方，欢迎询问欢迎批评指正！