一道神奇的几何题

Description

如图，$\text{ABCD}$ 为正方形。在正方形内部取一点 $\text{E}$ 使 $\text{AD}=\text{AE}$。延长 $\text{DE}$ 于 $\text{F}$ 使 $\text{BF}\perp \text{DF}$。

若 $\text{AF+CF}=6\sqrt{7}$，求 $\text{DF}$。

Solution

Part 1: 证明 $\text{DE}=\sqrt{2}\text{CF}$

如图，将 $△\text{CFB}$ 旋转至 $△\text{DPC}$，连 $\text{PE}$ 与 $\text{EB}$。

不难得到，$△\text{EFB}$ 是等腰直角三角形且 $\angle \text{EFB}=90°$，于是 $\text{EF}=\text{FB}=\text{PC}$。

容易证出，$\angle \text{PCB}=\angle \text{COF}$，又因为 $\text{PC}=\text{EF}$，所以 $\text{PEFC}$ 是平行四边形，于是 $\text{DP}=\text{PE}$。

不难得到 $\text{PED}=45°$，于是 $\text{DPE}$ 时等腰直角三角形，从而 $\text{DE}=\sqrt{2}\text{PE}=\sqrt{2}CF$。

证毕。

Part 2: 证明 $\text{AF+CF}=\sqrt{2}DF$

Part 2.1: 推式子

$$\begin{gathered} \text{AF+CF}=\sqrt{2}DF \\ \text{AP}+\frac{\sqrt{2}}{2}\text{FB}+\text{CF}=\sqrt{2}(\sqrt{2}\text{CF}+\text{FB}) \\ \text{AP}=\text{CF}+\frac{\sqrt{2}}{2}\text{FB} \\ \text{AP}=\text{CF}+\text{FP} \end{gathered}$$

现在，我们只需要证明 $\text{AP}=\text{CF}+\text{FP}$。

Part 2.2: 构造等腰三角形

如图，以 $\text{E}$ 为圆心，$\text{EF}$ 为半径画圆，交 $\text{AF}$ 于 $\text{Q}$, $\text{R}$。

现在，只需证明 $\text{AQ}=\text{CF}$，即 $\sqrt{2}\text{AQ}=\text{DE}$。

Part 2.3: 抽出主要部分，构造平行四边形

如图，已知 $\text{AD}=\text{AE}$，且 $\angle \text{DEQ}=90°$，$\angle \text{AQE}=135°$，需要证明 $\text{DE}=\sqrt{2}\text{AQ}$。

我们以 $\text{AQ,AD}$ 为邻边构造平行四边形 $\text{AQGD}$，并连 $\text{GE}$。

由于 $\text{AD}=\text{GQ}$，所以 $\text{AE}=\text{GQ}$。从而，再通过角度的转换，不难证出 $△\text{AQE}$ 与 $△\text{GEQ}$ 全等。

从而，不难得到，$△\text{DGE}$ 为等腰直角三角形，则 $\text{DE}=\sqrt{2}\text{AQ}$。

Part 3: 最后的计算

由于 $\text{AF}+\text{CF}=6\sqrt{7}$，所以 $\text{DF}=\frac{6\sqrt{7}}{\sqrt{2}}=3\sqrt{14}$。

本题被解决。