何谓平面向量极化恒等式？
在平面向量的学习体系中，极化恒等式（Polarization Identity）是一个极为优雅且强大的工具。它揭示了向量数量积（点积）与向量模长（长度）之间的深刻联系。如果说向量加法是“合成”，减法是“分解”，那么极化恒等式则是将“乘积”转化为“平方”的桥梁。
⚡ 核心公式
(vec{a} cdot vec{b} = frac{1}{4} left[ (vec{a} + vec{b})^2 - (vec{a} - vec{b})^2 ight])
或者更常用的模长形式：
这个公式的直观含义是：两个向量的数量积，等于以这两个向量为邻边的平行四边形的两条对角线平方差的四分之一。这一结论不仅适用于二维平面，在高等数学的内积空间中也有更广泛的推广。
网民关注热点：为什么叫“极化”？
在数学分析中，“极化”通常指将二次型（如范数的平方）还原为双线性型（如内积）的过程。极化恒等式正是实现了从“模长平方”（二次项）到“数量积”（双线性项）的转换。在物理和工程领域，这种转换常用于能量计算和信号处理。
严谨的代数推导
许多同学在面对平面向量极化恒等式时，往往只记住了结论，而忽略了其简洁的推导过程。掌握推导有助于在考试中快速回忆。
步骤 1：展开平方
根据向量数量积的分配律和交换律：
步骤 2：展开平方差
同理，计算差的模长平方：
步骤 3：作差消元
将上述两式相减：
化简后得到：
移项即得：(vec{a} cdot vec{b} = frac{1}{4} (|vec{a} + vec{b}|^2 - |vec{a} - vec{b}|^2))。推导完毕，逻辑闭环。
直观的几何意义：平行四边形定则
代数推导虽然严谨，但几何直观能帮助我们更好地记忆和应用。让我们构建一个几何模型。
💡 几何模型构建
设 (O) 为原点，(vec{OA} = vec{a})，(vec{OB} = vec{b})。以 (OA, OB) 为邻边作平行四边形 (OACB)。
- 对角线 1：(vec{OC} = vec{a} + vec{b})，其长度为 (|vec{a} + vec{b}|)。
- 对角线 2：(vec{BA} = vec{a} - vec{b})，其长度为 (|vec{a} - vec{b}|)。
- 中点 M：设 (AB) 的中点为 (M)，则 (vec{OM} = frac{vec{a} + vec{b}}{2})。
中点形式（极化恒等式的变式）
在高考真题中，极化恒等式常以中点形式出现，这也是网民搜索频率极高的一个点。若 (M) 是线段 (AB) 的中点，(P) 是平面内任意一点，则：
解读：两个向量数量积，等于“公共起点到中点距离的平方”减去“半弦长（半段距离）的平方”。这个形式在解决三角形重心、外心问题时威力巨大。
核心应用场景与解题攻略
网友常问：“极化恒等式到底怎么用？” 以下是三大高频应用场景，建议收藏。
1. 涉及三角形外心（外接圆圆心）的问题
当题目给出三角形的外心 (O) 时，往往意味着 (|vec{OA}| = |vec{OB}| = |vec{OC}| = R)（外接圆半径）。
典型例题：已知 ( riangle ABC) 的外心为 (O)，半径为 (R)，求 (vec{AB} cdot vec{AC})。
解析：取 (BC) 中点 (D)。由极化恒等式中点形式：(vec{DB} cdot vec{DC} = |vec{DO}|^2 - |vec{DB}|^2)。注意这里向量方向相反，(vec{AB} cdot vec{AC}) 可以通过投影或坐标法转化，但更直接的是利用外心性质：(vec{AB} cdot vec{AC} = (vec{OB}-vec{OA})cdot(vec{OC}-vec{OA}))。若 (A) 在圆上，此法稍繁。更常见的是求 (vec{OA} cdot vec{OB})。
若求 (vec{OA} cdot vec{OB})，取 (AB) 中点 (M)，则 (vec{OA} cdot vec{OB} = |vec{OM}|^2 - |vec{AM}|^2)。因为 (OM perp AB)，在 Rt( riangle OMA) 中，(|vec{OM}|^2 + |vec{AM}|^2 = R^2)。所以 (vec{OA} cdot vec{OB}) 的值取决于圆心角或弦长。
2. 涉及三角形重心（Centroid）的问题
重心 (G) 是三条中线的交点，满足 (vec{GA} + vec{GB} + vec{GC} = vec{0})。
性质推导：对于重心 (G) 和任意点 (P)，有极化恒等式的推广：(vec{GA} cdot vec{GB} = frac{1}{9}(2c^2 + 2ab - c^2)...) 这种直接公式记忆容易错。建议用中点形式。
取 (AB) 中点 (M)，则 (vec{GA} cdot vec{GB} = |vec{GM}|^2 - |vec{AM}|^2)。因为 (G) 是重心，(GM = frac{1}{3}CM)（(C) 为顶点）。所以 (vec{GA} cdot vec{GB} = frac{1}{9}|vec{CM}|^2 - frac{1}{4}c^2)。这直接将数量积转化为中线长和边长的关系，非常实用。
3. 求数量积的定值或范围
当动点 (P) 在圆上运动，(AB) 为圆的弦时，求 (vec{PA} cdot vec{PB}) 的最值。
设 (AB) 中点为 (M)，圆心为 (O)。则 (vec{PA} cdot vec{PB} = |vec{PM}|^2 - |vec{MA}|^2)。
其中 (|vec{MA}|) 是定值（半弦长）。问题转化为求 (|vec{PM}|) 的最值。因为 (P) 在圆上，(M) 是定点，(|vec{PM}|) 的最大值为 (R + |OM|)，最小值为 (|R - |OM||)（取决于 (M) 是否在圆内，通常弦中点在圆内，故为 (R - |OM|)）。
结论：极化恒等式将“向量积”问题转化为“距离”问题，利用几何图形（圆）的性质求最值，大大简化了计算。
网友们还关心：极化恒等式的拓展与关联
在掌握了基础应用后，许多进阶学习者开始关注极化恒等式与其他数学概念的联系。以下是几个关键的拓展方向。
1. 与中线长公式的联系
在 ( riangle ABC) 中，若 (AD) 是中线，则 (AB^2 + AC^2 = 2(AD^2 + BD^2))。这个著名的阿波罗尼奥斯定理（Apollonius Theorem）其实就是极化恒等式的变形。
推导：(vec{AB} cdot vec{AC} = |vec{AD}|^2 - |vec{BD}|^2)。
又 (|vec{AB}|^2 + |vec{AC}|^2 = (vec{AB}-vec{AC})^2 + 2vec{AB}cdotvec{AC} = vec{BC}^2 + 2(|vec{AD}|^2 - |vec{BD}|^2))。
代入 (|vec{BC}| = 2|vec{BD}|)，整理即可得中线长公式。可见，极化恒等式是中线长公式的向量本质。
2. 在复数平面中的应用
若将平面向量视为复平面上的点，极化恒等式对应于复数的性质。对于复数 (z_1, z_2)，有 (Re(z_1 ar{z_2}) = frac{1}{2}(|z_1+z_2|^2 - |z_1|^2 - |z_2|^2)) 等类似形式。虽然形式略有不同，但核心思想都是利用模长平方来重构内积。
3. 与物理学的能量守恒
在力学中，功 (W = vec{F} cdot vec{s})。极化恒等式暗示我们可以通过测量合力与分力的位移平方差来间接计算功，这在实验物理中有时用于避免直接测量角度。
| 应用场景 | 关键几何元素 | 极化恒等式形式 | 解题优势 |
|---|---|---|---|
| 平行四边形 | 对角线 | (vec{a}cdotvec{b} = frac{1}{4}(|vec{a}+vec{b}|^2 - |vec{a}-vec{b}|^2)) | 已知对角线求邻边积 |
| 三角形中点 | 中线 | (vec{PA}cdotvec{PB} = |vec{PM}|^2 - |vec{MA}|^2) | 化积为距，求最值 |
| 圆内接三角形 | 弦中点 | 同上 | 结合勾股定理快速求解 |
常见问题解答（FAQ）
A: 极化恒等式本身不是课本原话，但它是解决向量数量积问题的重要技巧。在高考选择题和填空题中，当涉及三角形外心、重心或求数量积范围时，使用极化恒等式往往能秒杀常规坐标法或基底法。建议在复习向量章节时重点掌握其几何意义。
A: 不完全是。虽然高中阶段主要学习平面向量，但该恒等式在高维欧几里得空间乃至希尔伯特空间（Hilbert Space）中均成立。其核心在于内积空间的几何性质。在三维立体几何中，若能将向量投影到某个平面，同样可以利用此思想解题。
A: 记住“和平方减负平方”。即 ((vec{a}+vec{b})^2) 是“大对角线”平方，((vec{a}-vec{b})^2) 是“小对角线”平方。在平行四边形中，通常两条对角线一长一短，公式永远是大减小，保证结果为正（当夹角为锐角时）。若夹角为钝角，结果自然为负，公式依然成立。
A: 两者本质相通。余弦定理 (c^2 = a^2 + b^2 - 2abcos C) 可以改写为 (2abcos C = a^2 + b^2 - c^2)，即 (2vec{a}cdotvec{b} = |vec{a}|^2 + |vec{b}|^2 - |vec{a}-vec{b}|^2)。对比极化恒等式 (vec{a}cdotvec{b} = frac{1}{4}(|vec{a}+vec{b}|^2 - |vec{a}-vec{b}|^2))，可以看出它们都是从不同角度出发（一边对角 vs 两边夹角）描述向量关系。极化恒等式更侧重于“中点”和“对角线”的结构。