两个一次函数斜率互为相反数垂直么?是定理么?如何证明?