高阶变换，希尔伯特空间

1. 公式
   观察依据

   画面在二维圆与矩形示意图中标出半径 r，并在下方写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”。

r

二维示例中旋转线段的长度，即所得圆的半径

正实数

1. 公式
   观察依据

   画面在三维圆柱与长方体示意图旁写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”，并把长方体的“移动距离”标为 πr。

r

三维示例中正方形绕一边旋转时，正方形边长兼作旋转半径

正实数

1. 公式
   观察依据

   屏幕显示“圆锥体体积 = $1/3 π r^3$”

$1/3 π r^3$

视频中给出的圆锥体体积表达式

几何体体积

1. 公式
   观察依据

   屏幕显示“棱柱体体积 = $1/2 π r^3$”

$1/2 π r^3$

视频中给出的棱柱体体积表达式

几何体体积

1. 公式
   观察依据

   屏幕显示 $2\times 2$ 矩阵 [Cos(θ), -Sin(θ); Sin(θ), Cos(θ)]

[Cos(θ), -Sin(θ); Sin(θ), Cos(θ)]

二维空间中的旋转矩阵

线性代数/几何变换

1. 公式
   观察依据

   屏幕显示 $e^{iθ}$，其中 θ 随动画变化

$e^{iθ}$

欧拉公式，用于表示二维平面内的旋转

复数/几何变换

1. 公式
   观察依据

   屏幕显示 $3\times 3$ 矩阵 [Cos(θ), -Sin(θ), 0; Sin(θ), Cos(θ), 0; 0, 0, 1]

[Cos(θ), -Sin(θ), 0; Sin(θ), Cos(θ), 0; 0, 0, 1]

三维空间中绕 z 轴旋转的矩阵

线性代数/几何变换

1. 公式
   观察依据

   屏幕显示 $4\times 4$ 矩阵 [Cos(θ), -Sin(θ), 0, 0; Sin(θ), Cos(θ), 0, 0; 0, 0, 1, 0; 0, 0, 0, 1]

[Cos(θ), -Sin(θ), 0, 0; Sin(θ), Cos(θ), 0, 0; 0, 0, 1, 0; 0, 0, 0, 1]

四维空间中的旋转矩阵

线性代数/高维几何

1. 公式
   观察依据

   屏幕显示 $4\times 4$ 矩阵 [Cosh(θ), -Sinh(θ), 0, 0; Sinh(θ), Cosh(θ), 0, 0; 0, 0, 1, 0; 0, 0, 0, 1]

[Cosh(θ), -Sinh(θ), 0, 0; Sinh(θ), Cosh(θ), 0, 0; 0, 0, 1, 0; 0, 0, 0, 1]

用于表示闵可夫斯基时空光锥的矩阵

相对论/双曲函数

1. 公式
   观察依据

   画面显示三元一次方程组：$3x+2y+z=39$，$2x+3y+z=34$，$x+2y+3z=26$。

$\begin{cases} 3x + 2y + z = 39 \\ 2x + 3y + z = 34 \\ x + 2y + 3z = 26 \end{cases}$

用于引出矩阵的多元线性方程组示例

x,y,z 为未知数

1. 公式
   观察依据

   第一行方程被改写为 [3 2 1]·[x y z]^$T = 3x+2y+1z=39$。

[3\ 2\ 1]

第一个方程的系数向量

三维行向量

1. 公式
   观察依据

   未知数 x,y,z 被竖排写成列向量。

$\begin{bmatrix} x \\ y \\ z \end{bmatrix}$

未知数列向量

三维列向量

1. 声音
   观察依据

   旁白说：“注意看，在一般情况下，我们都会把我们所在的空间看成是一个平直空间，也就是说，在这个空间里所有的点都是均匀分布的。”

2. 动画
   观察依据

   黑底上大量白色小点从中心向外扩散，随后变成规则网格状排布。

视频先把空间直观地设定为“平直空间”，并用“所有点都是均匀分布的”来解释这一前提。该说法在本片段中用于支持后面把面积和体积理解为“扫过的点”的数量。

1. 视频将其作为一般情况下的直观前提使用

2. 未给出严格数学定义

1. 声音
   观察依据

   旁白说：“现在，我们来看一个二维平面……所以在我们计算面积的时候，我们可以假设我们是在计算一根直线段在移动后所扫过的点。”

2. 动画
   观察依据

   二维网格中出现一条黄色水平线段，向上平移后形成带斜线填充的矩形。

3. 公式
   观察依据

   画面标注“线段长”和“移动距离”。

视频把二维面积解释为一条直线段在平面内移动后扫过的点的总量。对于平移情形，扫过的区域是矩形，因此面积被写成“线段长 × 移动距离”。

1. 适用于视频所示的二维平面直观模型

2. 线段沿垂直方向平移形成矩形

1. 平直空间中点的均匀分布

1. 声音
   观察依据

   旁白说：“那么如果这根直线段绕着一个端点转一圈呢？虽然因为移动轨迹是曲线而导致不同圆心距离扫过的点数量不同，但如果我们取AB的中点作为平均值来看，这根直线段扫过的点仍然是均匀的，所以这个圆的面积呢，就等于以半径中点作为平移距离的矩形面积。”

2. 动画
   观察依据

   黄色线段绕左端点旋转一周形成圆；右侧同时出现一个高为 r、宽为 πr 的矩形。

3. 公式
   观察依据

   画面写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”，并写出“圆面积 = πr²”“矩形面积 = πr²”。

