使得二次型的值为特征值的向量一定是特征向量吗

1、问题描述

设$A$是$n$阶实对称矩阵($n⩾3$)，每个特征值都是相异的（特征方程无重根），$\lambda$是其中一个特征值，对关于$\mathbf{x}$的方程$${\mathbf{x}}^{T}A\mathbf{x}=\lambda \text{subject to}{\mathbf{x}}^T\mathbf{x}=1$$，显然$\lambda$对应的单位特征向量$\mathbf{v}$是一个解，因为${\mathbf{v}}^{T}A\mathbf{v}={\mathbf{v}}^T(A\mathbf{v})={\mathbf{v}}^T(\lambda \mathbf{v})=\lambda ({\mathbf{v}}^T\mathbf{v})=\lambda$，现在我想知道，$\mathbf{v}$是方程的唯一解吗，也就是说还有别的单位向量也满足这个方程吗？

2、结论预告

对$A$的最大、最小特征值，$\mathbf{v}$确为方程的唯一解；对$A$的中间特征值，方程还有其他解。

3、证明

3.1、引理1

加权平均数介于最大最小值之间，取最大值和最小值的权重组合是唯一的，取中间值的权重组合是不唯一的。
证明：设$x_1>x_2>\cdots >x_n$，记$$\bar{x}=w_1{x}_1+w_2{x}_2+\cdots +w_n{x}_n$$，其中$$\sum _{i=1}^n{w}_i=1\text{，且}\forall 1⩽i⩽n\text{有}0⩽w_i⩽1$$
令$w_1=1$，其余权重为0，此时的加权平均数为$x_1$，欲证这是唯一的取到最大值的权重组合，则作差证明之
$$\begin{array}{rl}{x}_1-\bar{x}& =x_1-(w_1{x}_1+w_2{x}_2+\cdots +w_n{x}_n)\\ & =(1-w_1)x_1-(w_2{x}_2+\cdots +w_n{x}_n)\\ & =(w_2+\cdots +w_n)x_1-(w_2{x}_2+\cdots +w_n{x}_n)\\ & =w_2(x_1-x_2)+\cdots +w_n(x_1-x_n)\\ & >0\end{array}$$
即任意其他的权重组合，都无法使得加权平均数取得最大值，也即取得最大加权平均值的权重组合是唯一的。
同理可证最小值的情况。
对于中间值，可通过特殊值法证明多解的存在性。
比如三个数3，2，1，权重组合0，1，0可使得加权平均取到2，
$$0\times 3+1\times 2+0\times 1=2$$而权重组合$1/3,1/3/1/3$也能使得加权平均取到2，
$$1/3\times 3+1/3\times 2+1/3\times 1=2$$
因此取到中间值的权重组合有多个。

3.2、引理2

正交变换是保长度的，任意一个向量左乘正交矩阵后长度不变，即设$P$是正交矩阵，则$||\mathbf{x}||=||P\mathbf{x}||$。
证明：
$$||P\mathbf{x}|{|}^2=(P\mathbf{x}{)}^{T}P\mathbf{x}={\mathbf{x}}^T{P}^{T}P\mathbf{x}={\mathbf{x}}^T(P^{T}P)\mathbf{x}={\mathbf{x}}^{T}I\mathbf{x}={\mathbf{x}}^T\mathbf{x}=||\mathbf{x}|{|}^2$$
$$\because ||\mathbf{x}||⩾0且||P\mathbf{x}||⩾0\therefore ||\mathbf{x}||=||P\mathbf{x}||$$

3.3、正式证明

记$Q(\mathbf{x})={\mathbf{x}}^{T}A\mathbf{x},{\mathbf{x}}^T\mathbf{x}=1$
$\because A$是实对称的
$\therefore \exists$正交矩阵$P$使得$D=P^{T}AP$，其中$D$满足
$$D=\left[\begin{array}{ccc}{\lambda }_1& & \\ & \ddots & \\ & & {\lambda }_n\end{array}\right]$$
如此，经过变量代换$\mathbf{x}=P\mathbf{y}$，$A$的二次型${\mathbf{x}}^{T}A\mathbf{x}$可化为标准型${\mathbf{y}}^{T}D\mathbf{y}$，则
$$Q(\mathbf{x})={\lambda }_1{y}_1^2+\cdots +{\lambda }_n{y}_n^2=y_1^2{\lambda }_1+\cdots +y_n^2{\lambda }_n$$
$\because P$是正交矩阵，由保长度性，$$y_1^2+y_2^2+\cdots +y_n^2={\mathbf{y}}^T\mathbf{y}={\mathbf{x}}^T\mathbf{x}=1$$
可以把$Q(\mathbf{x})$视为各特征值的加权平均，将$y_i^2$视为权重，则显然加权平均数介于最大最小特征值之间。如果要取到最大特征值，权重组合只能是1,0,0,…,0,即$\mathbf{y}={\mathbf{e}}_1=[1,0,\cdots ,0{]}^T$；如果要取到最小值，权重组合只能是0,…,0,1,即$\mathbf{y}={\mathbf{e}}_{\mathbf{n}}=[0,\cdots ,0,1{]}^T$，取中间值的组合是不唯一的，还是取特殊值说明。
对于某个二次型的矩阵$A$，满足
$$D=\left[\begin{array}{ccc}1& & \\ & 2& \\ & & 3\end{array}\right]$$亦即$Q(\mathbf{x})={\mathbf{x}}^{T}A\mathbf{x}=x_1^2+2x_2^2+3x_3^2$，如果要使二次型取到中间特征值2，$\mathbf{x}$可以是$[0,1,0{]}^T$：
$$Q([0,1,0{]}^T)=0^2+2\times 1^2+3\times 0^2=2$$
也可以取$[\sqrt{3}/3,\sqrt{3}/3,\sqrt{3}/3{]}^T$:
$$Q([\sqrt{3}/3,\sqrt{3}/3,\sqrt{3}/3{]}^T)=(\sqrt{3}/3{)}^2+2\times (\sqrt{3}/3{)}^2+3\times (\sqrt{3}/3{)}^2=2$$