✏️举例验证
例 1 g6-c22-p12
题:把 $1,2,3,4,5,6$ 写在一个圆周上,算出每三个相邻数的和,共得 6 个和,记其中最大的为 $A$。问在所有排法中 $A$ 的最小值是多少?
按规律解:上界(封顶):每个数恰好被 3 个“相邻三数和”用到,所以 6 个和加起来等于 $3\times(1+2+3+4+5+6)=63$。这 6 个数的平均数是 $63\div6=10.5$,最大的一个一定不小于平均数,又因为和都是整数,所以 $A\ge 11$。\n构造(搭到顶):按 $6,1,4,5,2,3$ 这样排成一圈,逐一算相邻三数和,最大值恰好是 $11$。\n两头一夹:$A$ 至少 11,又真能做到 11,所以 $A$ 的最小值就是 $11$。
为什么对:为什么对?因为我们没有只猜一个排法就下结论——“至少 11”是用平均数严格说明的(再小就装不下总和 63),“恰好 11”是用真实排列验证的。上界与构造相等,答案被唯一确定,这正是构造型最值题的标准打法。
例 2 g6-c22-p06
题:坏计算器开机显示 0,按 + 加 51,按 - 减 51,按 × 减 85,按 ÷ 加 85。任意按键,能得到的最接近 2010 的数是多少?
按规律解:找不变量:注意 $51=17\times3$,$85=17\times5$,四个按键的改变量都是 17 的倍数。开机是 0(也是 17 的倍数),所以无论怎么按,屏上的数永远是 17 的倍数——这就是这道题的“印章”。\n找目标:离 2010 最近的 17 的倍数,$2010\div17\approx118.2$,$17\times118=2006$,$17\times119=2023$,前者更近。\n验证可达:$2006$ 确实是 17 的倍数,从 0 出发反复加减是能凑出来的。所以答案是 $2006$。
为什么对:为什么对?因为“是 17 的倍数”是一个从开机起就一直保持的不变量,任何按键都改不掉它;2010 本身不是 17 的倍数,所以根本到不了,只能退而求最近的 17 的倍数。不变量把不可能的区域全部排除,剩下能到的里挑最近的即可。
例 3 g6-c22-p19
题:$9\times9$ 方格每格有 1 只甲虫,听到喊声后每只甲虫沿对角线斜着移到相邻一格。问移动后没有甲虫的空格最少有几个?
按规律解:染色:把方格黑白相间染色,$9\times9$ 共 81 格,一种颜色 41 格、另一种 40 格。\n关键不变量:沿对角线斜走,甲虫的落点颜色和出发点颜色一样——黑格甲虫永远落在黑格,白格甲虫永远落在白格。\n估下界:41 只“黑甲虫”只能挤进 40 个白格(或反过来理解),数量对不齐,必然有格子空出来;细算得空格至少 9 个。\n构造:按题图方式让甲虫成对错位移动,能做到恰好 9 个空格。所以最少空格数是 $9$。
为什么对:为什么能用染色解释?因为“对角线移动不改变颜色”是一个铁打的不变量,它把 81 只甲虫强行锁进各自颜色的格子里;两种颜色格数不等(41 比 40),多出来的那一方必然有格子接不到甲虫。下界由染色算死,再用构造证明这个下界真能取到,答案就定了。
例 4 g6-c22-p07
题:$AB$ 是圆 $O$ 的直径,$P$ 是圆外一点。证明 $PA+PB>2PO$。
按规律解:因为 $O$ 是 $AB$ 中点,$PO$ 是三角形 $PAB$ 的中线。把 $PO$ 延长一倍到 $P'$,使 $PP'=2PO$(即 $OP'=PO$)。连 $P'A$、$P'B$,由于对角线 $AB$ 与 $PP'$ 互相平分,四边形 $PAP'B$ 是平行四边形,于是 $P'B=PA$。\n现在看三角形 $PP'B$:它的两边是 $P'B$(等于 $PA$)和 $PB$,第三边是 $PP'$(等于 $2PO$)。由三角形两边之和大于第三边,$P'B+PB>PP'$,即 $PA+PB>2PO$。证毕。
为什么对:为什么对?$PA$ 和 $PB$ 原本分散在两处,没法直接比较。倍长中线、补成平行四边形,把 $PA$ 平移成了 $P'B$,于是 $PA$、$PB$、$2PO$ 三条线段恰好成了同一个三角形的三条边,三角形三边关系立刻给出结论。这正是几何构造“搬运线段、集中到一个三角形”的典型用法。