2026-05-24 05:07:52 网络安全文章来源：ZONE.CI 全球网 0 阅读模式

文章总结： 本文梳理奥数数论中八个与’三’相关的经典定理，涵盖三平方和、三角数、三素数等核心结论，为高阶竞赛学生提供解题视角补充。建议掌握定理陈述与典型应用场景，遇平方和、间隙、素数表示等题型时联想使用，无需强求完整证明。 综合评分： 30 文章分类： 其他

cover_image

奥数数论终极奥义之“三”系

原创

Uysieot Uysieot

简单读写

2026年5月23日 02:07 四川

在小说阅读器读本章

去阅读

这不是一份入门讲义，也不是要求孩子把每个定理的完整证明都背下来。它更像是一张“备用地图”：当一个孩子已经熟悉同余、整除、勾股数、平方剩余、构造与反证之后，再额外知道一些经典定理和方法，遇到高阶题时就可能多一个观察角度。

为什么叫“三”系？因为这批内容多少都和“三”有关：三平方、三角数、第三定理、三间隙、三素数、三重积、直角三角形，以及三变量以上的不可表示数问题。名字有点玩笑，但知识点并不玩笑。

比如今年国家集训队第 14 题，如果知道三间隙定理，解起来会更容易。类似的情形在高阶数论里并不少见：题目未必允许直接引用大定理，但如果脑子里有这个模型，就更容易看出结构。

后续每个定理的具体题例我有时间了会再补进来。本文先做一件事：把这些定理和方法的“陈述、直觉、用处、记忆点”讲清楚，作为提高阶段孩子的视野补充。万一，万一就用上了呢。

阅读建议

适合对象：已经有较好奥数数论基础，正在向tst和imo方向走的孩子。

阅读目标：不必强行掌握所有证明；先知道结论、典型形式、可以联想到什么题型。

使用方式：遇到小数部分、间隙、平方和、勾股数、素数和、凑数不可表示时，把本文当作“联想清单”。

一、这套“三”系包含什么

下面逐个介绍。每节都尽量按“定理说什么—怎么看—有什么用”的方式展开。

二、Legendre 三平方和定理

这是关于“一个数能否写成三个平方数之和”的完整判别。它很适合提高阶段学生掌握，因为它把平方数、同余和表示问题连在了一起。

n = x² + y² + z²

n 可表示为三个平方数之和 ⇔ n ≠ 4ᵃ(8b + 7)

其中 a,b 为非负整数；x,y,z 为整数，可取 0。

也就是说，唯一不能表示成三个平方数之和的非负整数，正是形如 4ᵃ(8b+7) 的数。

怎么判断

把 n 中所有因子 4 除掉，即写作 n=4ᵃm，且 4∤m。
看 m 除以 8 的余数。
若 m≡7 (mod 8)，则 n 不能表示；否则 n 可以表示成三个平方数之和。

例子

·6 = 1² + 1² + 2²，可以表示。

·20 = 0² + 2² + 4²，可以表示；因为 20/4=5，而 5≠7 (mod 8)。

·28 = 4·7 = 4¹(8·0+7)，不可表示。

·31 = 8·3+7，不可表示。

为什么是 8b+7

平方数模 8 只能是 0、1、4。三个这样的数相加，不可能得到 7。

r² ≡ 0, 1, 或 4 (mod 8)

x² + y² + z² ≠ 7 (mod 8)

如果还乘上 4ᵃ，也一样不行。因为若三个平方数之和能被 4 整除，那么三个底数都必须是偶数，于是等式可以整体除以 4。反复除下去，最后仍会落到 8b+7 的障碍。

给奥数娃的记忆点

看到“表示成三个平方数”时，先查 4ᵃ(8b+7)。

这个定理的初等障碍来自模 8，但完整证明比模 8 深得多。

和三角数定理有强联系，因为 8Tₙ+1 是奇平方。

三、Fermat 直角三角形定理

这个定理讲的是勾股三角形的面积。结论非常干脆：整数边直角三角形的面积不可能是完全平方数。

不存在正整数 a,b,c,s，使得 a²+b²=c² 且 ab/2=s²

这里 a,b 是直角边，c 是斜边，ab/2 是面积。

先看例子

·3-4-5 三角形面积为 3·4/2=6，不是平方数。

·5-12-13 三角形面积为 5·12/2=30，不是平方数。

·8-15-17 三角形面积为 8·15/2=60，不是平方数。

这些例子不是巧合；Fermat 定理说，所有整数边直角三角形都这样。

勾股数组形式

本原勾股三角形可以写成：

a = 2mn, b = m² − n², c = m² + n²

其中 m>n，gcd(m,n)=1，且 m,n 一奇一偶。面积为：

ab/2 = mn(m² − n²) = mn(m−n)(m+n)

