平面向量极化恒等式是什么？
在平面向量的学习中，我们熟悉了数量积（点积）的定义、坐标运算以及几何意义 ，当遇到与“中点 ”“中线 ”“距离平方和”相关的问题时 ，有一个非常简洁而强大的工具常常被忽视，那就是平面向量极化恒等式 ，它究竟是什么？又该如何理解和运用？
极化恒等式的定义
极化恒等式（Polarization Identity）是联系向量数量积与向量和 、差模长平方的一个恒等式 ，在平面向量中,它通常表述为：
对于任意两个平面向量 a 和 b，有
[
\mathbf{a}\cdot\mathbf{b}=\frac{1}{4}\left(|\mathbf{a}+\mathbf{b}|^2-|\mathbf{a}-\mathbf{b}|^2\right)
]
或者等价地写成：
[
\mathbf{a}\cdot\mathbf{b}=\frac{1}{2}\left(|\mathbf{a}|^2+|\mathbf{b}|^2-|\mathbf{a}-\mathbf{b}|^2\right)
]
这两个形式本质相同，只是通过代数变形得到 ，第一个形式更对称 ，也更能体现“极化 ”的含义——用和与差的模长来“极化 ”出数量积 。
几何意义：从平行四边形到中线
极化恒等式之所以重要，在于它有非常直观的几何解释 ，考虑以 a 和 b 为邻边的平行四边形 ，则 a+b 和 a−b 分别对应两条对角线，第一个公式告诉我们：两向量的数量积等于两条对角线长度平方差的四分之一 。
更常用的是第二个形式 ，在三角形中 ，若取 a = AB，b = AC ，设 M 为 BC 的中点 ，则
[
\mathbf{AB}\cdot\mathbf{AC}=|\mathbf{AM}|^2-\frac{1}{4}|\mathbf{BC}|^2
]
这就是极化恒等式在三角形中的经典形式：两边向量的数量积等于第三边中线的平方减去第三边一半的平方，它把难以直接计算的夹角余弦问题,转化为中线长度与底边长度的问题。
典型应用场景
极化恒等式在解决以下问题时尤为高效：
- 求数量积的最值或范围：当动点在某条直线上或某个圆上运动时 ，利用中点为定点 ，可将数量积表示为“定点到动点距离的平方减去常数”,从而转化为距离最值问题 。
- 判断向量数量积的符号：通过中线与半底边的长度比较，快速判断夹角是锐角 、直角还是钝角 。
- 处理矩形、菱形 、圆等对称图形：在涉及中点 、对角线的问题中,极化恒等式能大幅简化运算。
在矩形 ABCD 中，O 为对角线交点 ，则对任意点 P ，有
[
\mathbf{PA}\cdot\mathbf{PC}=|\mathbf{PO}|^2-\frac{1}{4}|\mathbf{AC}|^2
]
这一结论在求轨迹或最值时非常方便。
记忆与理解建议
记忆极化恒等式时，可以抓住“和差平方差四分之一”这一口诀 ，理解上 ，它本质上是“数量积可以用长度来刻画 ”的体现——这正是“极化 ”一词的来源：从模长（长度）中“极化”出内积（角度信息），它与完全平方公式 ((a+b)^2-(a-b)^2=4ab) 在形式上高度一致,只是将数的乘法换成了向量的数量积 。
小结
平面向量极化恒等式是一个将数量积与模长平方联系起来的桥梁 ，它形式简洁、几何意义明确 ，在解决与中点、中线 、距离相关的问题时往往能起到“四两拨千斤 ”的效果，掌握它 ，不仅能在解题中多一条路径 ，更能加深对向量数量积本质的理解——数量积并非孤立定义,而是可以由长度和距离完全确定 。
