代数推导：从方程到直线

让我们通过严格的代数步骤来看看为什么相减会得到直线方程。假设我们有两个圆的一般方程：

圆 C1： x² + y² + D₁x + E₁y + F₁ = 0

圆 C2： x² + y² + D₂x + E₂y + F₂ = 0

当我们将这两个方程相减（即 C1 - C2）时，我们可以观察到以下关键变化：

  • 二次项消去： 由于两个方程中 x² 和 y² 的系数都是 1，相减后这两项完全抵消，变为 0。
  • 一次项保留： 剩下的项为 (D₁ - D₂)x + (E₁ - E₂)y + (F₁ - F₂) = 0。

这是一个形如 Ax + By + C = 0 的方程，其中 A、B、C 为常数。在平面直角坐标系中，这正是一条直线的方程。

推导步骤详解：

步骤 操作 结果
1 列出两个圆方程 C1: x²+y²+D₁x+E₁y+F₁=0
C2: x²+y²+D₂x+E₂y+F₂=0
2 相减 (C1 - C2) (x²-x²) + (y²-y²) + (D₁-D₂)x + (E₁-E₂)y + (F₁-F₂) = 0
3 化简 (D₁-D₂)x + (E₁-E₂)y + (F₁-F₂) = 0
4 结论 得到一条直线方程

几何意义：不同位置关系的解读

虽然代数上总是得到直线方程，但这根直线在不同两圆位置关系下，有着截然不同的几何身份。为了更清晰地展示，我们使用选项卡来分类讨论。

情形一：两圆相交

当两个圆有两个公共点（交点）A和B时，这两个点的坐标同时满足两个圆的方程。因此，它们也必然满足两方程相减得到的直线方程。

这意味着，这条直线经过两个交点A和B。因此，2个圆的方程相减得到的是公共弦所在的直线方程。

性质： 公共弦垂直于两圆圆心的连线（连心线）。

情形二：两圆相切

当两个圆只有一个公共点（切点）P时，该点同样满足相减后的直线方程。

此时，这条直线经过切点P，并且垂直于连心线。因此，2个圆的方程相减得到的是过切点的公切线方程。

情形三：两圆相离

当两个圆没有公共点时，相减得到的直线依然存在。这条直线被称为根轴。

根轴的几何意义： 根轴上的任意一点M，到圆C1的切线长度等于到圆C2的切线长度。换句话说，从根轴上任意一点向两圆引切线，切线长相等。

情形四：两圆同心

如果两个圆同心，即圆心相同但半径不同。此时 D1=D2, E1=E2，但 F1≠F2。

相减后得到：0x + 0y + (F1-F2) = 0。由于 F1≠F2，这导致 0 = 常数 (非零)，这是一个矛盾方程。

结论： 同心圆的方程相减，得不到直线方程，而是无解。这是因为同心圆没有根轴（或者说根轴在无穷远处）。

常见问题解答 (FAQ)

两个圆方程相减得到的直线一定过圆心吗？

不一定。只有当两个圆相交时，相减得到的直线才是公共弦，公共弦不过圆心（除非两圆同心，但同心圆无公共弦）。一般情况下，这条直线称为根轴，它垂直于连心线，但不一定经过圆心。

如果两个圆相切，方程相减得到什么？

如果两个圆相切，方程相减得到的是它们的公切线方程。这条直线经过切点，且垂直于两圆圆心的连线。

两个圆不相交时，方程相减还有几何意义吗？

有。得到的直线称为根轴。根轴上的任意一点到两个圆的切线长度相等。这是一个非常重要的几何性质，常用于解决与两圆距离相关的问题。

为什么同心圆相减得不到直线方程？

因为同心圆的二次项系数和一次项系数都相同，相减后 x 和 y 的系数都变为 0，只剩下常数项。如果常数项不为 0，则方程无解，表示没有公共根轴。