Fermat 定理等价于说：在这些条件下，上式永远不能是平方数。

证明味道：无穷递降

Fermat 的典型证明思想是无穷递降：假设存在一个面积为平方数的整数边直角三角形，并选取其中斜边最小的一个。利用勾股数组的互素结构，可以构造出另一个面积仍为平方数、斜边却更小的整数边直角三角形。

c > c₁ > c₂ > c₃ > ⋯

正整数不能无限下降，所以原假设矛盾。

给奥数娃的记忆点

这是“勾股数 + 平方结构 + 最小反例”的代表性例子。

无穷递降法在高阶数论题中非常常见：假设有最小坏例，再造更小坏例。

它和 Fermat 大定理指数 4 的情形有紧密关系。

四、Gauss 三角数 Eureka 定理

三角数是把前 n 个正整数加起来得到的数。

Tₙ = 1+2+⋯+n = n(n+1)/2

Gauss 的 Eureka 定理说：每个非负整数都是三个三角数之和。

对任意 N≥0，存在 a,b,c≥0，使得 N = Tₐ + T_b + T_c

Gauss 在日记中写下过一句著名的话：“Eureka! num = Δ + Δ + Δ”。这里 Δ 表示三角数。

例子

·8 = 6 + 1 + 1 = T₃ + T₁ + T₁。

·20 = 10 + 10 + 0 = T₄ + T₄ + T₀。

·31 = 15 + 10 + 6 = T₅ + T₄ + T₃。

和三平方定理的桥

关键恒等式是：

8Tₙ + 1 = (2n + 1)²

于是若 N=Tₐ+T_b+T_c，则：

8N + 3 = (2a+1)² + (2b+1)² + (2c+1)²

这说明三角数问题可以转化为奇平方和问题。因此，Gauss Eureka 定理和 Legendre 三平方和定理是互相呼应的。

给奥数娃的记忆点

三角数不要只看作图形数，也可以通过 8Tₙ+1 转成平方。

遇到 Tₙ=n(n+1)/2，常试试乘 8 加 1。

“三个三角数”和“三个奇平方数”之间有自然桥梁。

五、Postage Stamp / Chicken McNugget 型最大不可表示数思想

这类问题研究“用固定面值凑数”。给定面值 a,b，哪些非负整数可以写成：

N = ax + by, x,y ≥ 0

若 a,b 互素，则只有有限多个正整数不能表示，并且最大不可表示数为：

g(a,b) = ab − a − b

这就是 Frobenius coin problem 的两面值情形，也常被称为 Chicken McNugget theorem。

例子：面值 4 和 7

4·7 − 4 − 7 = 17

·17 不能写成 4x+7y。

·18 = 7+7+4，可以表示。

·19 = 7+4+4+4，可以表示。

·20 = 4+4+4+4+4，可以表示。

·从 18 往后所有整数都可以表示。

如果 a,b 不互素，例如 6 和 10，那么所有奇数都表示不了，所以不存在最大不可表示数。

三变量以上为什么要小心

三种或更多面值时，问题会明显复杂。虽然当所有面值的最大公因数为 1 时，足够大的数仍都能表示，但一般没有 ab−a−b 这样简单的公式。经典面值 6、9、20 的最大不可表示数是 43。

给奥数娃的记忆点

两互素面值：最大不可表示数是 ab−a−b。

证明思路通常和“模 a 的剩余类”“连续一段都能表示”有关。

多面值问题别急着套公式，往往要用构造、余数分类或计算临界段。

六、Mertens 第三定理

这里采用你给出的版本：素数倒数部分和的渐近公式。它说明素数倒数和虽然发散，但发散得非常慢。

Σ(p≤x, p 为素数) 1/p = log log x + B₁ + o(1)

其中 B₁ 是 Meissel-Mertens 常数，约为 0.261497…。

Σ(n≤x) 1/n ∼ log x，但 Σ(p≤x)1/p ∼ log log x

直观来源

素数定理告诉我们，t 附近素数密度大约是 1/log t。于是素数倒数和可粗略类比为积分：

∫₂ˣ dt/(t log t) = log log x + O(1)

这就是 log log x 出现的原因。

需要注意：不同教材对 Mertens 第一、第二、第三定理的编号可能略有差异。有些书把下面的乘积形式称为 Mertens 第三定理：

Π(p≤x, p 为素数)(1−1/p)⁻¹ ∼ e^γ log x

给奥数娃的记忆点

这个定理通常不直接作为奥数工具，但能帮助建立素数分布的数量感。

素数倒数和发散，但只按 log log x 的速度发散，极慢。

看到素数的乘积或倒数和，可以联想到取对数和级数展开。

七、三间隙定理

三间隙定理是本文最值得提高阶段孩子“认识一下”的定理之一。它处理无理数倍数的小数部分。

