直线相交的判定
我们在初等几何中学过如何判断两条直线是否相交。在欧几里得平面上,两条直线要么平行,要么相交,要么重合。这是欧几里得第五公设的推论。相交的两条直线恰好有一个交点,而重合的两条直线有无数个交点。判断两条直线位置关系的代数方法是:联立两条之直线方程,无解,则两条直线平行,存在唯一解则两条直线相交,存在两个及以上的解,则两直线重合。
联立直线方程
线段相交的判定:
分为矩形判定和叉积判定两步
step1:矩形判定
判断分别以两线段为对角线的两个矩形是否相交,若不相交,则两线段一定不相交。两个矩形是否相交的条件是:任一矩形的最右端都大于另一矩形的最左端,且任一矩形最高端大于另一矩形的最低端;只要其中任一条件不满足,则两矩形不相交,也即两线段不相交。
矩形判定:不相交
这一步判定不相交的两条线段直接返回False。
step2:叉积判定
经过上面判定未得到结果的两条线段那进入此步进行判定。
叉积判定:相交
这一步的目的是确定一条线段的两个端点是否在另一线段的两侧,如果两条线段的端点互相位于另一条线段的两侧,则这两条线段相交。
def cross(p1,p2,p3): # 叉积判定
x1=p2[0]-p1[0]
y1=p2[1]-p1[1]
x2=p3[0]-p1[0]
y2=p3[1]-p1[1]
return x1*y2-x2*y1
def segment(p1,p2,p3,p4): #判断两线段是否相交
#矩形判定,以l1、l2为对角线的矩形必相交,否则两线段不相交
if(max(p1[0],p2[0])&g