垂线的性质:在()内过一点有且只有一条直线与已知直线垂直.