数论学习笔记
数论学习笔记
目录:
1、逻辑、集合与计数
2、归纳与递推
3、算术基本定理
4、同余
5、群论
一、逻辑、集合与计数
1.1充分条件、必要条件与充要条件
若 |
---|
1.1.1全称量词 任意
1.1.2存在量词 存在
1.2集合与元素
1.2.1集合间的基本关系
集合与元素的关系: 若 a 属于集合 A,记作 a A; 若 b 不属于集合 A,记作 b A
子集: 集合 A 中所有元素都在集合 B 中,记作 A B
真子集: 集合 A 是集合 B 的真子集,且集合 B 中至少有一个元素不在集合 A 中,记作 A B
集合相等: 集合 A,B 中元素相同,记作 A=B
1.2.2集合的基本运算
集合的并集,记作 或
集合的交集,记作 且
集合的补集,记作 且
1.3映射(计数)
映射: 如果按照某种确定的对应关系 ,是对于集合 A 中的任意 一个元素 x ,在集合 B 中都有唯一确定的元素 与之对应,记作
满射: f(A)=B
单射: 对于集合 A 中任意不同的两个元素 ,均有
一一映射: 映射 既是单射又是满射
二、归纳与递推
2.1等差、等比数列基础
2.1.1等差数列求和公式:
2.1.2等比数列求和公式:
2.1.3平方和公式: =
2.1.4立方和公式: =
2.2裂项
2.2.1Abel恒等式:
2.3数学归纳法
方法:先猜结论,再证明 成立,最后证明 成立时 也成立即可
2.3.1基本不等式:对于任意正实数 ,均有
2.3.1均值不等式: 对于任意正实数 ,均有
2.4递推计数
递推公式向通项公式的转化:
2.4.1
2.4.2
2.4.3 (待定系数法)
2.4.4 (待定系数法)
2.4.5 (取倒数法)
2.4.6
三、算数基本定理
3.1整除
定义: 设 ,如果 ,使得 ,那么就说明 可以被 整除,记作 ; 不被 整除记作
可传递性: 且
可加减性: 且
可乘性: 且
3.2最大公因数与最小公倍数
3.2.1最大公因数和最小公倍数
且 ,记作
且 ,记作
3.2.2带余除法
满足
3.2.3公倍数能被最小公倍数整除
3.2.4引理
若 则
3.2.5裴蜀定理(贝祖定理)
使得
3.2.6推论
公因数整除最大公因数
整除的互质可消性
使得
3.3算数基本定理
3.3.1质数
存在无穷多个质数
如果 ,则
是质数,则若 或
3.3.2算数基本定理
一个大于1的正整数 可以分解为若干质数的乘积,若不考虑因子之间的顺序,这种分解方式是唯一的
,称为 的标准分解式
3.3.3 表示 的标准分解式中所含质因子 的质数
3.3.4推论
设正整数 的标准分解式为:
设
因数个数公式:
因数和公式:
3.3.5定理
最大公因数:
最小公倍数:
3.3.6推论
最大公因数与最小公倍数的的乘积等于两数的乘积
设
四、同余
4.1同余
4.1.1同余
4.1.2同余的性质
若 ,则 与 对 作带余除法所得的余数相同
自反性:
传递性:
可加减性:
可乘性:
可除性:
互质可消性:
4.1.3定理: 特数的余数特征
若 , (其中 为 的末 位数),则
若 ,其中 均小于 ,则
若 ,其中 均小于 ,则
4.1.4定理
如果 是奇质数,则 被 除所得的余数恰有 个
4.2几个经典的余数定理
4.2.1定义
剩余类:设模为 ,则根据余数可将所有的整数分为 类,把所有与整数 模 同余的整数构成的集合叫做模 的一个剩余类,记作 ,并把 叫作剩余类 的一个代表元
完全剩余系:从模 的每个剩余类中各取一个数,得到一个由 个数组成的集合,叫做模 的一个完全剩余系
欧拉 函数:定义 为 中与 互质的数的个数
既约剩余系(缩系): 的完系中与 互质的数所构成的子集
同余逆:已知 ,则存在整数 使得 ,且这样的 在模 意义下是唯一的,则 称为 的同余逆,常记作
4.2.2定理
若 为模 的完系,则 也为模 的完系
若 为模 的完系,且 ,则 也为模 的完系
若 为模 的缩系,且 ,则 也为模 的缩系
若 为模 的缩系,且则 也为模 的缩系
4.2.3中国剩余定理(孙子定理)
已知 两两互质,同余方程组 在模 的意义下有唯一解
构造:
设 是整数 的乘积,并设 是除了 以外的 个数的乘积
设 为 模 的数论倒数( 为 模 意义下的逆元),
方程组 的通解形式为
在模 的意义下,方程组 只有一个解:
证明:
从假设可知,对于任何 ,由于 ,所以 ,这说明存在整数 是的 。这样的 叫做 模 的数论倒数。考察乘积 可知:
所以 满足:
这说明 就是方程组 的一个解
另外,假设 都是方程组 的解,那么:
而 两两互质,这说明 整除 。所以方程组 的任何两个解之间必然相差 的整数倍。
而另一方面, 是一个解,
同时所有形式为: 的整数也是方程组 的解。
所以方程组所有的解的集合就是:
4.2.4威尔逊定理(Wilson)
如果 是一个质数,则
4.2.5费马小定理
为质数, 不是 的倍数,则
4.2.6欧拉定理
和 为正整数,且 ,则
证:
取模
故有
4.2.7推论
若
若 ,则存在最小的正整数 ,使得 ,且 ,此时, 叫做 模 的阶
五、群论 鸽
__EOF__
本文作者:Penguin_Chen
本文链接:https://www.cnblogs.com/PenguinChen/p/17630377.html
关于博主:评论和私信会在第一时间回复。或者直接私信我。
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力!
本文链接:https://www.cnblogs.com/PenguinChen/p/17630377.html
关于博主:评论和私信会在第一时间回复。或者直接私信我。
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· AI 智能体引爆开源社区「GitHub 热点速览」
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?