线性代数——分类二次型

1. 公式
   观察依据

   手写示例中反复使用 Q 表示二次型，例如 $Q = x_1^2$ 和 $Q = x_1^2 + x_2^2$。

2. 声音
   观察依据

   主讲人说：“如果我有一个二次型 Q 等于 x 一的平方”，之后又提到“x 的一个二次型 Q”。

Q

一种二次型；在演算示例中，它被写作关于变量 $x_1$ 和 $x_2$ 的显式多项式。

本片段展示了单变量与双变量二次型对应的 Q。

1. 公式
   观察依据

   $x_1$ 出现在全部四个手写示例中：$Q = x_1^2$、$Q = -2x_1^2$、$Q = x_1^2 + x_2^2$，以及 $Q = x_1^2 - x_2^2$。

2. 声音
   观察依据

   主讲人在朗读示例时将该变量称为“x 一”。

$x_1$

二次型输入中的第一个坐标变量。

1. 公式
   观察依据

   $x_2$ 出现在两个双变量示例中：$Q = x_1^2 + x_2^2$ 和 $Q = x_1^2 - x_2^2$。

2. 声音
   观察依据

   主讲人说：“假设 Q 等于 x 一的平方加上 x 二的平方”，之后又说：“Q 等于 x 一的平方减去 x 二的平方。”

$x_2$

二次型输入中的第二个坐标变量。

1. 声音
   观察依据

   主讲人说：“把这看作一个函数 $f(x)$ 等于 x 的平方。”

1. 公式 $f(x)=x^2$ 被口头说出，但未在屏幕上清晰写出。

$f(x)$

一种普通的单变量函数，用于重新解释单变量二次型，以便作图。

1. 公式
   观察依据

   定义框中写道：“二次型 $Q(x)$ 是：”，然后在每条列举条件中都使用 $Q(x)$。

2. 声音
   观察依据

   主讲人说：“我们称一个关于 x 的二次型 Q 是正定的……”

$Q(x)$

二次型在输入向量 x 处的取值。

1. 公式
   观察依据

   定义的列举项中使用带向量箭头的 x，包括条件 $x \ne 0$。

2. 声音
   观察依据

   主讲人说：“当 x 不是零向量时。”

$\vec{x}$

输入二次型的向量。

1. 公式
   观察依据

   定义中的要点明确排除了 $\vec{x}=\vec{0}$，写法为 $\vec{x}\neq\vec{0}$。

2. 声音
   观察依据

   主讲人说：“当 x 不是零向量时”以及“对所有不为零向量的 x”。

$\vec{0}$

零向量，它被排除在定性条件之外。

1. 公式
   观察依据

   黑板在定义和定理陈述中反复写出 $Q(x)$。

$Q(\vec{x})$

二次型在向量 $\vec{x}$ 处的取值。

$\vec{x}$ 是一个向量；视频未明确说明其所在空间的维数。

1. 公式
   观察依据

   定义中使用了“对所有 $\vec{x} \neq \vec{0}$”的表述。

$\vec{0}$

零向量，在严格正定性或负定性条件中被排除。

包含 $\vec{x}$ 的向量空间；其确切维数未作说明。

1. 公式
   观察依据

   定理行写为“若 $Q = \vec{x}^T A \vec{x}$，则……”，音频中说“其中 A 是一个对称矩阵”。

A

与二次型 Q 相关联的对称矩阵。

方阵；其阶数与 $\vec{x}$ 的维数一致。

1. 公式
   观察依据

   屏幕上显示的定理条件是 $Q = \vec{x}^T A \vec{x}$。

$\vec{x}^T$

向量 $\vec{x}$ 的转置，用于构造标量形式的二次表达式。

$\vec{x}$ 的行向量形式。

1. 公式
   观察依据

   定理要点中提到的‘A 的特征值’。

2. 声音
   观察依据

   讲师指出，分类是通过求对称矩阵 A 的特征值得到的。

$\text{eigenvalues of }A$

与对称矩阵 A 相关联的标量，用于确定二次型 Q 的符号类型。

实特征值由对称性所保证，但本视频并未单独证明这一事实。

1. 声音
   观察依据

   主讲人说：“现在，对这些二次型进行分类的一种方法，是考察当你将不同的点代入 x₁ 和 x₂ 时，其输出值的符号。”

本片段介绍了一种分类方法，依据是二次型在代入不同非零输入时所得到的值为正、为负，还是既有正也有负。

1. 该方法适用于含变量 $x_1$ 和 $x_2$ 等的二次型。

2. 该方法在展示若干图像化示例之后引入。

1. 公式
   观察依据

   定义块中写道：“若对所有 $\vec{x} \neq \vec{0，均有 Q(\vec{x}) > 0}$，则称其为正定。"

