展开 两点之间垂直线段最短的定义