1. 视频把“取AB的中点作为平均值”直接当作扫点仍然均匀的依据，未给出严格证明。

视频先承认线段绕端点旋转时，不同半径处扫过的点数并不相同；随后改用线段中点的圆周轨迹长度 πr 作为“平均移动距离”，把圆面积等同于一个底为 r、高为 πr 的矩形面积，从而得到 πr²。

1. 线段长度为 r

2. 线段绕一个端点旋转一周

3. 视频采用中点轨迹作为平均移动距离的直观假设

1. 用线段平移扫点理解面积

1. 声音
   观察依据

   旁白说：“好，让我们深入一步进入到三维空间。当我们把一个正方形平移一段距离呢？那我们就得到了一个长方体。当我们计算体积的时候，就可以假设我们是在计算一个正方形在移动后所扫过的点。所以体积就是正方形的面积再乘以它移动过的距离。”

2. 动画
   观察依据

   三维坐标中出现青色正方形，沿垂直方向平移后形成长方体。

3. 公式
   观察依据

   画面标注“正方形边长”和“移动距离”。

视频把二维“线段扫点得面积”的思路推广到三维：一个正方形平移后扫过的点的总量就是体积，因此体积等于正方形面积乘以移动距离。

1. 适用于视频所示的三维直观模型

2. 正方形沿垂直于自身方向平移形成长方体

1. 平直空间中点的均匀分布
2. 用线段平移扫点理解面积

1. 声音
   观察依据

   旁白说：“同样的，如果我们把这个正方形绕其中一条边转一圈呢？那么根据我们前面的逻辑，它的体积就应该等于以正方形为底，以半径中点所走过的圆周长为移动距离所形成的长方体的体积。”

2. 动画
   观察依据

   青色正方形绕其一条竖直边旋转一周形成圆柱；右侧出现一个底面为正方形、长度标为 πr 的长方体。

3. 公式
   观察依据

   画面写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”“移动距离 = πr”“圆柱体积 = 长方体体积 = πr³”。

1. 视频沿用二维时的“中点轨迹作为平均移动距离”思路，但未证明三维旋转扫点可按同样方式平均化。

视频把正方形绕一边旋转得到的圆柱，类比为以正方形为底、以中点圆周轨迹 πr 为“移动距离”的长方体，于是得到体积 $πr \times r$² = πr³。

1. 正方形边长为 r

2. 正方形绕其中一条边旋转一周

3. 视频采用中点轨迹作为平均移动距离的直观假设

1. 用正方形平移扫点理解体积
2. 用中点轨迹把圆面积化为矩形面积

1. 声音
   观察依据

   旁白说：“那么如果我们把这个正方形切掉一半呢？就像这样，那我们就得到了一个圆锥体和一个棱柱体。虽然正方形面积切掉了一半，但是在旋转过程中的任意时刻，被旋转的直角三角形面积总归是正方形的一半，所以无论它是绕圈走还是直平走，所扫过空间中的点也应该是相等的。”

2. 动画
   观察依据

   两个青色正方形各被对角线切成直角三角形；左侧三角形绕一直角边旋转形成圆锥，右侧三角形沿垂直方向平移形成三棱柱。

3. 公式
   观察依据

   画面最后打出“圆锥体体积 = 棱柱体体积 ???”。

1. 视频在片段结尾以问号呈现该结论，未给出证明或数值验证。

2. 该结论与常见公式不一致：若直角边均为 r，则圆锥体积为 ($1/3$)πr³，而三棱柱体积为 r³。

视频把前面的“扫点”逻辑继续推广：既然旋转用的直角三角形面积始终是原正方形的一半，那么无论是绕圈旋转还是直线平移，扫过的空间点数也应相等，于是提出“圆锥体体积 = 棱柱体体积”的疑问式结论。

1. 由正方形沿对角线切得的直角三角形作为生成截面

2. 左侧绕一直角边旋转，右侧沿垂直方向平移

3. 视频仅提出疑问，未证明

1. 用中点轨迹把圆柱体积化为长方体体积
2. 用正方形平移扫点理解体积

1. 声音
   观察依据

   旁白提到“矩阵是研究空间变换的强大工具”

2. 图示
   观察依据

   画面展示网格被不同矩阵拉伸、倾斜和旋转的动画

视频通过动画展示了不同的 $2\times 2$ 矩阵如何改变二维网格的形状，指出矩阵是研究空间变换的强大工具，并提及爱因斯坦利用该工具推导广义相对论。

1. 适用于描述空间变换

1. 公式
   观察依据

   屏幕显示 $2\times 2$ 旋转矩阵

2. 动画
   观察依据

   坐标系中的一条线段随矩阵参数变化而旋转

视频给出了二维空间中的旋转矩阵公式，并通过动画演示了该矩阵如何使一条线段在二维坐标系中发生旋转。

1. 作用于二维向量

1. 矩阵作为空间变换工具

1. 公式
   观察依据

   屏幕显示 $3\times 3$ 旋转矩阵

2. 动画
   观察依据

   三维坐标系中的线段绕 z 轴旋转，扫出一个圆锥面

视频展示了三维空间中的旋转矩阵，并通过动画演示了该矩阵使线段绕 z 轴旋转，从而生成圆锥体的过程。

1. 作用于三维向量

1. 二维旋转矩阵

1. 公式
   观察依据

   屏幕显示 $4\times 4$ 旋转矩阵

2. 声音
   观察依据

   旁白提到“用矩阵照样也可以转起来”

