两圆相交公共弦长公式=(a+b+c)(a+b-c)(a+c-b)(b+c-a)。

两圆相交到一定程度，此时两圆心都在同一圆内。连接两个圆心和两个圆相交的交点会构成一个三角形。边长r+a＞R＝a＞R-r。 两个圆若是相交，则至多交于2点。而将两圆的方程相减即是默认两条方程中有共同的解X、Y。而减后的方程必定满足X、Y（就是两个交点），换句话说，就是两个交点所共同满足的直线方程。而我们知道平面内2点间有且只有1条直线，那么这条直线就是所求的公共弦。