垂直线（代数）
chuí zhí xiàn (dài shù)
垂直线以 90 度角相交，在代数中，它们的斜率互为负倒数。
Formula
m_1 \cdot m_2 = -1
Definition
垂直线以恰好的直角相交，就像正方形的一个角；从代数上讲，两条斜率分别为 $m_1$ 和 $m_2$ 的直线垂直，当且仅当 $m_1 \cdot m_2 = -1$，所以 $m_2$ 是 $m_1$ 的负倒数（把分数翻转再变号）。水平线（$m = 0$）与任意竖直线（斜率不存在）垂直，且垂直线总会相交。更一般地，两条直线垂直，当且仅当它们的方向向量点积为零：对 $(1, m_1)$ 和 $(1, m_2)$ 而言，这要求 $(1)(1) + m_1m_2 = 0$，即 $m_1m_2 = -1$，这一条件可推广为 $\mathbb{R}^n$ 中子空间的正交性。
Example
$y = 2x + 1$ 的斜率为 $2$，所以垂线的斜率为 $-1/2$；验证 $2 \cdot (-1/2) = -1$，例如 $y = -\frac{1}{2}x + 3$ 就是这样一条垂线。对于斜率为 $3/4$ 的 $3x - 4y = 12$，垂线斜率为 $-4/3$，过 $(0, 5)$ 的垂线为 $y = -\frac{4}{3}x + 5$。直线 $2x - 3y = 5$（方向向量 $(3, 2)$）与 $3x + 2y = 7$（方向向量 $(2, -3)$）的点积为 $(3)(2) + (2)(-3) = 0$，确认了两者垂直。
Key Insight
要求垂线的斜率，只需把分数翻转再变号：斜率 $3$ 变为 $-1/3$，斜率 $-4/5$ 变为 $5/4$。这条乘积恒为常数的规则让你无需测量就能立即判断两条直线是否成直角相交，而方向向量正交这同一条件，也是线性代数中内积空间、格拉姆施密特正交化以及 QR 分解的核心。