视频给出了四维空间中的旋转矩阵公式，说明即使人类无法直观想象四维空间，矩阵依然可以用来表示其中的旋转变换。

1. 作用于四维向量

1. 三维旋转矩阵

1. 公式
   观察依据

   屏幕显示包含双曲函数的 $4\times 4$ 矩阵

2. 动画
   观察依据

   三维坐标系中生成上下对称的双锥体（光锥）

视频展示了利用包含双曲余弦和双曲正弦的矩阵来表示闵可夫斯基时空的光锥，并配以《三体》中关于光锥内外命运与黑暗宇宙的引言。

1. 用于相对论时空几何

1. 四维旋转矩阵

1. 声音
   观察依据

   旁白说“矩阵最初是用来解决多元方程组问题的”。

2. 动画
   观察依据

   背景为数字雨，前景有不断变化的 $3\times 3$ 数字矩阵。

视频把矩阵放回其最初动机：用紧凑方式处理多元方程组。画面中的 $3\times 3$ 数字阵列只是视觉引入，真正的数学对象随后由具体方程组给出。

1. 讨论对象为多元线性方程组

1. 声音
   观察依据

   旁白说：“所以这个圆的面积呢，就等于以半径中点作为平移距离的矩形面积。”

2. 公式
   观察依据

   画面写出“圆面积 = πr²”“矩形面积 = πr²”。

在该视频的直观模型中，半径为 r 的圆面积等于底为 r、高为 πr 的矩形面积，即 πr²。

1. 线段长度为 r

2. 线段绕一端旋转一周

3. 采用中点轨迹 πr 作为平均移动距离

对视频所示的半径 r 圆成立

1. 声音
   观察依据

   旁白说：“它的体积就应该等于以正方形为底，以半径中点所走过的圆周长为移动距离所形成的长方体的体积。”

2. 公式
   观察依据

   画面写出“圆柱体积 = 长方体体积 = πr³”。

在该视频的直观模型中，边长为 r 的正方形绕一边旋转所得圆柱体积，等于以该正方形为底、长度为 πr 的长方体体积，即 πr³。

1. 正方形边长为 r

2. 正方形绕其中一条边旋转一周

3. 采用中点轨迹 πr 作为平均移动距离

对视频所示的边长 r 正方形旋转体成立

1. 声音
   观察依据

   旁白说：“所以无论它是绕圈走还是直平走，所扫过空间中的点也应该是相等的。”

2. 公式
   观察依据

   画面打出“圆锥体体积 = 棱柱体体积 ???”。

1. 视频以问号形式提出，未给出证明。

2. 按标准几何公式，该等式一般不成立。

视频在结尾提出疑问：由同一正方形切出的直角三角形，一个绕直角边旋转成圆锥，另一个平移成棱柱，二者体积是否相等。

1. 直角三角形由正方形沿对角线切得

2. 左侧绕一直角边旋转

3. 右侧沿垂直方向平移

视频未明确量化范围，仅以示例图形提出疑问

1. 声音
   观察依据

   旁白提出“如果人类的逻辑没有出现太离谱的错误的话，圆锥体的体积就应该等于棱柱体的体积”

2. 公式
   观察依据

   屏幕对比显示圆锥体积 $1/3 π r^3$ 和棱柱体积 $1/2 π r^3$

1. 视频未给出棱柱的具体尺寸参数，仅展示了公式结果

基于某种逻辑推导，圆锥体的体积应该等于棱柱体的体积，但实际计算出的公式结果不一致。

1. 人类的逻辑没有出现太离谱的错误

全称

1. 声音
   观察依据

   旁白明确说“矩阵最初是用来解决多元方程组问题的”。

矩阵最初是用来解决多元方程组问题的。

1. 视频语境为介绍矩阵来源

针对视频所述矩阵的起源

1. 声音
   观察依据

   旁白说单个方程可看成系数矢量和未知数矢量的内积。

2. 公式
   观察依据

   画面把 $3x+2y+z=39$ 改写为行向量与列向量的点积。

一个线性方程可以看成系数向量与未知数向量的内积等于右端常数。

1. 方程为线性方程

2. 系数与未知数按同一顺序排列

对示例中的每个方程成立

1. 声音
   观察依据

   旁白说三个方程式自然表示三个内积，结果排列在一起构成三维矢量。

2. 公式
   观察依据

   右侧 39、34、26 被框成列向量。

三元线性方程组的三个方程分别对应三个内积，三个结果排在一起构成一个三维向量。

1. 方程组含三个线性方程

2. 未知数为 x,y,z

对该示例方程组成立

1. 声音
   观察依据

   旁白总结“矩阵最终起到的作用就是把一个矢量转换成另一个矢量”。

矩阵最终起到的作用是把一个向量转换成另一个向量。

1. 存在矩阵与向量的乘法

视频以一般性表述给出

1. 声音
   观察依据

   旁白说线性变换对空间的作用只是旋转和拉伸。

2. 动画
   观察依据

   网格发生倾斜、旋转和拉伸。

1. “只是旋转和拉伸”是视频的直观概括，未在此片段中给出严格限定或完整分类。

视频中称线性变换对空间所起的作用只是旋转和拉伸。

1. 在二维网格可视化语境下

针对动画展示的线性变换

1. 声音
   观察依据

   旁白设想用 $\sin (x)$ 做横轴、$\sin (2x)$ 做纵轴，并以此质疑坐标轴变化。

