公共弦长公式是(s/2)^2=r^2-d^2，当两个圆相交时，两个交点的连线叫公共弦。两圆心所在直线垂直平分公共弦。两个圆若是相交，则至多交于2点。而将两圆的方程相减即是默认两条方程中有共同的解X、Y。而减后的方程必定满足X、Y，换句话说，就是两个交点所共同满足的直线方程。平面内2点间有且只有1条直线，那么这条直线就是所求的公共弦。