️ 点击打开:互动寻宝沙盒 (vecten.html)
校园寻宝记:永不移动的宝藏
神秘的藏宝图规则:
蒙面大侠在校园里埋下了一批宝藏,位置与操场上的老树 (A)、一号教学楼 (B) 和 二号教学楼 (C) 有关。寻宝规则如下:
1. 寻宝者站在老树 (A) 下,面朝一号教学楼 (B) 笔直走去。到达后,向左转 90 度,再往前走相同的距离,插上一面蓝旗,记为点 D。
2. 寻宝者回到老树 (A),面朝二号教学楼 (C) 笔直走去。到达后,向右转 90 度,再往前走相同的距离,插上第二面蓝旗,记为点 F。
3. 宝藏 M 就埋在两面蓝旗 D 和 F 的正中间!
图 1:蒙面大侠的寻宝地图与标记点
这个充满趣味的寻宝故事,其背后隐藏着中世纪到 19 世纪欧洲几何学中极为优美的构型。在几何学上,这相当于向 $\Delta ABC$ 的外侧作两个正方形,从而引出了著名的外契罗定理 (Vecten's Theorem) 的前置引理。
一、直觉的盲区
绝大多数人看到这张藏宝图的第一反应是:宝藏的位置是由老树 (A) 和两栋教学楼共同决定的。如果有一天,这棵老树被移走或者砍伐了,找不到初始起点的寻宝者,是不是就永远错失宝藏了?
常理告诉我们,起点的变动必然导致终点的变动。但这真的是几何世界的真理吗?
二、代数的魔法:见证老树的“消失”
让我们请出复数(向量)这个强大的数学工具,来进行一次降维打击。在复平面上,向左或向右转 90 度,等价于乘以虚数单位 \( i \)(逆时针)或 \( -i \)(顺时针)。
假设老树 A、教学楼 B 和 C 的位置向量分别为 \( \vec{A}, \vec{B}, \vec{C} \):
既然宝藏 M 是 D 和 F 的中点,我们把它们加起来除以 2:
\[ \vec{M} = \frac{\vec{D} + \vec{F}}{2} \]
\[ \;\;\;\; = \frac{\vec{B} + \vec{C} + i\vec{B} - i\vec{A} - i\vec{C} + i\vec{A}}{2} \]
注意看!公式中的 \( -i\vec{A} \) 和 \( +i\vec{A} \) 发生了什么?它们奇迹般地抵消了!整理后得到:
\[ \vec{M} = \frac{\vec{B} + \vec{C}}{2} + i \frac{\vec{B} - \vec{C}}{2} \]
惊人的结论:宝藏 M 的位置绝对固定在教学楼 B 和 C 连线的中垂线上,且与老树 A 的位置毫无关系!
几何之美:
只要两栋教学楼还在,无论老树长在操场的哪个角落,宝藏 M 都永远纹丝不动地停在那个等腰直角三角形的顶点上。这就是数学中“变中之不变”的极致浪漫。