1. 三角形垂线定理表明，三角形的每条边的垂直平分线都会相交于同一点，这个点被称为外心。
2. 外心到三角形各个顶点的距离是相等的。
3. 垂线的定义是在相交处形成直角的两条直线，其中一条直线被称为另一条的垂线，相交点称为垂足。
4. 垂线段是从一个点到一条直线的最短距离。
5. 垂直公理指出，在同一平面内，通过一个点（无论是直线内部还是直线外）只有一条直线与已知直线垂直。
6. 垂线段公理说明，直线外的点到直线上各点的所有连接线段中，垂线段是最短的。
7. 垂径定理描述了垂直于圆弦的直径会平分这条弦，并且平分弦所对的两条弧。这意味着直径两侧的弧长度相等，半圆也是相等的。详情
