《君药：不等式 | L0-L7题根生长式闭环教案 · Schur 不等式与放缩/归纳法》

---

L0-L7 生长脉络表

层次	核心知识	思维跃迁
L0	作差法与因式分解的初步结合	感性认识 → 通过配方、因式分解判断代数式符号
L1	经典恒等式 a³+b³+c³−3abc 的因式分解	结构发现 → 引入 (a+b+c)(a²+b²+c²−ab−bc−ca)
L2	Schur 不等式（r=1 情形）的引入与证明	定理形成 → 用因式分解证明三元三次循环不等式
L3	一般 Schur 不等式（r 次幂形式）及其证明	推广深化 → 掌握 a^r(a−b)(a−c) + … ≥ 0 的结构
L4	放缩法基础（裂项、放大缩小、利用已知不等式）	工具升级 → 学会主动调整式子控制大小
L5	数学归纳法在不等式中的初步应用	方法进阶 → 用归纳法证明与自然数 n 有关的不等式
L6	放缩法与归纳法结合处理复杂不等式	综合运用 → 多步推理，灵活选择工具
L7	IMO 级不等式：Schur、放缩、归纳法的巅峰融合	命题人视角 → 回归本源，跨模块综合

---

L0 题根本源层

• 层级定位：小学高年级～初一，通过作差法判断代数式大小，感受因式分解的威力。
• 核心生长点：从比较两个代数式的大小出发，作差后通过配方或因式分解判断符号。
• 核心知识点：
  1. 作差比较法：要证 A ≥ B，只需证 A−B ≥ 0。
  2. 常用配方技巧：a² + b² − 2ab = (a−b)²。
  3. 简单因式分解：a³ − b³ = (a−b)(a²+ab+b²) 等。
  4. 通过因式分解判断符号（如 a²+ab+b² ≥ 0 对任意实数成立）。

【备课专属】

• 考察本质：符号判断是代数变形的核心，因式分解能将复杂表达式转化为可直观判断的乘积。
• 难度分析：零门槛，但需要熟悉基本公式。
• 命题意图：为后续复杂的因式分解证明作铺垫。
• 葛军风格点拨：证明不等式的根本就是判断差的正负。L0 就是让你学会把差变形成容易看出的形式，比如平方和、非负乘积。

【锚定例题 L0-1】

证明：对任意实数 a,b，有 a² + b² ≥ 2ab。

【锚定例题 L0-2】

证明：对任意正实数 a,b，有 a³ + b³ ≥ a²b + ab²。（提示：作差后因式分解为 (a−b)²(a+b)）

【锚定例题 L0-3】

证明：a² + b² + c² ≥ ab + bc + ca。

---

L1 入门特例层

• 层级定位：初一～初二，学习经典恒等式 a³+b³+c³−3abc 的因式分解，并发现其非负条件。
• 核心生长点：从对称式分解中，发现 (a+b+c)(a²+b²+c²−ab−bc−ca) 的结构，并分析符号。
• 核心知识点：
  1. 恒等式：a³+b³+c³−3abc = (a+b+c)(a²+b²+c²−ab−bc−ca)。
  2. 当 a,b,c 非负时，a+b+c ≥ 0；而 a²+b²+c²−ab−bc−ca = ½[(a−b)²+(b−c)²+(c−a)²] ≥ 0。
  3. 因此，对于非负实数 a,b,c，有 a³+b³+c³ ≥ 3abc。
  4. 等号成立当且仅当 a=b=c。

【备课专属】

• 考察本质：对称式分解揭示了三元立方和的非负性质，这是均值不等式的另一种形式。
• 难度分析：需要记住恒等式，但证明简单。
• 命题意图：为 Schur 不等式的引入提供基础。
• 葛军风格点拨：这个恒等式就像一座桥梁，把立方和与平方和连起来。它告诉我们，三个非负数的立方和至少是它们乘积的三倍。

【锚定例题 L1-1】

因式分解 a³+b³+c³−3abc，并由此证明 a³+b³+c³ ≥ 3abc（a,b,c ≥ 0）。

【锚定例题 L1-2】

已知 a,b,c > 0，且 a+b+c = 1，求 a³+b³+c³ 的最小值。

【锚定例题 L1-3】

证明：若 a,b,c 是三角形的三边长，则 a³+b³+c³+3abc ≥ a²b+ab²+b²c+bc²+c²a+ca²。（提示：移项后用恒等式变形）

---

L2 基础框架层

