如何处理难题？——六步解题法

数学推导：b₁ = 1；bₙ₊₁ = bₙ + 2，故 {bₙ} 是首项 1、公差 2 的等差数列，bₙ = 1 + 2(n−1) = 2n − 1，所以 aₙ = 1/(2n − 1)。为什么还要归纳验证？通项是"猜"出来的，验证 n = 1 成立、假设 n = k 成立推出 n = k+1 成立，才能确认它对一切 n 都对。n = 1 时 a₁ = 1 成立；设 aₖ = 1/(2k−1)，则 aₖ₊₁ = [1/(2k−1)] / [1 + 2/(2k−1)] = 1/(2k+1)，对一切 n 成立。

数学推导：① x < −1：(2−x) + (−x−1) > 5 → −2x + 1 > 5 → x < −2，与 x < −1 交集为 x < −2；② −1 ≤ x ≤ 2：(2−x) + (x+1) = 3，3 > 5 不成立，无解；③ x > 2：(x−2) + (x+1) = 2x − 1 > 5 → x > 3，与 x > 2 交集为 x > 3。为什么最后要取三段解集的并集？三段把全体实数划成了互不重叠的三份，每一段内解出的 x 都是原不等式的解，任何满足条件的 x 必落在其中一段，所以三段结果合起来（并集）就是完整解集。三段并集即解集。

数学推导：方法一（三元均值）：1/a + 1/b + 1/c ≥ 3∛(1/(abc))；又 abc ≤ ((a+b+c)/3)³ = (1/3)³ = 1/27，故 1/(abc) ≥ 27，于是 1/a + 1/b + 1/c ≥ 3∛27 = 9。方法二（配凑）：(a+b+c)(1/a+1/b+1/c) = 3 + (a/b + b/a) + (a/c + c/a) + (b/c + c/b) ≥ 3 + 2 + 2 + 2 = 9（每组 x + 1/x ≥ 2），而 a+b+c = 1，故 1/a+1/b+1/c ≥ 9。为什么取等条件是 a = b = c = 1/3？方法一取等要求两处同时成立：abc 达到最大值（a = b = c）且 1/a = 1/b = 1/c（也即 a = b = c），由和为 1 得 a = b = c = 1/3；方法二要求 a/b = b/a、a/c = c/a、b/c = c/b，同样推出 a = b = c = 1/3——两法取等条件一致。

数学推导：由 p² = 3q²，得 3 | p²；因 3 是质数，由整除性质得 3 | p，设 p = 3k，则 9k² = 3q² → q² = 3k²，同理 3 | q。为什么由 3 | p² 就能推出 3 | p？3 是质数：若 p 不含因子 3，则 p² 也不可能含因子 3（质因子只能来自 p 本身）。把 3 换成合数 4 就不行（2² 含 4 的因子 4？不，2²=4 恰被 4 整除，但 2 不被 4 整除）——所以"质数"这个条件是整条推理的命根子。于是 p, q 有公因数 3，与 (p, q) = 1 矛盾。假设不成立。

数学推导：由 (t−1)² = a+1 得 t = 1 ± √(a+1)。① a < −1：无实数 t，实根 0 个；② a = −1：t = 1（二重），x = ±1，实根 2 个；③ −1 < a < 0：t₁ = 1−√(a+1) ∈ (0,1)、t₂ = 1+√(a+1) ∈ (1,2)，均正且不同，各对应两个 x，实根 4 个；④ a = 0：t = 0 与 t = 2，对应 x = 0、x = ±2，实根 3 个；⑤ a > 0：仅 t = 1+√(a+1) > 0（另一个为负舍去），实根 2 个。

数学推导：可行取法：① (k₁,k₂,k₃) = (2,1,1)：C(2,2)·C(2,1)·C(2,1) = 4 组；② (0,2,2)：C(2,0)·C(2,2)·C(2,2) = 1 组；其余取法（如 (2,2,0)、(2,0,2)、(1,1,2)、(1,2,1) 等）余数和均不为 0，舍去。为什么每组数字组合都要乘 4!？同一组 4 个数字可以排成 4! 种不同顺序的四位数，而这些四位数数字和相同，都能被 3 整除——"选数字"决定能否整除，"排顺序"决定有多少个。共 5 组数字组合，每组 4! = 24 种排列，总数为 5 × 24 = 120。