2. 公式
   观察依据

   画面写出“横轴：$\sin (x)$”“纵轴：$\sin (2x)$”。

1. 视频在片段结束前没有完整解释为什么这种坐标轴替换不属于线性变换。

视频提出可用 $\sin (x)$ 作横轴、$\sin (2x)$ 作纵轴，作为对“坐标轴也变来变去”的设想。

1. 坐标轴由非线性函数参数化

作为观众可能提出的反例设想

1. 声音
   观察依据

   旁白说“它就是傅里叶级数的正弦形式”

2. 公式
   观察依据

   画面同时显示 $\sum_{\omega=0}^{\infty}$ aSin($\omega x$)

1. 视频未给出傅里叶级数正弦形式的标准定义

2. 未说明系数 a 的来源和级数收敛条件

视频主张：把有限维正弦坐标推广到无穷维后得到的表达式 $\sum_{\omega=0}^{\infty} a\sin(\omega x)$ 就是“傅里叶级数的正弦形式”。

1. 已接受视频前面把坐标分量解释为正弦基函数系数的做法

2. 空间维度被推广到无穷维

对视频所示的无穷维正弦组合形式而言

1. 声音
   观察依据

   旁白说“如果傅里叶级数可以这样子进行解析分析的话，那实际上就意味着几乎所有的连续函数都可以进行这样的分析，因为傅里叶级数可以合成其他函数啊”

1. “几乎所有”在视频中没有量化定义

2. 未说明需要何种收敛定理或函数类条件

3. 该说法是视频的推断，不是片中给出的证明

视频推断：如果傅里叶级数可以按这种方式进行解析分析，那么“几乎所有的连续函数”都可以进行这样的分析，理由是傅里叶级数可以合成其他函数。

1. 傅里叶级数可按视频所示方式进行解析分析

2. 傅里叶级数可以合成其他函数

视频使用“几乎所有的连续函数”，但未给出严格量词和例外集合

1. 声音
   观察依据

   旁白依次说明旋转时不同半径扫点数不同、取中点作为平均值、再把圆面积化为矩形面积。

2. 公式
   观察依据

   画面逐步写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”“圆面积 = πr²”“矩形面积 = πr²”。

3. 动画
   观察依据

   线段旋转成圆，同时右侧出现等积矩形。

1. “取中点作为平均值”只是视频的直观假设，未给出严格推导。

1. 公式

   $$\text{a line segment rotating one full turn around one of its endpoints}$$
   解释

   先考虑长度为 r 的线段绕一个端点旋转，扫出一个圆。

   步骤依据

   视频画面与旁白直接给出该生成过程。

   视频直接表达
2. 公式

   $$\text{different numbers of points swept out depending on the distance from the center of the circle}$$
   解释

   视频承认旋转轨迹是曲线，离圆心不同距离处扫过的点数不一样。

   步骤依据

   旁白明确说出这一困难。

   视频直接表达
3. 公式

   $$\text{path traced by the midpoint} = 2 \times \frac{r}{2} \times \pi = \pi r$$
   解释

   改用线段中点的圆周轨迹长度作为“平均移动距离”。

   步骤依据

   画面公式直接给出。

   视频直接表达
4. 公式

   $$S_{\text{rectangle}} = r \times \pi r = \pi r^2$$
   解释

   把圆等价为底为 r、高为 πr 的矩形，得到面积 πr²。

   步骤依据

   画面同时写出“圆面积 = πr²”“矩形面积 = πr²”。

   视频直接表达

视频用中点轨迹把圆面积直观地推导为 πr²。

1. 声音
   观察依据

   旁白把二维逻辑推广到三维，说明正方形绕一边旋转后的体积应等于相应长方体体积。

2. 公式
   观察依据

   画面写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”“移动距离 = πr”“圆柱体积 = 长方体体积 = πr³”。

3. 动画
   观察依据

   正方形旋转成圆柱，右侧同步出现等积长方体。

1. 该推导沿用二维“中点平均化”假设，但视频未证明三维情形同样适用。

1. 公式

   $$\text{a square rotating one full turn around one of its sides}$$
   解释

   以边长为 r 的正方形绕其中一条边旋转，生成圆柱。

   步骤依据

   视频画面与旁白直接给出。

   视频直接表达
2. 公式

   $$\text{path traced by the midpoint} = 2 \times \frac{r}{2} \times \pi = \pi r$$
   解释

   取正方形宽度方向中点的轨迹长度作为平均移动距离。

   步骤依据

   画面公式直接给出。

   视频直接表达
3. 公式

   $$V_{\text{rectangular prism}} = r^2 \times \pi r = \pi r^3$$
   解释

   把圆柱等价为底面积 r²、长度 πr 的长方体，得到体积 πr³。

   步骤依据

   画面写出“圆柱体积 = 长方体体积 = πr³”。

   视频直接表达

视频用与圆面积相同的中点轨迹思想，把圆柱体积直观地推导为 πr³。

1. 声音
   观察依据

   旁白说正方形切掉一半后，旋转过程中的任意时刻，被旋转的直角三角形面积总是正方形的一半，因此扫过空间中的点也应该相等。

2. 动画
   观察依据

   两个直角三角形分别做旋转和平移，生成圆锥和三棱柱。

3. 公式
   观察依据

   画面最后显示“圆锥体体积 = 棱柱体体积 ???”。

1. 视频只给出类比论证，并以问号结束，没有完成证明。

