证明两条直线重合的式子平面几何问题.公式是A1B2-A2B1=0且A1C2-A2C1=0吗还是A1B2-A2B1=0且A