求证:两直线垂直的充要条件是他们斜率相乘为-1