定理有以下几种：
1. 垂线定理：两条相交的直垂线所的角度都是 90 度即两直线相互垂直。
2. 勾股定理：勾股定理是指在角三角形中，直角边分别为 a b，斜边为 c，那有 a² + b² = c。因为斜边和直角边垂直相关，所以勾股定理可以用于证明某些线段是垂直的。
3. 点到直线垂线公式：对于一条直线及一点，在该点上作位垂线，垂足到该直的长度就是点到线的线距离，可以使用垂线公式进行求解。如果垂线长度为 h，直线上任点的坐标为 (x, y)，线的方程为 Ax + + C = 0，那么点到该直线的距离可以表示为 |Ah + B| /√(A² + B²)。
这些定理常用于几何学和物理学中，可以帮助解决与垂直相关的问题。
