过直线与圆交点的圆系方程的推导

直线与圆交点的圆系方程

过直线与圆相交点AB的圆系方程,为什么是x^2+y^2+D1x+E1y+F1+λ（AX+BY+C）=0

用集合论来证明就可以了,x^2+y^2+D1x+E1y+F1+λ（AX+BY+C）=0这个方程满足圆的一般方程,所以这个方程描述的是一个圆,而且所有同时满足x^2+y^2+D1x+E1y+F1=0,AX+BY+C=0的点（即交点）一定满足x^2+y^2+D1x+E1y+F1+λ（AX+BY+C）=0,因为0+λ*0=0,所以,它们的交点在这个方程确定的圆上