过直线上或直线外一点有且只有条直线与已知直线垂直。