标签：带余 合数 mid 素数 exist Leftrightarrow 整除 leqslant
参考资料:
潘承洞 潘承彪 《初等数论》（第三版）
闵嗣鹤 严士健 《初等数论》（第四版）
作为第一节, 这些都是相当基础的内容, 但是我们可以感受揣摩其定义, 推导的严谨性.
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
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。