从基础几何推导到工程算法实战，全方位掌握两圆公共弦长的计算逻辑。专为追求极致精度与理解深度的学习者打造。
在解析几何中，两圆公共弦长是一个经典的计算问题。它不仅仅是一个简单的数值结果，更蕴含了圆系方程、根轴性质以及几何变换的深刻原理。我们将通过标准形式与一般形式两种视角来构建完整的公式体系。
设两圆的一般方程分别为：
C₁: x² + y² + D₁x + E₁y + F₁ = 0 C₂: x² + y² + D₂x + E₂y + F₂ = 0
若两圆相交，将两方程直接相减（C₁ - C₂），即可消去二次项，得到公共弦所在的直线方程（根轴）：
(D₁ - D₂)x + (E₁ - E₂)y + (F₁ - F₂) = 0
一旦获得直线方程，选取任意一个圆（例如 C₁），其圆心坐标为 (-D₁/2, -E₁/2)，半径为 r₁ = ½√(D₁² + E₁² - 4F₁)。利用点到直线距离公式求出弦心距 d，最终弦长 L 为：
L = 2 × √(r₁² - d²)
对于标准方程形式的圆：
(x-a₁)² + (y-b₁)² = r₁² 和 (x-a₂)² + (y-b₂)² = r₂²
设两圆圆心距为 D，则 D = √[(a₁-a₂)² + (b₁-b₂)²]。
利用余弦定理或面积法，可以推导出更直接的纯参数公式。设公共弦长为 L，则有如下关系：
| 参数 | 表达式 | 说明 |
|---|---|---|
| 圆心距 D | √[(a₁-a₂)² + (b₁-b₂)²] | 两圆心之间的欧几里得距离 |
| 半弦长 h | √[r₁² - ((D²+r₁²-r₂²)/(2D))²] | 利用勾股定理在三角形中求解 |
| 总弦长 L | 2h | 最终结果 |
该公式的推导逻辑在于：连心线与公共弦垂直相交。交点将连心线分为两段，其中一段长度为 x = (D² + r₁² - r₂²) / (2D)。这是由余弦定理在两个三角形中建立等式得出的结论。随后在直角三角形中应用勾股定理即可得到半弦长。
为了彻底理解公式的来源，我们提供三种不同视角的证明方法。请切换下方选项卡查看详细内容。
这是最直观的方法。假设两圆相交于 A、B 两点，圆心分别为 O₁、O₂。
r₁² - x² = r₂² - (D² - 2Dx + x²) r₁² = r₂² - D² + 2Dx 2Dx = D² + r₁² - r₂² x = (D² + r₁² - r₂²) / (2D)
L/2 = √(r₁² - x²) L = 2√[r₁² - ((D² + r₁² - r₂²)/(2D))²]
此方法清晰地展示了弦长与三个几何量（两半径及圆心距）的内在联系。
此方法适用于已知圆的一般方程的情况，无需画图即可计算。
设两圆方程为 S₁ = 0 和 S₂ = 0。由于交点 (x,y) 同时满足两个方程，因此也满足 S₁ - S₂ = 0。
S₁ - S₂ 消去了 x² 和 y² 项，得到一个形如 Ax + By + C = 0 的方程。这证明了所有交点都在这条直线上。这条直线被称为根轴。
接下来，只需计算圆心 (x₀, y₀) 到该直线的距离 d：
d = |Ax₀ + By₀ + C| / √(A² + B²)
最后利用垂径定理：弦长 L = 2√(r² - d²)。这种方法的优势在于普适性强，特别适合编程实现，因为不需要处理复杂的几何位置判断。
引入向量运算可以更优雅地处理三维空间推广问题。
设向量 v = O₂ - O₁，单位向量 u = v / |v|。交点 P 在连心线上的投影点 M 可以表示为：
M = O₁ + [(r₁² - r₂² + |v|²) / (2|v|²)] v
向量 O₁M 的长度即为上述几何法中的 x。向量 P - M 即为半弦向量，其长度即为半弦长。通过向量模长公式计算可得相同结果。此方法在处理高维空间（如超球体）的相交问题时具有天然优势。
两圆公共弦长公式并非孤立存在，它是人类几何学发展史上的重要里程碑，并在现代科技中扮演着关键角色。
在《几何原本》中，虽然未直接给出“公共弦长”的现代公式，但欧几里得详细论述了圆与圆相交的性质，特别是关于连心线垂直平分公共弦的命题（Proposition III.3），为后世所有推导奠定了基石。
随着坐标系的确立，数学家们开始用代数方程描述几何图形。两圆方程相减得到直线方程的思想在这一时期成熟，使得根轴的概念正式进入数学视野，极大简化了此类问题的计算流程。
在早期的光栅图形学中，判断两个圆形物体是否碰撞（Collision Detection）是核心难题。两圆公共弦长的计算被用于精确计算重叠区域的面积，从而优化渲染性能和物理引擎的反馈机制。
在现代 GPS 和无线通信网络中，信号覆盖范围常被建模为圆形区域。当两个基站信号重叠时，其边界即为公共弦。工程师利用该公式精确计算重叠覆盖区的大小，以优化网络容量和消除盲区。
理论必须结合实践。以下选取三个不同难度的典型案例，演示公式的实际操作。
题目：已知圆 C₁: (x-2)² + (y-3)² = 25 与圆 C₂: (x-6)² + (y-3)² = 16，求公共弦长。
分析：
计算：
半弦长 h = √[r₁² - ((D²+r₁²-r₂²)/(2D))²] 代入数值： 分子 = 4² + 5² - 4² = 25 分母 = 2 4 = 8 x = 25/8 = 3.125 h = √[25 - (3.125)²] = √[25 - 9.765625] = √15.234375 ≈ 3.903 弦长 L = 2h ≈ 7.806
验证：通过方程相减法，直线方程为 (x-2)²+(y-3)²-25 - [(x-6)²+(y-3)²-16] = 0 → -4x+4 + 12x-36 -9 = 0 → 8x - 41 = 0 → x = 41/8 = 5.125。 圆心 (2,3) 到 x=5.125 的距离 d = 3.125。结果一致。
题目：C₁: x²+y²-2x-4y+1=0，C₂: x²+y²+4x-2y-11=0。
步骤：
当计算过程中出现根号下为负数的情况时，意味着什么？
若 r² - d² < 0，即 r < d，说明圆心到直线的距离大于半径，此时直线与圆无交点。这对应于两圆相离（无公共点）或内含的情况。在这种情况下，数学上不存在实数解的“公共弦”，或者说公共弦长为虚数，这在物理意义上表示两圆没有交集。
特别地，若 r = d，则 L = 0，表示两圆外切或内切，公共点为一个点。
通过对两圆公共弦长公式的深入探讨，我们不仅掌握了一个具体的计算工具，更领略了解析几何与综合几何交融之美。从欧几里得的几何直觉到笛卡尔的代数转化，再到现代计算机科学的算法应用，这一公式贯穿了数学发展的始终。
希望本文提供的深度解析、多样化证明以及丰富案例能够帮助您彻底攻克这一难点。无论是应对考试，还是进行工程计算，理解其背后的逻辑都比死记硬背公式更为重要。