试证明等式:
∑j=0n∑k=j+1nCjnCkn(k−j)=nC22n2
从北京到广州两个半小时的飞机,上飞机前把题目抄在草稿纸上,心想飞机上无聊正好把这题给做了,做完看看电影睡睡觉估计就到了。然而这道题着实做了两个半小时,距离降落30分钟才搞定完整的解法,把解法在整理一遍的时间都不够。在飞机上一万次想打开手机看答案……
令
k−j=r
原式=∑r=1n[p−q=r]rCpnCqn
构造多项式.
f(x)=C0n+C1n1x+C2n1x2+...+Cnn1xn=(1+1x)n
g(x)=C0n+C1nx+C2nx2+...+Cnnxn=(1+x)n
我们发现式子右边两个组合数可以表示成这两个多项式乘积的 xr 项系数.
原式=∑r=1nr[xr](f(x)g(x))=∑r=1nr[xr]((1+1x)n(1+x)n)
再观察右边那个式子,相当于多项式 (1+x)2n 的 xn+r 项系数,可以知道这一项系数的值为 Cn+r2n=Cn−r2n .
原式=∑r=1nrCn−r2n
有 r=n−(n−r)
原式=n∑r=1nCn−r2n−∑r=1n(n−r)Cn−r2n
我们有这么一条公式.
mCmn=mn!m!(n−m)!=n!(m−1)!(n−m)!=n(n−1)!(m−1)!(n−m)!=nCm−1n−1
原式=n∑r=1nCn−r2n−2n∑r=1nCn−r−12n−1
根据那几条经典的组合数公式,式子还能化.
原式=12n(22n−Cn2n)−n(22n−1−2Cn−12n−1)
拆括号合并同类项啦.
原式=12n(4Cn−12n−1−Cn2n)
有 2=2nn ,把组合数拆成阶乘,弄完在转成组合数,就能得到.
原式=nC22n2
证毕.