必有一孪生素数(借尚九天的模板一用)

moranhuishou

借来尚九天的模板一用：
当 n≥n0 (这个n0很小，没验算，应该就等于10) 时，在 n^2 与 (n+1)^2 之间的 2n个 整数中，即在              
  n^2+1， n^2+2， n^2+3， …，n^2+2n
这2n个整数中，其中必有一对孪生素数。

moranhuishou

而事实上：
2^2~3^2  有   5,7
3^2~4^2  有  11 ,13
4^2~5^2  有  17 ,19
5^2~6^2  有  29 ,31
6^2~7^2  有  41 ,43
7^2~8^2  有  59 ,61
8^2~9^2  有  71,73
9^2~10^2  没有孪生素数，
不过这是唯一“没有”的。   

moranhuishou

[这个贴子最后由moranhuishou在 2011/09/03 09:12pm 第 1 次编辑]

抱歉，数据有误，修正如下：

当 n≥n0 (这个n0很小，待验正) 时，在 n^2 与 (n+1)^2 之间的 2n个 整数中，即在              
n^2+1， n^2+2， n^2+3， …，n^2+2n
这2n个整数中，其中必有一对孪生素数。

moranhuishou

验证了一下，在n<=77时，共有10个区间没有孪生素数，验证到n<100，再无没有孪生素数的区间，猜想n0=77. 即 猜想（实际是可以证明的定理） 当 n≥77 时，在 n^2 与 (n+1)^2 之间必有一对孪生素数存在。

moranhuishou

整理一下
[color=&#35;A52A2A]
定理（因可以证明）
当 n>n0  时，在 n^2 与 (n+1)^2 之间必有一对孪生素数存在。
n0初定为77，待最后敲定。

moranhuishou

一般说来，数学猜想只要找到一个反例即可“当场”否定，例如本猜想，若改为n=2,3,4,...即可找到不是一个而是最少10个反例而被“枪毙”，或许从此也就没有人相信这样的猜想能成立了。
这样判定“死刑”也许完全符合“现有的法律程序”，“最高法”也很有可能会核准执行。但实际上这样的判决却荒谬之极。
因为她实际上是一个很强的定理，比原孪生素数命题不知要强多少倍。
我们要慎用“死刑”。

任在深

自己已经否定了自己！
还酸菜炒土豆丝--------------------硬挺？？？？？？？？？？？？？？？？
跟西方的充分大接近了？！

moranhuishou

下面引用由任在深在 2011/09/04 09:45am 发表的内容：
自己已经否定了自己！
还酸菜炒土豆丝--------------------硬挺？？？？？？？？？？？？？？？？
跟西方的充分大接近了？！

你根本就不懂什么叫数学。

尚九天

下面引用由moranhuishou在 2011/09/04 10:13am 发表的内容：
下面引用由任在深在 2011/09/04 09:45am 发表的内容：
:em05: 自己已经否定了自己！
:em05: 还酸菜炒土豆丝--------------------硬挺？？？？？？？？？？？？？？？？
:em05: 跟西方的充分大接近了？！


:em05: 你根本就不懂什么叫数学。

:em05: 不知可否，故而不置可否！ 茄子炒蒜苗可否？

moranhuishou

还有，一般说来，一个数学猜想，首先得到的应该是支持这个猜想的数据，例如哥德巴赫猜想就先有6=3+3,8=3+5,10=5+5，...然后才提出这个规律对于所有的偶数都成立。
而这个“猜想”则完全不同，得到的首先是否定这个规律的数据，且不论1^2~2^2没有孪生素数，直到9^2~10^2没有孪生素数，...一直到77^2~78^2没有孪生素数，并且还可能出现更大点的区间没有孪生素数。
但我们却敢于“冒天下之大不韪”给出这个“猜想”，你知道为什么吗？