两一次函数斜率积为-1,求证两一次函数垂直