两条直线相交只有一个交点.反证法证明