坐标系中两条直线垂直公式是K1*K2=tanα*tanθ=-1。

直线由无数个点构成。直线是面的组成成分，并继而组成体。没有端点，向两端无限延长，长度无法度量。直线是轴对称图形。它有无数条对称轴，其中一条是它本身，还有所有与它垂直的直线（有无数条）对称轴。在平面上过不重合的两点有且只有一条直线，即不重合两点确定一条直线。在球面上，过两点可以做无数条类似直线