一中集训整合贴
1.整除,最大公因数和最小公倍数
1.1 整除
若整数
其中,整除具有如下三条性质:
- 整除的传递性,证明如下:
如果 ,那么有 。
设
- 整除的可加减性,证明如下:
如果 ,那么有
对于满足题意的
所以
- 整除的可乘性,证明如下:
如果 ,那么对于 , 。
设
例题
1.1.1 如果 是 的倍数,那么 也是 的倍数。
因为整除的可加减性,由于
又因为
1.1.2 如果 , 则 。
设
1.1.3 求证:
原命题等价于
当
当
那么
1.2 最大公约数和最小公倍数
最大公约数:对于
最小公倍数:对于
定理:公倍数整除最大公倍数
等价于:存在
我们设一个元素
如果存在
定理:
当
当
这个命题就是大名鼎鼎的更相减损术,可以进一步推出辗转相除法。这里略。
裴蜀定理
定义:设 是不为 的整数,那么一定存在整数 ,满足 。
证明:
1.若任何一个等于
- 若
不等于 ,设 。
对于
我们考虑辗转相除法(本质上是优化的更相减损术的优化,上已证明),就是
我们算法展开成带余数除法的形式:
我们令辗转相除法运行知道互质的时候推出
移项,得:
那么我们将
我们可以不断消除
推论两则:
- 公因数整数最大公约数
如果 ,那么对于任意 满足 都有 。
我们定义元素
- 整除的互质可消性
如果 ,那么
如果原命题的逆命题不成立,及
对于原命题而言,
我们进而有
2.算数基本定理
2.1 质数
质数是指在大于1的自然数中,除了1和它本身以外不再有其他因数的自然数
质数有无穷个
考虑反证,如果质数有限,我们设这个集合为
若 为质数,则 为质数
我们考虑一个前置命题:对于
这个命题等价于
若
若 ,则 是质数。
若
若
对于 ,如果 不整除 ,则
首先 ,
对于 ,则若 可以推出 或者 。
设
因为
2.2 算数基本定理
一个大于
讲相同的质因子合并成乘方的形式得到:
证明:
先证明存在性:
-
,显然成立。 -
是个合数。根据合数的定义, 可以划分成 ,满足 。若 中存在合数,可以继续归纳的分解。
所以质因子分解的存在性得证。
后证明唯一性:
欧几里得引理:如果
假设存在某些数,它们有能分解为两种不同的质数乘积,将其中最小的数设为
因为
所以可以得到
上面任意一种情况,等可以将原式子左右两边同时消掉一个数,这样就得到了一个更小的数能表示两种质数乘积,与
推论
设正整数
(1) 设
证明:
推出 。
由于整除的互质可消性,如果可以证明对于每一个素数
考虑反证,如果存在
推出 。
由于整除的互质可消性,如果可以证明对于每一个素数
因为
(2) 设
证明:
由于 (1) 可得,若存在
得证。
(3) 设
群论
群的定义
定义群
-
群是封闭的,对于
满足 -
存在单位元
满足 有 -
满足 -
群的运算具有结合律。
-
单位元
有唯一性,Proof:假若存在两个单元元 则 与 矛盾,故单位元具有唯一性。 -
同理逆元同样具有唯一性。
-
群内的运算不一定满足结合律。
-
若群内的元素有限则为有限群,否则为无限群。
-
若群的运算不具有交换律则成为非交换群,否则为交换群。
举几个例子:
- 置换群
子群
-
只包含单位元的子群被称为平凡子群。
-
如何找非平凡子群:取
对 不断做二元运算和逆元运算,得到的结果和它本身加入群 则 构成 的一个非平凡子群。 -
是 的一个子群。
循环群
我们称群 由 生成,也认为 是群 的生成元, ,记作
群同构
定义群
对于任意
满足
对于有限群
拉格朗日定理
- 若
是 的一个子群,则
Proof:
定义群
与它的一个子群 。
下面证明对于要么 要么
假若
那么 使得 ,也就是说 又因为 所以 所以 同理可得 所以
阶的性质
-
在有限交换群
中若 则有 。 -
在一个有限交换群中
中,
Proof:
令
若
满足
有
有
因为
所以
与
矛盾,故
原根
-
若
是群 的原根,有 以及 -
群
的原根个数是 ,可以通过构造同构的加法群得到此结论。
置换群
- Burnside 引理:
为有限集合, 为 的映射组成的集合, 是 上的置换群, 中映射在 的置换下封闭, 为 中映射的等价类数量, ,有:
前言
一些对数学知识的整理。
逻辑
基本的就不说了,放在下面一起看:
- 基本符号的认识:
表示或者, 表示并且。 - 充分不必要:
。 - 必要不充分:
。 - 充分且必要(充要):
。 - 不充分且不必要:
。 - 全称量词,意表任意,一切:
。 - 存在量词,意表存在一个,至少一个:
。
然后就是命题的分类:
- 我们把复合命题简化成:若
则 型。 - 逆命题:若
,则 。 - 否命题:若
,则 。 - 逆否命题:若
,则 。
集合
集合的定义与符号:
- 集合元素有三个特征:确定性,互异性,无序性。
- 元素与集合的属于关系用
和 。 - 常见表示方法:列举法,描述法,图示法。
- 常见数集:
表示自然数集, 表示正整数集, 表示整数集, 表示有理数集, 表示实数集。
然后集合与集合之间也有一些关系:
- 若
,则称 , 是 的子集。 - 若
,则称 。 - 若
,则称 是 的真子集。
集合的一些运算符号:
- 交集:若
,则 。 - 并集:若
,则 。 - 补集:若我们定义一个全集
,则称 关于 的补集为: 。 - 我们常把
当作集合 的大小。
一些运算的性质:
一般来说,我们通常这么记忆:
- 交集和并集拥有交换律,分配律,集合律。
- 我们定义空集
为不包含任何元素的集合。
一些简单且基本的问题:
明显根据组合意义,每个数可以选或者不选,所以如果算上空集就是
映射
容斥原理:
关键要看每个数字被计算了多少次,根据题目不同而不同。
然后讲一下映射:
对于两个非空的
对于单射:如果是一一对应且没有多对一,那么称映射
对于满射:如果对所有
非常简单:
由于
发现根本不可以,因为一个小数的位数是无限的。
证明:假定我们已经存在了这样一个
答案是
显然就是全排列减去一个位置对的加上两个位置对的...
根据容斥原理我们得到:
答案为
计数问题
接下来讲一下简单计数:
表示从 个不同元素里选出 个元素,记顺序。 表示从 个不同元素里选出 的元素,不记顺序。
根据组合数的基本理解得出递推公式:
。 。
然后关于组合数还有五个很重要的性质需要记住,可以不证明,但是一定要记住,最好是理解的记忆:
,组合数的对称性。 ,这个是集合的子集数量。 ,偶数项等于奇数项。 ,经典组合意义证明组合数递推式。 ,拆式子。
有个很经典的方法叫做插板法:
对于要计算数,往往直接计算不好搞,所以我们采用插板法,往每个空插个板,依具体情况做变化,比如两个板能否插在同一个空里,要如何计算之类的,有的时候需要把问题进行转换,这样能用插板法解决问题,而如果有
如果要看详解建议移步:Link。
然后介绍一下几种特殊的数:卡特兰数,第一类斯特林数,第二类斯特林数,Bell 数。
首先我们介绍斯特林数,往往有如下问题:
- 在一个圆圈上有
个点,你要把 个点两两连接且线不相交的方案数。 - 需要构造序列
,使得 。 - 给你一个
的矩阵,要求不跨过对角线的情况下走到终点有多少种方案数。
这里先不说推导过程,直接说结论。
以上三种问题的答案都是卡特兰数,卡特兰数地推公式如下:
其通项公式为:
如果需要求证移步 OI-Wiki。
然后介绍第一类斯特林数,其定义如下:
第一类斯特林数,记为
边界是
如果想要证明这个公式我们需要用到组合意义:
- 新的一个元素放在一个新的圆排列中,方案数为
。 - 将该元素插入到当前任意一个轮换中,方案数为
。
但可惜的是,第一类斯特林数并没有特别好用的通项公式。
接下来讲解第二类斯特林数,定义为:
第二类斯特林数,记作
我们仍然可以用上述的组合意义来理解这种递推,庆幸的是,第二类斯特林数有通项公式,如下:
具体证明参考 OI-Wiki 上的二项式反演。
接下来是 Bell 数,定义为:
Bell 数表示为
Bell 数具体递推公式:
具体参考 OI-Wiki 上的组合意义理解与感性证明。
根据 Bell 数的定义不难发现其还有一个关于第二类斯特林数的递推,为:
在 OI-Wiki 上可以通过
以上内容部分参考 OI-Wiki,如有侵权,请通知作者。
基本数列问题
- 等差数列:形如
的序列称为等差数列。
- 等比数列:形如
的数列称为等比数列。
- 等差数列求和公式:
- 等比数列求和公式:
。 - 求和符号:
- 重命名性质:
- 累加性质:
- 线性性质:
- 交换顺序性质:
- 平方和公式:
- 立方和公式:
Abel 恒等式
其中
Proof:你考虑一个性质:
数学归纳法
- 数学归纳法:已知
。已知 ,证明出 ,即可证明 。 - 第二归纳法:已知
。已知 。证出 。即可证明 。 - 还有一种向前向后的归纳方法,通常用于证明均值不等式成立。
证明平方和公式:
- 首先显然当
时上式成立。 - 然后已知
时上式成立,则需要证 时上式成立。
- 当
上式成立。证毕。
证明立方和公式:
- 等价于证明:
- 当
时上式显然成立。 - 当
时成立,则需证明 时亦成立。证明如下:
- 所以
成立。证毕。
证明均值不等式:
- 先证明
时成立。 - 然后需要先证明已知对于
成立, 成立:
- 再证明对于
时成立,则 时成立:
博弈论基础
- 本章内容仅涉及 公平组合游戏。
- 定义一名玩家执行操作后,状态为
。第二名玩家执行操作后,状态为 。则称 为 的后继状态。 - 达成胜利的状态称为第一制胜点。
- 存在后继状态为制胜点的状态称为必败点。所有后继状态均为必败点的状态称为制胜点。
- 可以通过数学归纳法尝试证明所有制胜点 / 必败点的状态规律。来归纳出必胜策略。
递推计数
- zyb 是一个巨佬。zyb 一天要么切一道 Ynoi,要么切两道 Ynoi。问 zyb 恰好切完
道 Ynoi 的安排方案数 。
- zyb 一天可以切任意正整数到 Ynoi,但不能剩下质数道 Ynoi 没切。问 zyb 恰好切完
道 Ynoi 的安排方案数 。
- Hanoi 塔问题。
。 - 递推转通项问题,往往问题如果是关于
和 可以通过待定系数法平移或者使用除法变成等差数列或者通过倒数变成等比数列,如果形如 ,那么设 为 的两个根,则通项公式为
错位排列
这个问题在上面仍然讲过,下面是详细证明。
表示随机生成一个长度为 排列 ,满足 的长度为 的排列 的数量。 的通项公式:
对于第一步,由于
。其中 表示 四舍五入到个位后的值。
将
取
下面证明误差
通过 Wolfram Alpha 可得上式绝对值
的递推公式: 。
递推与归纳一节参考(copy)xiezheyuan 巨佬的笔记,侵权紫衫。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通