2. 该结论与标准体积公式不一致，需回查后续内容是否纠正。

1. 公式

   $$\text{a square cut along its diagonal into two right triangles}$$
   解释

   先把原来的正方形截面切成一半，得到直角三角形。

   步骤依据

   视频画面直接展示切分过程。

   视频直接表达
2. 公式

   $$S_{\text{right triangle}} = \frac{1}{2} S_{\text{square}}$$
   解释

   视频强调在旋转过程中的任意时刻，被旋转的直角三角形面积总是正方形的一半。

   步骤依据

   旁白明确说出这一比例关系。

   视频直接表达
3. 公式

   $$V_{\text{cone}} \stackrel{?}{=} V_{\text{prism}}$$
   解释

   由此类推，绕圈旋转与直线平移扫过的空间点数应当相等。

   步骤依据

   旁白给出类比结论，画面以问号呈现。

   视频直接表达

视频在片段末端提出“圆锥体体积 = 棱柱体体积”的疑问式类比，但未证明。

1. 公式
   观察依据

   屏幕依次打出圆锥和棱柱的体积公式进行对比

1. 公式

   $$V_{\text{cone}} = \frac{1}{3}\pi r^3$$
   解释

   列出圆锥体的体积公式

   步骤依据

   视频画面直接给出

   视频直接表达
2. 公式

   $$V_{\text{prism}} = \frac{1}{2}\pi r^3$$
   解释

   列出棱柱体的体积公式

   步骤依据

   视频画面直接给出

   视频直接表达

两个体积公式的结果不一致（$1/3$ 与 $1/2$），引发了逻辑上的疑问。

1. 公式
   观察依据

   从方程组逐行改写为内积，再合并为矩阵乘法。

2. 声音
   观察依据

   旁白按“单个方程—三个内积—系数矩阵—结果向量”的顺序推进。

1. 公式

   $$\begin{cases} 3x + 2y + z = 39 \\ 2x + 3y + z = 34 \\ x + 2y + 3z = 26 \end{cases}$$
   解释

   从三元一次方程组出发。

   步骤依据

   视频直接给出的示例方程组。

   视频直接表达
2. 公式

   $$[3\ 2\ 1]\cdot\begin{bmatrix}x\\y\\z\end{bmatrix}=39$$
   解释

   把第一行方程看成系数行向量与未知数列向量的内积。

   步骤依据

   使用向量内积的定义。

   视频直接表达
3. 公式

   $$\begin{bmatrix}39\\34\\26\end{bmatrix}$$
   解释

   三个方程分别给出三个内积结果，并把结果竖排成列向量。

   步骤依据

   视频将三个右端常数排列在一起构成三维向量。

   视频直接表达
4. 公式

   $$\begin{bmatrix}3&2&1\\2&3&1\\1&2&3\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}=\begin{bmatrix}39\\34\\26\end{bmatrix}$$
   解释

   把三个系数向量按行排列成系数矩阵，从而把整个方程组写成矩阵乘法形式。

   步骤依据

   矩阵乘向量的每一行正是对应方程的内积。

   视频直接表达

三元线性方程组可以等价写成系数矩阵乘以未知数列向量等于结果列向量。

1. 动画
   观察依据

   蓝色网格在若干 $2\times 2$ 矩阵作用下变成倾斜、旋转或拉伸的网格。

2. 声音
   观察依据

   旁白强调单位尺度保持均匀分布。

1. 公式

   $$\begin{bmatrix}1&1\\0&1\end{bmatrix}$$
   解释

   网格在剪切型矩阵作用下发生倾斜。

   步骤依据

   视频用左上角矩阵配合网格变形展示线性变换效果。

   视频直接表达
2. 公式

   $$\begin{bmatrix}0&-1\\1&0\end{bmatrix}$$
   解释

   网格发生旋转样式的整体转向。

   步骤依据

   视频继续用不同 $2\times 2$ 矩阵演示旋转和拉伸。

   视频直接表达
3. 公式

   $$\text{Equal intervals remain equal}$$
   解释

   无论网格怎样倾斜或拉伸，同一条轴上相邻单位刻度之间的距离仍保持一致。

   步骤依据

   旁白明确说从 1 到 2 和从 2 到 3 的距离仍然相等。

   视频直接表达

视频用网格动画说明线性变换可以改变方向和尺度，但不会让坐标轴上的单位间隔变得不均匀。

1. 公式
   观察依据

   画面依次出现 [2; 3]、2Sin(x)+3Sin(2x)、[1; 1; 1]、Sin(x)+Sin(2x)+$\sin (3x)$、[1; 1; 1; ...]、$\sum_{\omega=0}^{\infty}$ aSin($\omega x$)

2. 声音
   观察依据

   旁白按二维、三维、无穷维的顺序推进，并最终说“它就是傅里叶级数的正弦形式”

1. 从有限项到无穷项的推广缺少严格论证

2. 未说明级数收敛性和系数确定方法

1. 公式

   $$\begin{bmatrix}2\\3\end{bmatrix}\longrightarrow 2\sin(x)+3\sin(2x)$$
   解释

   先在二维正弦坐标系中，把点 [2; 3] 读成两条正弦轴的系数组合。

   步骤依据

   视频直接给出的坐标读法

   视频直接表达
2. 公式

   $$\begin{bmatrix}1\\1\\1\end{bmatrix}\longrightarrow \sin(x)+\sin(2x)+\sin(3x)$$
   解释

   再把同样的读法推广到三维，增加 $\sin(3x)$ 这条轴，得到三项正弦组合。

   步骤依据

   视频直接给出的三维推广

   视频直接表达
