正定矩阵

1. 声音
   观察依据

   旁白提到“一个对称矩阵 A 被称为正定矩阵”。

2. 公式
   观察依据

   屏幕公式中出现 $A$。

A

对称矩阵

视频未说明具体维数，通常指实对称方阵

1. 声音
   观察依据

   旁白说“对于任何非零向量 x”。

2. 公式
   观察依据

   屏幕公式为 $x^T A x > 0$，下方文字为“对于所有非零向量 x”。

x

任意非零向量

空间中的任意方向所对应的非零向量

1. 公式
   观察依据

   屏幕公式显示 $x^T A x > 0$。

2. 声音
   观察依据

   旁白读作“x 转置乘以 A 乘以 x”。

$x^T$

向量 x 的转置

与 x 对应的行向量形式

1. 公式
   观察依据

   屏幕公式为 $x^T A x > 0$。

2. 声音
   观察依据

   旁白称其为“二次型”。

$x^T A x$

由矩阵 A 和向量 x 构成的二次型

计算结果是一个实数

1. 公式
   观察依据

   屏幕公式为 $x^T A x > 0$。

2. 声音
   观察依据

   旁白强调“必须严格大于零”。

0

零值界限

用于判断二次型是否严格为正

1. 公式
   观察依据

   画面左侧写出 $A = [[2,1],[1,2]]$，作为示例矩阵。

A

示例对称矩阵

$2\times 2$ 实对称矩阵

1. 公式
   观察依据

   右侧第 1 条判据显示 $λ_i > 0$。

2. 声音
   观察依据

   旁白说明“矩阵的所有特征值必须全部大于零”。

$λ_i$

矩阵的特征值

实数

1. 公式
   观察依据

   右侧第 2 条判据显示 $d_i > 0$。

2. 声音
   观察依据

   旁白说明高斯消元时所有主元必须全部大于零。

$d_i$

高斯消元得到的主元

实数

1. 公式
   观察依据

   右侧第 3 条判据显示 $Δ_k > 0$。

2. 声音
   观察依据

   旁白说明所有左上角子行列式，也就是顺序主子式，必须全部大于零。

$Δ_k$

k 阶顺序主子式

实数

1. 公式
   观察依据

   画面中央写出 $x^T A x = 1$。

2. 声音
   观察依据

   旁白把正定矩阵看作方程 x 转置 A 乘以 x 等于 1 的解集。

x

二维向量变量

二维实数空间

1. 图示
   观察依据

   椭圆长轴方向出现黄色箭头并标注 $v_1$。

2. 声音
   观察依据

   旁白说屏幕上的两个箭头就是矩阵的特征向量。

$v_1$

椭圆主轴方向对应的特征向量

二维实数空间

1. 图示
   观察依据

   椭圆短轴方向出现黄色箭头并标注 $v_2$。

2. 声音
   观察依据

   旁白继续说明这两个箭头都是矩阵的特征向量。

$v_2$

椭圆另一主轴方向对应的特征向量

二维实数空间

1. 声音
   观察依据

   旁白给出定义：“一个对称矩阵 A 被称为正定矩阵，必须满足一个铁律：对于任何非零向量 x，二次型 x 转置乘以 A 乘以 x 必须严格大于零。”

2. 公式
   观察依据

   屏幕显示“正定矩阵：代数定义”，并写出 $x^T A x > 0$，下方标注“对于所有非零向量 x”。

3. 动画
   观察依据

   右侧坐标系中黄色向量不断改变方向，配合“无论向量 x 指向哪里”的解释。

视频将正定矩阵定义为：若 $A$ 是对称矩阵，并且对所有非零向量 $x$ 都有 $x^T A x > 0$，则称 $A$ 为正定矩阵。这里的关键不是某个特定方向成立，而是“任意非零方向”都必须使二次型取正值。

1. $A$ 为对称矩阵

2. $x$ 为任意非零向量

3. 不等式必须是严格大于零，不能取等号

1. 声音
   观察依据

   旁白解释“向量 x 代表空间中的任意一个方向。x 转置乘以 A 再乘以 x，计算出的结果是一个实数，我们通常称之为能量或曲率。”

