引理1:当N>1时,存在一个素数P,使得N<P<2N,或(N,2N)中必有素数。
证明: 当N=2时,P=3<4;
当N=3时,P=5<6;
当N=K时,若存在一个素数P,使得K<P<2K成立,
当N=K+1时:
1、若P=2K+1是素数,得K+1<P<2(K+1),所证成立;
2、若2K+1不是素数时,若K+1=<P,由P<2K:P<2(K+1),所证成立;
3、若K是素数,可以推出K+1不是素数,
由假设的K<P<2K得:K+1<P<2(K+1),所证成立;
4、若K不是素数,(K+1,2(K+1))中也没有素数,
由假设的K<P<2K得:K+1是素数,即有K+1=<P<2(K+1),所证成立;
综上所述,引理1成立。
这个证明是错的!k+1是素数的时候,K+1<P<2(K+1)不成立.你的证明漏洞百出!