过直线外一点,有且只有一条直线与已知直线垂直