因为在平面直角坐标系中两条直线垂直的充分必要条件是K值互为负倒数。
设直线L1的K1值为a，若直线L2与直线L1垂直，则直线L2的K2的值必然为-1/a，那么就必有：K1K2=a*(-1/a)=-1，这就是说若两条直线的函数解析式中的K的乘积为-1，则两条直线垂直。
