从直线外一点到这条直线的所画的垂直线段的长度叫做这点到直线的。