⚡ 定理概述：什么是平面向量基本定理？
核心定义
如果 e₁ 和 e₂ 是同一平面内的两个不共线向量，那么对于这一平面内的任意向量 a，有且只有一对实数 λ₁、λ₂，使：
这一结论被称为平面向量基本定理。这里的 e₁、e₂ 叫做表示这一平面内所有向量的一组基底。
关键要素解析
- 不共线条件：基底向量必须线性无关。如果 e₁ // e₂，则它们只能张成一条直线，无法覆盖整个平面。
- 任意性：定理适用于平面内的每一个向量，无论是零向量还是非零向量。
- 唯一性：系数 λ₁ 和 λ₂ 是唯一确定的。这是建立向量坐标系的理论基础。
📐 推导过程：从几何直观到代数证明
推导平面向量基本定理并非简单的代数运算，而是基于欧几里得几何的平行四边形法则与相似三角形性质的逻辑推演。以下是严谨的推导步骤。
存在性证明 (Existence)
目标：证明任意向量 a 可以表示为 λ₁e₁ + λ₂e₂。
- 选取原点：在平面内任取一点 O 作为起点。
- 构建基底向量：作向量 OA = e₁，OB = e₂。
- 构建目标向量：作向量 OC = a。
- 几何分解：过点 C 分别作 OA 和 OB 所在直线的平行线，分别交直线 OA 于点 M，交直线 OB 于点 N。
- 应用平行四边形法则：根据向量加法的平行四边形法则，向量 OC 可以分解为 OM 和 ON。
由于 M 在直线 OA 上，存在实数 λ₁ 使得 OM = λ₁OA = λ₁e₁。
同理，由于 N 在直线 OB 上，存在实数 λ₂ 使得 ON = λ₂OB = λ₂e₂。
因此，a = OM + ON = λ₁e₁ + λ₂e₂。存在性得证。
唯一性证明 (Uniqueness)
目标：证明系数 λ₁ 和 λ₂ 是唯一的。
反证法：
- 假设存在另一对实数 μ₁、μ₂，使得 a = μ₁e₁ + μ₂e₂ 也成立。
- 则有：λ₁e₁ + λ₂e₂ = μ₁e₁ + μ₂e₂。
- 移项整理得：(λ₁ - μ₁)e₁ + (λ₂ - μ₂)e₂ = 0。
- 令 Δλ₁ = λ₁ - μ₁，Δλ₂ = λ₂ - μ₂，则 Δλ₁e₁ + Δλ₂e₂ = 0。
- 关键点：因为 e₁ 和 e₂ 是不共线的（线性无关），若它们的线性组合为零向量，则系数必须全为零。
- 即：Δλ₁ = 0 且 Δλ₂ = 0。
- 所以 λ₁ = μ₁ 且 λ₂ = μ₂。
假设不成立，故表示法是唯一的。唯一性得证。
几何意义与坐标化
当基底 e₁、e₂ 选取为相互垂直的单位向量（即 i, j）时，平面向量基本定理就转化为我们熟悉的直角坐标系。
- 若 e₁ = i (1,0)，e₂ = j (0,1)。
- 则 a = λ₁i + λ₂j = (λ₁, λ₂)。
- 此时，λ₁ 和 λ₂ 即为向量 a 在直角坐标系下的横坐标和纵坐标。
这揭示了向量代数与解析几何的内在统一性：任何几何位置都可以通过唯一的代数坐标来精确描述。
🛠️ 核心应用：解题策略与实例
掌握推导过程后，关键在于灵活运用。以下是两种最典型的应用场景。
场景一：向量分解与几何性质证明
例题：在平行四边形 ABCD 中，E 是 BC 的中点，F 是 CD 的中点。若 AB = a, AD = b，试用 a, b 表示 EF。
推导步骤：
- 选定基底：以 AB (a) 和 AD (b) 为基底。
- 路径分析：EF = EC + CF。
- 基底转化：
- EC = 1/2 BC = 1/2 AD = 1/2 b。
- CF = 1/2 CD = 1/2 BA = -1/2 a。
- 结论：EF = -1/2 a + 1/2 b。
场景二：共线定理的应用
定理推论：若向量 a 与 b 共线，且 b ≠ 0，则存在唯一实数 λ 使得 a = λb。
应用技巧：在解决三点共线问题时（如 A, B, C 共线），若 O 为平面内任意一点，则存在实数 t 使得 OC = (1-t)OA + tOB。这一结论直接源于平面向量基本定理中系数的和为 1 的性质（当且仅当基底为单位向量且特定几何构型时）。
📜 历史沿革：向量思想的诞生
几何直观阶段
古希腊数学家欧几里得在《几何原本》中已隐含了向量加法的平行四边形法则，但未形成抽象的向量概念。
惠更斯的贡献
克里斯蒂安·惠更斯在研究碰撞问题时，明确使用了速度合成的平行四边形法则，这是向量运算的早期雏形。
阿贝尔与复数
挪威数学家韦塞尔（Wessel）和法国数学家阿尔冈（Argand）独立提出了复数的几何表示，为向量作为有向线段提供了代数基础。
格拉斯曼与线性空间
赫尔曼·格拉斯曼（Hermann Grassmann）在其著作《线性外代数》中系统地阐述了向量空间的基和维度的概念，平面向量基本定理是其理论的自然推论。
吉布斯与矢量分析
约西亚·威拉德·吉布斯（Josiah Willard Gibbs）将向量分析从复数和四元数中独立出来，形成了现代物理学和工程学中广泛使用的矢量符号体系。
❓ 常见问题解答 (FAQ)
📊 知识对比总结
| 维度 | 基底向量个数 | 基底条件 | 表示形式 | 典型应用 |
|---|---|---|---|---|
| 一维 | 1 | 非零向量 | a = λe | 直线上的位移 |
| 二维 (平面) | 2 | 不共线 | a = λ₁e₁ + λ₂e₂ | 平面几何、力的合成 |
| 三维 (空间) | 3 | 不共面 | a = λ₁e₁ + λ₂e₂ + λ₃e₃ | 立体几何、电磁场 |
本文内容仅供学习交流，旨在深入理解数学原理。如有版权争议，请联系删除。