过直线外一点有几条直线与已知直线垂直