从直线外一点到已知直线所画的垂直线段的长度叫做这点到直线的______.