数论概论笔记 第12章 素数
2013-04-06 16:21
731 查看
定理12.1 无穷多素数定理:存在无穷多个素数。
欧几里得证明:
假定已列出有限素数表, 由 p[1], p[2], p[3],……p[r]组成
则有数 A = p[1] * p[2] * p[3] *…… * p[r] + 1,
如A为素数,则其必大于素数表中的任意素数,故不在素数表中;
如A为合数,则A定能被某素数q整除,有
q | (p[1] * p[2] * p[3] *…… * p[r] + 1);
如 q 等于某 p[i],则 q 必整除 1,与q为素数矛盾,
故 q 不在素数表中;
综上所述,已知素数表总可以扩展成更大的素数表,即素数有无穷多个。
定理12.1证明完毕。
定理12.2 模4余3的素数定理:存在无穷多个模4余3的素数。
证明:设模4余3的初始素数表为
3, p[1], p[2], p[3],……p[r]
考虑数A = 4 * p[1] * p[2] * p[3] *…… * p[r] + 3,
如A为素数,则定理成立;
如A为合数,设
A = q[1] * q[2] * …… * q[s], 其中 q[i] 为素数且不等于3;
断言1:q[i]中至少有一个必为模4余3;
断言1证明:
由于A为奇数,故q[i]必为奇数,
则 q[i] 模4余3或模4余1;
如断言1不成立,则所有q[i] 模4余 1
则乘积 A 必模4余1,与假设矛盾,
故 q[i] 中至少有一个模4余3;
断言1证明完毕。
断言2:q[i]不在初始素数表中。
断言2 证明:
A = ∏q[i], 故,q[i] | A;
由A的定义可知, 3, p[1], p[2], p[3],……p[r] 中没有数整除A,
故q[i] 不在初始素数表中。
断言2证明完毕。
由断言1、2可知,有某模4余3的素数 q[k] 不在初始素数表中,
重复此过程可得无穷多个模4余3的素数,故定理12.2成立。
定理12.2证明完毕。
定理12.3 算术级数的素数狄利克雷定理:
设a与m是整数,gcd(a, m) = 1,则存在无穷多个素数模m余a,
即存在无穷多个素数p满足:
p ≡ a (mod m)
欧几里得证明:
假定已列出有限素数表, 由 p[1], p[2], p[3],……p[r]组成
则有数 A = p[1] * p[2] * p[3] *…… * p[r] + 1,
如A为素数,则其必大于素数表中的任意素数,故不在素数表中;
如A为合数,则A定能被某素数q整除,有
q | (p[1] * p[2] * p[3] *…… * p[r] + 1);
如 q 等于某 p[i],则 q 必整除 1,与q为素数矛盾,
故 q 不在素数表中;
综上所述,已知素数表总可以扩展成更大的素数表,即素数有无穷多个。
定理12.1证明完毕。
定理12.2 模4余3的素数定理:存在无穷多个模4余3的素数。
证明:设模4余3的初始素数表为
3, p[1], p[2], p[3],……p[r]
考虑数A = 4 * p[1] * p[2] * p[3] *…… * p[r] + 3,
如A为素数,则定理成立;
如A为合数,设
A = q[1] * q[2] * …… * q[s], 其中 q[i] 为素数且不等于3;
断言1:q[i]中至少有一个必为模4余3;
断言1证明:
由于A为奇数,故q[i]必为奇数,
则 q[i] 模4余3或模4余1;
如断言1不成立,则所有q[i] 模4余 1
则乘积 A 必模4余1,与假设矛盾,
故 q[i] 中至少有一个模4余3;
断言1证明完毕。
断言2:q[i]不在初始素数表中。
断言2 证明:
A = ∏q[i], 故,q[i] | A;
由A的定义可知, 3, p[1], p[2], p[3],……p[r] 中没有数整除A,
故q[i] 不在初始素数表中。
断言2证明完毕。
由断言1、2可知,有某模4余3的素数 q[k] 不在初始素数表中,
重复此过程可得无穷多个模4余3的素数,故定理12.2成立。
定理12.2证明完毕。
定理12.3 算术级数的素数狄利克雷定理:
设a与m是整数,gcd(a, m) = 1,则存在无穷多个素数模m余a,
即存在无穷多个素数p满足:
p ≡ a (mod m)
相关文章推荐
- 数论概论笔记 第13章 素数计数
- 数论概论笔记 第14章 梅森素数
- 数论概论笔记 第2章 勾股数组
- 数论概论笔记 第6章 线性方程与最大公因数
- 数论概论笔记 第4章 高次幂之和与费马大定理
- 数论概论笔记 第7章 因数分解与算数基本定理
- 菜鸟学设计模式系列笔记之设计模式概论
- hihoCoder 九十二周 数论一·Miller-Rabin质数测试 (数论 筛素数)
- 素数判断(数论)
- Ruby笔记二(求素数)
- Python学习笔记01----求解整数N以内(N>=2)以内的所有素数
- 【笔记】《C#大学教程》- 第12章 GUI(一)
- 数论 - 组合数学 + 素数分解 --- hdu 2284 : Solve the puzzle, Save the world!
- PKU2262 Goldbach's Conjecture 数论-素数
- DeepLearningAI 学习笔记 1.1 深度学习概论
- 《算法导论》笔记 第12章 12.2 查询二叉查找树
- [Linux程序设计笔记]第12章:管道
- ACMSTEP 2.1.4 Largest prime factor //数论 素数
- [poj3292]Semi-prime H-numbers(数论,素数)
- 数论--素数筛选法与整数的素因子分解