二项式定理

(a+b)n=∑k=0nCnkakbn−k(a+b)^n=\sum_{k=0}^n C_n^ka^kb^{n-k} (a+b)n=k=0∑n​Cnk​akbn−k
证明:
数学归纳法,当n=1是,(a+b)1=Cnkakbn−k=a+b(a+b)^1=C_{n}^ka^kb^{n-k}=a+b(a+b)1=Cnk​akbn−k=a+b成立
假设当n=m是命题成立,n=m+1n=m+1n=m+1时:
(a+b)m+1=(a+b)(a+b)m=(a+b)∑k=0mCmkakbm−k=∑k=0mCmkak+1bm−k+∑k=0mCmkakbm−k+1=∑k=1m+1Cmk−1akbm−k+1+∑k=0mCmkakbm−k+1=∑k=0m+1(Cmk−1+Cmk)akbm−k+1=∑k=0m+1Cm+1kakbm+1−k(a+b)^{m+1}=(a+b)(a+b)^m=(a+b)\sum_{k=0}^mC_m^ka^kb^{m-k}\\ =\sum_{k=0}^mC_m^ka^{k+1}b^{m-k}+\sum_{k=0}^mC_m^ka^kb^{m-k+1}\\ =\sum_{k=1}^{m+1}C_m^{k-1}a^kb^{m-k+1}+\sum_{k=0}^mC_m^ka^kb^{m-k+1}\\ =\sum_{k=0}^{m+1}(C_m^{k-1}+C_m^k)a^kb^{m-k+1}=\sum_{k=0}^{m+1}C_{m+1}^ka^kb^{m+1-k} (a+b)m+1=(a+b)(a+b)m=(a+b)k=0∑m​Cmk​akbm−k=k=0∑m​Cmk​ak+1bm−k+k=0∑m​Cmk​akbm−k+1=k=1∑m+1​Cmk−1​akbm−k+1+k=0∑m​Cmk​akbm−k+1=k=0∑m+1​(Cmk−1​+Cmk​)akbm−k+1=k=0∑m+1​Cm+1k​akbm+1−k
证毕。

后来我自己又想出了一种证明方式。
这个式子可以拆成
(a+b)(a+b)…(a+b)
也就是在每一个括号了面都选一个数,乘起来。
(在这里我们先把k看成n,n-k看成m,这样比较清晰)
要求的是anbma^nb^manbm前的系数。
然后利用数形结合,就可以将原来的公式变成这个样子:

我们要求的是从原点到(n,m)的路径条数,组合数就是Cn+mnC_{n+m}^nCn+mn​,也就是Cnkakbn−kC_n^ka^kb^{n-k}Cnk​akbn−k

