对于同一平面直角坐标系内经过点(a1,b1)和(a2,b2)的直线和经过(c1,d1)和(c2,d2)的直线,它们的交点是((b1−b2)(c1−c2)−(a1−a2)(d1−d2)(a1−a2)(c1d2−c2d1)−(c1−c2)(a1b2−a2b1),(b1−b2)(c1−c2)−(a1−a2)(d1−d2)(b1−b2)(c1d2−c2d1)−(d1−d2)(a1b2−a2b1))
本人证明了只要(b1−b2)(c1−c2)−(a1−a2)(d1−d2)=0两条直线一定有交点