从直线外一点到这条直线所画的垂直直线最短吗