「学习笔记」二项式定理

1.「学习笔记」二项式定理2023-10-09

2.「学习笔记」莫比乌斯反演2023-09-15 3.「学习笔记」初等数论2023-07-27

这是我之前写在 luogu 博客上的，只是现在才搬过来而已。QWQ

二项式系数

就是像 $(\binom{n}{m})$ 这样的东西。

对于非负整数 $n, k$ ，规定 $(\binom{n}{0}) = 1$ 及 $(\binom{n}{n}) = 1$ ， $k > n$ 则 $(\binom{n}{k}) = 0$ ， $1 \leq k \leq n$ 且 $n$ 为正整数，则 $(\binom{n}{k}) = \frac{n!}{k! (n - k)!}$ 。

我们知道 $(\binom{n}{m}) = \frac{n!}{m! (n - m)!}$ ，那么显然可以得出 $(\binom{n}{m}) = \frac{n (n - 1) . . . (n - m + 1)}{m!}$ ，还有 $(\binom{n}{m}) = (\binom{n}{n - m})$ 。

二项式定理

对于一个非负整数 $n$ ， $(x + y)^{n} = x^{n} + (\binom{n}{1}) x^{n - 1} y + (\binom{n}{2}) x^{n - 2} y^{2} + . . . + (\binom{n}{n - 1}) x y^{n - 1} + y^{n}$ ，用求和符号表示就是 $(x + y)^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) x^{n - k} y^{k}$ 。

在初一我们一定学过 $(x + y)^{2} = x^{2} + 2 x y + y^{2}$ ，这其实就是二项式定理的一个特殊形式。

假设 $y = 1$ ，则可得 $(x + 1)^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) x^{k}$ 。

这个东西在证明卢卡斯定理时会用到。

杨辉三角（帕斯卡三角形）

杨辉三角就是像下面这样的东西：

   0  1  2  3  4  5  6 
  ---------------------
0 |1
1 |1  1
2 |1  2  1
3 |1  3  3  1
4 |1  4  6  4  1
5 |1  5 10 10  5  1
6 |1  6 15 20 15  6  1
......

（边框上的是坐标）

我们规定只有一个 $1$ 的是第 $0$ 行，1 1 是第 $1$ 行，1 2 1 是第 $2$ 行，以此类推。（但是我看百度百科上说 1 是第 $1$ 行，在这里就当第 $0$ 行算QWQ）

杨辉三角每行端点与结尾的数为1，其余的数等于它上方两数之和。

为啥扯二项式却扯到杨辉三角了？

有一道提高组真题 P2822 [NOIP2016 提高组] 组合数问题，它需要用前缀和求解，由于我的代码是远古时期写的，我就直接粘上代码。

#include<bits/stdc++.h>
#define XD 114514

using namespace std;
int t,k,a[2010][2010],b[2010][2010];
int c[10010][10],num;
int main(){
	cin>>t>>k;
	for(int i=1;i<=t;i++){
		scanf("%d%d",&c[i][1],&c[i][2]);
		num=max(num,c[i][1]);
	}
	for(int i=1;i<=num+2;i++){
		for(int j=1;j<=i;j++){
			if(j==1 or j==i) a[i][j]=1;
			else{
				a[i][j]=a[i-1][j]+a[i-1][j-1];
				if(a[i][j]>=k) a[i][j]-=k;
			} 
		}
	}
	for(int i=3;i<=num+2;i++){
		for(int j=2;j<i;j++){
			if(a[i][j]==0 and j!=i+1) b[i-2][j-1]++;
			b[i-2][j-1]+=b[i-3][j-1]+b[i-2][j-2]-b[i-3][j-2];
		}
		b[i-2][i-1]=b[i-2][i-2];
	}
	for(int i=1;i<=t;i++){
		printf("%d\n",b[c[i][1]-1][min(c[i][1]-1,c[i][2])]);
	}
	return 0;
}

其实当时通过打表发现二项式系数构成的数字三角形和杨辉三角形完全一样，于是就愉快的求一遍前缀和就 AC 了。