3. 公式

   $$\begin{bmatrix}1\\1\\1\\\vdots\end{bmatrix}\longrightarrow \sum_{\omega=0}^{\infty} a\sin(\omega x)$$
   解释

   最后把维度继续升到无穷维，用省略号向量表示无穷多个分量，并写出对应的无穷求和式。

   步骤依据

   视频直接给出的无穷维形式化推广

   视频直接表达
4. 公式

   $$\sum_{\omega=0}^{\infty} a\sin(\omega x)$$
   解释

   视频把这个无穷求和式命名为“傅里叶级数的正弦形式”。

   步骤依据

   视频中的口头结论与画面公式对应

   视频直接表达

视频通过“二维坐标点—三维坐标点—无穷维坐标向量”的连续类比，把有限项正弦组合推广到无穷项正弦级数，并将其识别为傅里叶级数的正弦形式。

1. 声音
   观察依据

   旁白先批评“歪歪扭扭的坐标系实在是太难看了”，随后说“我们可以把任意连续函数直接看成是矢量……所有的连续函数就构成了一个完备的欧几里得空间……叫作希尔伯特空间”

2. 动画
   观察依据

   画面从复杂扭曲线网回到较平直的网格，并出现“希尔伯特空间”字样

1. 该推导是概念重述，不是严格证明

2. 未给出函数空间的内积和完备性定义

1. 公式

   $$$$
   解释

   视频先指出前面那种把坐标轴弯成正弦曲线的画法过于复杂、不够直观。

   步骤依据

   旁白明确评价“歪歪扭扭的坐标系实在是太难看了”

   视频直接表达
2. 公式

   $$$$
   解释

   于是改换视角，不再强调坐标轴变形，而是直接把连续函数本身当作矢量。

   步骤依据

   旁白说“我们可以把任意连续函数直接看成是矢量”

   视频直接表达
3. 公式

   $$$$
   解释

   在这种观点下，所有连续函数被说成构成一个完备的欧几里得空间。

   步骤依据

   旁白直接给出这一结论

   视频直接表达
4. 公式

   $$\text{Hilbert space}$$
   解释

   视频最后把这个空间命名为“希尔伯特空间”。

   步骤依据

   画面出现大字“希尔伯特空间”，旁白同步说明命名由来

   视频直接表达

视频用“把函数本身看作矢量”的方式，替代前面弯曲坐标轴的直观画法，并据此引出“希尔伯特空间”这一名称。

1. 声音
   观察依据

   旁白先讲二维平面上的点均匀分布，再讲线段平移求面积，最后讲线段绕端点旋转求圆面积。

2. 动画
   观察依据

   黄色线段在网格中平移成矩形，又绕端点旋转成圆，并与矩形并列比较。

3. 公式
   观察依据

   画面出现“线段长”“移动距离”“中点移动轨迹 = $2 \times r/2 \times π = πr$”“圆面积 = πr²”“矩形面积 = πr²”。

在二维平面中，如何用“扫过的点”理解矩形面积和圆面积？

1. 平面上的点被假定为均匀分布

2. 有一条长度为 r 的线段

3. 线段可向上平移，也可绕一个端点旋转一周

分别得到矩形面积和圆面积的表达式。

1. 公式

   $$S_{\text{rectangle}} = \text{length of a line segment} \times \text{distance traveled}$$
   解释

   线段平移扫出一个矩形，面积等于线段长乘以平移距离。

   步骤依据

   视频旁白和画面标注直接给出。

   视频直接表达
2. 公式

   $$\text{path traced by the midpoint} = 2 \times \frac{r}{2} \times \pi = \pi r$$
   解释

   线段绕端点旋转时，取中点轨迹长度作为平均移动距离。

   步骤依据

   画面公式直接给出。

   视频直接表达
3. 公式

   $$S_{\text{circle}} = r \times \pi r = \pi r^2$$
   解释

   把圆等价为底为 r、高为 πr 的矩形，得到圆面积。

   步骤依据

   画面写出“圆面积 = πr²”。

   视频直接表达

矩形面积为“线段长 × 移动距离”；圆面积为 πr²。

视频通过把圆面积与矩形面积并列写出 πr² 来进行自检。

1. 声音
   观察依据

   旁白把二维逻辑推进到三维，先讲正方形平移得长方体，再讲正方形绕边旋转得圆柱。

2. 动画
   观察依据

   青色正方形在三维坐标中平移成长方体，又绕一边旋转成圆柱，并与长方体并列比较。

3. 公式
   观察依据

   画面出现“正方形边长”“移动距离”“中点移动轨迹 = $2 \times r/2 \times π = πr$”“圆柱体积 = 长方体体积 = πr³”。

在三维空间中，如何用“扫过的点”理解长方体体积和圆柱体积？

1. 空间中的点被假定为均匀分布

2. 有一个边长为 r 的正方形

3. 正方形可沿垂直方向平移，也可绕其中一条边旋转一周

分别得到长方体体积和圆柱体积的表达式。

1. 公式

   $$V_{\text{rectangular prism}} = S_{\text{square}} \times \text{distance traveled}$$
   解释

   正方形平移扫出一个长方体，体积等于正方形面积乘以移动距离。

   步骤依据

   视频旁白和画面标注直接给出。

   视频直接表达
