2025年西安交通大学少年班招生考试数学试题解析与解题技巧（初中组）-CSDN博客

1. 整数方程与对称性：从一道“对称”题说起

拿到这套卷子，第一题就很有意思。它给的条件是 x+y+z=2025 和 x²y + y²z + z²x = xy² + yz² + zx²。很多同学一看第二个等式，头就大了，感觉无从下手。别急，咱们先别被符号吓到，这种等式在竞赛里有个名字，叫轮换对称式。简单说，你把式子里的 x 换成 y，y 换成 z，z 换成 x，整个等式看起来还是一样的。这种对称性往往暗示着解也具有某种对称性，比如 x=y=z 就是一种可能。

我们来试试看。假设 x=y=z，那么根据第一个方程，3x=2025，解得 x=675。代入第二个方程检验一下，左边是 3*(675³)，右边也是 3*(675³)，显然成立。所以 (675, 675, 675) 是一组解。但题目问的是“共有多少组解”，显然不止这一组。那怎么找其他解呢？

关键的一步是对第二个等式进行变形。我们把等式右边的项移到左边：x²y + y²z + z²x - xy² - yz² - zx² = 0。这个式子可以因式分解！这是本题的核心技巧。我教大家一个“笨”办法，但很有效：把它看成关于某个变量（比如 x）的多项式，尝试分组。经过尝试（或者如果你熟悉竞赛公式），它可以分解为 (x-y)(y-z)(z-x)=0。这个分解式非常漂亮，因为它直接告诉我们，x, y, z 中至少有两个数是相等的。

这样一来，问题就大大简化了。我们只需要分情况讨论：

x=y：代入第一个方程，得到 2x + z = 2025。此时 z = 2025 - 2x。因为 x, y, z 都是正整数，所以 x > 0 且 2025 - 2x > 0，解得 1 ≤ x ≤ 1012。注意，当 x=z 时，实际上就归入了 x=y=z 的情况，但我们在 x=y 这个大类下，z 可以取任何满足条件的值，包括等于 x。所以这里一共有 1012 组解 (x 从1取到1012)。
y=z：同理，x + 2y = 2025，x = 2025 - 2y，1 ≤ y ≤ 1012。这又是 1012 组解。
z=x：同理，2z + y = 2025，y = 2025 - 2z，1 ≤ z ≤ 1012。这又是 1012 组解。

是不是直接把三组解的数量加起来 1012*3=3036 就完了？这里有个大坑，就是重复计数。我们上面分了三类，但 x=y=z 这种情况，在每一类里都被包含了（当 x=y 且 z 也等于 x 时）。也就是说，(675,675,675) 这个解，在 x=y、y=z、z=x 三类中各被算了一次，总共被算了3次。但我们只需要它一次。

所以，正确的总数应该是：三类情况解的总和，减去多算的 x=y=z 的解的次数。三类总和是 3036，多算了2次（因为本来只应算1次，实际算了3次）。因此，不重复的解的总数是 3036 - 2 = 3034 组。

这道题给我们的启示是：面对复杂的对称等式，因式分解是破题的关键，而分解后得到的 (x-y)(y-z)(z-x)=0 是这类轮换对称式化简的经典结果，值得记住。分情况讨论后，一定要注意对公共解（完全相等的情况）进行去重，这是组合计数里常见的陷阱。

2. 容斥原理：数数时的“加加减减”

第二题是道典型的计数题：在1到2025这些数里，数出既不是6的倍数，也不是9的倍数的数有多少个。这题考察的是容斥原理，一个非常实用且重要的计数思想。用大白话说就是：算总数的时候，先把两类都加起来，但发现中间有一部分被加了两次（既是6的倍数又是9的倍数），所以要把它减掉一次。

咱们一步步来。首先，1到2025中，6的倍数有多少个？这就是求满足 6k ≤ 2025 的最大整数 k。用2025除以6，商337余3，所以6的倍数有 337 个。同理，9的倍数：2025 ÷ 9 = 225，正好整除，所以有 225 个。

那既是6的倍数又是9的倍数的数，就是6和9的公倍数，也就是最小公倍数的倍数。6和9的最小公倍数是18。18的倍数有多少个？2025 ÷ 18 = 112 余9，所以有 112 个。

