请问大虾,那个过两个相交圆交点的圆系方程是怎么推导出来的?