2. 声音
   观察依据

   主讲人说：“我们称关于 x 的二次型 Q 是正定的，当且仅当 x 为非零向量时，$Q(x)$ 恒大于零。”

当一个二次型对每个非零输入向量的取值都严格大于零时，称其为正定二次型。

1. 该不等式必须对所有 $\vec{x} \neq \vec{0}$ 成立。

2. 零向量被排除在条件之外。

1. 根据输出值的符号对二次型进行分类

1. 公式
   观察依据

   定义块中写道：“若对所有 $\vec{x} \neq \vec{0，均有 Q(\vec{x}) < 0}$，则称其为负定。"

2. 声音
   观察依据

   主讲人说：“我们称关于 x 的二次型 Q 是负定的，当且仅当 x 为非零向量时，$Q(x)$ 恒小于零。”

当一个二次型对每个非零输入向量的取值都严格小于零时，该二次型被称为负定的。

1. 该不等式必须对所有 $\vec{x} \neq \vec{0}$ 成立。

2. 零向量被排除在该条件之外。

1. 根据输出值的符号对二次型进行分类

1. 公式
   观察依据

   定义框中写道：“若 $Q(\vec{x})$ 既取正值又取负值，则称其为不定的。”

2. 声音
   观察依据

   说话人说：“最后，我们称二次型 $Q(x)$ 是不定的，如果 $Q(x)$ 的取值既包含正值，也包含负值。”

当一个二次型在其输出中既取正值又取负值时，它被称为不定的。

1. 必须存在某些输入使得输出为正值，也必须存在其他输入使得输出为负值。

2. 本条目中，视频片段并未单独陈述 $\vec{x}=\vec{0}$ 的排除条款。

1. 根据输出值的符号对二次型进行分类

1. 声音
   观察依据

   讲师说，若二次型 $Q(x)$ 恒大于或等于零，则该二次型是半正定的。

2. 公式
   观察依据

   蓝色文字显示：“若 $Q(\vec{x}) \ge 0$，则为半正定。”

当二次型 $Q(\vec{x})$ 的取值从不为负时，称其为半正定：对任一输入向量，均有 $Q(\vec{x}) \ge 0$。与正定不同，允许在非零向量处取等号。

1. 适用于二次型 $Q(\vec{x})$。

2. 半定性定义行中未明确排除 $\vec{x}=\vec{0}$。

1. 二次型符号分类的设定

1. 声音
   观察依据

   讲师说，若二次型 $Q(x)$ 恒小于或等于零，则该二次型是半负定的。

2. 公式
   观察依据

   蓝色文字显示：“若 $Q(\vec{x}) \le 0$，则为半负定。”

当二次型 $Q(\vec{x})$ 的取值从不为正时，称其为半负定：对任一输入向量，均有 $Q(\vec{x}) \le 0$。这是半正定的符号相反情形。

1. 适用于二次型 $Q(\vec{x})$。

2. 半定性行中未明确排除 $\vec{x}=\vec{0}$ 的情况。

1. 二次型符号分类的设定

1. 声音
   观察依据

   讲师指出，我们可以通过将 Q 写成 x 转置乘以 A 再乘以 x 的形式，并求对称矩阵 A 的特征值，来对这些二次型进行分类。

2. 公式
   观察依据

   在30s处，定理行以“若 $Q = \vec{x}^T A \vec{x}$，则”开头。

要对一个二次型进行分类，需先将其重写为 $Q=\vec{x}^T A\vec{x}$ 的形式，其中 A 为对称矩阵，再考察 A 的特征值的符号；这些特征值的符号模式决定了 Q 是正定、负定还是不定。

1. A 必须是对称矩阵。

2. 该方法适用于能表示为此类矩阵形式的二次型。

1. 二次型符号分类的设定
2. 正定二次型
3. 负定二次型
4. 不定二次型

1. 公式
   观察依据

   黑色定义框中写道：“二次型 $Q(\vec{x})$ 是：”后接三个带项目符号的情形。

1. 该片段未单独给出表达式成为二次型的代数定义；它仅定义了 $Q(\vec{x})$ 的符号类别。

黑板将 $Q(\vec{x})$ 视为一个二次型，并依据其在非零向量上的取值符号对其进行分类。最先列出的三种严格类别是正定、负定与不定。

1. 严格定义要求对所有 $\vec{x} \neq \vec{0}$ 进行量化。

1. 公式
   观察依据

   黑色文字：“若对所有 $\vec{x} \neq \vec{0 成立，则称其为正定的”，0}$'

若二次型 $Q(\vec{x})$ 在每个非零输入向量上均取严格正值，则称其为正定。

1. 量化范围覆盖所有非零向量 $\vec{x}$。

1. 二次型符号分类的设定

