从直线外一点到这条直线所画的垂直饯段最短,它的长度叫作这点到这条直线的()