极化恒等式

方法定义

对于向量 $a, b$，通过恒等变形可得 $a \cdot b = \frac{1}{4}[(a+b)^2 - (a-b)^2]$，这个式子就叫作极化恒等式。它常被用来解决有关向量数量积的问题，极化恒等式建立了向量与几何长度（数量）之间的桥梁。

核心思想

极化恒等式的核心在于**“数形结合，化积为长”**。使用该方法要求两个向量共起点，或者可以转化到共起点的情形。对于具有三角形几何背景的数学问题，利用极化恒等式求解尤为简单。它包含两个经典的几何延伸模型：

1. 平行四边形模型：向量的数量积可表示为以这组向量为邻边的平行四边形的“和对角线”与“差对角线”平方差的 $\frac{1}{4}$，即 $\overrightarrow{AB} \cdot \overrightarrow{AD} = \frac{1}{4}(\overrightarrow{AC}^2 - \overrightarrow{DB}^2)$。
2. 三角形模型：向量的数量积可表示为三角形中线长与半底边长的平方差。即对于共起点的向量，若 $O$ 为底边 $BD$ 的中点，则 $\overrightarrow{AB} \cdot \overrightarrow{AD} = \overrightarrow{AO}^2 - \overrightarrow{OD}^2$。

适用题型

该方法广泛涉及向量、解析几何、三角等模块。特别适用于：

1. 具有三角形或平行四边形几何背景的向量数量积求解或最值问题。
2. 圆锥曲线（如双曲线、椭圆）和圆中处理动弦、动点有关的复杂向量数量积问题。

识别信号

1. 共起点向量求数量积：题干要求计算或求最值的目标式形如 $\overrightarrow{PB} \cdot \overrightarrow{PC}$，且 $B, C$ 为定点，$P$ 为动点时，强烈暗示取 $BC$ 中点利用极化恒等式转化为点到点距离的平方差关系。
2. 已知中位线或对角线：几何图形中存在天然的中点，或者容易构造中线（如圆锥曲线中点弦问题）。
3. 已知线性组合的模长：题干给出了两向量的线性组合模长（如 $|2a+3b|=1$），要求这两向量的数量积 $a \cdot b$。

标准解题步骤

1. 转化共起点：利用平移或取相反向量的方式，将待求数量积的两个向量转化为共起点形式（如 $\overrightarrow{AB}$ 与 $\overrightarrow{AD}$）。
2. 构造中线（或对角线）模型：连接这两个向量的终点构造三角形，并取对边中点连结中线（或补全为平行四边形利用对角线）。
3. 应用恒等式化长：利用极化恒等式的三角形模型，将向量数量积运算彻底转化为几何线段长度的平方差（如 $\overrightarrow{MA} \cdot \overrightarrow{MB} = \overrightarrow{MO}^2 - \overrightarrow{OA}^2$）。
4. 结合几何特征求解：利用圆的半径、圆锥曲线的光学性质、动点的轨迹特征或点到直线的距离，分析转化后线段长度（或其平方）的最值边界，进而得出数量积的最终结论。

一个简短示例

题目：已知向量 $a, b$ 满足 $|2a+3b|=1$，则 $a \cdot b$ 的最大值为 。

解答： 设 $2a=\overrightarrow{OA}$，$3b=\overrightarrow{OB}$，取 $AB$ 的中点 $M$，则 $|\overrightarrow{OM}| = \frac{1}{2}|2a+3b| = \frac{1}{2}$，为定值。

对于 $\triangle OAB$，由极化恒等式（三角形模型）可知：

$2a \cdot 3b = \overrightarrow{OA} \cdot \overrightarrow{OB} = \overrightarrow{OM}^2 - \overrightarrow{MB}^2$

当 $\angle BOA$ 趋向于 $0$ 时，$|\overrightarrow{MB}|$ 趋向于 $0$。

所以 $2a \cdot 3b = \overrightarrow{OM}^2 - \overrightarrow{MB}^2 \le \frac{1}{4} - 0 = \frac{1}{4}$。

即 $6(a \cdot b) \le \frac{1}{4}$，解得 $a \cdot b \le \frac{1}{24}$。

因此 $a \cdot b$ 的最大值为 $\frac{1}{24}$。

常见误区

1. 忽视共起点前提：在使用极化恒等式的几何延伸模型时，未将两个待求数量积的向量调整为共起点状态，直接套用中点公式导致全盘错误。
2. 极值临界点验证缺失：在将数量积转化为中线与半底边的平方差后，未结合原几何图形的实际边界去判断减数部分（半底边长）是否能真正趋近于 $0$ 或取得极小值，从而得出了无法实际取到的“伪最值”。
3. 陷入代数死胡同：在处理解析几何中的数量积时，思维定势于采用坐标法结合韦达定理进行运算求解，未发掘出原图形具备天然的中心对称性（如双曲线过原点的弦），从而陷入了庞大且极易出错的计算泥潭。