是定理。

直线外一点与直线上各点连接的所有线段中，垂线段最短，简称“垂线段最短”。垂线段定义是直线外一点到已知直线的垂直距离，垂线段的属于数学理论之中的名词。直线外任意一点到这条直线的垂线段的长度，叫做这点倒这条直线的距离。垂线段定义为，连接直线外一点与垂足形成的线段叫做垂线段。即从直线外一点p向直线L作垂线，垂足记为o，则线段po叫做点p到直线L的垂线段，也叫做点p到直线L的距离。垂线段性质，一是过直线上或直线外的一点，有且只有一条直线和已知直线垂直；二是从直线外一点到这条直线上各点所连的线段中,垂直线段最短。