版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/Myriad_Dreamin/article/details/82319098
试证:
∑j+k=n0⩽j<k⩽n(2jj)(2kk)=4n.
证明1:
考虑一个母函数
f(x)=11−4x=((1−4x)−12)2
(观察左式,它是一个卷积形式,因而如此构造).
11−4x=∑n=0∞4nxn
,且:
((1−4x)−12)2==∑n=0∞(∑j+k=n(−12j)(−12k))(−4x)n=∑n=0∞(∑j+k=n(2j−1)!!2jj!(2k−1)!!2kk!)(4x)n∑n=0∞(∑j+k=n(2jj)(2kk))xn.
比较得
∑j+k=n(2jj)(2kk)=4n.
PS:(1−4x)−12=∑n=0∞(−12n)xn,(∑j=0∞ajxj)⋅(∑k=0∞bkxk)=∑n=0∞(∑j+k=najbk)xn.
证明2(大佬的证明):
考虑
n
个展览选四个汉堡(分别是牛排生菜,牛排黄瓜,炸鸡生菜,炸鸡黄瓜汉堡)的方案数,那么一共有
4n
种.
设生菜展览有
n
个,黄瓜展览有
n
个,则炸鸡从
t
个生菜展览和t个黄瓜展览组成的集合里选
t
个展览,组成炸鸡生菜展览,炸鸡黄瓜展览;牛排从剩下
n−t
个生菜展览和
n−t
个黄瓜展览组成的集合里选
n−t
个,组成牛排生菜展览或牛排黄瓜展览.事实上,这和n个展览里有炸鸡生菜,炸鸡黄瓜,牛排生菜,牛排黄瓜展览是等同的(可以想象如果生菜展览和黄瓜展览没被选上,就意味着它们的汉堡里只有菜,谁吃?关停了.所以相当于他们自始至终都没有开展览.剩下来的自然就是完美的汉堡展览啦),所以两者计数等同.