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

题目

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

\angle FAC = \angle ECB, \qquad \angle DCA = \angle DAF.

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

步骤 0 / 10

绿 = x 紫 = y 朱砂 = 90°−y 金 = 90°−x x = 2y−90°（矩形约束）

EB ≈ 1.1667 CF ≈ 2.3333 CF ÷ EB = 2.0000 AE = EF ≈ 1.8333

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

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

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

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

CF = 2EB \iff CE - EF = 2EB \iff CE - AE = 2EB \iff CE = AE + EB + EB.

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

CE \;=\; 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$ 等”拼接”等式 → 把短的拼到长的上
三角形里的中线/角平分线/高 → 经常”加倍延长”或”反向作等长”造全等
题目里有直角 → 几乎总有”翻折”或”绕直角顶点旋转”的隐藏对称

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