上一页说圆是「到定点等距的点的集合」——要把「等距」翻译成方程，关键就是要能精确算出平面上任意两点的距离。这一步我们补上这块基石。

上页我们用两点距离公式算出了线段长度。现在换个问法：固定一个点 O，所有到 O 距离相等的点 P，组成什么图形？这就是圆最原始的定义。

把"到定点等距"的几何条件，一步步翻译成代数方程。

把(x-a)²+(y-b)²=r² 拆零件：左边是偏移分量的平方和，右边是半径的平方。

用 SymPy 双向演示：已知圆心半径写方程、已知方程配方还原圆心半径。

L7 套用 (x-a)²+(y-b)² 写标准形式；L13~L18 用配方把一般式还原成 (x+1)²+(y-3)²=25，圆心 (-1,3)、半径 5。

标准方程圆心半径一目了然，可题目常给的是展开后的 x²+y²+Dx+Ey+F=0。这「散件」要满足什么结构才算圆？D、E、F 又各自藏着什么？

标准方程一眼看穿圆心半径，一般方程藏在系数里——什么时候用哪个？

配方法把一般方程一步步拧成标准方程，下面是完整流程。

用 sympy 把 x²+y²+Dx+Ey+F=0 配方为标准式，每行对应一个手算步骤。

L10、L13 是配方核心——把 x²+Dx 写成 (x+D/2)²−(D/2)²，L16 把两补项合并得半径²。重点：D 前那个负号决定圆心位置（−D/2、−E/2）。

待定系数法求圆的标准方程，三步环环相扣。

用 sympy 把三点代入标准方程，列方程组直接解出圆心与半径。

高亮行串起「设元—建模—代入—求解」：先声明 a,b,r 三个未知量，再写下标准方程作为模型，把已知点逐一代入得方程组，最后由 solver 直接解出参数。

用 numpy 把三个已知点代入一般方程，列方程组求 D、E、F，验证上一节的待定系数法

L9-L10 是「设元」的核心：每个点给一行 (x, y, 1) 当系数，-(x²+y²) 当常数项，把曲线方程变成关于 D,E,F 的线性方程组；L15 一行解出三个系数，正是待定系数法。

标准方程和一般方程都能设元求解，但选哪种由题目给出的条件类型决定。

几何问题坐标化→代数运算→结果翻译回几何

从左到右走一遍五步法，本质是把一道几何题在两种语言之间反复翻译。

用 sympy 把"切线"这个几何关系编码为代数等式，看坐标法如何落地。

L11-12 把"切线"翻译成"距离=半径"，距离公式把几何与代数焊接；解出的斜率代回点斜式，几何对象还原为方程。

以「圆的方程」为中心向外辐射五个模块；层级由内向外、由抽象到具体。

• ✓圆方程本质是「定点等距」的代数化
• ✓标准方程突出几何，一般方程便于系数运算
• ✓配方法是两种形式互化的唯一通法
• ✓设元形式取决于已知条件给出的是什么
• ✓坐标法核心：把几何等式翻译成坐标等式

先自己想，再看参考答案——三个问题从「为什么必须这样」到「什么时候不划算」层层递进。