1. 公式
   观察依据

   黑色文字：“若对所有 $\vec{x} \neq \vec{0 成立，则称其为负定的”，0}$'

若二次型 $Q(\vec{x})$ 在每个非零输入向量上均取严格负值，则称其为负定。

1. 量化范围覆盖所有非零向量 $\vec{x}$。

1. 二次型符号分类的设定

1. 公式
   观察依据

   黑字：「若 $Q(\vec{x})$ 同时取正值与负值，则称其为不定。」

若当 $\vec{x}$ 变化时，二次型 $Q(\vec{x})$ 既可取正值又可取负值，则称其为不定。

1. 本条目中未明确写出‘非零向量’这一限定条件，这与定号情形不同。

1. 二次型符号分类的设定

1. 公式
   观察依据

   定义：二次型 $Q(x)$ 是：正定的，如果对所有 $x\ne 0$ for all x!=0；负定的，如果对所有 $x\ne 0$ for all x!=0；不定的，如果 $Q(x)$ 同时取正值和负值。

视频定义了二次型 $Q(x)$ 的三类分类：正定（对所有非零 x，$Q(x) > 0$）、负定（对所有非零 x，$Q(x) < 0$）和不定（$Q(x)$ 同时取正值和负值）。还提到了半正定和半负定。

1. 适用于二次型 $Q(x)$

1. 公式
   观察依据

   定理框内写道：‘定理：若 $Q = \vec{x}^T A \vec{x}$，则’后接三条关于矩阵 A 特征值的当且仅当陈述。

2. 声音
   观察依据

   主讲人用自然语言逐条陈述每个等价关系：正定当且仅当所有特征值为正；负定当且仅当所有特征值为负；不定当且仅当同时存在正特征值和负特征值。

若 $Q = \vec{x}^T A\vec{x}$，其中 A 为对称矩阵，则 Q 正定当且仅当 A 的所有特征值均为正；Q 负定当且仅当 A 的所有特征值均为负；Q 不定当且仅当 A 同时具有正特征值和负特征值。

1. Q 可表示为 $\vec{x}^T A\vec{x}$。

2. A 是一个对称矩阵。

在定号情形中，特征值条件是全称的；而在不定情形中，特征值条件是存在性的混合（‘同时具有正特征值和负特征值’）。

1. 声音
   观察依据

   主讲人指出，该证明的核心在于作变量替换，使 Q 可重写为不含交叉项的形式。

2. 声音
   观察依据

   接着他指出，Q 变为 lambda_1 $y_1^2$ + lambda_2 $y_2^2$ + ... + lambda_n $y_n^2$，并借助各 lambda_i 的符号来解释该定理。

1. 视频中明确省略了完整证明。

2. 对角化后的表达式仅以口述方式呈现，并未写在黑板上。

该定理通过变量替换来证明：将 Q 重写为纯平方项之和，各项系数恰好等于 A 的特征值；此后，Q 的符号即由这些系数的符号决定。

1. A 是对称矩阵。

2. Q 等于向量 x 的转置乘以矩阵 A 再乘以向量 x。

对于含 n 个变量的二次型，对角化后的表达式对 $i=1$,$\dots$,n 求和。

1. 声音
   观察依据

   说话人说：“首先，我们可以将二次型视为函数来作图。”

2. 动画
   观察依据

   黑板依次展示了抛物线、倒置抛物线、抛物面和双曲鞍面，分别对应所写的四个例子。

1. 公式

   $$Q = x_1^2$$
   解释

   第一个例子被当作一个单变量的二次型来处理。

   步骤依据

   这直接写在黑板上，并被朗读出来。

   视频直接表达
2. 公式

   $$f(x)=x^2$$
   解释

   主讲人将该单变量形式重新解释为一个普通函数，以便能在平面上作图。

   步骤依据

   音频中口头陈述。

   视频直接表达
3. 公式

   $$Q = -2x_1^2$$
   解释

   将系数改为负数会产生一个倒置的抛物线。

   步骤依据

   主讲人说“它看起来会像一个倒置的抛物线”，所画图形与此一致。

   视频直接表达
4. 公式

   $$Q = x_1^2 + x_2^2$$
   解释

   当有两个变量时，图像在三维空间中被画成一个抛物面。

   步骤依据

   主讲人说：“那么我就可以在三维空间中画出这个图形，我们得到的形状是一个抛物面。”

   视频直接表达
5. 公式

   $$Q = x_1^2 - x_2^2$$
   解释

   将加号替换为减号会将曲面变为具有鞍点的双曲面。

   步骤依据

   主讲人说：“那么我们就得到了一个双曲面”，并补充说明这类曲面在中心处具有鞍点。

   视频直接表达