2. 公式

   $$\text{path traced by the midpoint} = 2 \times \frac{r}{2} \times \pi = \pi r$$
   解释

   正方形绕边旋转时，取中点轨迹长度作为平均移动距离。

   步骤依据

   画面公式直接给出。

   视频直接表达
3. 公式

   $$V_{\text{cylinder}} = r^2 \times \pi r = \pi r^3$$
   解释

   把圆柱等价为底面积 r²、长度 πr 的长方体，得到体积。

   步骤依据

   画面写出“圆柱体积 = 长方体体积 = πr³”。

   视频直接表达

长方体体积为“正方形面积 × 移动距离”；圆柱体积为 πr³。

视频通过把圆柱体积与长方体体积并列写出 πr³ 来进行自检。

1. 声音
   观察依据

   旁白问如果把正方形切掉一半会怎样，并说会得到一个圆锥体和一个棱柱体。

2. 动画
   观察依据

   两个直角三角形分别绕直角边旋转和平移，生成圆锥与三棱柱。

3. 公式
   观察依据

   画面最后显示“圆锥体体积 = 棱柱体体积 ???”。

1. 该例子在片段内没有给出最终答案，只提出问题。

如果把正方形沿对角线切成直角三角形，一个绕直角边旋转，一个平移，二者体积是否相等？

1. 正方形被沿对角线切成两个直角三角形

2. 左侧直角三角形绕一直角边旋转一周

3. 右侧直角三角形沿垂直方向平移

比较所得圆锥与棱柱的体积。

1. 公式

   $$S_{\text{right triangle}} = \frac{1}{2} S_{\text{square}}$$
   解释

   视频强调旋转过程中任意时刻，被旋转的直角三角形面积都是正方形的一半。

   步骤依据

   旁白明确说出。

   视频直接表达
2. 公式

   $$V_{\text{cone}} \stackrel{?}{=} V_{\text{prism}}$$
   解释

   据此类推，旋转与平移扫过的空间点数应相等。

   步骤依据

   旁白给出类比，画面以问号呈现。

   视频直接表达

片段内未给出确定答案，只提出“圆锥体体积 = 棱柱体体积 ???”的疑问。

无；视频在此处故意留下问号，未做验证。

1. 动画
   观察依据

   二维网格在不同 $2\times 2$ 矩阵作用下发生倾斜、拉伸和旋转

观察不同矩阵对二维空间网格的影响

1. 初始标准二维网格

2. 多个不同的 $2\times 2$ 矩阵

直观理解矩阵作为空间变换工具的作用

1. 公式

   $$\begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix}$$
   解释

   展示剪切变换矩阵

   步骤依据

   视频画面

   视频直接表达
2. 公式

   $$\begin{bmatrix} 0 & -1 \\ 1 & 0 \end{bmatrix}$$
   解释

   展示旋转/反射变换矩阵

   步骤依据

   视频画面

   视频直接表达

矩阵能够显著改变空间的形态，是研究空间变换的强大工具。

通过动画直观展示了网格形状的改变。

1. 公式
   观察依据

   画面完整给出三元一次方程组及其矩阵形式。

2. 声音
   观察依据

   旁白围绕该方程组解释矩阵来源。

给定方程组 $3x+2y+z=39$，$2x+3y+z=34$，$x+2y+3z=26$，如何把它写成矩阵形式？

1. 方程组为线性方程组

2. 未知数依次为 x,y,z

3. 右端常数依次为 39,34,26

把方程组改写成系数矩阵乘以未知数列向量的形式。

1. 公式

   $$[3\ 2\ 1]\cdot\begin{bmatrix}x\\y\\z\end{bmatrix}=39$$
   解释

   先看第一个方程，把左侧识别为系数向量与未知数向量的内积。

   步骤依据

   内积定义。

   视频直接表达
2. 公式

   $$\begin{bmatrix}3&2&1\\2&3&1\\1&2&3\end{bmatrix}$$
   解释

   把三个方程的系数按行排列，得到系数矩阵。

   步骤依据

   视频称三个系数矢量排放在一起构成三阶矩阵。

   视频直接表达
3. 公式

   $$\begin{bmatrix}3&2&1\\2&3&1\\1&2&3\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}=\begin{bmatrix}39\\34\\26\end{bmatrix}$$
   解释

   将未知数列向量放在矩阵右侧，把三个内积结果排成结果列向量。

   步骤依据

   矩阵乘向量的行内积对应原方程组。

   视频直接表达

三乘三矩阵，第一行是三、二、一，第二行是二、三、一，第三行是一、二、三，乘以由x、y、z组成的列向量，等于由三十九、三十四、二十六组成的列向量。

矩阵每一行与 [x,y,z]^T 的内积分别还原为 $3x+2y+z$、$2x+3y+z$、$x+2y+3z$，与原题方程组一致。

1. 公式
   观察依据

   画面显示 [2; 3] 和 2Sin(x)+3Sin(2x)

2. 声音
   观察依据

   旁白说“比如[2, 3]这个点，那么它所表达出来的矢量就是2sinx+3sin2x”

3. 图示
   观察依据

   画面同时出现“组合波形”和一条叠加振荡曲线

1. 未给出该组合波形的精确图像参数

2. 未说明怎样从波形反推坐标

在以 $\sin(x)$ 为横轴、$\sin(2x)$ 为纵轴的二维正弦坐标系中，取点 [2, 3]，求它对应的“矢量”表达式。

1. 坐标轴定义为横轴 $\sin(x)$、纵轴 $\sin(2x)$

