首先假设孪生素数是有限对，并且设最大的孪生素数对为。可知Pn以内的素数是有限的，设为P1、-1、Pn。

然后构造一个大素数P=+1

显然P不能被从P1到Pn的所有素数整除，永远余1，所以P是素数。同理可证得，P-2=-1显然也是素数，被任何从P1到Pn的素数除永远差1。

由于P是素数，P-2也是素数，俩个构成一对孪生素数。

那么问题来了，P和P-2构成的孪生素数对，比最初设置的那个&l最大素数对&r还要大，从而否定为最大孪生素数对。

就像是爬梯子一样，无论多大，永远能找到比更大的素数对。

从而推翻假设中，&l孪生素数对是有限的&r这一结论，反过来&l孪生素数对无限&r便是对的。

中间的过程还有很多，但整体思路就是这样。

陆舟将他在黑板上罗列的过程从头看到了尾。

让人意外的是，他没有引用到任何现有的研究成果去解决这个问题。

这种跳出框架寻求答案的思路值得提倡。

但是&he&he

陆舟总算是明白，为什么没人搭理他了。

&l你构建的大素数P，确实可以保证不被从P1到Pn的一系列素数整除，但前提条件是Pn是最大素数。很明显，你掉进了一个逻辑陷阱，你如何证明Pn是已知的最大素数？&r

迪让眉毛一挑：&l你没看清我第一行写的是什么吗？在孪生素数对有限的情况下，取最大的孪生素数对&he&he&r

广告位置下