该片段借助图像绘制，作为从代数公式到几何形状的直观桥梁，再引入基于符号的正式分类。

1. 声音
   观察依据

   主讲人解释道：经过变量替换后，Q 的形式为 lambda_1 $y_1^2$ + lambda_2 $y_2^2$ + ... + lambda_n $y_n^2$。

2. 声音
   观察依据

   随后，他分情况讨论：所有特征值均为正、所有特征值均为负，以及特征值符号混合的情形。

1. 这仅是一个证明概要，并非完整的严格推导。

2. 对角化后的表达式并未以视觉方式呈现。

1. 公式

   $$Q=\vec{x}^T A\vec{x}$$
   解释

   从具有对称矩阵 A 的二次型矩阵表示出发。

   步骤依据

   此条件在定理假设中已给出。

   视频直接表达
2. 公式

   $$Q \mapsto \lambda_1 y_1^2+\lambda_2 y_2^2+\cdots+\lambda_n y_n^2$$
   解释

   进行变量替换，消去交叉项，仅保留由特征值加权的平方项。

   步骤依据

   主讲人明确将其描述为该证明的核心。

   视频直接表达
3. 公式

   $$\lambda_i>0\ \forall i \Rightarrow Q>0 \text{ for } \vec{y}\neq \vec{0}$$
   解释

   若所有系数均为正，则每个非零的 $y_i$ 取值都会贡献正值，因此整个二次型为正。

   步骤依据

   依据对角形式中系数的符号所作的口述推理。

   视频直接表达
4. 公式

   $$\lambda_i<0\ \forall i \Rightarrow Q<0 \text{ for } \vec{y}\neq \vec{0}$$
   解释

   若所有系数均为负，则每个非零输入都会产生负输出。

   步骤依据

   依据对角形式中系数的符号所作的口述推理。

   视频直接表达
5. 公式

   $$\exists i,j:\lambda_i>0,\ \lambda_j<0 \Rightarrow Q \text{ takes both signs}$$
   解释

   当同时存在正、负特征值时，可得到正、负两种输出，因此 Q 是不定的。

   步骤依据

   依据混合符号对角形式所作的口述推理。

   视频直接表达

矩阵 A 的特征值的符号模式决定了 Q 是正定、负定还是不定。

1. 公式
   观察依据

   黑板上写出 $Q = x_1^2$。

2. 动画
   观察依据

   在 xy 平面上绘制一条标准的开口向上的抛物线。

3. 声音
   观察依据

   主讲人说：“如果我有二次型 Q 等于 x 一的平方……我们就可以画出我们的 xy 平面，并将图像画成一条抛物线。”

将二次型 $Q = x_1^2$ 视为一个函数来作图。

1. $Q = x_1^2$

识别该二次型所对应的图像形状。

1. 公式

   $$Q = x_1^2$$
   解释

   从已写出的一元二次型出发。

   步骤依据

   直接显示在黑板上。

   视频直接表达
2. 公式

   $$f(x)=x^2$$
   解释

   将该表达式重新理解为一个普通的单变量函数。

   步骤依据

   由讲师口述。

   视频直接表达
3. 公式

   $$\text{upward-opening parabola}$$
   解释

   在平面上画出我们所熟悉的图像。

   步骤依据

   主讲人说明这是作图方法，动画中展示了一条抛物线。

   视频直接表达

该图像是开口向上的抛物线。

随后，讲师将此例归类为正定，因为该抛物线除原点外始终位于x轴上方。

1. 公式
   观察依据

   黑板上写出 $Q = -2x_1^2$。

2. 动画
   观察依据

   画出一条开口向下的抛物线。

3. 声音
   观察依据

   主讲人说：“如果我的二次型 Q 等于例如负二倍的 x₁ 的平方，那么它的图像就呈倒置的抛物线形状。”

画出二次型 $Q = -2x_1^2$ 的图像。

1. Q 等于负2乘以 x 的1次方的2次方

改变系数符号后，识别图像的形状。

1. 公式

   $$Q = -2x_1^2$$
   解释

   使用黑板上写出的带负系数的二次型。

   步骤依据

   直接在黑板上展示。

   视频直接表达
2. 公式

   $$\text{inverted parabola}$$
   解释

   负系数使抛物线开口向下。

   步骤依据

   用语言陈述，并通过图示加以说明。

   视频直接表达

该图像是一条开口向下的抛物线。

随后，讲师将此例归类为负定，因为该抛物线在非零输入时位于x轴下方。

1. 公式
   观察依据

   黑板上写出 $Q = x_1^2 + x_2^2$。

2. 动画
   观察依据

   画出一个三维的碗状曲面。

3. 声音
   观察依据

   说话人说：“现在，如果我有一个含更多变量的二次型，例如 Q 等于 x₁ 的平方加上 x₂ 的平方，那么我就可以在三维空间中画出它，所得图形是一个抛物面。”