2. 公式
   观察依据

   屏幕持续显示 $x^T A x > 0$。

3. 动画
   观察依据

   黄色向量绕原点旋转，表示不同方向。

视频把 $x^T A x$ 解释为一个实数，并用“能量或曲率”来类比其作用。向量 $x$ 表示空间中的一个方向；当 $x$ 取不同非零方向时，$x^T A x$ 给出相应方向的数值。正定性要求这些数值在所有非零方向上都为正。

1. x 不等于 0

2. 结果是一个实数

1. 正定矩阵的代数定义

1. 声音
   观察依据

   旁白说：“如果存在哪怕一个方向，使得这个值小于或等于零，那么这个矩阵就不是正定的。”

2. 公式
   观察依据

   屏幕上方出现红字“必须严格大于零”，公式仍为 $x^T A x > 0$。

视频强调正定性的核心判据是“严格大于零”。只要存在一个非零方向使 $x^T A x \le 0$，就不能称为正定矩阵。因此，正定性不是“大多数方向为正”即可，而是“所有非零方向都为正”。

1. 对所有非零向量 $x$ 成立

2. 不允许出现 $x^T A x = 0$ 或 $x^T A x < 0$

1. 正定矩阵的代数定义

1. 声音
   观察依据

   旁白说“我们不可能去测试每一个向量。幸运的是，我们有三块试金石，只要满足其中任何一条，矩阵就是正定的。”

2. 公式
   观察依据

   画面给出示例矩阵 $A = [[2,1],[1,2]]$。

视频用示例矩阵引入正定性判断问题，强调不必逐一测试所有向量，而可用三条等价判据之一来判定矩阵是否正定。

1. 针对矩阵正定性判断

2. 视频示例为 $2\times 2$ 对称矩阵

1. 公式
   观察依据

   右侧出现“1. 特征值 $λ_i > 0$”。

2. 声音
   观察依据

   旁白说明“矩阵的所有特征值必须全部大于零”，并解释这意味着在所有主方向上都是拉伸而不是压缩或反转。

第一条判据是看矩阵的全部特征值是否都为正；若成立，则矩阵正定。视频同时给出几何直觉：正特征值对应沿主方向的拉伸。

1. 要求所有特征值都满足该不等式

2. 视频未单独说明对称性前提，但示例矩阵是对称的

1. 公式
   观察依据

   右侧出现“2. 主元 $d_i > 0$”。

2. 声音
   观察依据

   旁白说明“当我们对矩阵进行高斯消元时，所有的主元，也就是对角线上的轴点，必须全部大于零。”

第二条判据通过高斯消元检查主元符号；若所有主元均为正，则矩阵正定。

1. 需要对矩阵进行高斯消元

2. 要求所有主元都满足该不等式

1. 公式
   观察依据

   右侧出现“3. 顺序主子式 $Δ_k > 0$”。

2. 声音
   观察依据

   旁白说明“矩阵的所有左上角子行列式，也就是顺序主子式，必须全部大于零。”

3. 动画
   观察依据

   绿色方框先框住左上角元素 2，再扩展到整个 $2\times 2$ 矩阵，示意从 1 阶到 n 阶的顺序主子式。

第三条判据不是只看整个矩阵的行列式，而是要求从左上角开始的一阶、二阶直到 n 阶顺序主子式全部为正。

1. 要求所有 k 阶顺序主子式都为正

2. k 从 1 一直到矩阵阶数 n

1. 公式
   观察依据

   画面中央写出 $x^T A x = 1$。

2. 声音
   观察依据

   旁白说如果把正定矩阵看作变换或方程 x 转置 A 乘以 x 等于 1 的解集，会得到一个椭圆，或者在多维空间中叫椭球体。

视频把正定矩阵与二次型方程联系起来，指出其等值面在二维中是椭圆，在高维中是椭球体。

1. 视频中讨论的是正定矩阵 A

2. x 为向量变量

1. 图示
   观察依据

   坐标系中画出倾斜椭圆，并沿主轴方向标出 $v_1$、$v_2$ 两个箭头。

