垂直公理：在同一平面内，过一点（直线上或直线外）有且只有一条直线与已知直线垂直。

当两条直线相交所成的四个角中，有一个角是直角时，即两条直线互相垂直，其中一条直线叫做另一直线的垂线，交点叫垂足。垂线段是一个图形，点到直线的距离是一个数量。垂线段公理：直线外一点与直线上各点连接的所有线段中，垂线段最短（简称“垂线段最短”）。