二项式定理的各种证明
二项式定理
(a+b)n=∑k=0nCnkakbn−k(a+b)^n=\sum_{k=0}^n C_n^ka^kb^{n-k} (a+b)n=k=0∑nCnkakbn−k
证明:
数学归纳法,当n=1是,(a+b)1=Cnkakbn−k=a+b(a+b)^1=C_{n}^ka^kb^{n-k}=a+b(a+b)1=Cnkakbn−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∑mCmkakbm−k=k=0∑mCmkak+1bm−k+k=0∑mCmkakbm−k+1=k=1∑m+1Cmk−1akbm−k+1+k=0∑mCmkakbm−k+1=k=0∑m+1(Cmk−1+Cmk)akbm−k+1=k=0∑m+1Cm+1kakbm+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}Cnkakbn−k
二项式定理的各种证明相关推荐
- 【组合数学】组合恒等式 ( 变下项求和 3 组合恒等式 | 变下项求和 4 组合恒等式 | 二项式定理 + 求导 证明组合恒等式 | 使用已知组合恒等式证明组合恒等式 )
文章目录 一.组合恒等式 ( 变下项求和 ) 变系数求和 1 二.组合恒等式 ( 变下项求和 ) 变系数求和 1 证明 ( 二项式定理 + 求导 ) 三.组合恒等式 ( 变下项求和 ) 变系数求和 2 ...
- 【组合数学】组合恒等式 ( 变上项求和 1 组合恒等式 | 三种组合恒等式证明方法总结 | 证明变上项求和 1 组合恒等式 )
文章目录 一.组合恒等式 ( 变上项求和 1 ) 二.组合恒等式证明方法 ( 三种 ) 三.组合恒等式 ( 变上项求和 1 ) 证明 组合恒等式参考博客 : [组合数学]组合恒等式 ( 递推 组合恒等 ...
- 【组合数学】组合恒等式 ( 组合恒等式 积之和 1 | 积之和 1 证明 | 组合恒等式 积之和 2 | 积之和 2 证明 )
文章目录 一.组合恒等式 ( 积之和 ) 1 二.组合恒等式 ( 积之和 ) 1 证明 三.组合恒等式 ( 积之和 ) 2 四.组合恒等式 ( 积之和 ) 2 证明 组合恒等式参考博客 : [组合数学 ...
- 【组合数学】非降路径问题 ( 非降路径问题概要说明 | 非降路径问题基本模型 | 非降路径问题拓展模型 1 非原点起点 | 非降路径问题拓展模型 2 有途经点 )
文章目录 一.非降路径问题 概要说明 二.非降路径问题 基本模型 二.非降路径问题 拓展模型 1 三.非降路径问题 拓展模型 2 组合恒等式参考博客 : [组合数学]二项式定理与组合恒等式 ( 二项式 ...
- 对于容斥原理反演的思考和总结
前言 我还是太菜了 容斥之类的方法并不能熟练应用 于是这次我就认真学习了一下容斥 你可能会发现,容斥与反演很多时候都会同时出现 那么,这两个东西分别是什么.究竟有什么关系呢? 容斥 我们先从定义说起 ...
- CF785D Anton and School - 2
CF785D Anton and School - 2 题意: 给定一个长度≤2×10^5由(和)组成的字符串,问有多少个子串(可以不连续),前半部分是由(组成后半部分由)组成. 题解: 怎么括号匹配 ...
- 极限存在准则 两个重要极限——“高等数学”
各位uu们你们好呀,今天小雅兰要学习的内容仍然是高等数学,是为:极限存在准则 两个重要极限.那现在就让我们一起进入高等数学的世界吧 引例 夹逼准则 准则Ⅰ 数列的夹逼准则 准则Ⅰ' 函数的 ...
- 组合数学 北师大 张秀平 自学 视频 NOIP
姐妹篇:图论 北师大 张秀平 自学 视频 NOIP 请看https://blog.csdn.net/mrcrack/article/details/80563165 组合数学 北师大 张秀平 自学 视 ...
- 【阶段1】【定理证明】二项式定理证明
二项式定理: 证明过程: 的项数是k+1,这部分是没有问题的(随便想想就能理解),关键是证,系数这个部分 当然,这其实就是杨辉三角形 我们把拆开就会得到=(a+b)(a+b)--(a+b ...
最新文章
- linux查看上下文切换命令,Linux性能优化,Linux查看CPU上下文切换
- datatables中的bug
- python搜索列表内_使用Python在另一个List中搜索列表的值
- android项目允许命令,android 项目 gradle 命令
- SAP Spartacus B2B页面的List Component
- p2762-太空飞行计划问题【网络流,最大权闭合图,最小割】
- [C/C++]记录:使用sprintf_s时第二个参数不严格计算导致栈损坏
- 基于JAVA+SpringMVC+Mybatis+MYSQL的教材管理系统
- javascript window.history
- Visual C# 2008+SQL Server 2005 数据库与网络开发――3.1.3 C# 2008和.NET Framework 3.5的关系...
- 解决eclipse配置Tomcat时找不到server选项
- 让我们了解下什么是智能客服(问答)
- NLP︱高级词向量表达(三)——WordRank(简述)
- Vue:带参数函数在传递参数的同时传递事件对象
- 中缀表达式——表达式树
- 好用的蓝牙连接测试工具
- java实现解压zip文件,(亲测可用)!!!!!!
- 超六类网线和六类网线的区别—Vecloud
- laravel文档工具
- 如何从零开始搭建SRE?