画出二元二次型 $Q = x_1^2 + x_2^2$ 的图像。

1. Q 等于 x 下标1的2次方加上 x 下标2的2次方

识别该三维曲面的形状。

1. 公式

   $$Q = x_1^2 + x_2^2$$
   解释

   从单变量过渡到双变量。

   步骤依据

   说话人明确引入了一个‘含更多变量’的形式。

   视频直接表达
2. 公式

   $$\text{paraboloid}$$
   解释

   在三维空间中绘制该曲面。

   步骤依据

   主讲人将该形状称为抛物面，动画展示了一个碗状曲面。

   视频直接表达

该图像为抛物面。

随后，讲师将此例归类为正定，因为该抛物面位于 xy 平面之上。

1. 公式
   观察依据

   黑板上写出 $Q = x_1^2 - x_2^2$。

2. 动画
   观察依据

   绘制一个马鞍形曲面。

3. 声音
   观察依据

   主讲人说：“若我有一个形如 Q 等于 x₁ 的平方减去 x₂ 的平方的二次型，则我们得到一个双曲面。你在微积分中可能学过，这类曲面在中心处具有鞍点。”

绘制二元二次型 $Q = x_1^2 - x_2^2$ 的图像。

1. $Q = x_1^2 - x_2^2$

识别该曲面的类型及其显著特征。

1. 公式

   $$Q = x_1^2 - x_2^2$$
   解释

   将前一个二元例子中的加号改为减号。

   步骤依据

   直接在黑板上展示。

   视频直接表达
2. 公式

   $$\text{hyperbolic surface}$$
   解释

   所得图像被称为双曲面。

   步骤依据

   以口头陈述方式说明，并通过图示加以阐释。

   视频直接表达
3. 公式

   $$\text{saddle point in the middle}$$
   解释

   主讲人指出，这类曲面在中心处具有鞍点。

   步骤依据

   音频中明确说出。

   视频直接表达

该图像是一个双曲面，中间有一个鞍点。

随后，主讲人将此例归类为不定型，因为某些方向给出正的输出，而另一些方向给出负的输出。

1. 声音
   观察依据

   主讲人说：“例如，此处 Q 等于 x 一的平方，是正定的，因为我们的抛物线位于 x 轴上方；只要输入非零向量，所有输出均为正。”

2. 声音
   观察依据

   主讲人继续说：“此处的抛物面 Q 等于 x 一的平方加上 x 二的平方，也是正定的，因为我们的抛物面位于 xy 平面之上。”

判断之前所绘图像中哪些是正定的。

1. $Q = x_1^2$

2. Q 等于 x 下标1的2次方加上 x 下标2的2次方

3. 定义：对所有非零向量 $\vec{x}$，均有 $Q(\vec{x}) > 0$，其中 $\vec{x} \neq \vec{0}$

对各示例应用正定性判据。

1. 公式

   $$Q = x_1^2$$
   解释

   用定义检验单变量示例。

   步骤依据

   该示例此前已绘出图像。

   视频直接表达
2. 公式

   $$\text{parabola lies above the x-axis}$$
   解释

   对于非零输入，输出为正。

   步骤依据

   讲师口头陈述。

   视频直接表达
3. 公式

   $$Q = x_1^2 + x_2^2$$
   解释

   用同一定义检验双变量示例。

   步骤依据

   该示例此前已绘出图像。

   视频直接表达
4. 公式

   $$\text{paraboloid lies above the xy-plane}$$
   解释

   对于非零输入，输出为正。

   步骤依据

   讲师口头陈述。

   视频直接表达

$Q = x_1^2$ 与 $Q = x_1^2 + x_2^2$ 均为正定二次型。

每个例子均满足：对所有非零 $\vec{x}$，都有 $Q(\vec{x}) > 0$，图示已作解释。

1. 声音
   观察依据

   主讲人说：“例如，q 等于负二倍 x 一，是负定的，因为此处的抛物线在输入不为零时始终位于 x 轴下方。”

1. 口述短语中省略了“负二倍 x 一”中的平方，而板书始终显示为 $Q = -2x_1^2$。

判断 $Q = -2x_1^2$ 是否为负定。

1. Q 等于负2乘以 x 的1次方的2次方

2. 定义：对所有 $\vec{x} \neq \vec{0，有 Q(\vec{x}) < 0}$

将负定判据应用于该例。

1. 公式

   $$Q = -2x_1^2$$
   解释

   使用先前已作图的负系数示例。

   步骤依据

   板书展示了这一确切形式。

   视频直接表达
2. 公式

   $$\text{parabola lies below the x-axis}$$
   解释

   对非零输入，输出为负。

   步骤依据

   由主讲人口头陈述。

   视频直接表达

