几何动点 · 面积割补 / 一元二次方程判别式

探照灯全景探秘：从几何旋转到一元二次方程的极值建模

        简介：正方形内一个固定 $45^\circ$ 角的“探照灯”扫射，不仅是一个经典的光影几何模型，更是展现代数与几何完美结合的绝佳舞台。

        在本次实验室探究中，我们将固定正方形边长为 4，突破传统的三角函数与基本不等式限制，引入严谨的代数视角：利用线段的物理存在性构造一元二次方程，并通过判别式 $\Delta \ge 0$ 的思想，跨维解开线段与面积的极值之谜。

1. 题目一：最短“警戒线”与判别式 $\Delta$ 的降维打击

已知：在边长为 $4$ 的正方形 $ABCD$ 中，点 $E$、$F$ 分别在边 $BC$、$CD$ 上运动，且始终保持 $\angle EAF = 45^\circ$。求线段 $EF$ 长度的取值范围。

在这个问题中，我们要将几何的动点变化转化为代数方程。通过将 $\triangle ABE$ 绕点 $A$ 旋转 $90^\circ$（截长补短法），极易证明 $\triangle AEF$ 与旋转后的三角形全等，从而获得核心的“线段等量替换”法则：$EF = BE + DF$。

代数方程的建立： 设线段 $EF = b$，动点引发的变量 $BE = x$。则 $DF = b - x$。 在 Rt$\triangle ECF$ 中，直角边分别为 $CE = 4 - x$，且 $CF = 4 - (b - x) = 4 - b + x$。 根据勾股定理 $EF^2 = CE^2 + CF^2$，代入可得： $$ b^2 = (4-x)^2 + (4-b+x)^2 $$ 将方程展开、合并同类项并整理，奇迹般地得到了一个关于 $x$ 的一元二次方程： $$ x^2 - bx + 16 - 4b = 0 $$

判别式出场：线段存在即实根存在！
因为点 $E$ 在边 $BC$ 上运动，意味着线段 $BE$ 必须在物理现实中存在，即未知数 $x$ 必然有实数解。这要求该方程的判别式 $\Delta \ge 0$： $$ \Delta = (-b)^2 - 4 \cdot 1 \cdot (16 - 4b) \ge 0 $$ 展开得 $b^2 + 16b - 64 \ge 0$。解这个关于 $b$ 的不等式（取正数解），立刻得到 $\mathbf{b \ge 8\sqrt{2} - 8}$。结合动点运动到顶点的边界情况 ($EF \le 4$)，我们干脆利落地得出了最短警戒线的范围：$[8\sqrt{2}-8, 4]$。

2. 题目二：面积割补与绝妙的线性反比律

已知：同上设定，试求未被光束照射到的区域（即四边形 $AECF$）面积的取值范围。

几何的魅力在于全局的守恒。四边形 $AECF$ 可以看作是正方形总面积，去除了两个角落的直角三角形（$\triangle ABE$ 和 $\triangle ADF$）。

消元与线性同构： 代数化简过程：
$S_{AECF} = S_{ABCD} - S_{\triangle ABE} - S_{\triangle ADF}$
$S_{AECF} = 16 - \frac{1}{2} \cdot 4 \cdot x - \frac{1}{2} \cdot 4 \cdot (b-x)$ 继续化简：$S_{AECF} = 16 - 2x - 2b + 2x = \mathbf{16 - 2b}$。

看！中间极其复杂的动点变量 $x$ 竟然在计算中完全抵消了。这揭示了一个绝美的数学真相：四边形 $AECF$ 的面积仅仅受到“警戒线” $EF$ 长度（即 $b$）的线性控制，并且成反比。

直接代入题目一求得的 $b$ 的极值：
当 $b$ 最小（探照灯居中照射）时，面积最大：$S_{max} = 16 - 2(8\sqrt{2}-8) = \mathbf{32 - 16\sqrt{2}}$。
当 $b = 4$（探照灯照向死角）时，面积最小：$S_{min} = 16 - 2(4) = \mathbf{8}$。

        🎮 互动探索：联动数形，洞察极值

        在我们的 GeoGebra 动态沙盘中，你可以拖动滑块改变探照灯的角度。仔细观察随着点 E、F 的移动，侧边栏中一元二次方程的判别式 $\Delta$ 是如何逼近于 0 的。当你看到 $\Delta$ 数值闪烁归零的那一瞬间，正是几何图形取得最值的绝妙时刻。