学完本教程后，你将能够掌握在平面坐标系中证明点到两点距离相等的方法，解决几何学中关于点F满足cF=EF条件的证明问题。
1. 理解问题本质
在开始证明前，首先要明确cF=EF的含义。这里假设c和E是平面上的两个固定点，F是待求的点，我们需要证明存在点F使得cF(点c到点F的距离)等于EF(点E到点F的距离)。这实际上是证明点F位于线段cE的垂直平分线上。明确这一几何意义是整个证明的基础。
2. 建立坐标系
选择适当的坐标系是解题的第一步。通常选择点c为坐标原点(0,0)，点E位于x轴上，设为(a,0)，其中a为两点间距离。这一简化不仅计算方便，而且不失一般性，因为通过坐标系的平移和旋转，任何两点都可以满足这种关系。建立坐标系后，设点F的坐标为(x,y)，这是我们要求解的未知点。
3. 写出距离表达式
根据两点间距离公式，cF=√(x²+y²)，EF=√((x-a)²+y²)。根据题目条件cF=EF，可以得到方程：√(x²+y²) = √((x-a)²+y²)。这一步将几何问题转化为代数问题，是整个证明的核心。
4. 两边平方消去根号
为了简化方程，对等式两边平方，得到：x²+y² = (x-a)²+y²。这一步消除了平方根，使方程更容易处理。注意平方操作在实数范围内是保等价的，因此不会引入额外的解。
5. 展开并简化方程
展开右边的表达式：(x-a)²+y² = x²-2ax+a²+y²。将其代入方程：x²+y² = x²-2ax+a²+y²。两边同时减去x²+y²，得到：0 = -2ax+a²。这一步消去了很多项，大大简化了方程。
6. 解简化后的方程
从0 = -2ax+a²可以得到：2ax = a²。假设a≠0(即c和E是不同的点)，两边同时除以a，得到：x = a/2。这是点F的x坐标，它恰好是c和E的x坐标的平均值，符合垂直平分线的几何性质。
7. 分析y的取值
在简化过程中，y²被消去了，这意味着y可以取任意实数值。因此，点F的坐标为(a/2, y)，其中y为任意实数。这表明所有满足cF=EF的点F位于垂直于cE的直线x=a/2上，即cE的垂直平分线。
8. 几何解释验证
从几何上看，所有到两个固定点距离相等的点的集合确实是这两点连线的垂直平分线。我们的代数推导与这一几何性质一致，验证了我们的证明是正确的。当y=0时，F是cE的中点，这是垂直平分线上最特殊的一点。
9. 特殊情况讨论
当c和E重合时(a=0)，原方程变为√(x²+y²) = √(x²+y²)，对所有(x,y)都成立。此时平面上所有点都满足cF=EF，这与几何直觉一致(到同一点的距离总是相等)。这一特殊情况需要单独考虑，但在大多数实际问题中，c和E是不同的点。
10. 结论
综上所述，点F满足cF=EF的充要条件是F位于cE的垂直平分线上。在以c为原点、E为(a,0)的坐标系中，所有满足条件的点F的坐标为(a/2, y)，其中y为任意实数。这一结论可以推广到任意坐标系中的任意两点c和E。
常见陷阱提醒：在证明过程中，容易忽略坐标系的选择对证明复杂度的影响。不适当的坐标系选择会使计算变得复杂。另外，平方操作虽然简化了方程，但可能引入增根，需要验证解的合理性。最后，不要忽略c和E重合的特殊情况，这在实际问题中可能出现但容易被忽略。