2. 示例点为 $\begin{bmatrix}2\\3\end{bmatrix}$

把该点写成对应的正弦组合表达式。

1. 公式

   $$\begin{bmatrix}2\\3\end{bmatrix}$$
   解释

   先读取该点在二维正弦坐标系中的两个分量。

   步骤依据

   视频直接给出的示例点

   视频直接表达
2. 公式

   $$2\sin(x)+3\sin(2x)$$
   解释

   把第一个分量 2 作为 $\sin(x)$ 的系数，把第二个分量 3 作为 $\sin(2x)$ 的系数，得到组合式。

   步骤依据

   视频对该坐标系的读法规则

   视频直接表达

2倍的正弦x加3倍的正弦2x

视频用“组合波形”示意图和旁白“这难道是……傅立叶级数？”来提示该表达式与正弦级数的联系，但未给出数值检验。

1. 公式
   观察依据

   画面显示 [1; 1; 1] 和 Sin(x)+Sin(2x)+$\sin (3x)$

2. 声音
   观察依据

   旁白说“就三个1吧，那么它所表达出来的矢量呢，就是sinx+$\sin 2x+\sin 3x$”

1. 未给出该三项波形的精确参数

2. 未说明为何选择 [1; 1; 1] 作为示例

在以 $\sin(x)$、$\sin(2x)$、$\sin(3x)$ 为三条坐标轴的三维正弦坐标系中，取点 [1, 1, 1]，求它对应的“矢量”表达式。

1. 三条坐标轴分别为 $\sin(x)$、$\sin(2x)$、$\sin(3x)$

2. 示例点为 $\begin{bmatrix}1\\1\\1\end{bmatrix}$

把该点写成对应的三项正弦组合表达式。

1. 公式

   $$\begin{bmatrix}1\\1\\1\end{bmatrix}$$
   解释

   先读取该点在三维正弦坐标系中的三个分量。

   步骤依据

   视频直接给出的示例点

   视频直接表达
2. 公式

   $$\sin(x)+\sin(2x)+\sin(3x)$$
   解释

   由于三个分量都为 1，直接把三条正弦轴相加，得到三项组合。

   步骤依据

   视频对该坐标系的读法规则

   视频直接表达

正弦x加正弦2x加正弦3x

视频随后把这一读法继续推广到无穷维，并用它支持“傅里叶级数的正弦形式”的说法，但没有单独检验该三项式。

1. 动画
   观察依据

   黑色背景上白色小点从中心向外扩散，随后变成规则网格。

2. 声音
   观察依据

   旁白解释“平直空间”和“所有的点都是均匀分布的”。

1. 白色散点

2. 规则点阵网格

1. 点从中心向外扩散

2. 点的排布由松散变为规则网格

1. 背景保持黑色

2. 点的颜色保持白色

用点的均匀排布直观表示“平直空间”中点的均匀分布。

1. 动画
   观察依据

   二维网格中出现黄色水平线段，向上平移后形成带斜线填充的矩形。

2. 公式
   观察依据

   画面标注“线段长”和“移动距离”。

1. 黄色线段

2. 斜线填充矩形

3. 网格背景

1. 线段向上平移

2. 扫过区域逐渐填充成矩形

1. 线段方向保持水平

2. 网格保持不变

把面积理解为线段在平面内移动所扫过的点的总量。

1. 动画
   观察依据

   黄色线段绕左端点旋转一周形成圆；右侧同时出现高为 r、宽为 πr 的矩形。

2. 公式
   观察依据

   画面写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”“圆面积 = πr²”“矩形面积 = πr²”。

1. 旋转线段

2. 圆

3. 矩形

4. 半径标注 r

5. 中点轨迹公式

1. 线段绕端点旋转

2. 圆逐步成形

3. 右侧矩形与公式同步出现

1. 线段长度 r 不变

2. 旋转中心不变

用中点轨迹 πr 把圆的面积转化为等积矩形的面积。

1. 动画
   观察依据

   三维坐标中出现青色正方形，沿垂直方向平移后形成长方体。

2. 公式
   观察依据

   画面标注“正方形边长”和“移动距离”。

1. 青色正方形

2. 长方体

3. 三维坐标轴

1. 正方形沿垂直方向平移

2. 扫过区域逐渐变成长方体

1. 正方形形状和大小不变

2. 坐标轴不变

把体积理解为正方形在空间中移动所扫过的点的总量。

1. 动画
   观察依据

   青色正方形绕其一条竖直边旋转一周形成圆柱；右侧出现底面为正方形、长度标为 πr 的长方体。

2. 公式
   观察依据

   画面写出“中点移动轨迹 = $2 \times r/2 \times π = πr$”“移动距离 = πr”“圆柱体积 = 长方体体积 = πr³”。

1. 旋转正方形

2. 圆柱

3. 长方体

4. 中点轨迹公式

1. 正方形绕边旋转

2. 圆柱逐步成形

3. 右侧长方体与公式同步出现

1. 正方形边长 r 不变

2. 旋转轴不变

用中点轨迹 πr 把圆柱体积转化为等积长方体体积。

1. 动画
   观察依据

   两个青色直角三角形分别做旋转和平移，左侧生成圆锥，右侧生成三棱柱。

2. 公式
   观察依据

   画面最后显示“圆锥体体积 = 棱柱体体积 ???”。

1. 两个直角三角形

2. 圆锥

3. 三棱柱

4. 问号结论文字