2. 声音
   观察依据

   旁白说椭圆的中心在原点，但轴可能发生了旋转；屏幕上的两个箭头就是矩阵的特征向量；椭圆的长轴和短轴方向恰好就是特征向量的方向。

视频用图形说明：正定二次型对应的椭圆虽然中心在原点，但其主轴不一定与坐标轴重合；主轴方向正是矩阵特征向量的方向。

1. 适用于正定矩阵对应的二次型等值线

2. 视频以二维椭圆为例

1. 声音
   观察依据

   旁白说“而轴的长度，则与特征值的倒数平方根有关。”

2. 图示
   观察依据

   椭圆主轴箭头已标出，但未在画面写出具体长度公式。

1. 视频只口头说明与特征值的倒数平方根有关，未在画面给出半轴长的完整表达式

视频指出椭圆主轴长度不是任意方向决定的，而与对应特征值相关；具体关系被表述为“与特征值的倒数平方根有关”。

1. 针对正定矩阵对应的椭圆主轴长度

2. 视频未写出完整代数式

1. 公式
   观察依据

   画面下方出现“特征值均为正 → 封闭椭圆”。

2. 声音
   观察依据

   旁白说因为所有特征值都是正的，所以得到的是一个封闭的椭圆，而不是双曲线；如果特征值有负数，这个碗就会破裂，变成马鞍面；所以正定矩阵保证了空间的封闭性。

视频把代数条件与几何形状直接对应：全部特征值为正时，二次型等值线是封闭椭圆；若出现负特征值，则图形不再封闭，会转为双曲线或马鞍面。

1. 讨论对象是二次型等值线或对应曲面

2. 视频以二维椭圆为主，并顺带提到高维或曲面情形

1. 公式
   观察依据

   画面显示“1. 定义：$x^T A x > 0$ （任意非零向量）”。

2. 声音
   观察依据

   旁白提到“对于任意非零向量，二次型的值永远大于零”。

对于任意非零向量 x，二次型 $x^T A x$ 的值永远大于零，则矩阵 A 为正定矩阵。

1. x 为任意非零向量

1. 声音
   观察依据

   旁白明确陈述正定矩阵的定义与判定条件。

2. 公式
   观察依据

   屏幕显示 $x^T A x > 0$，并注明“对于所有非零向量 x”。

若 $A$ 为对称矩阵，则 $A$ 为正定矩阵当且仅当对所有非零向量 $x$，都有 $x^T A x > 0$。

1. $A$ 是对称矩阵

2. $x$ 是任意非零向量

对所有非零向量 $x$，恒有 $x^T A x > 0$。

1. 声音
   观察依据

   旁白说“这三个条件是完全等价的。”

2. 公式
   观察依据

   画面在矩阵与三条判据之间写出“完全等价”。

特征值全为正、高斯消元主元全为正、所有顺序主子式全为正，这三条条件彼此等价，都可用来判定矩阵正定。

1. 视频以正定矩阵判定为讨论对象

2. 示例矩阵为对称矩阵

3. 视频未明确写出更一般的前提条件

对所有特征值 i、所有主元 i、所有阶数 k 从 1 到 n

1. 公式
   观察依据

   画面写出“特征值均为正 → 封闭椭圆”。

2. 声音
   观察依据

   旁白说因为所有特征值都是正的，所以得到的是一个封闭的椭圆，而不是双曲线。

若正定矩阵的所有特征值均为正，则二次型 $x^T A x = 1$ 对应的图形是封闭椭圆，而不是双曲线。

1. 矩阵 A 正定

2. 讨论方程 $x^T A x = 1$ 的几何图形

针对该二次型等值线

1. 声音
   观察依据

   旁白明确指出“三者得一即可”。

特征值全为正、主元全为正、所有顺序主子式全为正，这三个条件是等价的，满足其一即可判定矩阵正定。

1. 矩阵为实对称矩阵

存在性量词（满足其一即可）

1. 声音
   观察依据

   前半段用“碗”“山谷底部”“稳定平衡”“极小值点”描述几何直观；后半段转入“让我们从直观的图像回到严谨的数学定义”。