• 层级定位：初二～高联一试，引入 Schur 不等式（r=1 情形）并给出因式分解证明。
• 核心生长点：从 a³+b³+c³+3abc ≥ a²(b+c)+b²(c+a)+c²(a+b) 出发，发现其等价于 ∑a(a−b)(a−c) ≥ 0。
• 核心知识点：
  1. Schur 不等式（r=1）：对于非负实数 a,b,c，有 a³+b³+c³+3abc ≥ a²(b+c)+b²(c+a)+c²(a+b)。
  2. 等价形式：∑a(a−b)(a−c) ≥ 0。
  3. 证明：不妨设 a ≥ b ≥ c，则左边可整理为 (a−b)[a(a−c)−b(b−c)] + c(a−c)(b−c) ≥ 0，或直接展开配方。
  4. 等号成立当 a=b=c 或两个相等第三个为 0。

【备课专属】

• 考察本质：Schur 不等式是三元对称不等式的典范，它反映了变量差异的累积效应。
• 难度分析：证明需要一定技巧，但应用广泛。
• 命题意图：Schur 是处理三次对称不等式的重要工具，必须掌握。
• 葛军风格点拨：Schur 的形式 ∑a(a−b)(a−c) 像一个“差异检测器”，当 a 最大时，它贡献正；当 a 最小时，它贡献负，但总和非负。这体现了平衡性。

【锚定例题 L2-1】

证明 Schur 不等式（r=1）的等价形式 ∑a(a−b)(a−c) ≥ 0。

【锚定例题 L2-2】

已知 a,b,c ≥ 0，且 a+b+c = 1，求证：a³+b³+c³+6abc ≥ a²+b²+c²。

【锚定例题 L2-3】

设 a,b,c ≥ 0，证明：a³+b³+c³+3abc ≥ a²b+ab²+b²c+bc²+c²a+ca²。

---

L3 核心工具层

• 层级定位：高联一试～二试基础，学习一般形式的 Schur 不等式（r 次幂）及其证明。
• 核心生长点：将指数推广到任意实数 r，得到 ∑a^r(a−b)(a−c) ≥ 0（a,b,c ≥ 0，r 为实数），并理解其应用条件。
• 核心知识点：
  1. 一般 Schur 不等式：对于非负实数 a,b,c 和实数 r，有 ∑a^r(a−b)(a−c) ≥ 0。
  2. 证明思路：排序法，设 a ≥ b ≥ c，则左边 = (a−b)[a^r(a−c)−b^r(b−c)] + c^r(a−c)(b−c) ≥ 0。
  3. 常用特例：r=1（经典 Schur），r=2（∑a²(a−b)(a−c) ≥ 0），r=0（∑(a−b)(a−c) ≥ 0，即 a²+b²+c² ≥ ab+bc+ca）。
  4. 应用：结合均值、柯西等处理复杂不等式。

【备课专属】

• 考察本质：一般 Schur 将指数拓展，使不等式家族更加丰富，可以灵活调整指数以适应不同次数。
• 难度分析：证明基于排序，理解不雅，但应用时需选择合适的 r。
• 命题意图：掌握一般 Schur，可以在竞赛题中灵活构造。
• 葛军风格点拨：Schur 的 r 就像调节旋钮，转得越大，越强调大变量的权重。选择 r 的目标是让整个式子非负，同时与题目中其他项的次数匹配。

【锚定例题 L3-1】

证明：对于非负实数 a,b,c，有 a³(b−c)(b−a) + b³(c−a)(c−b) + c³(a−b)(a−c) ≥ 0。（这是 Schur 的另一种形式？其实是排列，但可转化为标准形式）

其实更直接的例题：

设 a,b,c ≥ 0，求证：a²(a−b)(a−c) + b²(b−c)(b−a) + c²(c−a)(c−b) ≥ 0。

【锚定例题 L3-2】

已知 a,b,c ≥ 0，且 a+b+c = 1，求 a⁴+b⁴+c⁴ 的最小值。（可用 Schur r=2 结合均值）

【锚定例题 L3-3】

证明：对任意 a,b,c ≥ 0，有 ∑(a³+b³−a²b−ab²) ≥ 0。（即 ∑a(a−b)² ≥ 0，是 Schur r=1 的直接推论）

---

L4 高阶方法层

• 层级定位：高联一试～二试，学习放缩法的基础技巧：裂项、放大缩小、用已知不等式替换。
• 核心生长点：从精确证明到近似估计，学会主动放缩式子以简化问题。
• 核心知识点：
  1. 放缩的原则：向已知不等式形式靠拢，保留等号成立条件。
  2. 常用放缩技巧：
     • 裂项：如 1/(n(n+1)) = 1/n − 1/(n+1)。
     • 舍项：a²+1 ≥ 2a。
     • 利用已知不等式替换，如用 a+b ≥ 2√(ab) 将和转化为积。
  3. 放缩的方向：要证明 A ≥ B，若 A ≥ A₁ ≥ … ≥ B，则每一步都要保持 ≥；反之亦然。
  4. 注意放缩不能过度，要确保最终能到达目标。

