形如的数字被称之为费马数,费马数有可能是素数,有可能不是,费马数的素因子都具备这样的形式:
对于所有的非负整数n,有这样的定理:
推导:应用数学归纳法,对于n=1,有
现在做一个假设:
由费马数的特殊的表达式可以猜想任意两个不同的费马数一定是互质的。事实上这也是费马数的一个性质,由前面的定理可以知道,,从
中随便拿一个数字
来和
研究,设
, 那么有
,所以
, 因为费马数是奇数,所以d=1,即费马数两两互素。
由此可以推出另一个结论,自然素数是有无穷多个的。因为费马数两两互素,也就意味着每出现一个新的费马数就有新的(相比之前费马数找到的素数)素数产生,于是我们能得出结论,there are infinitely many primes.