diff --git a/编写小组/讲义/正交及二次型(解析版).md b/编写小组/讲义/正交及二次型(解析版).md index 9c37396..8c2461c 100644 --- a/编写小组/讲义/正交及二次型(解析版).md +++ b/编写小组/讲义/正交及二次型(解析版).md @@ -292,7 +292,7 @@ $U = \text{span}\{\boldsymbol{\beta}_1,\boldsymbol{\beta}_2,\boldsymbol{\beta}_3 ##### 抽象二次型 >[!example] 例题 ->证明:已知实二次型 $\displaystyle f(x_1,x_2,x_3,x_4)=\boldsymbol x^T\boldsymbol A \boldsymbol x$ 中,$\displaystyle \boldsymbol A^T=\boldsymbol A,\boldsymbol A$ 的各行元素之和等于 $6$ ,$\boldsymbol A$ 的秩等于 $1$,则 $\displaystyle f(x_1,x_2,x_3)$ 在正交变换 $\boldsymbol x=\boldsymbol{Cy}$ 作用下可得到标准型 $6y_1^2$. +>证明:已知实二次型 $\displaystyle f(x_1,x_2,x_3)=\boldsymbol x^T\boldsymbol A \boldsymbol x$ 中,$\displaystyle \boldsymbol A^T=\boldsymbol A,\boldsymbol A$ 的各行元素之和等于 $6$ ,$\boldsymbol A$ 的秩等于 $1$,则 $\displaystyle f(x_1,x_2,x_3)$ 在正交变换 $\boldsymbol x=\boldsymbol{Cy}$ 作用下可得到标准型 $6y_1^2$. >[!note] 证明: >$\boldsymbol A$ 的各行元素之和等于 $6$,即 $\boldsymbol A\begin{bmatrix}1\\1\\1\end{bmatrix}=\begin{bmatrix}6\\6\\6\end{bmatrix}=6\begin{bmatrix}1\\1\\1\end{bmatrix}$,于是 $6$ 是矩阵 $\boldsymbol A$ 对应向量 $\begin{bmatrix}1\\1\\1\end{bmatrix}$ 的特征值,其代数重数至少为 $1$。