两条直线都有斜率、互相垂直、斜率之积
如果两条直线都有斜率,且它们互相垂直,那么它们的斜率之积等于-1;反之,如果它们的斜率之积等于-1,那么它们互相垂直. 即:$l_1⊥l_2 \Leftrightarrow k_1k_2=-1$