标签：pr mathbb 个数 times 素数 split 证明 prod
前言
颓废的时候发现了这个非常有趣的问题，在这里分享一下。
当然，原题给出了 \(7\) 种证明，没脑子选手冥思苦想一年只看懂两种。
正文
第一种证明
我们考虑假设素数的个数是有限个。
那么我们运用一个集合 \(\mathbb{P} = \{p_1,p_2,p_3,\cdots ,p_{m-1},p_m \}\) 来表示。
现在考虑构造一个数 \(n\) ，使得：
因为所有的素数都在上述的集合中，所以 \(n\) 是合数。
即 \(n\) 存在质数因子 \(pr\) 且 \(pr \in \mathbb{P}\)。
现在我们假设以上所有的都是成立的。
\(\because\) \(n\) 存在质数因子 \(pr\) 且 \(pr \in \mathbb{P}\)
\(\therefore\) \(pr|n\) 且 \(pr|(p_1\times p_2\times p_3\times \cdots \times p_{m-1}\times p_m)\)
我们设 \(n = pr\times k_1 \ \ (k_1 \in \mathbb{N}^+)\)。
设 \(Mul_P = (p_1\times p_2\times \cdots \times p_{m-1}\times p_m) = pr\times k_2\ \ (k_2 \in \mathbb{N}^+)\)
\(\therefore\) \(n - Mul_P = pr\times (k_1-k_2) = 1\)
\(\therefore\) \(pr \in \mathbb{P}\) 且 \(pr = 1\)
非常显然，这是矛盾的。
由此得出，一定有无穷多个素数。
第二种证明
先确定方向，我们从 \(\gcd\) 的角度来解析这个问题。
很显然的是，如果两个数 \(a\) 和 \(b\) ，\(\gcd(a,b)=1\) 即 \(a\) 和 \(b\) 互质。
那么我们一定可以推出 \(a\) 和 \(b\) 拥有的质因数互不相同。
所以，我们如果能够找到一个无穷的序列使得序列中的数两两互质即可。
在证明中，采用了一个名字叫做 \(Fermat\) 的序列，序列的公式为 \(F_i=2^{2^n}+1\)
首先，这个序列一定是无穷无尽的。
所以我们需要做的事只有证明：
不过这好像并不是一个非常好证明的东西。
所以证明中吧其转化成了验证下面的这个式子。
等式子列数来后在理解我们会发现非常巧妙：
同样采取反证法，我们假设存在相同的质因数 \(pr\)。
由此我们可以得出：\(pr|2\)
所以，\(pr\) 只可能是 \(1\) 或 \(2\)。
又因为所有的 \(Fermat\) 数都是奇数。
所以上述的假设是不成立的。
现在考虑我们如何来验证上面的这个式子。
\[\begin{split} \prod_{k=0}^nF_k&=(\prod_{k=0}^{n-1}F_k)\times F_n\\ &=(F_n-2)F_n\\ &=(2^{2^n}-1)(2^{2^n}+1)\\ &=2^{2^{n+1}}-1=F_{n+1}-2 \end{split} \]由此得证，素数有无穷多个。
标签：pr,mathbb,个数,times,素数,split,证明,prod 来源： https://www.cnblogs.com/Oier-GGG/p/16172438.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。