垂直平行线的定义和性质