数学推导：① 有界性（归纳）：a₁ = 2 > 0；若 aₙ > 0，aₙ₊₁ = (aₙ + 2/aₙ)/2 ≥ √(aₙ·2/aₙ) = √2，故 n ≥ 2 时 aₙ ≥ √2。为什么用均值不等式来证有界？递推式恰好是 (aₙ + 2/aₙ)/2 的形式，而"两正数和的算术平均 ≥ 几何平均"立即可给出 aₙ₊₁ ≥ √2——下界一次到位，不用猜。② 单调性：aₙ₊₁ − aₙ = (2 − aₙ²)/(2aₙ) ≤ 0（因 aₙ ≥ √2），故 n ≥ 2 时 {aₙ} 单调递减且有下界 √2，收敛。③ 设 lim aₙ = L ≥ √2，对递推式取极限：L = (L + 2/L)/2 → L² = 2 → L = √2。

数学推导：方法一（三角换元）：2x + y = 4cosθ + 2sinθ = √(4²+2²)·sin(θ + φ) = 2√5·sin(θ + φ)，故最大值为 2√5、最小值为 −2√5。方法二（几何）：直线 2x + y = c 与圆 x² + y² = 4 相切时，圆心 (0, 0) 到直线的距离等于半径 2：|c|/√(2²+1²) = 2 → |c| = 2√5，即 c = ±2√5。为什么两种方法结果一致？换元法里 sin(θ + φ) = ±1 时取极值，几何法里直线与圆相切时取极值——两种"临界状态"描述的是同一件事：2x + y 恰好抵到约束的边界。殊途同归，正好互相印证。

数学推导：g(x) = x + 1/x，对 x ≥ 1 有 g'(x) = 1 − 1/x² ≥ 0，故 g 在 [1, 2] 上递增，min = g(1) = 2。所以 a < 2。检验 a = 2：原式化为 x² − 2x + 1 = (x−1)²，在 x = 1 处等于 0，不满足 > 0，故排除 a = 2。

数学推导：2023 = 1 + 2×1011 → f(2023) = f(1) = 2；2024 = 0 + 2×1012 → f(2024) = f(0)。又因 f 是定义在 R 上的奇函数，f(0) = −f(0) → f(0) = 0。为什么奇函数一定有 f(0) = 0？在 f(−x) = −f(x) 中代入 x = 0：f(0) = −f(0)，移项得 2f(0) = 0，所以 f(0) = 0——这是奇函数"送"的免费信息。故 f(2023) + f(2024) = 2 + 0 = 2。

数学推导：y = t + 3/t + 2 ≥ 2√(t·3/t) + 2 = 2 + 2√3；当 t = √3，即 x = 1 + √3 时取等。另一方法（判别式）：y(x−1) = x²+2 → x² − yx + (y+2) = 0 有实数根，Δ = y² − 4(y+2) ≥ 0 → y ≥ 2+2√3 或 y ≤ 2−2√3（负值舍去），与均值法一致。为什么判别式法也能求最值？把 y 当参数、x 当未知数：函数能取到某值 y ⟺ 方程有实数解 ⟺ 判别式 ≥ 0。Δ ≥ 0 解出的 y 范围就是值域，下界即最小值——"最值问题"被翻译成"方程有解问题"。

数学推导：f(1) = 2；第 k 条直线新增 k 段 → 新增 k 个区域，故 f(k) = f(k−1) + k。累加：f(n) = f(1) + (2 + 3 + … + n) = 2 + (n−1)(n+2)/2 = n(n+1)/2 + 1。检验：n = 2 得 4（两相交直线分 4 区 ✓）；n = 3 得 7（三条两两相交不共点直线分 7 区 ✓）。