第三周·周一 | 万物起源：为什么光总是走直线？

核心主题

几何两点之间距离最短的物理实在——费马原理与空间最值。

💡 今日视界：大自然是个“省时狂魔”

欢迎来到第三周的思维旅程！在上周，我们在纯代数的密室里玩转了分式的“裂变与聚变”，见证了方程组是如何给多项式进行完美对齐与解构的。这周，我们将推开大门，让目光重新投向广阔的几何与物理世界，去触碰一种硬性锁死空间秩序的底层逻辑——不等式约束与最值。

从小学开始，老师和课本就告诉我们一条金科玉律：“两点之间，线段最短。”你有没有想过，这个看似理所当然、甚至像直觉一样的结论，为什么会成为我们这个宇宙的铁律？

我们来看一个最常见的物理现象：光。在漆黑的夜里打开手电筒，射出的光束总是笔直的。十七世纪的物理学家费马提取出了这背后的核心数学结构，提出了著名的“费马原理”：光在两点之间传播时，永远会选择耗时最短的路径。在均匀的介质（比如空气）中，由于光速是恒定的，耗时最短就意味着距离最短。因此，光之所以走直线，本质上是大自然在遵循几何中最基础的不变量——最短距离。

不仅如此，当光线射向一面镜子发生反射时，它依然在疯狂地“省时”。古希腊数学家海伦仅用了一个极简单的几何对称结构，就证明了：光发生反射时，“入射角等于反射角”的路线，恰好是所有可能路线中总长度最短的那一条！大自然在没有意识的情况下，每一次释放能量，竟然都能精准地踩在几何的最值点上。宇宙无形中像一个精密的账本，无时无刻不在用不等式的边界控制着造物的成本。

❓ 开放性思考题

既然光是这个宇宙中最高明的“几何解题家”，总是挑选最短、最快的直线前进。那么当它从空气斜射入水中时，为什么路线突然变弯了（发生折射现象）？它是不再听大自然的话了吗，还是说在空气和水这两种不同的传播速度下，弯曲的折线反而隐藏着另一种更震撼的“耗时最短”结构？

(提示：可以想象一个经典的救援场景：救援人员在沙滩上，落水者在海里。救援人员在沙滩上的奔跑速度远快于在水里的游泳速度。为了用最快的时间游到落水者身边 civilization，他应该走直线，还是先在沙滩上多跑一段路，再切入海中？)

⚔️ 巅峰对决：数学挑战难题

既然我们已经洞察了“线段最短”在物理世界中的投影，今天这两道精选的数学难题将带你摘下代数的符号面具，利用纯粹的空间几何直觉，去完成不可思议的降维打击！

攀登题：数轴上的“多点折返跑”

已知 $x$ 为任意实数，请在草稿纸上画出数轴，利用数轴上两点间距离的几何意义，求代数式 $A = |x - 1| + |x - 2| + |x - 3| + |x - 4|$ 的绝对最小值。

答案与解析

【答案】 > $A$ 的极小值为 4。

【解析】

如果盲目地分段讨论这个带有四个绝对值的代数式，计算会非常冗长。我们要学会摘下代数的面具，看清几何的本质。在数轴上， $|x - a|$ 本质上代表的就是未知数 $x$ 对应的点到常数 $a$ 对应的点之间的距离。

我们可以把原式分成两组彼此对偶的对称结构来观察：

$A = \big(|x - 1| + |x - 4|\big) + \big(|x - 2| + |x - 3|\big)$

第一组 $|x - 1| + |x - 4|$ ： 代表数轴上的点 $x$ 到 1 和 4 的距离之和。根据“两点之间线段最短”，当点 $x$ 落在 1 和 4 之间（即 $1 \le x \le 4$ ）时，这两段距离之和刚好等于整个线段的长度： $4 - 1 = 3$ ；如果 $x$ 跑到 1 的左边或 4 的右边，距离之和必然大于 3。
第二组 $|x - 2| + |x - 3|$ ： 同理，代表点 $x$ 到 2 和 3 的距离之和。当点 $x$ 落在 2 和 3 之间（即 $2 \le x \le 3$ ）时，这两段距离之和达到极小值，刚好等于线段长度： $3 - 2 = 1$ 。

为了让两组同时达到极小值，点 $x$ 的活动范围必须同时满足两者的交集。显然，区间 $2 \le x \le 3$ 完美被包裹在 $1 \le x \le 4$ 内部。

因此，当 $2 \le x \le 3$ 时，两组约束同时达到完美闭环：

$A_{\min} = 3 + 1 = 4$

🌟 小数学家点评： > 代数符号的咆哮在数轴的几何直觉面前瞬间平息。把绝对值化为多段线段的重叠与拼凑，这就是空间最值的经典应用。

冲顶题：多维迷宫中的“绝对坍缩”

已知 $x$ 和 $y$ 为任意实数，请展现你高超的代数结构掌控力与不等式缩放直觉，求代数式 $M = |x - 1| + |y - 2| + |x + y - 5|$ 的绝对最小值。

答案与解析

【答案】 > $M$ 的绝对最小值为 2。

【解析】

这是一个包含两个未知数、三个绝对值的庞大式子。如果我们试图在二维平面上画图，会由于缺乏解析几何工具而陷入困境。然而，只要我们从大自然“整体消元”的对偶视角出发，就能利用绝对值三角不等式 $|a| + |b| \ge |a + b|$ 实现一击必杀。

第一步：结构调整，制造对消

绝对值内部的负号不影响其大小，即 $|a| = |-a|$ 。我们保持前两项不变，将第三项内部的式子整体颠倒，使其暴露出与前两项互补的符号结构：

$M = |x - 1| + |y - 2| + |5 - x - y|$

第二步：施展代数多维缩放

经典的不等式法则告诉我们：几个绝对值分别相加，必然大于或等于它们内部表达式直接相加后的总绝对值。也就是说：

$|a| + |b| + |c| \ge |a + b + c|$

我们将 $a = x - 1$ , $b = y - 2$ , $c = 5 - x - y$ 整体代入这一结构中：

$M \ge |(x - 1) + (y - 2) + (5 - x - y)|$

仔细观察括号内部的整式加减法：

$x$ 与 $-x$ 完美抵消！ $y$ 与 $-y$ 完美抵消！

内部坍缩为纯数字： $-1 - 2 + 5 = 2$ 。

从而我们极其优雅地逼近了边界：

$M \ge |2| = 2$

第三步：检验等号成立的生存空间

只有当等号能够成立时，2 才是真正的最小值。根据绝对值不等式的性质，要让各个项相加不产生方向上的对消，这三个表达式必须同号（或为0）。

既然它们的代数总和是 2（正数），那么唯一的可能就是它们同时大于或等于 0：

$\begin{cases} x - 1 \ge 0 \implies x \ge 1 \\ y - 2 \ge 0 \implies y \ge 2 \\ 5 - x - y \ge 0 \implies x + y \le 5 \end{cases}$

这个不等式组显然有解，例如当 $x = 1, y = 2$ 时（此时 $x+y=3 \le 5$ ），我们代回原式验证：

$M = |1 - 1| + |2 - 2| + |1 + 2 - 5| = 0 + 0 + |-2| = 2$

边界成功触碰，极小值锁定为 2。

🌟 小数学家点评： > 看起来是两个变量在多维迷宫里乱晃，但通过绝对值不等式的桥梁，未知数在相加的那一瞬间发生了毁灭性的整体对消。这就是利用结构法则战胜暴力的美学高光！