几何证明问询：给定三角形构造下证明D、E、F三点共线

设△ABC为满足AB≠AC的三角形。点E满足AE=BE且BE⊥BC；点F满足AF=CF且CF⊥BC；点D为直线BC上满足AD与△ABC外接圆相切的点。求证：D、E、F三点共线。

我推荐用坐标几何法来解决这个问题，步骤清晰且容易验证：

步骤1：建立平面直角坐标系 #

为简化计算，我们把BC边放在x轴上：

• 设点B坐标为 (-b, 0)，点C坐标为 (c, 0)（其中b、c均为正数）
• 设点A坐标为 (p, q)（q≠0，保证△ABC是有效三角形）

步骤2：求解点E的坐标 #

已知BE⊥BC，BC在x轴上，因此BE是垂直于x轴的直线，E点横坐标与B相同，为 -b。设E点坐标为 (-b, e)，结合条件AE=BE，用距离公式列方程：

√[(p + b)² + (q - e)²] = √[(e - 0)²]

两边平方后化简，可解得：

e = [(p + b)² + q²]/(2q)

因此E点坐标为 (-b, [(p + b)² + q²]/(2q))

步骤3：求解点F的坐标 #

与E点同理，CF⊥BC，F点横坐标与C相同为 c。设F点坐标为 (c, f)，结合AF=CF的条件，用距离公式列方程并化简，可得：

f = [(p - c)² + q²]/(2q)

因此F点坐标为 (c, [(p - c)² + q²]/(2q))

步骤4：求解点D的坐标 #

根据圆的幂定理，AD是△ABC外接圆的切线，因此满足：

AD² = BD · CD

设D点坐标为 (d, 0)，代入距离公式展开：

(p - d)² + q² = (d + b)(d - c)

展开并整理等式，消去d²项后可解出：

d = (p² + q² + bc)/(2p + c - b)

步骤5：验证D在直线EF上 #

首先计算直线EF的斜率：

k_EF = (f - e)/(c + b) = (c - b - 2p)/(2q)

写出直线EF的点斜式方程（以E点为基准）：

y - [(p + b)² + q²]/(2q) = [(c - b - 2p)/(2q)](x + b)

将D点的横坐标d代入方程右侧，计算得到的y值恰好为0（即D点的纵坐标），说明D点在直线EF上。

你也可以代入具体的数值例子验证，比如设B(0,0)、C(3,0)、A(1,1)，计算后会发现D(-2,0)确实在直线EF上。

内容的提问来源于stack exchange，提问作者zhaofeng-shu33