格林-陶定理

✍ dations ◷ 2025-11-19 12:25:18 #素数,数论

格林-陶定理（英语：Green-Tao theorem）是本·格林（英语：Ben_Green_(mathematician)）和陶哲轩于2004年证明的一个关于质数组成的等差数列存在性定理。质数序列包含任意长的等差数列，是格林-陶定理的著名推论。

对于任意的素数集合的子集 $A {\displaystyle A}$ $A$ ，若 $A {\displaystyle A}$ $A$ 相对于素数集合的上密度（英语：upper density）为正，即：

那么：

格林-陶定理有以下两个直接的推论：

质数序列中长度为 $k {\displaystyle k}$ $k$ 的等差子序列，对于1≤n≤k，目前最好的结果是对于k=26，此等差数列为：

相关

临高语临高语，又称临高话，是海南岛北部临高人所使用的一种语言，属于侗台语系，使用人数约60万。尽管临高人被认为是汉族人，但临高话并非汉语的一种。临高语一般分成东西两种方言：15-17个
吴丹丹，通称吴丹（缅甸语：ဦးသန့်，1909年1月22日－1974年11月25日），是一名缅甸外交家，由1961年至1971年担任联合国第三任秘书长。吴丹出生于下缅甸的班达诺（英语：Pantanaw）。他是家中长
眼眶额叶皮质回路眶额皮质（英语：orbitofrontal cortex，缩写OFC），又译为眼窝前额皮质、眼眶额叶皮质、前额叶基底部，是位于大脑额叶前下方的前额叶皮质，是与决策的认知过程有关的一个脑区。非人类灵
壬午兵变“壬午兵变”，又名“壬午军乱”，日本称之为“壬午事变”、“朝鲜事变”，是发生在1882年朝鲜王朝的一次政变。云岘君（兴宣大院君）发动兵变，掌握政权，然而不久之后即被清朝朝鲜事务大
和平号空间站核心舱和平号空间站核心舱(DOS-7)是和平号空间站的第一个发射升空的组件。它在1986年2月20日被质子-K运载火箭从苏联的拜科努尔航天发射场LC-200/39发射台发射升空。但是在设计之
古方派古方派（こほうは），日本江户时代出现的汉方医学流派，开始于名古屋玄医，主张回到张仲景《伤寒论》的古医学，与清朝出现的经方派立场相近。日本室町时代，田代三喜将中国宋金时期的汉医
掠夺性开放获取出版掠夺性出版集团（predatory publishing），是指这类学术出版商是为了学术灌水或以此牟利而组织发表大量低品质的学术会议和期刊。这类出版商借由对作者收取高额的版面费，略过专业的
无义突变抑制因子在分子生物学中，无义突变抑制因子（nonsense suppressor，亦称为无义抑制因子）是一种能抑制无义突变作用的因子。生物体内会发生一种称为无义突变（英语：Nonsense mutation）的突变，mRNA
赤牛面赤牛面是台湾彰化县二林镇著名的饮食，在二林镇第一市场内已经营七十多年，与猫鼠面、台南担仔面齐名。赤牛面因创始者廖全得（1909年－？）的绰号“赤牛仔伯”而得名。日治时代廖全得曾
倪必英举人倪必英（？年－？年），浙江绍兴府山阴县人，由癸酉科举人选授教谕俸满以知县用，乾隆二十九年任四川顺庆府岳池县知县，乾隆二十九年署顺庆府通判。是一位政治人物，明清时曾在四川顺庆府岳