2. 动画
   观察依据

   先出现同心椭圆和向中心滚动的红点，再出现坐标系中的黄色向量旋转。

3. 公式
   观察依据

   随后写出 $x^T A x > 0$。

1. 公式

   $$$$
   解释

   先用碗状曲面和同心椭圆建立“越远离中心，数值越大”的直观印象。

   步骤依据

   视频通过动画展示小球滚向最低点，以及等高线状的椭圆族。

   视频直接表达
2. 公式

   $$$$
   解释

   再把这种“所有方向都上升”的性质翻译成代数语言：对任意非零方向 $x$，二次型 $x^T A x$ 都为正。

   步骤依据

   旁白明确说“从直观的图像回到严谨的数学定义”，并给出 $x^T A x > 0$。

   视频直接表达
3. 公式

   $$x^T A x > 0$$
   解释

   最后强调该不等式必须严格成立，只要有一个方向不满足，就不是正定。

   步骤依据

   屏幕红字“必须严格大于零”，旁白同步解释“小于或等于零”即否定正定性。

   视频直接表达

视频用几何直观引出正定矩阵的代数定义：正定性对应“所有非零方向上的二次型取值都为正”。

1. 声音
   观察依据

   前半段先给出三条等价判据，后半段转入“现在，让我们把目光转回几何图形”，再把特征值条件解释为椭圆封闭性。

2. 公式
   观察依据

   先后出现 $λ_i > 0$、$d_i > 0$、$Δ_k > 0$ 与 $x^T A x = 1$、特征值均为正 → 封闭椭圆。

1. 公式

   $$$$
   解释

   先建立三条代数判据：特征值全正、主元全正、顺序主子式全正。

   步骤依据

   视频前半段逐条列出并说明它们都可用于判定正定。

   视频直接表达
2. 公式

   $$$$
   解释

   接着声明这三条条件完全等价，因此可根据手头信息任选其一使用。

   步骤依据

   画面写出“完全等价”，旁白同步说明。

   视频直接表达
3. 公式

   $$x^T A x = 1$$
   解释

   然后把正定矩阵转成二次型方程，考察其解集的几何形状。

   步骤依据

   视频明确说把目光转回几何图形，并写出该方程。

   视频直接表达
4. 公式

   $$$$
   解释

   再用特征向量标出椭圆主轴方向，并把轴长与特征值联系起来。

   步骤依据

   旁白说明两个箭头是特征向量，且轴长与特征值的倒数平方根有关。

   视频直接表达
5. 公式

   $$$$
   解释

   最后得出：特征值均为正对应封闭椭圆；若出现负特征值则变成双曲线或马鞍面。

   步骤依据

   画面写出“特征值均为正 → 封闭椭圆”，旁白补充负特征值时的破裂情形。

   视频直接表达

视频通过“代数判据—二次型方程—椭圆主轴—封闭性”这一顺序，把正定矩阵的判定条件与几何直观连接起来。

1. 公式
   观察依据

   画面给出 $A = [[2,1],[1,2]]$。

2. 动画
   观察依据

   绿色方框先框住左上角元素 2，再扩展到整个矩阵，用于说明顺序主子式。

1. 视频未实际计算该示例矩阵的特征值、主元或行列式数值，只用它作示意对象

以 $2\times 2$ 对称矩阵为例，说明正定矩阵的三条判据及其等价性。

1. 矩阵 A 等于二行二列的矩阵，第一行是二和一，第二行是一和二

展示判定正定时可使用的三条等价条件，并说明顺序主子式要从左上角逐阶检查。

1. 公式

   $$$$
   解释

   先给出矩阵 A 作为讨论对象。

   步骤依据

   画面直接写出 $A = [[2,1],[1,2]]$。

   视频直接表达
2. 公式

   $$\lambda_i > 0$$
   解释

   第一条判据检查所有特征值是否为正。

   步骤依据

   右侧文字与旁白同步给出。

   视频直接表达
3. 公式

   $$d_i > 0$$
   解释

   第二条判据检查高斯消元后的所有主元是否为正。

   步骤依据

   右侧文字与旁白同步给出。

   视频直接表达