$Q = -2x_1^2$ 是负定的。

它满足：对所有非零向量 $\vec{x}$，均有 $Q(\vec{x}) < 0$，这一点可从图像中得到解释。

1. 声音
   观察依据

   主讲人说：“因此，这类情形的一个例子就是我们的双曲面 $Q = x$₁² − x₂²。在这些尖端处，函数输出为正；而在此下方，输出则为负。”

判断 $Q = x_1^2 - x_2^2$ 是否为不定型。

1. Q 等于 x 下标1的2次方减去 x 下标2的2次方

2. 定义：若 $Q(\vec{x})$ 既可取正值又可取负值，则称其为不定型。

将不定型判据应用于鞍面示例。

1. 公式

   $$Q = x_1^2 - x_2^2$$
   解释

   使用先前已绘出的双曲面。

   步骤依据

   黑板上展示的正是这一确切形式。

   视频直接表达
2. 公式

   $$\text{tips give positive output}$$
   解释

   该曲面上某些方向会产生正值。

   步骤依据

   由讲师口头陈述。

   视频直接表达
3. 公式

   $$\text{other region gives negative output}$$
   解释

   其他方向会产生负值。

   步骤依据

   讲师口头陈述。

   视频直接表达

$Q = x_1^2 - x_2^2$ 是不定的。

它既取正值也取负值，符合黑板上给出的定义。

1. 公式
   观察依据

   示例框中显示 $Q = x_1^2 + 4x_1x_2 - 2x_2^2$。

2. 公式
   观察依据

   黑板上写出 A = [1 2; 2 -2] 且 $\lambda = -3$, 2。

3. 声音
   观察依据

   主讲人指出这是上一视频中的二次型，辨识出其矩阵与特征值，并得出结论：由于 A 同时具有正、负特征值，因此可以断言……

1. 最终的口述句子在听到“不定”一词前就被截断了。

2. 结论已由该定理及混合符号的特征值强烈暗示，但本片段中最后一个词听不清楚。

重新考察二次型 $Q=x_1^2+4x_1x_2-2x_2^2$，并利用其对应的对称矩阵与特征值对其进行分类。

1. Q 等于 x 的1次方的2次幂，加上4乘以 x 的1次方再乘以 x 的2次方，减去2乘以 x 的2次方的2次幂。

2. 矩阵 A 等于一个二乘二的矩阵，第一行是 1 和 2，第二行是 2 和负 2。

3. $λ = -3$，2。

根据矩阵 A 的特征值确定 Q 的符号类型。

1. 公式

   $$Q=x_1^2+4x_1x_2-2x_2^2$$
   解释

   写出待分类的二次型。

   步骤依据

   见示例框中所示。

   视频直接表达
2. 公式

   $$A=\begin{bmatrix}1&2\\2&-2\end{bmatrix}$$
   解释

   使用与 Q 相关联的对称矩阵。

   步骤依据

   写在黑板上，并在音频中已作说明。

   视频直接表达
3. 公式

   $$\lambda=-3,\,2$$
   解释

   计算或回忆矩阵 A 的特征值。

   步骤依据

   写在黑板上，并在音频中陈述。

   视频直接表达
4. 公式

   $$\text{one eigenvalue}<0,\ \text{one eigenvalue}>0$$
   解释

   观察到 A 既有负特征值，也有正特征值。

   步骤依据

   直接比较所列出的特征值。

   视频直接表达
5. 公式

   $$Q \text{ is indefinite}$$
   解释

   应用该定理的不定性判据。

   步骤依据

   源自‘特征值判据’命题；最后一词被截断，因此该结论是推导得出，而非完整听到。

   依据视频推导

Q 是不定的。

对照定理检验：一个具有正、负特征值的对称矩阵，其对应的二次型为不定的。此处特征值为 -3 和 2，因此该判据适用。

1. 公式
   观察依据

   例：$Q = x_1^2 + 4x_1x_2 - 2x_2^2$，$A = [[1, 2], [2, -2]]$，$λ = -5$, 2，Q 是不定的！

判定二次型 $Q = x_1^2 + 4x_1x_2 - 2x_2^2$ 的类型。

1. Q 等于 x 下标1 的 2 次方，加上 4 倍的 x 下标1 乘以 x 下标2，减去 2 倍的 x 下标2 的 2 次方

判断 Q 是正定、负定还是不定的。

1. 公式

   $$A = \begin{bmatrix} 1 & 2 \\ 2 & -2 \end{bmatrix}$$
   解释

   找出与该二次型关联的对称矩阵 A。

   步骤依据

   由二次型标准构造矩阵的方法。

   视频直接表达