那么根据杨辉三角的性质可得到 $(\binom{n}{k}) = (\binom{n - 1}{k}) + (\binom{n - 1}{k - 1})$ ，这就是帕斯卡公式。

其实就是设杨辉三角形中第 $i$ 行第 $j$ 列第数为 $Y_{i j}$ ，那么 $(\binom{i}{j}) = Y_{i j}$ 。（补于 2023.5.18）

这里我会写一些二项式系数其他的式子。

$k (\binom{n}{k}) = n (\binom{n - 1}{k - 1})$

证明:

\begin{aligned} k (\binom{n}{k}) & = k \times \frac{n (n - 1) . . . (n - k + 1)}{k!} \\ = \frac{n (n - 1) . . . (n - k + 1)}{(k - 1)!} \\ = n \times \frac{(n - 1) (n - 2) . . . (n - k + 1)}{(k - 1)!} \\ = n (\binom{n - 1}{k - 1}) \end{aligned}

$\sum_{k = 0}^{n} (\binom{n}{k}) = 2^{n}$

证明：这个用排列组合证明自认为更简单。设 $S$ 为一个有 $n$ 个互不相同元素的集合，在集合中选出若干个元素放入集合 $T$ 中，则 $T$ 集合有 $2^{n}$ 种不同的情况，因为每个元素有放入 $T$ 集合和不放入 $T$ 集合两种选择，所以有 $2^{n}$ 种。也可以说是把 $S$ 的元素放入 $T$ 中，计算没有元素的情况数、只有 $1$ 个元素的情况数、 $T$ 中有 $2$ 个元素的情况数... $T$ 种有 $n$ 个元素的情况数求和，也就是 $\sum_{k = 0}^{n} (\binom{n}{k})$ ，于是就证出来了。QWQ

3. $(\binom{n}{0}) - (\binom{n}{1}) + (\binom{n}{2}) - (\binom{n}{3}) + . . . + (- 1)^{n} (\binom{n}{n}) = 0 (n \geq 1)$

证明：把这个柿子转换一下就变成了 $(\binom{n}{0}) + (\binom{n}{2}) + . . . = (\binom{n}{1}) + (\binom{n}{3}) + . . . = 2^{n - 1}$ ，由上面的第 $2$ 的柿子可得， $\sum_{k = 0}^{n - 1} (\binom{n - 1}{k}) = 2^{n - 1}$ ，我们来看杨辉三角的图，根据帕斯卡公式， $(\binom{n}{0}) + (\binom{n}{2}) + . . . = (\binom{n}{1}) + (\binom{n}{3}) + . . . = 2^{n - 1}$ 就变成了 $(\binom{n - 1}{0}) + (\binom{n - 1}{1}) + (\binom{n - 1}{3}) + . . . = (\binom{n - 1}{0}) + (\binom{n - 1}{1}) + (\binom{n - 1}{3}) + . . . = 2^{n - 1}$ ，然后就没有然后了。QWQ

$1 (\binom{n}{1}) + 2 (\binom{n}{2}) + . . + n (\binom{n}{n}) = n 2^{n - 1}$

证明：

\begin{aligned} 1 (\binom{n}{1}) + 2 (\binom{n}{2}) + . . + n (\binom{n}{n}) & = n (\binom{n - 1}{0}) + n (\binom{n - 1}{1}) + . . . + n (\binom{n - 1}{n - 1}) \\ = n ((\binom{n - 1}{0}) + (\binom{n - 1}{1}) + . . . + (\binom{n - 1}{n - 1})) \\ = n 2^{n - 1} \end{aligned}

$\sum_{k = 0}^{n} {(\binom{n}{k})}^{2} = (\binom{2 n}{n}) (n \geq 0)$