4. 公式

   $$\Delta_k > 0$$
   解释

   第三条判据检查所有顺序主子式是否为正。

   步骤依据

   右侧文字与旁白同步给出，并用绿色框演示从 1 阶扩展到 2 阶。

   视频直接表达
5. 公式

   $$$$
   解释

   最后强调这三条条件完全等价，可任选最方便的一条使用。

   步骤依据

   画面写出“完全等价”，旁白同步说明。

   视频直接表达

视频没有给出该矩阵的最终数值判定结果，只把它作为说明三条等价判据的示例。

可通过画面中的三条判据和“完全等价”字样核对；但本片段未展示具体计算验证。

1. 动画
   观察依据

   坐标系中依次出现三层同心椭圆，颜色由蓝到黄再到白；一个红色小球沿曲线滚向中心，中心随后变为黄色星形/圆点。

2. 声音
   观察依据

   旁白把这种结构比作“完美的碗”“山谷的底部”，并说“无论你往哪个方向走，地势都是上升的，能量都是增加的”。

1. 二维坐标系

2. 三层同心椭圆

3. 红色小球

4. 中心黄色点/星形

1. 椭圆由内向外逐层出现

2. 红点从外圈沿路径滚向中心

3. 中心点由红点变为黄色星形再变为黄色圆点

1. 椭圆都以坐标原点为中心

2. 整体表达的是围绕最低点的等高线结构

该动画用等高线式的同心椭圆表示正定二次型的几何形状：中心是最低点，离开中心时数值增大，任意方向都呈上升趋势。

1. 动画
   观察依据

   右侧坐标系中出现一条黄色向量，从水平向右开始，随后旋转到不同方向，最后停在竖直向上。

2. 声音
   观察依据

   旁白解释“向量 x 代表空间中的任意一个方向”，并强调“无论向量 x 指向哪里，只要它不是零向量，它所对应的能量值永远是正的”。

1. 二维坐标系

2. 黄色向量

1. 向量方向持续旋转，覆盖多个象限和坐标轴方向

1. 向量始终从原点出发

2. 左侧公式 $x^T A x > 0$ 保持不变

该动画把抽象的“任意非零向量 x”具体化为不断改变方向的箭头，用来说明正定性要求的是全方向一致成立，而不是个别方向成立。

1. 公式
   观察依据

   左侧为 $A = [[2,1],[1,2]]$，右侧依次出现 1. 特征值 $λ_i > 0$、2. 主元 $d_i > 0$、3. 顺序主子式 $Δ_k > 0$。

2. 动画
   观察依据

   绿色方框先框住左上角元素 2，再扩展到整个 $2\times 2$ 矩阵。

1. 矩阵 A

2. 三条判据文字

3. 绿色高亮框

1. 右侧判据按 1、2、3 的顺序逐条出现

2. 绿色框从 1 阶左上角子矩阵扩展到 2 阶整个矩阵

1. 矩阵 A 始终保持为 [[2,1],[1,2]]

2. 三条判据都围绕正定性展开

视觉上把“特征值、主元、顺序主子式”组织成同一层级的三种判别方法，并特别强调顺序主子式是从左上角逐阶取出的子行列式。

1. 公式
   观察依据

   矩阵与三条判据之间出现“完全等价”和大括号。

1. 矩阵 A

2. 三条判据

3. 大括号

4. 文字“完全等价”

1. 三条分散判据被统一到一个等价关系中

1. 三条判据内容本身不变

该图把前面分别列出的三种方法提升为一个核心结论：它们不是互不相干的技巧，而是彼此等价的正定性判据。

1. 公式
   观察依据

   上方写出 $x^T A x = 1$。

2. 图示
   观察依据

   坐标系中画出倾斜椭圆，并沿主轴方向标出 $v_1$、$v_2$。

3. 公式
   观察依据

   下方出现“特征值均为正 → 封闭椭圆”。

1. 直角坐标系

2. 倾斜椭圆

3. 箭头 $v_1$

4. 箭头 $v_2$

5. 方程 $x^T A x = 1$

6. 结论文字

1. 先出现方程，再画出椭圆

2. 随后沿椭圆主轴添加两个特征向量箭头

