展开 垂直线段最短的定义