【备课专属】

• 考察本质：放缩是一种“主动控制”的思维，通过适当放大或缩小，将复杂表达式转化为可处理的形式。
• 难度分析：需要经验判断放缩的幅度是否合适。
• 命题意图：放缩是解决不等式难题的基本功，必须反复练习。
• 葛军风格点拨：放缩就像过河，踩着石头走，每一步都要稳，确保不落水。放得太松，过不去；放得太紧，可能踩空。

【锚定例题 L4-1】

证明：1/1² + 1/2² + … + 1/n² < 2。（提示：用裂项放缩 1/k² < 1/(k(k−1)) = 1/(k−1) − 1/k）

【锚定例题 L4-2】

已知 a,b,c > 0，求证：a/(b+c) + b/(c+a) + c/(a+b) ≥ 3/2。（提示：用柯西或放缩 a/(b+c) ≥ 3a²/(a+b+c)²？需谨慎）

这里选用更直接的放缩例题：

证明：对任意实数 x，有 x² + 1 ≥ 2x，并用此不等式证明：若 a,b > 0，则 a/b + b/a ≥ 2。

【锚定例题 L4-3】

已知 a,b,c > 0，且 a+b+c = 1，求证：√(a) + √(b) + √(c) ≤ √3。（提示：用柯西，或放缩 √a ≤ a + 1/4 等）

---

L5 体系基石层

• 层级定位：高联二试～CMO入门，学习数学归纳法在不等式证明中的初步应用。
• 核心生长点：当不等式涉及自然数 n 时，归纳法提供了一种递推证明的思路。
• 核心知识点：
  1. 数学归纳法的原理：奠基步骤 + 归纳步骤。
  2. 常见类型：与自然数 n 有关的命题，如均值不等式的 n 元情形、数列不等式。
  3. 归纳法中的放缩技巧：在归纳步骤中，往往需要放缩将 n+1 的情形转化为 n 的情形。
  4. 加强命题的技巧：有时直接归纳无法进行，需要先证明更强的结论。

【备课专属】

• 考察本质：归纳法体现了从特殊到一般的推理，是处理无限序列命题的利器。
• 难度分析：需要构造归纳假设，并灵活运用代数变形。
• 命题意图：归纳法是竞赛中的标准方法，必须熟练掌握。
• 葛军风格点拨：归纳法就像爬楼梯，先证明能上第一级，然后证明从第 k 级能上第 k+1 级，这样就能上任何一级。

【锚定例题 L5-1】

用数学归纳法证明：对任意正整数 n，有 1+2+…+n = n(n+1)/2。

【锚定例题 L5-2】

用数学归纳法证明贝努利不等式：对 x > −1 且 n ∈ N⁺，有 (1+x)ⁿ ≥ 1+nx。

【锚定例题 L5-3】

用数学归纳法证明 n 元均值不等式：对于 n 个正数 a₁,…,aₙ，有 (a₁+…+aₙ)/n ≥ ⁿ√(a₁…aₙ)。（提示：先证 n=2，再证由 n 推 2n，最后证由 n 推 n−1）

---

L6 CMO 高阶层

• 层级定位：省赛～CMO难度，放缩法与归纳法结合，处理复杂不等式（如数列不等式、递推不等式）。
• 核心生长点：将归纳法与放缩技巧深度融合，处理与自然数 n 相关的复杂不等式，常常需要先猜想再证明。
• 核心知识点：
  1. 归纳法结合放缩：在归纳步骤中，通过放缩将 n+1 的情形与 n 的情形联系起来。
  2. 双归纳法：对两个变量同时进行归纳。
  3. 反向归纳法：从无穷大往小推（如均值不等式的证明）。
  4. 构造辅助函数或不等式，便于归纳递推。

【备课专属】

• 考察本质：复杂问题的分解与递推，需要洞察问题的内在层次。
• 难度分析：需要较强的综合能力和构造能力。
• 命题意图：训练学生面对多步推理时的耐心和策略。
• 葛军风格点拨：当问题与 n 有关时，归纳法是首选。但有时归纳步骤需要你先猜一个更强的不等式，这就是“加强归纳”。

【锚定例题 L6-1】

数列 {aₙ} 满足 a₁ = 1，a_{n+1} = aₙ + 1/aₙ，证明：对一切 n，有 aₙ ≥ √(2n−1)。

【锚定例题 L6-2】

