在空间,过一点向已知直线作垂线有且只有一条?