初中数学竞赛25个定理-初中数学竞赛 25 个定理

初中数学竞赛那些“野路子”定理 初中数学竞赛，实际上跟大学生学物理没啥两样，都是靠直觉和狠劲解题。
不像课本上那些死记硬背的公式，竞赛里更看重的是你脑子里那些“陈年旧账”翻出来如何用的本事。
1.倒三角等比数列（经典中的经典） 大量人一看到数列就傻，实际上这玩意儿在竞赛里忒常见，特别是倒三角结构。
比如数列 $a_n = frac{n}{n+1}$，前几项是 $frac{1}{2}, frac{2}{3}, frac{3}{4}, frac{4}{5}$，一眼就能看出规律：$a_1 = frac{1}{a_2}$，$a_2 = frac{2}{a_3}$，以此类推。 这就得把前 $n$ 项积算一下，你会发现 $prod_{i=1}^n a_i = frac{1}{n+1}$。
这个公式在证明题里简直神来之笔，啥不等式都能省事搞定。
2.勾股数的杜教连续 勾股数就是三边为 $a, b, c$ 的直角三角形，竞赛里如何给 $a, b, c$ 赋值就如何变。杜教连续（Duke's sequence）就是 $a_n = a_{n-1}^2 + 2q$，其中 $n$ 是奇数。
比如 $a_1 = 3, q = 2$，接着算 $a_2 = 13, a_3 = 31, a_4 = 119$。 利用这个性质，你能够构造出无限多个勾股三元组，就连能证明存有无穷多对互质的勾股数。搞不好这玩意儿不用勾股定理，直接套公式就能证。
3.梅钦类公式（分数界的天花板） 要是你喜爱算分数，这公式比毕达哥拉斯超了得。$pi = 2 + frac{5}{5 times 8} + frac{22}{45} + frac{58}{238} + frac{815}{582} + dots$。 这玩意儿如何来的？它是通过迭代公式 $p_n = frac{5}{4} p_{n-1} + frac{1}{2} p_{n-2}$ 来的。记得 $p_1 = 2, p_2 = 5$ 之后，$p_3 = 22, p_4 = 58$，$p_5 = 815$。 你看，这就是个递归关系，只要你会处理递归，就能算出任意分母。并且这种形式在欧拉证明 $pi$ 的时候也出现过，算是数学史上的一个小插曲。
4.哈代 - 莱布尼茨公式 别被名字吓退，这玩意儿实际上就是个裂项相消。$frac{1}{n(n+1)} = frac{1}{n} - frac{1}{n+1}$。 实际上大局部竞赛题都能凑这个式子。
比如要算 $sum_{n=1}^{infty} frac{1}{n(n+1)}$，直接写求和公式，中间那些项抵消得干干净利落净，只剩下 $frac{1}{1} - frac{1}{infty} = 1$。 别看听起来好办，但竞赛界常考的是如何凑出这个形式，如何管住截断误差，这可是根本功。
5.约数性质（Jordan's Lemma 的初中版） 约数这东西，竞赛里往往不是用来算和的，而是用来拆难题的。
比如证明 $6^x + 6^y mid 6^{xy}$。 这个结论实际上比看起来抽象。核心在于约数的乘积等于约数的幂次方。
要是 $6^x$ 和 $6^y$ 的约数乘起来，肯定能整出 $6^{xy}$。 略微一变，变成了“约数和性质”，比如证明 $3^a + 5^b$ 能被...之类的，这时候就要用到约数的奇偶性要么模运算了。
6.皮亚诺公理的变体 皮亚诺公理是数学的基石，但竞赛里更爱玩它的变种。
比如用皮亚诺公理去证明某些集合论的基础性质，要么构造指数的逆运算。 这种题一般不直接给定义，而是给你一堆公理推导，让你“发明”出新的性质。
比如定义一个“非传递”的序，要么定义一个“不可达”的状态。 别看逻辑上听起来怪怪的，但在竞赛解答里，这种“设戏”往往是解开复杂证明的关键钥匙。
7.位运算的算术性质 对于整数来说，位运算和算术运算实际上有着千丝万缕的联系。
比如异或运算 $x oplus y$ 和加法。 你能够证明：$(x oplus y) + (x oplus z) = z + (x oplus (y oplus z))$。 这个等式看似随意，实则是位运算规则在代数上的投影。在竞赛中，它常被用来简化多项式展开，要么解决复杂的计数难题。
比如计算 $x oplus y$ 在二进制下翻转了多少位，实际上和 $(x+y) - (x oplus y)$ 的差值相关。
8.韦达定理的另一个视角 韦达定理说两根之和、两根之积。竞赛里常考的是它的“多根”情况。
比如方程 $x^3 + ax^2 + bx + c = 0$ 有三个实根，那它们的和、积、两两乘积之和之间有啥联系？ 答案藏在 $a, b, c$ 的系数里。别看高中就背过，但竞赛题往往会给出一个看似无涉的式子，让你去推导它。 比如证明 $a^2 + 2b^2 + 3c^2 = (a+b+c)^2 - 2ab - 2bc - 2ca$。
这个式子别看丑，但它是韦达定理的“扩音器”，把系数关系全体摊开铺陈出来。
9.蒙日圆与高斯圆 这两个圆是解析几何里的经典，但在竞赛里常被拿来玩组合。 蒙日圆半径是 $r = frac{1}{2} sqrt{a^2+b^2}$，高斯圆半径是 $R = frac{1}{sqrt{a^2+b^2}}$。 你会发现 $sqrt{a^2+b^2}$ 既是蒙日圆的直径，也是高斯圆的直径。 利用这个对称性，你能够证明在圆内任意找一点，到圆上三点距离之和小于直径。
要么证明某些几何平均数的不等式。 这不只是是两个公式，更是一种几何直觉的体现：两个圆把平面分成了几等份，每份里都藏着代数关系。
10.费马大定理的“小版本” 费马大定理说 $x^n + y^n = z^n$ 只有平凡解。竞赛里极少用原定理，更多是利用它的“局部性质”。 比如证明 $x^4 + y^4 = z^4$ 在特定范围内无解。
这时候可能会用到模 4 的运算，要么模 3 的运算。 比如找一个 $n$，使得 $n$ 整除 $x^4 + y^4$ 可能吗？要是不中，如何构造逆序？ 这类题实际上是在训练你对“整数性质”的敏感度。费马大定理忒深了，但它的整数形式解结构（Fermat's Last Theorem for Integers）是研究数论的经典对象，别看目前还没证出来，但它的整数情形已经解开了无数年。 1
1.舒尔不等式（算术 - 几何 - 中值） 这三个数 $a, g, m$（平均数、调和平均数、几何平均数）之间有个定式。 $4g^2 = 3a + g$，$3g = a + m$，$g = m$。 竞赛里常考的是 $3(a-g)(g-m)(m-a) le 0$。 利用这个不等式，能够证明大量几何不等式。
比如证点 $P$ 到三边的距离乘积最大时，$P$ 就在三角形内。 这实际上是个竞赛界的“万能钥匙”，略微变换变量，就能解决不少代数几何难题。 1
2.柯西 - 施瓦茨不等式（向量视角） 这个定理忒有名了，但竞赛题里往往不直接给向量定义，而是让你从数列角度理解。 对于两组数列 $x_n, y_n$，有 $(sum x_n y_n)^2 le (sum x_n^2)(sum y_n^2)$。 这个式子能证明大量“平方和”能够放缩。
比如证明 $sum frac{1}{n^2}$ 收敛，要么证明某些级数收敛的判别法。 别看高中就学过，但竞赛题会故意让你不用三角不等式，而是直接套这个不等式，就连还会加个条件，让你去推导最坏情况下的值。 1
3.贾德定理（加法和乘法的独立性） 这是数论里的一个有趣现象。 定理说：对于形如 $n^2 + k cdot n + m$ 的二次函数，只要判别式 $Delta = 4k^2 - 4m$ 知足特定条件，它在某些整数区间上只有一个根。 一般 $k$ 是偶数，$m$ 是奇数，要么反过来。 这个定理在竞赛里常用于证明方程在离散点上有解，要么寻找解的分布。
比如证明某个多项式在模 $p$ 意义下是有根的。 别看听起来挺玄，但本质是代数结构对解的“约束”。 1
4.阿基米德不等式（几何概型的代数化） 这个定理在几何里挺常见：从一点引垂线，垂足到两底边距离之积小于高。 竞赛里常把它转化为代数不等式：$(x+y)(x-y) le 2xy$（类似结构）。 利用这个，能够证明大量立体几何中的体积关系，要么平面几何中的面积比。 比如证明三角形面积公式 $S = sqrt{p(p-a)(p-b)(p-c)}$ 的推导过程，核心就是阿基米德不等式的应用。 1
5.拉格朗日恒等式 这个公式是代数恒等式，看起来像废话，实际上是神器。 $(a+b+c)^3 = sum a^3 + 3(a+b)(b+c)(c+a)$。 要么更复杂的多项式恒等式。 在竞赛里，它常被用来降次、消元、凑项。
比如证明某个高阶多项式的根分布。 当你面对一个复杂的方程求根式时，时常要用拉格朗日恒等把高次式展开成线性组合，再求值。 1
6.泰勒公式的初等应用 泰勒公式 $sum frac{f^{(n)}(0)}{n!} x^n$。 初学者可能认定难，但竞赛里用的都是前 3、4 项。 比如证明 $e^x ge 1+x$，就是泰勒展开只取前两项。 要么证明 $sin x le x$，取到 $x, x^3/6$ 项。 有些题目会故意给一个复杂的函数，让你去验证它知足某个泰勒余项条件，进而得出凸性结论。 1
7.狄利克雷函数（取余性质的推广） 狄利克雷函数 $D(x)$ 是 $x$ 为整数时为 0，非整数时为 1。 竞赛里常考的是它的积分或求和。 比如 $int_0^1 D(x) dx = 1 - sum_{k=1}^n frac{1}{k}$。 但这实际上是黎曼和的变体。更有趣的是，它常用来构造分形要么证明某些分布的归一化条件。 比如证明某个序列在单位区间上的和趋近于 1，就是利用狄利克雷函数的不连续性。 1
8.欧拉 - 麦克劳林公式 这个公式把多项式展开成幂级数。 $f(x) = f(0) + f'(0)x + frac{f''(0)}{2!}x^2 + dots$ 竞赛里常考的是它的收敛半径要么误差项。 比如证明 $e^x$ 展开式中 $x^n + x^{n+1} + dots$ 的和小于某个值。 要么证明广义二项式系数的渐近行为。别看高中就学过，但竞赛题会把它用在更宽泛的上下文中，比如证明某些级数交错收敛。 1
9.傅里叶级数（初中竞赛的极限版） 傅里叶级数 $f(x) = frac{a_0}{2} + sum (a_n cos nx + b_n sin nx)$。 对于初等函数，比如 $sin x, cos x$，它的傅里叶级数就是它自己。 竞赛里常考的是“非三角函数”的展开，要么利用级数收敛性质证明不等式。 比如证明 $sum_{n=1}^infty frac{1}{n^2} = frac{pi^2}{6}$，就不需求复杂的微积分，直接用傅里叶级数在 $[0, 2pi]$ 上的恒等式积分即可。 这展示了数学语言的无穷性：一个代数难题，能够用分析方式解决。 20. 斯特林公式（阶乘的渐近） $ln n! approx n ln n - n$。 竞赛里常考的是它的对数形式 $ln n! sim n ln n$。 这个公式在估算组合数、概率、物理常数时都用拿到。 比如计算 $binom{2n}{n}$ 的增长速度，要么证明某些无穷乘积的收敛条件。 别看高中知道阶乘近似，但竞赛题会故意让你用更精细的斯特林公式来质疑某个根的存有性，要么证明某个数列无界。 2
1.阿贝尔 - 切比雪夫不等式（概率与性的边界） 这个定理在概率论里挺经典，但竞赛里常被拿来证明某些递推关系的收敛性。 对于非负项数列 $a_n$，有 $lim frac{a_n}{a_{n+1} = 1}$。 要么利用切比雪夫不等式证明方差有上界。 比如证明 $E[X] = sum frac{1}{k} - 1$ 这类期望的界限。 别看概率课就有，但竞赛题往往把它作为“反例”要么“修正项”出现。 2
2.罗尔定理的代数重构 罗尔定理：闭区间连续，端点函数值相等，中间必有一导数为零。 竞赛里常考的是它的代数表达：$f(x^2) = f(x)$ 时，在 $(0, x^2)$ 间必有 $f'(x)=0$。 这里用到了导数对变量的双重功能。 比如解方程 $f(x^2) = 0$，要是不知道导数，就解不出来。
这实际上是函数隐函数求导的雏形。 2
3.柯西不等式的几何诠释 这次换人说法吧。柯西不等式说两个向量的积和下标和的乘积相关。 在几何上，那就是向量点积。 竞赛里常考的是它的齐次性。 比如证明 $sqrt{x^2+y^2} le x+y$（当 $x,y ge 0$）。 这实际上就是勾股定理的变体。利用向量投影的思想，把不等式几何化。 2
4.阿贝尔第二定理（复数与实数的桥梁） 复数理论是竞赛的深水区。阿贝尔第二定理说：要是 $n$ 个数列 $a_n, b_n, dots$ 知足某种条件，则它们的和为纯虚数的充要条件是... 这玩意儿忒抽象，但却是解析数论的基础。 竞赛中极少直接考证明，而是考用它来构造反例，要么证明某些复数序列没有实根。 比如证明 $x^3 + y^3 + z^3 = 4xyz$ 没有整数解（费马大定理的特例）。 2
5.数学归纳法的终极形态 最终这个不能不说。别看高中都有，但竞赛里会玩出花样。 比如对 $n$ 的某种“模”或“阶”进行归纳。 要么证明对任意正整数 $k$，某个不等式成立。 这种题的核心是“归纳假设的迭代”。 比如证明 $sum_{i=1}^n a_i le sum_{i=1}^{2n} a_i$，通过归纳假设 $S_n le S_{2n}$ 递推。 别看技巧性高，但本质还是逻辑的体操。 结语 这些定理不是炫技，而是工具。真正的数学高手，不是知道所有名字，而是能在烂大街的题目里，把那些老掉牙的定理重新组合，撞出新的火花。
像倒三角数列那样，看似好办，却蕴含着无限的变通空间。希望这几条“野路子”能帮你打开竞赛的大门。