圆与圆的公共弦长公式深度解析
在平面解析几何中，圆与圆的公共弦是一个极具几何美感且应用广泛的概念。当两个圆相交时，它们共有两个交点，连接这两个交点的线段即为公共弦。掌握圆与圆的公共弦长公式及其推导逻辑，不仅是解决高中数学解析几何大题的关键，也是理解几何图形对称性与代数方程组解的几何意义的桥梁。
本文将通过代数法与几何法两条主线，详细拆解公共弦长的计算技巧，并结合网友常遇到的难点，提供深度的解题策略与周边知识拓展。无论您是正在备考的学生，还是对几何学感兴趣的爱好者，本文都将为您提供详实的参考。
核心公式与定义
设两圆方程分别为：
圆 C₁: x² + y² + D₁x + E₁y + F₁ = 0
圆 C₂: x² + y² + D₂x + E₂y + F₂ = 0
若两圆相交，则它们的公共弦所在直线方程可以通过两圆方程相减得到：
(D₁ - D₂)x + (E₁ - E₂)y + (F₁ - F₂) = 0
得到公共弦所在的直线方程后，计算公共弦长通常有两种高效方法：
利用“垂径定理”构建直角三角形。弦长 = 2 × √(r² - d²)，其中 r 为圆的半径，d 为圆心到公共弦直线的距离。
联立直线与圆的方程，利用韦达定理求出交点坐标，再使用两点间距离公式。此方法计算量大，易出错，仅建议在无法轻易求出圆心距时使用。
公式推导与逻辑解析
为什么两圆方程相减能得到公共弦方程？这是因为公共弦上的两个交点 A(x₁, y₁) 和 B(x₂, y₂) 同时满足两个圆的方程。因此，它们的坐标也必然满足两个方程的差值。这个差值是一个二元一次方程，代表一条直线，而这条直线恰好经过 A、B 两点。
基于垂径定理的推导
设两圆圆心分别为 O₁, O₂，半径分别为 r₁, r₂，圆心距为 |O₁O₂| = d。
公共弦 AB 垂直平分连心线 O₁O₂ 吗？不一定。但是，公共弦 AB 垂直于连心线 O₁O₂。这是因为圆是轴对称图形，连心线是对称轴。
在 △O₁AB 中，O₁ 到弦 AB 的距离为 h₁。根据勾股定理：
AB = 2 √(r₁² - h₁²)
其中 h₁ 是圆心 O₁ 到公共弦直线方程 Ax + By + C = 0 的距离：
h₁ = |Ax₀ + By₀ + C| / √(A² + B²)
这种方法将复杂的几何问题转化为简单的点到直线距离计算，是解决圆与圆的公共弦长公式应用题的最优路径。
基于方程组的推导
联立方程组：
{x² + y² + D₁x + E₁y + F₁ = 0
{x² + y² + D₂x + E₂y + F₂ = 0
两式相减得直线 L: (D₁-D₂)x + (E₁-E₂)y + (F₁-F₂) = 0。
将直线方程代入任意一个圆的方程（例如消去 y），得到一个关于 x 的一元二次方程：
ax² + bx + c = 0
设两根为 x₁, x₂，则根据韦达定理：
x₁ + x₂ = -b/a, x₁x₂ = c/a
弦长公式为：
|AB| = √(1+k²) |x₁ - x₂| = √(1+k²) √((x₁+x₂)² - 4x₁x₂)
其中 k 为公共弦直线的斜率。此方法逻辑直接，但运算繁琐。
向量与对称性视角
从向量角度看，公共弦的中点 M 位于连心线 O₁O₂ 上。向量 O₁M 与向量 O₂M 共线。
利用余弦定理，在 △O₁O₂A 中：
cos(∠O₁AO₂) = (r₁² + r₂² - d²) / (2r₁r₂)
虽然这不直接给出弦长，但结合面积法：
S_△O₁O₂A = 1/2 r₁ r₂ sin(θ)
可以间接求出高，进而求出半弦长。这种方法在处理涉及角度和面积的综合性题目时非常有效。
主流计算方法对比与选择
在实际解题中，选择合适的方法可以事半功倍。以下是针对不同类型题目的策略建议：
| 题目特征 | 推荐方法 | 优点 | 缺点 |
|---|---|---|---|
| 圆方程为标准式，圆心易求 | 几何法（垂径定理） | 计算量小，逻辑清晰 | 需先求圆心到直线距离 |
| 圆方程为一般式，系数复杂 | 先化标准式，再几何法 | 避免直接联立的高次运算 | 配方过程易出错 |
| 无具体数值，仅含参数 | 代数法（韦达定理） | 便于参数化简 | 符号运算极其繁琐 |
| 两圆半径相等 | 特殊几何法 | 公共弦垂直平分连心线 | 适用范围窄 |
经典例题与实战演练
题目：已知圆 C₁: x² + y² = 4 与圆 C₂: x² + y² - 4x + 2y = 0 相交于 A、B 两点，求公共弦 AB 的长。
解析：
1. 求公共弦所在直线方程：
两式相减：(x² + y²) - (x² + y² - 4x + 2y) = 4 - 0
4x - 2y - 4 = 0 ⇒ 2x - y - 2 = 0
2. 确定圆 C₁ 的参数：
圆心 O₁(0, 0)，半径 r₁ = 2
3. 计算圆心到直线的距离 d：
d = |2×0 - 0 - 2| / √(2² + (-1)²) = 2 / √5
4. 计算弦长：
|AB| = 2√(r₁² - d²) = 2√(4 - 4/5) = 2√(16/5) = 8√5 / 5
答案：8√5 / 5
题目：若圆 x² + y² + 2x - 4y + 1 = 0 与圆 x² + y² - 4x + 2y + m = 0 的公共弦长为 4/5 √5，求 m 的值。
解析思路：
1. 公共弦直线方程：6x - 6y + 1 - m = 0
2. 圆 C₁ 圆心 (-1, 2)，半径 r₁ = 2
3. 利用弦长公式反推距离 d：
4/5 √5 = 2√(4 - d²) ⇒ d² = 4 - 1/5 = 19/5
4. 利用点到直线距离公式建立关于 m 的方程求解。
常见问题解答 (FAQ)
Q1: 公共弦方程一定是直线吗？
A: 是的。只要两圆方程中 x² 和 y² 的系数相同（通常归一化为 1），两式相减后二次项消去，剩下的是一次方程，代表一条直线。这条直线就是公共弦所在的直线。
Q2: 如果两圆半径不同，公共弦是否平分连心线？
A: 不平分。公共弦垂直于连心线，但只有当两圆半径相等时，公共弦才垂直平分连心线。一般情况下，公共弦被连心线垂直平分的是弦本身，而不是连心线。
Q3: 为什么推荐用几何法而不是代数法求弦长？
A: 代数法需要解二元二次方程组，计算过程极其繁琐，容易在代数运算中出现错误。而几何法利用垂径定理，将问题转化为点到直线的距离计算，公式简单，计算量小，且不易出错。
Q4: 如何判断两圆是否相交？
A: 计算圆心距 d 与两圆半径 r₁, r₂ 的关系。若 |r₁ - r₂| < d < r₁ + r₂，则两圆相交。或者联立方程组，若判别式 Δ > 0，则有两个交点，即相交。