时间: February 22, 2015
素数又叫做质数，小学生都知道是什么意思。如果这位小学生对于数学的课外阅读还不错的话，很容易就能证明素数是无限的。
那么，这篇文章岂不是很水？再讲一个小学里总所周知的事？我们哆嗒数学网小编的回答：&是，也不是！&，我们的确在讨论一个简单的数学结论，但却在用不同的数学方法。方法可能涉及抽象代数、拓扑学以及集合论这种大学生都不一定会学习的方法。
文章受到《G&ODEL&S LOST LETTER AND P=NP》博客中文章的启发（WordPress上的博客，一般打不开），想和大家一起分享。
大学生看不懂的高级方法？这么任性？&&不是任性，只是忍不住。
第一个方法，从简单的开始讲。小学生能看懂的就是欧几里得的在2000多年前提供的办法了。
假设只有有有限多个素数。设$p_1,p_2,\cdots,p_m$是全部$m$个素数，令$p=p_1p_2\cdots p_m+1$。则$p_1,p_2,\cdots,p_m$都不是$p$的素因数。所以$p$是有一个与$p_1,p_2,\cdots,p_m$都不同的素数。矛盾。
把欧几里得的这个办法做一些小修改，就是令前面的$p$为$p_1p_2\cdots p_m-1$，在做一些程度不大的改变，也可以证明素数是无限的。利用这个改变后的思想可以证明下面一个简单的命题&&&有无穷多个型如$4n-1$的素数&。 证明过程是这样的，如果只有有限个$p_1,p_2,\cdots,p_m$互素，令$N=4p_1p_2\cdots p_m-1$。下面的讨论和前面差不多，首先$p_1,p_2,\cdots,p_m$都不是$N$的素因数，所以$N$的素因数只能是型如&$4n+1$&，这样两边除以$4$的余数不一样，矛盾。
第二种办法，用到排列组合的知识，高中生能看懂，叫做数数法。考虑一个正整数$x$,那么不大于$x$的正整数取值方式有$x$种。把每个$2$与$x$之间的正整数唯一地写成$r^2s$形式，其中$s$的素因数都不超过$1$次的。那么$r\le\sqrt{x}$，就是说$r$取值方式最多$[\sqrt{x}]$种，如果只有$m$个素数，那么$s$的取值方式最多$2^m$。于是$[\sqrt{x}]2^m\ge x$。当$x$足够大时，不等式不可能成立。
热身完毕，进入高级模式。
方法三，抽象代数办法。如果$\mathbb{Z}$只有有限个素理想，那么单扩张$\mathbb{Z}[\sqrt{-5}]$是唯一分解整环。但$6=2\cdot3=(1+\sqrt{-5})(1-\sqrt{-5})$，矛盾。注意$1\pm\sqrt{-5}$在这个环下不可分解，不是很显然的，了解抽象代数的读者可以试试证明它。
方法四，再来一个拓扑学的办法。在整数集合中，每个从$-\infty$走到$+\infty$的等差数列中所有的数做成一个集合。用这些集合做基，可以生成一个拓扑。令$A_p=p\mathbb{Z}$那么$A_p$不仅是开集，它还是闭集，这是因为$\mathbb{Z}\setminus A_p=\bigcup\limits_{i=1}^{p-1}\{pn+i~:~n\in\mathbb{Z}\}$是一簇开集的并，即开集，于是补集是闭集。如果只有有限个素数得到$P=\bigcup\limits_{p}A_p$，并集跑遍素数时，得到$P$是闭集。但$\mathbb{Z}\setminus P=\{-1,1\}$不是开集，矛盾。
方法五，集合论来了。在整数集合中，还是用每个从$-\infty$走到$+\infty$的等差数列中所有的数做成一个集合。用这些集合做成集簇$\mathcal{A}$。$\mathcal{A}'=\mathcal{A}\cup\{\emptyset\}$显然对有限交运算封闭，而且用方法四中的办法可以证明，对$A\in\mathcal{A}$有$A^c$可以写成有限个$\mathcal{A}$中成员的并。而且对于有限个$A_1,A_2,\cdots,A_m\in \mathcal{A}$，他们的并的补集不可能是非空有限集。这是因为$F=\left(\bigcup\limits_{i=1}^m A_i\right)^c=\bigcap\limits_{i=1}^m A_i^c$，而每个$A_i$是有限个$\mathcal{A}$中元素的并。再利用一下交并的分配率对有限交的封闭性，得到结果是$F$是有限个$\mathcal{A}'$的并，所以要么是无限集合，要么$\emptyset$。这样，如果素数是有限集，令$F=\{-1,1\}$而$A_p=p\mathbb{Z}$，其中$p$跑遍素数得到矛盾。
: 然而你并没有看懂文章的假设，和想说什么。
: 你想的太过简单，如果围棋真的那么简单不会这么多年还依旧有些乐趣，...
: 数学公式为什么不用Mathjax呢？
: 所以说还是要多留心学过的知识，尝试多角度反复理解。在不知道问题内...
: errata: the paper title is "Cliq...
: 正态分布公式好象不对，请核实！
: 我觉得总理说的不对。
数学可不是什么冷板凳，搞数学也不是什...
: 写的真好 祝越来越好
: 谢谢指正
: 椭圆曲线方程应该是:x^3推荐手指速算法论文题目阅读
热门合数论文参考资料阅读
同类论文推荐孪生素数猜想研究(一)_数学_自然科学_专业资料。均值意义上研究孪生素数猜想的一个方法,提供了一个证明思路。孪生素数猜想均值条件下的一个证明方法苏法王关键词: ...
孪生素数关联函数与奇异奇数关系 苏法王 摘 要:对孪生素数关联函数与奇异级数关系进行简单研究,为最终证明孪生素数 猜想提供一个思路。 关键词: 素数表达 孪生素数...
孪生素数猜想证明_数学_自然科学_专业资料。“孪生素数猜想”证明务川自治县实验学校...后面的自然数不会存在孪生素数对, 也就是说对于等式 u= 【W (1-3÷p1) ...
孪生素数猜想的简化_数学_自然科学_专业资料。把孪生素数猜想的证明转化一下,更...如果大于某 个值 P 后,是连续的正整数,那就说明孪生素数对是有限的,如果不...
那么, 会不会在超过某个 界限之后就再也不存在孪生素数了呢? 我们知道, 素数...Fermat 大定理都曾有过一个证明时隔几年 (甚至十几年) 才被发现错误的例子....
矗: i utnnvi a嵋:: l:d 孪生素数猜想 的证明 ① 李英杰 ( 广东 医学 ...ec()=Shil i(==0 fe)e 之后,击 鼠标 , 光标 出现 在L ee输 数...
孪生素数 猜想. 2高斯猜想与黎曼猜想 我们可以在数轴上取一个很大的X,这个X 法去研究数论——这就是解析数论.沿着黎曼指明的方向,在高斯猜想提出一百 余年之后,...
正确答案: D 我的答案:D 13 a 与 b 被 m 除后余数相同的等价关系式是...1.0 分正确答案: × 我的答案: × 24 孪生素数猜想已经被证明出来了。 1....
孪生素数猜想和哥德巴赫猜想的证明冯仰春(中国矿业大学孙越崎学院,江苏 徐州 221116) 摘要:相差 2 的质数为孪生素数,孪生素数猜想表述为孪生素数有无穷多对。哥德...
孪生素数猜想的证明_数学_自然科学_专业资料。孪生素数猜想的证明倪晓勇 (中国石化仪征化纤短纤生产中心生产管理室,江苏 仪征 211900) E-mail:nxyong.yzhx@sinopec...}