矩形辅助线 · 证明 CF = 2EB

题目

矩形 $ABCD$，点 $E$ 在 $AB$ 上，$F$ 在 $CE$ 上，满足

求证：$CF = 2\,EB$.

上面 10 个步骤已经把完整证明走了一遍 —— 角度追踪（拆成 4 个子步骤）、等腰发现、构造、SAS 全等、最后的代数收尾。下面只补一句话：这条辅助线为什么是它。

顿悟时刻：辅助线为什么是它

证明里最让人困惑的不是每一步，而是 “为什么想到延长 $AB$ 让 $BG = EB$“。答案是：被目标倒逼出来的。

把目标 $CF = 2EB$ 结合已证的 $EF = AE$ 做几次代数等价：

注意 $AE + EB = AB$，所以 $AE + 2EB = AB + EB$，目标变成：

当目标长成 $CE = AB + EB$ 这种 “长 = 两段之和” 的形态，几何直觉立刻提示：把 $AB$ 和 $EB$ 在物理上拼成一条线段 —— 也就是延长 $AB$ 让 $BG = EB$。问题瞬间塌缩成证明 $AG = CE$ 的”长度搬运”，而长度搬运的最自然工具就是等腰三角形 —— 这就是 $\triangle AGC$ 出现的全部动机。

更深一层：在矩形里”延长 $AB$ 让 $BG = EB$” 本质上是把 $\text{Rt}\triangle EBC$ 沿 $BC$ 翻折到 $\text{Rt}\triangle GBC$。直角矩形 + 翻折 = 把分散的线段一次性塞进同一个等腰三角形，这是平面几何最强的拓扑变形。

一类辅助线的通用思路

这种”延长一段 + 翻折”是平面几何的一类基本范式。识别它的特征：

• 目标式形如 $a = 2b$、$a = b + c$、$a + b = c$ 等”拼接”等式 → 把短的拼到长的上
• 三角形里的中线/角平分线/高 → 经常”加倍延长”或”反向作等长”造全等
• 题目里有直角 → 几乎总有”翻折”或”绕直角顶点旋转”的隐藏对称

判断要不要画辅助线的关键：把目标式做几次代数变形，看长度关系像不像”拼接”或”折叠”。如果像，辅助线就呼之欲出。