从直线外一点到这条直线所画的线段中,垂线是最短的吗?