19二次型

1. 什么是二次型？#

想象你有一个公式，里面全是变量的“二次方”和“两两相乘”的项，比如： $f(x_1,x_2) = x_1^2 + 4x_1x_2 + 3x_2^2$

这里的 $x_1^2$、$x_2^2$ 是平方项，而 $x_1x_2$ 是交叉项。二次型就是这类“二次齐次多项式”的统称。

2. 什么是标准型？#

标准型就是只有平方项，没有交叉项的形式： $f = d_1y_1^2 + d_2y_2^2 + \dots + d_ny_n^2$

从几何上看，二次型对应着椭圆、双曲线等图形，而交叉项的存在意味着这些图形是“倾斜”的。化为标准型，就相当于把坐标轴旋转/平移到合适的位置，让图形端正地摆放。

3. 什么是配方法？#

就是中学时代解一元二次方程用的那个“配方”技巧： $x^2 + 4x = (x+2)^2 - 4$

配方法化二次型，就是反复对这个多项式进行配方，一步一步把交叉项“吃掉”，最终只剩下平方项。

1. 配方法 vs 正交变换法#

这是初学者最容易混淆的一对。

通俗理解：配方法像“手工整理房间”，只要最后整齐就行，中间怎么挪都可以；正交变换法像“用专业收纳盒整理”，不仅要求整齐，还要求每个物品相对位置关系不能变形。

2. 标准型 vs 规范型#

• 标准型：只要求没有交叉项，系数可以是任意非零数（如 $3y_1^2 - 5y_2^2$）。
• 规范型：标准型的“进一步净化”，系数只能是 $1$、$-1$ 或 $0$（如 $z_1^2 - z_2^2$）。

规范型是标准型再做一次简单的“缩放”就能得到的，它真正揭示了二次型的几何本质（惯性指数）。

类比一：整理乱糟糟的行李箱 🧳#

• 二次型 = 你出门前胡乱塞满的行李箱。T恤、裤子、充电器、化妆品全缠在一起（交叉项就是它们之间的纠缠）。
• 配方法 = 你一件一件拿出来，把T恤叠成方块，充电器卷好收进小袋——同类合并，去繁就简。
• 标准型 = 整理后的行李箱。每样东西都独立放在一格，互不干扰，你一眼就能看清里面有什么。

类比二：解开一团缠在一起的耳机线 🎧#

• 二次型 = 从口袋里掏出的耳机线，各种线头交叉打结（$x_1x_2$、$x_2x_3$ 这些交叉项就是“结”）。
• 配方法 = 你顺着线头，找到关键的交叉点，一个一个把结解开（配方就是找到“结”所在的位置，把它解开）。
• 标准型 = 完全理顺的耳机线，每一股都平行独立，没有任何交叉。