向量基础与几何意义
在深入探讨向量平行公式和向量垂直公式之前，我们必须明确向量的基本定义及其在平面直角坐标系中的表示。向量（Vector）是既有大小又有方向的量，而在解析几何中，我们通常使用坐标来表示向量。
1.1 向量的坐标表示
设 i 和 j 分别是与 x 轴、y 轴方向相同的两个单位向量。若向量 a 的起点为原点 O(0,0)，终点为 A(x,y)，则：
其中，x 称为向量 a 的横坐标，y 称为向量 a 的纵坐标。这种表示方法将几何问题转化为代数问题，是后续证明的基础。
1.2 数量积（点积）的定义
两个非零向量 a 和 b 的夹角记为 θ (0 ≤ θ ≤ π)。它们的数量积（或点积）定义为：
数量积的结果是一个标量（实数），其几何意义是向量 a 在向量 b 方向上的投影长度乘以 b 的模。这一概念是证明向量垂直公式的核心依据。
向量垂直公式的证明
向量垂直是几何中非常重要的位置关系，对应于代数中的正交性。我们将从几何定义出发，推导其坐标形式的充要条件。
2.1 几何推导
若向量 a ⊥ b，则它们的夹角 θ = 90° (或 π/2)。
根据数量积定义：
a · b = |a| |b| cos(90°)
因为 cos(90°) = 0，且对于非零向量 |a| ≠ 0, |b| ≠ 0，所以：
反之，若 a · b = 0，由于 |a|, |b| 非零，则必有 cosθ = 0，即 θ = 90°，故 a ⊥ b。
2.2 坐标形式证明
设 a = (x₁, y₁)，b = (x₂, y₂)。
根据向量加法的坐标运算规则：
a · b = (x₁i + y₁j) · (x₂i + y₂j)
利用分配律及 i·i=1, j·j=1, i·j=0：
a · b = x₁x₂(i·i) + x₁y₂(i·j) + y₁x₂(j·i) + y₁y₂(j·j)
a · b = x₁x₂ + y₁y₂
结合 a · b = 0，得出向量垂直公式：
结论：两个向量垂直的充要条件是它们对应坐标的乘积之和为零。
向量平行公式的证明
向量平行（共线）意味着两个向量方向相同或相反。其证明思路主要基于共线向量定理。
3.1 共线向量定理
若向量 b ≠ 0，则向量 a 与 b 平行的充要条件是存在唯一实数 λ，使得：
3.2 坐标形式推导
设 a = (x₁, y₁)，b = (x₂, y₂)，且 b ≠ 0（即 x₂, y₂ 不全为 0）。
由 a = λb 可得：
(x₁, y₁) = λ(x₂, y₂) = (λx₂, λy₂)
即：
x₁ = λx₂ ...... ①
y₁ = λy₂ ...... ②
由 ① 得 λ = x₁/x₂ (当 x₂≠0)，由 ② 得 λ = y₁/y₂ (当 y₂≠0)。
消去 λ，得：
x₁/y₁ = x₂/y₂
交叉相乘得：
注意：此公式在 b=0 时也成立（0=0），因此适用于所有情况。
结论：两个向量平行的充要条件是它们的坐标交叉相乘之差为零（即行列式为0）。
经典例题与实战应用
理论结合实践，以下是两类典型题目的解题示范。
题目：
已知向量 a = (2, -1), b = (k, 3)。若 a ⊥ b，求 k 的值。
解析：
根据向量垂直公式 x₁x₂ + y₁y₂ = 0：
2 × k + (-1) × 3 = 0
2k - 3 = 0
2k = 3
k = 1.5
答案：
k = 3/2
题目：
已知向量 a = (1, 2), b = (x, 4)。若 a // b，求 x 的值。
解析：
根据向量平行公式 x₁y₂ - x₂y₁ = 0：
1 × 4 - x × 2 = 0
4 - 2x = 0
2x = 4
x = 2
答案：
x = 2
题目：
在三角形 ABC 中，AB = (2, 3), AC = (1, k)。若 ∠A = 90°，求 k。
解析：
∠A = 90° 意味着向量 AB 与 AC 垂直。
利用垂直公式：2 × 1 + 3 × k = 0
2 + 3k = 0
3k = -2
k = -2/3
答案：
k = -2/3
常见问题解答 (FAQ)
若向量 a=(x1, y1), b=(x2, y2)，则 a // b 的充要条件是 x1y2 - x2y1 = 0。这个公式也可以理解为两个向量构成的行列式值为0。
最直接的方法是计算它们的数量积（点积）。如果 a·b = x1x2 + y1y2 = 0，则证明 a ⊥ b。这是基于垂直时夹角余弦值为0的几何性质。
平行公式涉及交叉相乘相减（x1y2 - x2y1 = 0），类似于斜率相等 y1/x1 = y2/x2 的变形；垂直公式涉及对应相乘相加（x1x2 + y1y2 = 0），类似于斜率乘积为 -1 的向量形式推广。
空间向量的垂直公式同理：x1x2 + y1y2 + z1z2 = 0。平行公式同样适用：x1y2 - x2y1 = 0 且 x1z2 - x2z1 = 0 且 y1z2 - y2z1 = 0，或者使用比例式 x1/x2 = y1/y2 = z1/z2。