3. 最后补上“特征值均为正 → 封闭椭圆”的结论

1. 椭圆中心始终在原点

2. 主轴方向由 $v_1$、$v_2$ 指示

这段动画把抽象的二次型转化为可见几何对象，并明确显示：正定性不仅意味着“封闭”，还意味着主轴方向由特征向量决定。

1. 图示
   观察依据

   画面展示了一个蓝色的椭圆，中心在原点，带有两个黄色的主轴向量 $v_1$ 和 $v_2$，上方标注方程 $x^T A x = 1$。

1. 蓝色椭圆

2. 黄色向量 $v_1$

3. 黄色向量 $v_2$

4. 坐标轴

1. 椭圆封闭

2. 中心在原点

展示了正定矩阵对应的二次型等值线是一个封闭的椭圆，其特征向量方向即为主轴方向。

1. 声音
   观察依据

   旁白说：“如果存在哪怕一个方向，使得这个值小于或等于零，那么这个矩阵就不是正定的。”

2. 公式
   观察依据

   屏幕红字提示“必须严格大于零”。

有人可能认为只要大部分方向上 $x^T A x$ 为正，矩阵就可以算正定。

视频明确指出，正定性要求对所有非零向量 $x$ 都严格有 $x^T A x > 0$；只要存在一个方向使该值小于或等于零，就不是正定矩阵。

1. 声音
   观察依据

   旁白强调“小于或等于零”都会破坏正定性。

2. 公式
   观察依据

   屏幕显示 $x^T A x > 0$，并有红字“必须严格大于零”。

有人可能把正定条件误解为 $x^T A x \ge 0$。

视频给出的定义是严格不等式 $x^T A x > 0$，并特别强调“必须严格大于零”，不允许取等号。

1. 声音
   观察依据

   旁白开头说“我们不可能去测试每一个向量。”

判断矩阵是否正定时，必须把每一个向量都代入测试。

视频指出实际不需要这样做，因为有三条等价判据可以替代逐向量检验。

1. 声音
   观察依据

   旁白强调“注意，不仅仅是整个矩阵的行列式，而是从左上角开始，一阶、二阶直到 n 阶的所有子行列式都要大于零。”

2. 动画
   观察依据

   绿色框从 1 阶扩展到 2 阶，直观展示逐阶检查。

第三条判据只需要整个矩阵的行列式大于零即可。

视频明确纠正：必须检查从左上角开始的所有阶顺序主子式，而不只是最终的 n 阶行列式。

1. 声音
   观察依据

   旁白说“如果特征值有负数，这个碗就会破裂，变成马鞍面。”

即使特征值中有负数，二次型图形仍然会是封闭椭圆。

视频说明负特征值会破坏封闭性，使图形变成双曲线或马鞍面，而不是封闭椭圆。

1. 声音
   观察依据

   前半段讲碗状几何直观，后半段说“让我们从直观的图像回到严谨的数学定义”。

2. 动画
   观察依据

   先有同心椭圆和滚动小球，后有公式 $x^T A x > 0$ 与旋转向量。

同心椭圆的碗状几何直观被用来引出并支撑正定矩阵的代数定义。

1. 公式
   观察依据

   同一公式 $x^T A x > 0$ 先作为定义出现，后又被红字“必须严格大于零”强化。

2. 声音
   观察依据

   旁白先给出定义，再补充“如果存在哪怕一个方向……就不是正定的”。

严格大于零的边界条件是正定矩阵定义中的核心组成部分。

1. 动画
   观察依据

   黄色向量不断旋转。

2. 声音
   观察依据

   旁白把 $x$ 解释为“空间中的任意一个方向”，把 $x^T A x$ 解释为对应实数。

旋转向量动画用于说明二次型 $x^T A x$ 随方向 $x$ 变化而取值，但正定性要求所有非零方向上都为正。

1. 公式
   观察依据

   前半段出现 $λ_i > 0$，后半段出现“特征值均为正 → 封闭椭圆”。

2. 声音
   观察依据

   旁白先把正特征值解释为主方向上的拉伸，后面又把正特征值与封闭椭圆联系起来。

