数论笔记1——整除、带余除法、素数合数
作者：互联网
参考资料:
潘承洞 潘承彪 《初等数论》（第三版）
闵嗣鹤 严士健 《初等数论》（第四版）
作为第一节, 这些都是相当基础的内容, 但是我们可以感受揣摩其定义, 推导的严谨性.
1. 整除
定义: 设 \(a,b\in\mathbb{Z}, a\neq 0\), 若 \(\exist q\in\mathbb{Z}\) 使得 \(b=qa\), 则称 \(b\) 能被 \(a\) 整除 (\(a\) 整除 \(b\)), 记作 \(a\mid b\), 并称 \(a\) 是 \(b\) 的因数, \(b\) 是 \(a\) 的因数. 反之, 则记作 \(a\nmid b\).
在之后的定理和性质中, 我们默认各未知量为整数.
有如下性质:
1. \(a\mid b \Leftrightarrow a\mid -b \Leftrightarrow -a\mid b \Leftrightarrow -a\mid -b\)
2. \(a\mid b,b\mid c\Rightarrow a\mid c\)
3. \(a\mid b,a\mid c\Rightarrow\forall x,y: a\mid bx+cy\)
4. \(\forall k\neq0: a\mid b \Leftrightarrow ka\mid kb\)
5. \(a\mid b,b\mid a\Rightarrow a=\pm b\)
6. \(a\mid b\Rightarrow |a|\leqslant|b|\)
7. \(\forall a,b,c,a\neq0,b=qa+c: a\mid b\Leftrightarrow a\mid c\)
8. \(\forall f(x)=\sum_{i=0}^{n}a_ix^i\in\mathbb{Z}[x]: d\mid b-c\Leftrightarrow d\mid f(b)-f(c)\)
性质7根据定义是显然的. 性质8由 \(b-c\mid b^j-c^j\) 立得.
2. 带余除法
设有 \(a,b,a\neq 0\), 则 \(\exist q,r\) 满足 \(b=qa+r, 0\leqslant r<|a|\), 并称 \(q\) 是 \(b\) 除以 \(a\) 的商, \(r\) 为 \(b\) 除以 \(a\) 的余数.
这里对存在性和唯一性作简单论证.
存在性:
作序列 \(\cdots, -2a,-a,0,a,2a,\cdots\), 即 \(a\) 的所有倍数, 则 \(b\) 必在某一对相邻项之间, 即 \(\exist q: qa\leqslant b<(q+1)a\),
此时设 \(r=b-qa\), 有 \(b=qa+r, 0\leqslant r<|a|\). 存在性证毕.
唯一性:
设 \(\exist q',r',b=q'a+r',0\leqslant r'<|a|,r'\neq r\), 不妨设 \(r'>r\), 作差得 \(0\leqslant r'-r<|a|,r'-r=(q-q')a\).
有 \(r'-r>0\), 则 \(a|r'-r, |a|\leqslant r'-r\), 矛盾. 唯一性证毕.
3. 素数与合数
素数和合数一般在 \(\mathbb{N}\) 中定义.
设 \(p\in\mathbb{N}, p\neq0,1\). 若 \(p\) 只有因数 \(1,p\), 称 \(p\) 为素数. 若其还有其他因数, 称 \(p\) 为合数.
于是自然数就被分成了 \(0,1\), 素数, 合数 四部分. 在之后的定理或性质中, 我们认为 \(p,q\) 代表素数.
这里, 我们列举一些简单的性质, 并定性给出埃拉托色尼 (Eratosthenes) 筛法.
1. \(a\) 是合数 \(\Leftrightarrow a=bc, 1<b<a,1<c<a\)
2. \(a>1,a|p\Rightarrow a=p\)
3. \(a\) 是合数 \(\Rightarrow\exist p:p|a\)
4. \(\forall a\leqslant2,\exist p_1,\cdots,p_s\Rightarrow a=p_1\cdots p_s\)
5. \(\forall a>2,a\) 为合数, \(\exist p|a,p\leqslant\sqrt{a}\)
6. 素数有无穷个.
前两个性质都是根据定义显然的. 下面给出剩余性质的证明.
性质3: 考虑 \(a\) 的所有大于 \(1\) 的因数组成的集合, 取其中最小的, 则这个数就为素数 (否则这个数还有大于 \(1\) 的因数, 这也是 \(a\) 的因数,与最小性矛盾), 证毕.
性质4:
反证法, 考虑不能用素数乘积表示的最小的数, 则这个数为合数 (若为素数则与不能用素数乘积表示矛盾).
根据性质1, 该数可以被表示为另外两数的乘积, 且这两个数不属于上述集合 (否则与最小性矛盾).
于是我们可以将这两个数表示为素数乘积. 则原数也可以表示为素数乘积. 矛盾. 证毕.
性质5:
反证法. 根据上述证明, 我们知道这个数至少可以被表示为两个素数的乘积, 又因为这些素数根据反证假设都是大于 \(\sqrt{a}\) 的,得出它们的乘积大于 \(a\), 矛盾.
根据以上论证, 我们事实上可以获得更广泛的结论: 若一个数可以被表示为 \(s\) 个素数的乘积, 那么这些素数中一定存在某个数 \(p_i\leqslant \sqrt[s]{a}\).
性质6: 反证法. 设全部的素数为 \(p_1,\cdots, p_s\), 则 \(p_1\cdots p_s+1\) 不被任何一个素数整除, 矛盾.
根据性质5, 我们可以得到埃拉托色尼筛法: 将 \(2\) 至 \(\sqrt{N}\) 之间的所有素数的倍数删去, 就得到了 \(N\) 以内的素数表.
就以 \(N=10\) 为简单例子.
初始为 \(2,3,4,5,6,7,8,9,10\).
当前未被筛选到的是 \(2\),它是素数. 筛去其所有倍数.
剩余 \(3,5,7,9\), 则 \(3\) 为素数, 继续筛去其所有倍数:
剩余 \(5,7\), 而我们已经完成了对所有小于 \(\sqrt{10}\) 的素数的倍数的剔除. 故剩余的都为素数.
综上所述, \(10\) 以内的全部素数为 \(2,3,5,7\).
标签：带余,合数,mid,素数,exist,Leftrightarrow,整除,leqslant 来源： https://www.cnblogs.com/pjykk/p/15940748.html