标签：kb ka dbinom ni 卷积 sum 绝妙 德蒙 mja

范德蒙德卷积：

\[\sum_{i=0}^k\dbinom ni\dbinom m{k-i}=\dbinom{n+m}k \]

怎么证呢？

常见证法：

• 组合意义（天地灭）
• OGF（天地灭灭灭灭灭）

---

一个绝妙的证明：

显而易见 \(\forall a,b\) .

\[(a+b)^n(a+b)^m=(a+b)^{n+m} \]

用二项式定理展开：

\[\left[\sum_{k=0}^n\dbinom nka^kb^{n-k}\right]\left[\sum_{k=0}^m\dbinom nka^kb^{m-k}\right]=\sum_{k=0}^{n+m}\dbinom {n+m}ka^kb^{n+m-k} \]

\[\sum_{i=0}^n\sum_{j=0}^m\dbinom ni\dbinom mja^ib^jb^{n-i}b^{m-j}=\sum_{k=0}^{n+m}\dbinom {n+m}ka^kb^{n+m-k} \]

\[\sum_{i=0}^n\sum_{j=0}^m\dbinom ni\dbinom mja^{i+j}b^{n+m-i-j}=\sum_{k=0}^{n+m}\dbinom {n+m}ka^kb^{n+m-k} \]

对于 LHS，令 \(k=i+j\)，转而枚举 \(k\) .

\[\mathrm{LHS}=\sum_{k=0}^{n+m}\sum_{j=0}^m\dbinom n{k-j}\dbinom mja^{k}b^{n+m-k} \]

对比系数（此处正确性在于 \(\forall a,b\) 原式均成立）

\[\sum_{j=0}^m\dbinom n{k-j}\dbinom mj=\dbinom {n+m}k \]

证毕了！！！！！！！

标签：kb,ka,dbinom,ni,卷积,sum,绝妙,德蒙,mja
来源： https://www.cnblogs.com/CDOI-24374/p/16102266.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。