二次型最值问题

二次型 $f=x^{\mathrm{T}}Ax$ 经过正交变换化为 $y^{\mathrm{T}}\mathbf{\Lambda }y={\lambda }_1{y}_1^2+{\lambda }_2{y}_2^2+{\lambda }_3{y}_3^2$，若特征值大小关系 ${\lambda }_1\le {\lambda }_2\le {\lambda }_3$，则有

即 ${\lambda }_1{y}^{\mathrm{T}}y\le y^{\mathrm{T}}Ay\le {\lambda }_3{y}^{\mathrm{T}}y$
由于正交变换不改变向量的模长，即 $x^{\mathrm{T}}x=(Qy{)}^{\mathrm{T}}Qy=y^{\mathrm{T}}y$
故

• 一般题目会给平方和的值 $x^{\mathrm{T}}x=N$，找到对应 $y$ 的坐标，再用 $x=Qy$ 变换回 $x$ 的坐标即可
  • 求 $f_{\mathrm{m}\mathrm{a}\mathrm{x}}$，则令 $y=(0,0,\sqrt{N}{)}^{\mathrm{T}}$
  • 求 $f_{\mathrm{m}\mathrm{i}\mathrm{n}}$，则令 $y=(\sqrt{N},0,0{)}^{\mathrm{T}}$

二次型的解

可将二次型化作标准形（正交变换），进而求方程的解

• 对于 $f=x_1^2+x_2^2+x_3^2=0$，只有 $x=(0,0,0{)}^T$ 时才满足
• 对于 $f=2y_1^2+0\cdot y_2^2-y_3^2=0$，有 $y=(0,k,0{)}^T$ 满足