2. 公式

   $$\lambda = -5, 2$$
   解释

   计算矩阵 A 的特征值。

   步骤依据

   特征值计算。

   视频直接表达
3. 公式

   $$Q \text{ is indefinite!}$$
   解释

   得出结论：Q 是不定的，因为其特征值符号不一致。

   步骤依据

   应用将特征值符号与二次型分类相联系的定理。

   视频直接表达

Q 是不定的。

特征值为 -5 和 2，符号相反，根据该定理确认其为不定型。

1. 动画
   观察依据

   从左到右依次添加四个手写示例：$Q = x_1^2$（开口向上的抛物线）、$Q = -2x_1^2$（开口向下的抛物线）、$Q = x_1^2 + x_2^2$（碗状抛物面）、$Q = x_1^2 - x_2^2$（马鞍形双曲面）。

2. 声音
   观察依据

   旁白在绘制每个图形时依次命名其形状：抛物线、倒置抛物线、抛物面、具有鞍点的双曲面。

1. Q 等于 x 下标1的2次方

2. Q 等于负2乘以 x 下标1的2次方

3. Q 等于 x 下标1的2次方加上 x 下标2的2次方

4. Q 等于 x 下标1的2次方减去 x 下标2的2次方

5. xy-平面草图

6. 三维曲面示意图

1. 第一个图像是开口向上的抛物线。

2. 当系数变为负数时，第二个图像向下翻转。

3. 第三个图像从二维扩展到三维，成为一个抛物面。

4. 第四个图像改变了平方项之间的符号，从而成为马鞍形的双曲曲面。

1. 这四个对象均为关于 $x_1$ 和/或 $x_2$ 的多项式表示的二次型。

2. 视觉对比中，每个对应示意图上方均保留代数公式。

动画将代数符号模式与几何形状类型关联起来，为后续基于符号的二次型分类做准备。

1. 公式
   观察依据

   一个标有“定义”的新板块出现，包含三个要点：正定、负定和不定。

2. 动画
   观察依据

   定义书写完毕后，讲师在讲解哪些图像满足各定义时，视觉上重新聚焦于先前的示例图像。

1. 定义标题

2. 正定符号

3. 负定符号

4. 不定符号

5. 先前的四个示例图像

1. 板书从示例绘图切换到形式化的符号定义。

2. 随后将这些定义重新应用于先前绘制的图像。

1. 相同的四个示例二次型持续可见，作为参考案例。

2. 分类仍基于 $Q(\vec{x})$ 的符号。

这种视觉结构将先前的几何直观转化为用于分类二次型的明确符号准则。

1. 图示
   观察依据

   白板分为四个区域：顶部为带图像的示例，中部左侧为黑色书写的定义，中部右侧为蓝色书写的半定性补充内容，底部为定理及后续示例框。

1. 标题‘二次型的分类：’

2. 四个带草图的示例公式

3. 黑色定义框

4. 蓝色半定性框

5. 定理框

6. 右下角添加示例框

1. 黑板起始时已显示示例与定义。

2. 蓝色半定性线条围绕3和11添加。

3. 定理框围绕30出现。

4. 示例框围绕124出现，随后是A及其特征值。

1. 顶行示例始终可见。

2. 黑色定义框一旦出现便始终可见。

视觉布局将具体示例、形式化定义、核心定理与一个完整演算的应用实例分隔开来。

1. 图示
   观察依据

   顶行显示：$Q=x_1^2$（开口向上的抛物线），$Q=-2x_1^2$（开口向下的抛物线），$Q=x_1^2+x_2^2$（开口向上的抛物面），以及$Q=x_1^2-x_2^2$（鞍形曲面）。

1. $Q=x_1^2$，且为开口向上的抛物线

2. $Q=-2x_1^2$，且为开口向下的抛物线

3. $Q=x_1^2+x_2^2$，且为碗状抛物面

4. $Q=x_1^2-x_2^2$，且为鞍形曲面

1. 每个图像一旦显示即保持固定。

2. 紫色曲线/曲面在视觉上编码了正性、负性或混合行为。

这些草图提供了几何直观：正定型开口向上，负定型开口向下，不定型则呈鞍形。

1. 动画
   观察依据

   蓝色手写文字添加在黑色定义框右侧。

2. 公式
   观察依据

   先写‘若 $Q(\vec{x}) \ge 0$，则称其为半正定’，再写‘若 $Q(\vec{x}) \le 0$，则称其为半负定’。

1. 蓝色圆点标记正半定

2. 蓝色圆点表示半负定

1. 约在3秒时，出现半正定线。

2. 约在11秒时，半负定线出现在其下方。

1. 原有的黑色定义保持不变，同时添加蓝色扩展部分。

蓝色文字将分类标准从严格的定性拓展为非严格的半定性。

