垂线是指 两条互相垂直的直线。当两条直线相交，并且它们之间的一个角是直角（即90度）时，我们称这两条直线为互相垂直。在这种情况下，一条直线被称为另一条直线的垂线，而它们的交点被称为垂足。
垂线具有以下性质：
唯一性：
通过一个点外部，有且仅有一条直线可以与给定的直线垂直。
最短距离：
连接直线外一点与直线上所有点的线段中，垂线段是最短的。
点到直线的距离：
直线外一点到这条直线的垂线段的长度，称为点到直线的距离。
垂线在几何学中是一个基本的概念，广泛应用于各种几何问题和实际应用中，如建筑、工程、物理等领域。