二项式系数
二项式系数
定义
首先定义阶乘:
对于任意
再来定义二项式系数(组合数)
我们用符号
- 数学定义:
简单来说,即为二项式系数的上标为自然数,而二项式系数的下标为小于等于上标的整数,当下标小于零时,式值为零
- 组合定义:
二项式系数 表示从 个不同物品中选出恰好 个的方案数。
证明:首先从
然后再由于我们需要去重,一个长度为
二项式定理
证明
从二项式拆解的角度来说:
首先来证明,
再来证明系数为二项式系数。我们设
此时再来看
简单平移一下求和下标,就有:
由于系数一一对应,故有
我们再来看另一个关于二项式系数的式子:
对于这一步,证明方法也比较多,这里介绍组合意义的证明方法,也有根据定义的简单代数证明。
左式的组合意义是在
而容易发现,二项式系数也具备此性质:
故二者递推式等价,初始值等价,也即二者相等。
这样引申一个东西:
加法公式推论
推论1:上指标求和公式
考虑将加法公式这样写:
继续这样化简,化简到最后应该是这样的
因为当上指标小于下指标时,二项式系数值为
当然,我们平时用得更多的是另一个写法:
它的名字是:上指标求和公式
推论2:平行求和公式
第一个推论我们拆开了前半个式子,这次我们考虑拆开后半个式子
按部就班的化简,有:
故换一种写法得到:
注意到,此时
它的名字是:平行求和公式。
得名的原因是就像0与m+1平移了了k个位置
现在,言归正传,回到二项式定理的变形
常见变形
特殊情况
这些变形很常用哦
这个式子的威力在于:令
这个式子其实有一个组合证明:对于0到
这个式子也非常厉害,具体在于:令
换句话说即为下指标为偶数的二项式系数之和等于下指标为奇数的二项式系数之和。
这里还有一个引申结论:也即因为左边二式值和为
事实上,这个式子还有另一种证明方法,也即将
范德蒙德卷积
下面,我们要来一个激动人心的事情了!
考虑
所以:
对于右式,改动一下求和下标,变成:
明显
这即为著名的范德蒙德卷积,一个非常常用的恒等式。
多项式定理
首先来定义多项式系数:
其中:
当然,多项式系数也具备一个性质:
这里,事实上,每一个多项式系数都可以写作若干个二项式系数的乘积,这主要是由一个恒等式:
我们这样考虑多项式定理的推导
将
对于这个式子,用二项式系数的展开式,最后会化简出
故多项式定理为:
二项式恒等式
有一说一,常用的恒等式在之前已经有说过,这里再次将其列出:
Name | Place | |
---|---|---|
定义式 | 开头 | |
对称式 | 定义式推论 | |
吸收式 | 定义式 推论 | |
加法式 | 二项式定理证明处 | |
三项式恒等式 | 多项式定理处 | |
上指标求和公式 | 加法式推论 | |
平行求和公式 | 加法式推论 | |
二项式定理 | 二项式定理 | |
范德蒙德卷积 | 二项式定理推论 |
二项式反演
四个形式
形式1
对于此式的证明,可以考虑高阶差分,应用也主要是体现在函数的差分上
形式2
形式3(常用)
形式4(常用)
具体应用
方法总览概述
一般来讲,在非纯数学领域,形式一二基本没有用处,我们现在来看形式三四,实质上,这就是容斥原理。
设有一个问题
那么我们可以将其转化:设
所以我们可以反演出原问题
一般来讲求至多至少都更加容易,所以二项式反演实际上是一个由容斥为原理的转化问题方式。
类似的,令
此时利用形式4也可以反演出答案
常见形式证明
下面我们从代数和组合两个角度论证形式3的成立,形式4雷同(1,2不常用,略去)
代数
考虑将反演后的式子逆推回反演前
拆开
将
然后我们交换求和下标,改为求和
现在我们来关注后半截式子,发现它在我们说二项式定理的变形时提到过,其值为零,故
组合
那么也就不难思考反演形式的组合意义了,再次写下反演式
从组合角度论,也是论
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· 没有源码,如何修改代码逻辑?
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战