过直线外一点有且只有一条直线垂直与已知直线题设和结论