二项式定理的各种证明相关推荐

  1. 【组合数学】组合恒等式 ( 变下项求和 3 组合恒等式 | 变下项求和 4 组合恒等式 | 二项式定理 + 求导 证明组合恒等式 | 使用已知组合恒等式证明组合恒等式 )

    文章目录 一.组合恒等式 ( 变下项求和 ) 变系数求和 1 二.组合恒等式 ( 变下项求和 ) 变系数求和 1 证明 ( 二项式定理 + 求导 ) 三.组合恒等式 ( 变下项求和 ) 变系数求和 2 ...

  2. 【组合数学】组合恒等式 ( 变上项求和 1 组合恒等式 | 三种组合恒等式证明方法总结 | 证明变上项求和 1 组合恒等式 )

    文章目录 一.组合恒等式 ( 变上项求和 1 ) 二.组合恒等式证明方法 ( 三种 ) 三.组合恒等式 ( 变上项求和 1 ) 证明 组合恒等式参考博客 : [组合数学]组合恒等式 ( 递推 组合恒等 ...

  3. 【组合数学】组合恒等式 ( 组合恒等式 积之和 1 | 积之和 1 证明 | 组合恒等式 积之和 2 | 积之和 2 证明 )

    文章目录 一.组合恒等式 ( 积之和 ) 1 二.组合恒等式 ( 积之和 ) 1 证明 三.组合恒等式 ( 积之和 ) 2 四.组合恒等式 ( 积之和 ) 2 证明 组合恒等式参考博客 : [组合数学 ...

  4. 【组合数学】非降路径问题 ( 非降路径问题概要说明 | 非降路径问题基本模型 | 非降路径问题拓展模型 1 非原点起点 | 非降路径问题拓展模型 2 有途经点 )

    文章目录 一.非降路径问题 概要说明 二.非降路径问题 基本模型 二.非降路径问题 拓展模型 1 三.非降路径问题 拓展模型 2 组合恒等式参考博客 : [组合数学]二项式定理与组合恒等式 ( 二项式 ...

  5. 对于容斥原理反演的思考和总结

    前言 我还是太菜了 容斥之类的方法并不能熟练应用 于是这次我就认真学习了一下容斥 你可能会发现,容斥与反演很多时候都会同时出现 那么,这两个东西分别是什么.究竟有什么关系呢? 容斥 我们先从定义说起 ...

  6. CF785D Anton and School - 2

    CF785D Anton and School - 2 题意: 给定一个长度≤2×10^5由(和)组成的字符串,问有多少个子串(可以不连续),前半部分是由(组成后半部分由)组成. 题解: 怎么括号匹配 ...

  7. 极限存在准则 两个重要极限——“高等数学”

    各位uu们你们好呀,今天小雅兰要学习的内容仍然是高等数学,是为:极限存在准则 两个重要极限.那现在就让我们一起进入高等数学的世界吧 引例 夹逼准则    准则Ⅰ 数列的夹逼准则    准则Ⅰ' 函数的 ...

  8. 组合数学 北师大 张秀平 自学 视频 NOIP

    姐妹篇:图论 北师大 张秀平 自学 视频 NOIP 请看https://blog.csdn.net/mrcrack/article/details/80563165 组合数学 北师大 张秀平 自学 视 ...

  9. 【阶段1】【定理证明】二项式定理证明

    二项式定理:        证明过程: 的项数是k+1,这部分是没有问题的(随便想想就能理解),关键是证,系数这个部分 当然,这其实就是杨辉三角形 我们把拆开就会得到=(a+b)(a+b)--(a+b ...

最新文章

  1. linux查看上下文切换命令,Linux性能优化,Linux查看CPU上下文切换
  2. datatables中的bug
  3. python搜索列表内_使用Python在另一个List中搜索列表的值
  4. android项目允许命令,android 项目 gradle 命令
  5. SAP Spartacus B2B页面的List Component
  6. p2762-太空飞行计划问题【网络流,最大权闭合图,最小割】
  7. [C/C++]记录:使用sprintf_s时第二个参数不严格计算导致栈损坏
  8. 基于JAVA+SpringMVC+Mybatis+MYSQL的教材管理系统
  9. javascript window.history
  10. Visual C# 2008+SQL Server 2005 数据库与网络开发――3.1.3 C# 2008和.NET Framework 3.5的关系...
  11. 解决eclipse配置Tomcat时找不到server选项
  12. 让我们了解下什么是智能客服(问答)
  13. NLP︱高级词向量表达(三)——WordRank(简述)
  14. Vue:带参数函数在传递参数的同时传递事件对象
  15. 中缀表达式——表达式树
  16. 好用的蓝牙连接测试工具
  17. java实现解压zip文件,(亲测可用)!!!!!!
  18. 超六类网线和六类网线的区别—Vecloud
  19. laravel文档工具
  20. 如何从零开始搭建SRE?

热门文章

  1. 自动化实战之Cypress(一):环境搭建
  2. 诚信型性格分析,诚信型人格的职业发展
  3. python 会议室预约系统 开源_开源会议室预订系统-MRBS安装使用教程
  4. Linux之DMA详解
  5. 大学物理---质点运动学
  6. CreateProcess失败返回错误代码998
  7. 英语自述/English Personal Statement
  8. 英文思维-翻译式中文思维-“地道”中文思维
  9. vue 如何使用定时器?
  10. C++ string与int的转换