从直线外一点到这条直线所画垂直线段的长度叫作______.