展开 垂直线的基本性质