证明：设 $S$ 是一个有 $2 n$ 个互不相同元素的集合，在集合 $S$ 中选出 $n$ 个元素，则有 $(\binom{2 n}{n})$ 种方案，也可以把 $S$ 分为 $A$ 和 $B$ 两个子集，每个子集中都有 $n$ 个元素，假设在 $A$ 中选 $k$ 该数，则在 $B$ 中选 $(n - k)$ 个数，则有 $\sum_{k = 0}^{n} (\binom{n}{k}) (\binom{n}{n - k}) = \sum_{k = 0}^{n} {(\binom{n}{k})}^{2}$ 种方案数，于是， $\sum_{k = 0}^{n} {(\binom{n}{k})}^{2} = (\binom{2 n}{n}) (n \geq 0)$ 。

上面的第 $5$ 个其实是范德蒙卷积公式中的一种特殊情况。

范德蒙卷积公式：对所有的正整数 $m_{1}, m_{2}, n$ ，有 $\sum_{k = 0}^{n} (\binom{m_{1}}{k}) (\binom{m_{2}}{n - k}) = (\binom{m_{1} + m_{2}}{n})$ 。

多项式系数

~~没想到吧，有了二项式系数还有多项式系数。~~

(\binom{n}{n_{1} n_{2} . . . n_{t}}) = \frac{n!}{n_{1}! n_{2}! . . . n_{t}!}

其中 $n = \sum_{i = 1}^{t} n_{t}$ 。

多项式定理

(x_{1} + x_{2} + . . . + x_{t})^{n} = \sum (\binom{n}{n_{1} n_{2} . . . n_{t}}) x_{1}^{n_{1}} x_{2}^{n_{2}} . . . x_{t}^{n_{t}}

其中求和的条件是满足 $n_{1} + n_{2} + . . . + n_{t} = n$ 的非负整数解。

牛顿二项式定理

这个只把柿子写上，~~听说要用到微积分的知识。~~

设 $α$ 是实数。对于所有满足 $0 \leq | x | < | y |$ 的 $x$ 和 $y$ ，有 $(x + y)^{α} = \sum_{k = 0}^{\infty} (\binom{α}{k}) x^{k} y^{α - k}$ ，其中 $(\binom{α}{k}) = \frac{α (α - 1) . . . (α - k + 1)}{k!}$ 。

参考的网络文献

杨辉三角百度百科

二项式定理百度百科

acm数学（番外1）范德蒙德卷积公式

【组合数学】多项式定理 ( 多项式定理 | 多项式定理证明 | 多项式定理推论 1 项数是非负整数解个数 | 多项式定理推论 2 每项系数之和 )

~~还有一本书。~~

这时有人可能就要问了：“你巴拉巴拉写了这么多，那这些到底有啥用呢？”

我可以负责地对你说，这对 OI 没有任何卵用。（滑稽

__EOF__

本文作者：wdgm4
本文链接：https://www.cnblogs.com/wdgm4/p/17750927.html
关于博主：评论和私信会在第一时间回复。或者直接私信我。
版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！
声援博主：如果您觉得文章对您有帮助，可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力！

posted @ 2023-10-09 10:36 wdgm4 阅读(123) 评论(0) 编辑收藏举报

刷新页面返回顶部

登录后才能查看或发表评论，立即登录或者逛逛博客园首页

相关博文：

· 二项式定理来源

· 「学习笔记」初等数论

· 二项式系数

· 二项式定理（二项式展开）

· 二项式定理

阅读排行：
· 阿里最新开源QwQ-32B，效果媲美deepseek-r1满血版，部署成本又又又降低了！
· 单线程的Redis速度为什么快？
· SQL Server 2025 AI相关能力初探
· AI编程工具终极对决：字节Trae VS Cursor，谁才是开发者新宠？
· 展开说说关于C#中ORM框架的用法！

公告

「学习笔记」二项式定理

发表于 2023-10-09 10:36阅读：123评论：0推荐：0

关注

跳至底部

昵称： wdgm4
园龄： 2年2个月
粉丝： 6
关注： 6

+加关注

wdgm4

脑子

「学习笔记」二项式定理

二项式系数

二项式定理

杨辉三角（帕斯卡三角形）

多项式系数

多项式定理

牛顿二项式定理

公告

wdgm4

「学习笔记」二项式定理

搜索

常用链接

合集

随笔档案

阅读排行榜

评论排行榜

推荐排行榜

最新评论