垂直的定义和性质

定义：两直线相交所组成的角为直角时，称它们互相垂直，其中一条直线叫做另一条直线的垂线。

性质：

①在同一平面内，过一点有且只有一条直线与已知直线垂直。

② 连接直线外一点与直线上各点的所有线段中，垂线段最短。

③点到直线的距离：直线外一点到这条直线的垂线段的长度，叫做点到直线的距离。