从直线外一点到这条直线所画的斜线、垂线中,以垂线为最短.______.