根据容斥原理，至少是6或9的倍数的数有：337 + 225 - 112 = 450 个。这一步是核心，很多同学会忘记减掉重叠部分。

题目要求的是“既不是6的倍数，又不是9的倍数的数”，也就是从总数里去掉这450个。总共有2025个数，所以答案是 2025 - 450 = 1575 个。

这道题本身计算不难，但它是容斥原理最基础的“两集合”模型。我建议大家在理解的基础上，可以自己推导一下“三集合”的容斥公式（比如，不是2、3、5的倍数的数有多少个）。它的公式是：A∪B∪C = A+B+C - A∩B - B∩C - C∩A + A∩B∩C。记不住没关系，理解其“加多了就减，减多了再加”的思想更重要。在更复杂的计数问题，比如概率、集合、数论中，容斥原理都是利器。

3. 最值问题与主元思想：谁是“主角”？

第三题看起来是一个关于 x1, x2 的方程，要求 x1² 最大时，|x1+x2| 的值。方程是 x1² - 2x1x2 + 2x2^x = 2。这里有个小笔误，原题应该是 2x2^2，即 x1² - 2x1x2 + 2x2² = 2。这是一个二次型等于常数的方程。

我们的目标是让 x1² 最大。怎么处理两个变量的问题？一个非常有效的策略是主元法：把其中一个变量看成主角（主元），另一个看成参数或配角。既然我们关心 x1²，很自然地把 x1 看成主元，把原方程整理成关于 x1 的二次方程：x1² - 2x2·x1 + (2x2² - 2) = 0。

这个关于 x1 的方程要有实数解，它的判别式必须大于等于0。判别式 Δ = (-2x2)² - 4*1*(2x2²-2) = 4x2² - 8x2² + 8 = 8 - 4x2²。要求 Δ ≥ 0，即 8 - 4x2² ≥ 0，解得 x2² ≤ 2，所以 -√2 ≤ x2 ≤ √2。这个范围对 x2 是一个约束。

现在，在这个约束下，x1² 能取到多大？从方程 x1² - 2x1x2 + 2x2² = 2，我们其实可以解出 x1² 关于 x2 的表达式。但更巧妙的办法是利用判别式法求最值。我们知道，对于这个关于 x1 的二次方程，x1 的两个根（如果存在）的和与积可以用 x2 表示。但直接求 x1² 的最大值，可以尝试将原方程配方。

观察方程：x1² - 2x1x2 + 2x2² = 2，可以尝试配成 (x1 - x2)² + x2² = 2。这个配方非常关键！这样一来，方程变成了 (x1 - x2)² = 2 - x2²。由于左边平方非负，我们再次得到 x2² ≤ 2，和判别式结果一致。

从这个配方形式 (x1 - x2)² + x2² = 2 可以看出，x1² 并不是孤立的。但我们可以用 x2 表示 x1：x1 = x2 ± √(2 - x2²)。那么 x1² = [x2 ± √(2 - x2²)]² = x2² + (2 - x2²) ± 2x2√(2 - x2²) = 2 ± 2x2√(2 - x2²)。

显然，为了让 x1² 最大，我们取加号，并且希望 2x2√(2 - x2²) 这一项尽可能大。这一项的最大值可以用均值不等式或者看成函数求导。令 t = x2，f(t) = 2t√(2-t²)，定义域 t∈[-√2, √2]。求最大值，可以平方后处理：g(t) = f(t)² = 4t²(2-t²) = -4t⁴ + 8t²。这是一个关于 t² 的二次函数，当 t² = 1 时取最大值，即 t = ±1。此时 f(t)的最大值 = 2*1*√(2-1) = 2。

因此，x1² 的最大值 = 2 + 2 = 4。当 x1² 取最大值4时，对应 x2 = ±1。我们取 x2=1 来分析（x2=-1 情况对称）。此时 x1 = 1 ± √(2-1) = 1 ± 1，所以 x1 = 2 或 x1 = 0。对应的 x1² 都是4吗？2²=4，0²=0？等等，这里出问题了。当 x1=0 时，x1²=0，并不是最大值。所以我们只取 x1 = 2 这一支。此时 x1+x2 = 3，绝对值就是3。如果取 x2=-1，则 x1 = -1 ± 1，取 x1 = -2 可得 x1²=4，此时 x1+x2 = -3，绝对值也是3。