数论笔记1-整除、带余除法、素数
作为第一节, 这些都是相当基础的内容, 但是我们可以感受揣摩其定义, 推导的严谨性.
但是最后算术基本定理的证明还是需要技巧的.
1. 整除#
定义: 设 , 若 使得 , 则称 能被 整除 ( 整除 ), 记作 , 并称 是 的因数, 是 的因数. 反之, 则记作 .
在之后的定理和性质中, 我们默认各未知量为整数.
有如下性质:
1.
2.
3.
4.
5.
6.
7.
8.
性质1至性质7根据定义是显然的. 性质8由 立得.
2. 带余除法#
设有 , 则 满足 , 并称 是 除以 的商, 为 除以 的余数.
这里对存在性和唯一性作简单论证.
存在性:
作序列 , 即 的所有倍数, 则 必在某一对相邻项之间, 即 ,
此时设 , 有 . 存在性证毕.
唯一性:
设 , 不妨设 , 作差得 .
有 , 则 , 矛盾. 唯一性证毕.
3. 素数与合数#
素数和合数一般在 中定义.
设 . 若 只有因数 , 称 为素数. 若其还有其他因数, 称 为合数.
于是自然数就被分成了 , 素数, 合数 四部分. 在之后的定理或性质中, 我们认为 代表素数.
这里, 我们列举一些简单的性质, 并定性给出埃拉托色尼 (Eratosthenes) 筛法.
1. 是合数
2.
3. 是合数
4.
5. 为合数,
6. 素数有无穷个.
前两个性质都是根据定义显然的. 下面给出剩余性质的证明.
性质3:
考虑 的所有大于 的因数组成的集合, 取其中最小的, 则这个数就为素数 (否则这个数还有大于 的因数, 这也是 的因数,与最小性矛盾), 证毕.
性质4:
反证法, 考虑不能用素数乘积表示的最小的数, 则这个数为合数 (若为素数则与不能用素数乘积表示矛盾).
根据性质1, 该数可以被表示为另外两数的乘积, 且这两个数不属于上述集合 (否则与最小性矛盾).
于是我们可以将这两个数表示为素数乘积. 则原数也可以表示为素数乘积. 矛盾. 证毕.
性质5:
反证法. 根据上述证明, 我们知道这个数至少可以被表示为两个素数的乘积, 又因为这些素数根据反证假设都是大于 的,得出它们的乘积大于 , 矛盾.
根据以上论证, 我们事实上可以获得更广泛的结论: 若一个数可以被表示为 个素数的乘积, 那么这些素数中一定存在某个数 .
性质6:
反证法. 设全部的素数为 , 则 不被任何一个素数整除, 矛盾.
根据性质5, 我们可以得到埃拉托色尼筛法: 将 至 之间的所有素数的倍数删去, 就得到了 以内的素数表.
就以 为简单例子.
初始为 .
当前未被筛选到的是 ,它是素数. 筛去其所有倍数.
剩余 , 则 为素数, 继续筛去其所有倍数:
剩余 , 而我们已经完成了对所有小于 的素数的倍数的剔除. 故剩余的都为素数.
综上所述, 以内的全部素数为 .
4. 算术基本定理#
在这一节里, 我们的目标就是证明以下两个定理, 并证明它们等价.
1. 算术基本引理: 至少有一个成立.
2. 算术基本定理: 设 , 必有 , 且不计次序该式唯一.
首先对两条定理进行证明.
定理1:
容易发现只需要证 的情况就够了. 即 或 .
不妨设 . 我们需要先证明一个引理: 数列 中最小的满足 的数为 .
证明: 设有 , 则有 . (若 则 , 矛盾)
于是 , 矛盾. 引理证毕.
回到原题, 设 .
则 . 证毕. (倒数第二步是根据引理得出的)
定理2:
这里先给出直接证明 (即不用定理1) 的方法.
反证法, 设 是不成立的最小正整数, 即有 , 不妨设 .
显见有 , 并且因为 的最小性, 有 , 否则去掉这个素数后剩下的数满足上述条件并比 小, 矛盾. 于是不妨设 .
考虑 , 显然有 .
一方面, 由 , 有 (若 , 则 不存在, 下同)
另一方面, 设 , 则 .
注意到 , 又有 , 则已经给出的两个分解式必不相同, 因为第一个分解式中的 不在第二个分解式中出现.
于是 也满足条件, 与 的最小性矛盾. 证毕.
接下来我们指出定理1和定理2是等价的.
定理1 定理2:
设 , 并且有 . 不妨设 .
注意到 , 故 , 由素数定义知 . 同理有 .
得到 , 故 . 同理得到
于是有 , 故 .
至此证毕.
定理2 定理1:
只需证 的情况.设 .
显见 . 设 .
由 知 , 同理 .
则 , 矛盾.
作者:pjykk
出处:https://www.cnblogs.com/pjykk/p/15940748.html
版权:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议进行许可。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 使用C#创建一个MCP客户端
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现