{0}, {α}, {2α}, …, {Nα}

其中 α 是无理数，{x} 表示 x 的小数部分。把这些点放在单位圆上，按顺序排列，它们会把圆周切成若干相邻间隙。三间隙定理说：

这些相邻间隙的长度最多只有三种

它为什么有用

无理数倍数的小数部分看似杂乱，但三间隙定理说明：前 N+1 个点切圆得到的相邻间隔，长度种类不会超过三种。这让“小数部分题”从一堆散乱点，变成一个很有结构的圆周切割问题。

例如你提到的国家集训队第 14 题，如果题目本质上涉及无理数倍数的小数部分、排序、相邻间距或覆盖区间，那么提前知道三间隙定理，会更容易猜到应当从“圆周间隙结构”入手。具体题例后续可以单独补进来。

背后的结构

三间隙定理和连分数逼近有深刻关系。α 的连分数展开控制了这些间隙长度的出现方式。

给奥数娃的记忆点

看到 {kα}、无理旋转、小数部分排序、相邻差，先想圆周模型。

前 N 个无理倍点把圆切开，间隙长度最多三种。

题目未必允许直接引用定理，但知道这个结构能帮助你猜结论、找切入点。

八、Vinogradov 三素数定理

Vinogradov 三素数定理是解析数论中的重要成果，与 Goldbach 问题关系很密切。

充分大的奇数 N 可写成 N = p₁ + p₂ + p₃

其中 p₁,p₂,p₃ 都是素数。

例子

·17 = 3 + 3 + 11。

·31 = 7 + 11 + 13。

·51 = 13 + 19 + 19。

和弱 Goldbach 猜想

弱 Goldbach 猜想说：每个大于 5 的奇数都是三个素数之和。Vinogradov 证明了“充分大的奇数”情形，后来通过进一步理论和计算补上有限范围，弱 Goldbach 猜想已经成为定理。

这里的证明工具属于解析数论，包括 Hardy-Littlewood 圆法、指数和估计等。奥数中一般不会要求证明它，但知道它能帮助理解“素数虽然稀疏，但几个素数相加会变得很密”的现象。

给奥数娃的记忆点

三素数定理是“素数加法表示”的代表。

奇数用三个奇素数相加很自然：奇+奇+奇=奇。

它更多是视野补充，不是常规奥数可直接调用工具。

九、Jacobi 三重积恒等式

Jacobi 三重积恒等式是 q 级数与 theta 函数中的核心公式。它把一个双向 theta 级数写成无限乘积，是许多 q 级数公式的母式。

Σ(n∈ℤ) zⁿ q^(n²)

= Π(m≥1)(1−q^(2m))(1+zq^(2m−1))(1+z⁻¹q^(2m−1))

通常要求 |q|<1，且 z 不等于 0。

三重积是什么意思

右侧每个 m 对应三个因子：

(1−q^(2m)), (1+zq^(2m−1)), (1+z⁻¹q^(2m−1))

所以称为“三重积”。

为什么值得知道

它把“加法型”的级数和“乘法型”的生成函数连在一起。级数形式适合看系数、表示数、theta 函数；乘积形式适合看分拆、因子结构和 q 级数恒等式。

·适当取特殊值，可以推出 Euler 五边形数定理等经典恒等式。

·它是分拆、theta 函数、模形式背景中的重要工具。

·对奥数学生来说，先知道它是“q 级数母式”即可，不必急着掌握完整证明。

给奥数娃的记忆点

看到双向求和 Σ(n∈ℤ) 与无限乘积 Π 时，可以联想到 Jacobi 三重积。

它属于视野型内容：未必直接用，但能解释很多生成函数公式为什么长成乘积。

这份讲义的定位很简单：不求人人会证，但求脑子里留个钩子。万一，万一就用上了呢。

实际上数论总共大概351个定理和方法这些。然后在以往的各级奥赛中，出现过的有211种，这次介绍几种，都是已经出现过的1-8次的，但是基本上就算是孤题。我一直就在想，剩下那140种，会不会在某个时间就出现了呢。

以上皆为AI生成，超过小学三年级的，请不要咨询我数学问题。

免责声明：

本文所载程序、技术方法仅面向合法合规的安全研究与教学场景，旨在提升网络安全防护能力，具有明确的技术研究属性。

任何单位或个人未经授权，将本文内容用于攻击、破坏等非法用途的，由此引发的全部法律责任、民事赔偿及连带责任，均由行为人独立承担，本站不承担任何连带责任。

本站内容均为技术交流与知识分享目的发布，若存在版权侵权或其他异议，请通过邮件联系处理，具体联系方式可点击页面上方的联系我。

本文转载自：简单读写 Uysieot Uysieot《奥数数论终极奥义之“三”系》