定理已证明
格林-陶定理
命题陈述
素数序列包含任意有限长度的等差数列:对每个 ,都存在素数 ,其中 。
为什么成立?
虽然随着数字增大素数变得越来越稀疏,但它们并不至于无规则到避开形成等间距的长模式——这是素数相对于 Szemerédi 型密度结果“足够拟随机”的结果,而这类结果保证任何足够稠密的整数集合中都存在长等差数列。
证明思路
把 Szemerédi 定理(整数中任何具有正相对密度的子集都含有任意长的等差数列)与一个转移原理结合起来:尽管素数在 中密度为 ,但可以把素数的一个适当加权优函数嵌入到一个具有正相对密度的拟随机集合中(该集合由剩余类中的素数及一个辅助拟随机测度构造而成),从而把 Szemerédi 定理从稠密的拟随机情形转移到素数本身。
证明者
用到此定理的主题
相关定理
分步证明
该定理暂无分步证明。
参考文献
- Ben Green, Terence Tao (2008). The primes contain arbitrarily long arithmetic progressions · arXiv:math/0404188
- Terence Tao, Van H. Vu (2006). Additive Combinatorics · DOI:10.1017/CBO9780511755149