设 x₁,x₂,…,xₙ ∈ (0,1)，证明： (1−x₁)(1−x₂)…(1−xₙ) ≥ 1 − (x₁+x₂+…+xₙ)。（提示：用归纳法，注意放缩）

【锚定例题 L6-3】

证明：对任意正整数 n，有 1/(n+1) + 1/(n+2) + … + 1/(2n) ≥ 1/2。（提示：用归纳法，或直接放缩）

---

L7 IMO 顶峰层

• 层级定位：IMO难度，Schur 不等式、放缩法、归纳法的巅峰融合，与其他数学分支（代数变形、数论、几何）结合。
• 核心生长点：回归 L0 题根本源，将多种技巧综合运用，解决跨模块的高难度问题。
• 核心知识点：
  1. Schur 不等式与放缩结合：如用 Schur 处理高次项，再用均值放缩。
  2. 归纳法与 Schur 结合：对变元个数进行归纳，利用 Schur 建立递推关系。
  3. 构造法在不等式中的极致应用。
  4. 与数论、几何背景结合的不等式问题。

【备课专属】

• 考察本质：数学工具的融合创新，需要灵活调用知识储备。
• 难度分析：IMO级，需要极高的数学直觉和创造性。
• 命题意图：检验学生是否真正理解各种不等式方法的本质，能否在陌生情境中组合使用。
• 葛军风格点拨：IMO 压轴题中，Schur 可能只是一个引子，真正精彩的是你如何把 Schur 与归纳法、放缩结合起来，一步步逼近目标。

【锚定例题 L7-1】

（IMO 2005 第3题）设 x,y,z 为正实数，且 xyz ≥ 1，证明： (x⁵ - x²)/(x⁵ + y² + z²) + (y⁵ - y²)/(y⁵ + z² + x²) + (z⁵ - z²)/(z⁵ + x² + y²) ≥ 0。

【锚定例题 L7-2】

（IMO 1999 第2题）设 n ≥ 2 是一个整数，求最大的常数 C 使得对所有非负实数 x₁,…,xₙ，有 ∑_{i<j} x_i x_j (x_i² + x_j²) ≤ C (∑ x_i)^4。

【锚定例题 L7-3】

（IMO 2008 第4题）设 x,y,z 是正实数，且 xyz = 1，证明： (x−1)(y−1)(z−1) ≤ 1/2？原题不同，但可改编：求证 ∑ 1/(x+y+1) ≤ 1。

---

【教师专属·命题人视角】真题反向拆解

题目（IMO Shortlist 2005 A2）：设 a,b,c 是正实数，证明： (a³+b³+c³)/(abc) ≥ (a+b+c)(1/a + 1/b + 1/c) − 6。

反向拆解生长路径：

• L7（原题）：涉及分式、立方和，需证明一个较强的不等式。
• L6：两边乘以 abc，得到 a³+b³+c³ ≥ abc[(a+b+c)(1/a+1/b+1/c) − 6] = (a+b+c)(ab+bc+ca) − 6abc。
• L5：移项得 a³+b³+c³+6abc ≥ (a+b+c)(ab+bc+ca)。右边是三元对称式，左边是 Schur 不等式 r=1 加上一些项？注意 Schur r=1 是 a³+b³+c³+3abc ≥ ∑a²(b+c)。而 ∑a²(b+c) = (a+b+c)(ab+bc+ca) − 3abc。所以 Schur 给出 a³+b³+c³+3abc ≥ (a+b+c)(ab+bc+ca) − 3abc，即 a³+b³+c³+6abc ≥ (a+b+c)(ab+bc+ca)。这正是要证的！
• L4：所以原不等式等价于 Schur r=1。
• L3-L2：Schur 的证明已在前面掌握。
• L1-L0：最终回到作差因式分解。

生长逻辑提炼： 这道题看似复杂，实则是 Schur 不等式的直接应用。命题人将 Schur 右边用恒等式变形，隐藏了原始形式，考察学生能否识别出 Schur 的结构。教学中要引导学生看到 (a+b+c)(ab+bc+ca) 与 ∑a²(b+c) 的关系。

---

【全体系闭环总结】

本体系实现 L0-L7 Schur 不等式与放缩/归纳法无跳跃生长，全程唯一题根：作差法与因式分解判断符号。

生长路径： L0 作差法与因式分解 → L1 恒等式 a³+b³+c³−3abc → L2 Schur r=1 → L3 一般 Schur → L4 放缩法基础 → L5 数学归纳法基础 → L6 放缩与归纳结合 → L7 IMO 级综合

与后续体系衔接：

• Schur 为高次对称不等式提供工具
• 放缩法为数列不等式、极限证明奠基
• 归纳法为组合数论、递归序列问题提供通用方法

无遗漏、无冗余、完全闭环。