特征值判据在后半段被直接应用到几何解释中，用来说明为什么正定二次型对应封闭椭圆。

1. 公式
   观察依据

   先写出 $x^T A x = 1$，再画出椭圆并标出 $v_1$、$v_2$。

2. 声音
   观察依据

   旁白先说该方程给出椭圆或椭球体，再说椭圆主轴方向就是特征向量方向。

二次型几何对象这一概念内部进一步包含“主轴方向由特征向量决定”的具体结构信息。

1. 公式
   观察依据

   画面用大括号把三条判据连在一起并写“完全等价”。

视频明确声明特征值判据与主元判据等价，都可作为正定性判定条件。

1. 公式
   观察依据

   三条判据被统一标注为“完全等价”。

特征值判据与顺序主子式判据在视频中被归为同一等价族。

1. 公式
   观察依据

   三条判据被统一标注为“完全等价”。

主元判据与顺序主子式判据同样被视频视为等价条件。

1. 声音
   观察依据

   旁白在介绍完定义后，紧接着介绍了判定方法。

判定方法是基于正定矩阵的定义推导出来的实用工具。

1. 声音
   观察依据

   旁白在介绍完判定方法后，介绍了其几何直观。

几何直观是正定矩阵定义在空间形状上的具体体现。

1. 声音
   观察依据

   旁白给出正定矩阵定义。

2. 公式
   观察依据

   屏幕显示 $x^T A x > 0$。

1. 正定矩阵的代数定义
2. 正定矩阵的充要条件表述

1. 声音
   观察依据

   旁白强调“小于或等于零”就不是正定。

2. 公式
   观察依据

   红字“必须严格大于零”。

1. 严格大于零的判定边界
2. 误把“大于等于零”当作正定条件

1. 声音
   观察依据

   旁白解释 $x$ 是任意方向，$x^T A x$ 是实数，称为能量或曲率。

2. 动画
   观察依据

   黄色向量旋转表示不同方向。

1. 二次型 $x^T A x$ 的含义
2. 表示任意非零方向的旋转向量

1. 声音
   观察依据

   旁白把正定矩阵比作碗或山谷底部。

2. 动画
   观察依据

   同心椭圆和红点滚向中心。

1. 同心椭圆与滚向中心的小球
2. 从几何直观过渡到代数定义的讲解过程

1. 声音
   观察依据

   旁白说“我们不可能去测试每一个向量。幸运的是，我们有三块试金石……”

1. 正定矩阵的三条等价判据总述

1. 公式
   观察依据

   画面依次列出 $λ_i > 0$、$d_i > 0$、$Δ_k > 0$。

1. 特征值判据
2. 主元判据
3. 顺序主子式判据

1. 声音
   观察依据

   旁白解释“从左上角开始，一阶、二阶直到 n 阶的所有子行列式都要大于零。”

2. 动画
   观察依据

   绿色框逐阶扩展。

1. 顺序主子式判据

1. 公式
   观察依据

   画面写出“完全等价”。

2. 声音
   观察依据

   旁白说“这三个条件是完全等价的。”

1. 特征值判据
2. 主元判据
3. 顺序主子式判据

1. 公式
   观察依据

   画面写出 $x^T A x = 1$。

2. 声音
   观察依据

   旁白说这对应一个椭圆或椭球体。

1. 二次型 $x^T A x = 1$ 的几何对象

1. 图示
   观察依据

   椭圆主轴方向标出 $v_1$、$v_2$。

2. 声音
   观察依据

   旁白说这两个箭头就是矩阵的特征向量，且长轴短轴方向恰好是特征向量方向。

1. 椭圆主轴与特征向量方向的关系

1. 声音
   观察依据

   旁白说轴的长度与特征值的倒数平方根有关。

1. 视频未给出完整公式，只给出文字关系

1. 椭圆轴长与特征值的关系

1. 公式
   观察依据

   画面写出“特征值均为正 → 封闭椭圆”。

2. 声音
   观察依据

   旁白解释负特征值会使图形破裂成双曲线或马鞍面。

1. 正特征值保证封闭椭圆而非双曲线或马鞍面