直线同侧两点的距离差最大化的点定位问题及相关疑问
问题背景
已知直线$L$，以及不在$L$上且位于$L$同侧的两点$A$、$B$。需要在$L$上找到一点$C$，使得$|AC - BC|$的值最大，确定$C$的位置。
这个问题原本是一道坐标几何题，我特意去掉了具体数值，只关注解题思路而非特定题目的答案。
我的初步思路
我从$\triangle ABC$的三角形性质出发，知道有这样的不等式：
$$AC - BC < AB$$
我直接把$AB$当作$|AC - BC|$的最大值，结果和答案一致。
我的困惑
但这里有个矛盾点：上面的不等式是严格小于，根本取不到等号啊。如果强行让等号成立，$\triangle ABC$就不存在了，$A$、$B$、$C$三点共线，这时候三角形的约束条件就不适用了。那为什么我的答案是对的（假设答案正确）？该怎么解释这个问题？
另外，有没有其他更清晰、更通用的解法？
解答与思路梳理
我来帮你把这个逻辑理清楚，再分享几种实用的解法：
1. 关于“严格不等式”的矛盾解释
你提到的$AC - BC < AB$，是在三点能构成三角形的前提下才成立的。但我们要找的最大值，恰恰出现在这个前提不成立的边界情况——也就是$A$、$B$、$C$三点共线的时候。
可以把它看作是三角形的极限状态：当$C$点沿着直线$L$向$AB$连线的延长线方向移动时，$\triangle ABC$的顶角$\angle ACB$会逐渐趋近于$180^\circ$，此时$AC - BC$的值会无限接近$AB$；当$C$点刚好落在$AB$延长线与$L$的交点时，三点共线，三角形彻底“消失”，这时候$|AC - BC| = AB$，也就是取到了最大值。
简单说：三角形不等式的“严格小于”是给三角形存在的情况设定的，而我们要的最大值在三角形不存在的边界点上，所以完全可以取到等号，你的答案没问题。
2. 镜像法（通用几何解法）
这是解决直线上找点最值问题的经典方法，不管$AB$是否与$L$平行都适用：
- 作点$B$关于直线$L$的镜像点$B'$（$L$就是线段$BB'$的垂直平分线）
- 连接$A$和$B'$，这条线段（或其延长线）与直线$L$的交点就是所求的$C$
为什么这个方法有效？因为对于$L$上任意一点$C$，都有$BC = B'C$（镜像点的性质），所以$|AC - BC| = |AC - B'C|$。根据三角形不等式，$|AC - B'C| \leq AB'$，当且仅当$A$、$C$、$B'$三点共线时取等号——这时候就是最大值的情况。
如果$AB$不平行于$L$，那$AB$的延长线与$L$的交点和用镜像法找到的点其实是同一个，这时候最大值就是$AB$；如果$AB$平行于$L$，那$AB$延长线和$L$没有交点，这时候最大值就是$AB'$，用镜像法就能找到对应的$C$点。
3. 坐标法验证（适合代数思维）
如果习惯用代数方法，我们可以设坐标来验证：
假设直线$L$为$x$轴，$A(x_1,y_1)$、$B(x_2,y_2)$（$y_1>0$，$y_2>0$，保证同侧），设$C(t,0)$在$L$上。
此时$|AC - BC| = \left|\sqrt{(t-x_1)^2 + y_1^2} - \sqrt{(t-x_2)^2 + y_2^2}\right|$，对这个函数求导找极值点，会发现：
- 当$AB$不平行于$x$轴时，极值点就是直线$AB$与$x$轴的交点，此时$|AC - BC| = AB$
- 当$AB$平行于$x$轴时（$y_1=y_2$），极值点在直线$AB'$（$B'$是$B$的镜像点）与$x$轴的交点，此时最大值为$AB'$
这和几何方法的结论完全一致，也能验证你的答案在对应场景下的正确性。
备注：内容来源于stack exchange，提问作者An_Elephant