1. 动画
   观察依据

   一个新的定理框出现在定义下方。

2. 公式
   观察依据

   该定理框写有：‘定理：若 $Q = \vec{x}^T A \vec{x}$，那么’，随后是三条关于矩阵 A 特征值的当且仅当条件。

1. 定理标题

2. 条件 $Q=\vec{x}^T A\vec{x}$

3. 三条基于特征值的当且仅当陈述

1. 该定理框在30秒前尚未出现，此后完全可见。

1. 定理一旦写出，将一直保留在屏幕中，直至本片段结束。

这是本段的核心结论：根据矩阵 A 的特征值符号对二次型 Q 进行分类。

1. 动画
   观察依据

   右下角出现一个带边框的示例。

2. 公式
   观察依据

   框内内容：$Q = x_1^2 + 4x_1x_2 - 2x_2^2$，接着 A = [1 2; 2 -2]，然后 $λ = -3$, 2。

1. 示例标签

2. 二次型 $Q = x_1^2 + 4x_1x_2 - 2x_2^2$

3. 矩阵 A

4. 特征值列表

1. 约在124秒时，示例框与 Q 同时出现。

2. 约在134秒时，矩阵 A 被写出。

3. 约在142秒时，特征值被写出。

1. 定理与定义在例题推导过程中始终保持可见。

该例题将定理应用于一个具体的二次型，方法是列出其矩阵及特征值。

1. 图示
   观察依据

   展示了四幅图像：$Q = x_1^2$（开口向上的抛物线），$Q = -2x_1^2$（开口向下的抛物线），$Q = x_1^2 + x_2^2$（碗状曲面），$Q = x_1^2 - x_2^2$（马鞍状曲面）。

1. $Q = x_1^2$ 的图像

2. $Q = -2x_1^2$ 的图像

3. $Q = x_1^2 + x_2^2$ 的图像

4. $Q = x_1^2 - x_2^2$ 的图像

1. 图像的形状对应二次型的分类。

这些图像直观地展示了正定型（开口向上/碗状）、负定型（开口向下）和不定型（马鞍形）等二次型概念。

1. 公式
   观察依据

   正定与负定符号明确要求该不等式仅对 $\vec{x} \neq \vec{0}$ 成立。

2. 声音
   观察依据

   主讲人重复强调“当 x 不是零向量时”以及“对所有非零向量 x”。

人们可能认为，不等式 $Q(\vec{x})>0$ 或 $Q(\vec{x})<0$ 对所有输入（包括 $\vec{x}=\vec{0}$）都必须成立。

视频中仅对 $\vec{x} \neq \vec{0}$ 的情形给出了条件；零向量被排除在正定性检验之外。

1. 公式
   观察依据

   黑板上将 $Q = x_1^2 + x_2^2$ 与 $Q = x_1^2 - x_2^2$ 进行了对比。

2. 声音
   观察依据

   主讲人解释道，带减号的版本在某些方向上输出为正，在另一些方向上输出为负。

人们可能误以为，任何平方项之和自动就是正定的。

视频表明，将 +$x_2^2$ 改为 -x_2^2 后，会得到一个双曲面，其输出既有正值也有负值，因此该二次型变为不定的。

1. 公式
   观察依据

   黑板区分“若对所有 $\vec{x} \neq \vec{0}$ 都有 $Q(\vec{x}) > 0$，则称其为正定”与“若对所有 这条公式需要核验，请通过页面反馈入口报告。{0', 且 similarly for negative.

有人可能认为‘正定’与‘半正定’含义相同，因为二者均涉及非负性行为。

视频中明确区分二者：‘定’要求对所有非零向量严格不等式成立，而‘半定’允许取等号于0。

1. 公式
   观察依据

   黑板上的定义指出：不定是指 $Q(\vec{x})$ 同时取正值与负值。

学习者可能假设‘不定’仅仅意味着该二次型既非正定也非负定。

此处‘不定’被更具体地定义为：该二次型必须实际同时取到正值与负值。

1. 声音
   观察依据

   主讲人明确说明：‘我们不会详细展开该定理的证明过程’。

变量替换的解释听起来可能像一个完整的证明。

视频指出，它仅给出证明的思路，而非详细的论证过程。

1. 声音
   观察依据

   主讲人首先指出二次型可作为函数作图，接着说明对其分类的一种方法是依据输出的符号。

2. 动画
   观察依据

   随后立即用这四幅图像来佐证三种口头分类。

这些几何图像提供了直观依据，用于引出基于符号的分类方法。

1. 公式
   观察依据

   正定性的定义以项目符号形式写在黑板上。

2. 声音
   观察依据

   主讲人将该定义应用于 $Q = x_1^2$ 和 $Q = x_1^2 + x_2^2$。