设两条直线方程为：

    

    

    如果方程组无解，则，如果有无穷多解，则重合．