Proof:
1. 首先要先引入一个结论:
一个4k-1型的数,必有至少一个4k-1型的素数因子
该结论的证明如下:
我们知道
(1)除2之外的所有素数均为奇数,都可以表示为4k+1或者4k-1 。
(2)且任何一个数都可以表示为某些素数的乘积形式(哥德巴赫猜想)。
反证法:假设一个4k-1型的数N可以表示为:N=(4k1+1)(4k2+1)....(4kn+1)
我们很容易得到该乘积的结果只能为4k+1形式,不能为4k-1形式,与已知的题干矛盾,所以得证:必有4k-1的素因子
2.接着开始证明:形如4k-1的素数有无限个
反证:如果形如4k-1的素数有限,则我们另S=(4k1-1)(4k2-1)....(4kn-1)=4k+1或者4k-1(其中加号和减号取决于n的奇偶性)
如果n是奇数,则S=4k-1,我们引入一个数M=S+4,即M=4k+3,也属于4k-1型的数。可知M肯定有一个4k-1型的素数因子,又已知S为有限个4k-1型的素数因子的乘积,所以由定理:
若a=q*b+c,则gcd(a,b)=gcd(b,c)
则存在gcd(M,S)=4km-1=gcd(S,4)
由于4的因子为1,2,4,不存在4k-1形式的数字,所以矛盾,假设不成立
如果n是偶数,则S=4k+1,取N=S+2,结果同上