k1k2=-1,两直线垂直
k1+k2=0,则两直线l1,l2倾斜角互补
若交点为P,那么过P的x轴的垂线是l1,l2的对称轴.
除法和减法没有什么的,
有个直线l1,l2的夹角公式：
tanθ=|(k1-k2)/(1+k1k2)| 【k1k2≠-1】