能否用已知剩余类素数结论结合中国剩余定理证明给定剩余类存在无穷素数？

好问题！咱们一步步拆解这个问题：

先明确已知条件 #

你提到的已证结论是几个特定模下的无穷素数同余类：

• 模3：存在无穷多素数$p \equiv 1 \pmod{3}$，也存在无穷多$p \equiv -1 \pmod{3}$（即$2 \pmod{3}$）
• 模4：存在无穷多素数$p \equiv 1 \pmod{4}$，也存在无穷多$p \equiv -1 \pmod{4}$（即$3 \pmod{4}$）
• 模5：存在无穷多素数$p \equiv \pm 2 \pmod{5}$（即$2 \pmod{5}$和$3 \pmod{5}$）

中国剩余定理的作用局限 #

中国剩余定理（CRT）的核心是把多个互素模的同余条件组合成一个模为它们乘积的同余条件。比如，如果你想找满足$p \equiv 1 \pmod{3}$且$p \equiv 3 \pmod{4}$的素数，CRT可以帮你算出这个等价于$p \equiv 7 \pmod{12}$，但它没法直接告诉你这个同余类里有无穷多素数。

问题出在：已知的结论只是单个模下的某几个同余类有无穷素数，但两个无穷素数集合的交集是否仍为无穷，没法仅用CRT和已知结论推导。比如，我们知道$p \equiv 1 \pmod{3}$有无穷多，$p \equiv 1 \pmod{4}$有无穷多，但这两个集合的交集（即$p \equiv 1 \pmod{12}$）有无穷多素数，没法从已知结论直接得出——虽然实际情况是对的，但需要额外的证明，而不是CRT能搞定的。

为什么没法推广到所有剩余类 #

更关键的是，给定的已知结论只是Dirichlet定理的有限特例，Dirichlet定理指出：只要整数$a$和$m$互素，就存在无穷多素数$p \equiv a \pmod{m}$。但仅用你给出的这几个特例，结合CRT，没法覆盖所有可能的$a$和$m$：

• 比如，要证明存在无穷多素数$p \equiv 1 \pmod{5}$，已知的模5结论只覆盖了$2,3 \pmod{5}$，没有$1$或$4$的情况，其他模的结论也没法组合出这个条件，所以完全没法用给定结论推导。
• 再比如模7的情况，任意与7互素的剩余类（1-6 mod7），给定的已知结论里根本没有模7的相关内容，CRT也没法凭空造出这些类的无穷素数结论。

总结 #

简单来说：

• 中国剩余定理只能帮你转化同余条件的形式，但不能保证转化后的同余类里有无穷多素数；
• 你给出的已知结论只是有限个模下的部分同余类，没法通过组合覆盖所有可能的同余类，更没法替代Dirichlet定理的完整证明。

所以，仅用这些给定结论结合中国剩余定理，无法推导得出任意给定剩余类中存在无穷多个素数。

内容的提问来源于stack exchange，提问作者user7802048