数学建模 / 英语

函数的线性无关性与朗斯基行列式

Dr. Trefor Bazett · YouTube · 9:59

YouTube · Dr. Trefor Bazett原视频

选中时刻 · 2:26 · 章节点是时间参考，不表示实时播放进度。

视频中的要点

01两个函数的线性无关
02两个函数的线性相关
03例：sin x 与 cos x

来自学习笔记

y_1 \text{ 且 } y_2 \text{ are linearly independent on an interval} \iff \nexists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

两个函数的线性无关

选中时刻

函数线性无关的定义

建议预备知识

函数的基本概念
熟悉标量乘法
具备向量的入门级线性代数词汇有助于理解，但非必需
向量与标量乘法的基本概念
对区间上函数的理解
熟悉指数函数
了解双曲余弦函数
定义在区间上的函数
函数的线性组合
指数函数的基本性质
多项式的次数与零点
二阶及以下导数
$3\times 3$ 矩阵的行列式
$2\times 2$ 阶与 $3\times 3$ 阶矩阵的行列式
导数与高阶导数
函数的线性相关性与线性无关性
函数在区间或定义域上定义的基本概念
$2\times 2$ 矩阵的行列式
基本求导法则，包括乘积法则
函数线性无关性的概念
具有连续系数的线性微分方程简介

概念关联

多项式应用
查看关联依据 · 4:28
已审核中文素材 v1：card「代换 $z = e^x$ 将指数函数转化为多项式」出现在 4:28——类型：方法。针对示例 $e^x,e^{2x},e^{3x}$ ，视频设 $z=e^x$ ，于是 $e^{2x}$ 被视作 $z^2$ ，而 $e^{3x}$ 被视作 $z^3$ 。线性组合方程 $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ 由此变为 $a_1z+a_2z^2+a_3z^3=0$ 。这使得主讲人得以运用关于多项式根的事实。公式： $z=e^x,\; e^{2x}=z^2,\; e^{3x}=z^3,\; a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0$ 。条件：适用于指数部分为整数倍的此类指数函数族。先修知识：指数运算法则、线性无关性的定义。相关概念：三次多项式的零点。时间依据：28–114秒。待验证点：视频未单独讨论 $z$ 的取值范围，仅限于该代换本身。
朗斯基行列式讲解
查看关联依据 · 5:54
已审核中文素材 v1：card「针对三个函数引入朗斯基行列式」出现在 5:54——片段末尾，黑板把朗斯基行列式写成 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ ，是在前述特例算例之后作为新的系统性工具提出的：三个函数及其前两阶导数排成 $3\times 3$ 行列式，先修知识为导数、行列式与线性无关概念，相关概念写作「线性无关的系统性判别法」。该片段在与 $W(t)$ 和线性无关性相关的定理被陈述或证明之前即已结束。

编辑编排的学习路线代数几何初等代数与函数常微分方程

课程中的位置不代表概念之间存在先修关系。

在知识图谱中查看

阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文

阅读完整概览

这段120秒的片段通过首先对比线性代数中向量的线性无关性，来引入函数的线性无关性概念。它展示了两个函数的定义：若 $y_1$ 与 $y_2$ 在某一区间上互不为彼此的标量倍数，则称它们在该区间上线性无关。随后给出两个例子： $\sin x$ 与 $\cos x$ 线性无关，而 $x^2$ 与 $2x^2$ 线性相关，因为其中一个恰好是另一个的两倍。接着，讲者提出问题：如何将这一概念推广到三个或更多函数？并借助一段向量动画加以启发——三支不同颜色的箭头被重新排列成一个闭合回路，直观呈现了一种和为零的线性组合。本段时长120秒的讲座首先通过三个向量的图示引入线性相关概念，随后给出函数在区间上线性无关的正式定义。屏幕上显示的关键判据是：若 $y_1,\ldots,y_n$ 线性无关，则 $a_1y_1+\cdots+a_ny_n=0$ 蕴含 $a_1=\cdots=a_n=0$ 。接着，讲师以 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 为例，利用恒等式 $\cosh x=\frac{e^x+e^{-x}}{2}$ 得到非平凡关系式 $\frac12 e^x+\frac12 e^{-x}-1\cdot\cosh x=0$ ，从而得出这三个函数线性相关的结论。本段时长为120秒的讲座片段定义了函数在区间上的线性无关性，并通过一种特例方法完成了一个具体的指数函数例子。黑板上指出：若 $y_1$ ,..., $y_n$ 满足 $a_1y_1$ +...+a_ny_n=0 蕴含所有系数均为零，则称它们线性无关。对于 $e^x$ 、 $e^{2x}$ 和 $e^{3x}$ ，主讲人令 $z=e^x$ ，将关系式改写为 $a_1z+a_2z^2+a_3z^3=0$ ，并指出：一个非零的三次多项式至多有三个零点，而等式右侧是在整个区间上恒为零的零函数。因此 $a_1=a_2=a_3=0$ ，故这三个函数线性无关。最后几秒引入了朗斯基行列式记号 $W(t)$ ，即由函数及其前两阶导数构成的 $3\times 3$ 阶行列式，但尚未说明其具体用途。这段时长为120秒的讲座片段将朗斯基行列式介绍为由函数及其导数构成的行列式。它首先展示三函数情形 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}$ ，然后口头推广到 $n$ 个函数、其导数阶数最高达 $n-1$ 的情形。讲师通过在函数线性相关假设 $y_2=ay_1$ 下计算两函数朗斯基行列式，得到 $W(t)=y_1ay_1'-ay_1y_1'=0$ ，从而引出与线性无关性的联系。他指出：线性相关的函数，其朗斯基行列式恒等于零。最后，一个加框定理指出：对于“nice”函数 $y_1,\ldots,y_n$ ，线性无关性成立当且仅当 $W(t)\neq 0$ 在某点 $t$ 成立。讲师进一步说明：朗斯基行列式无需处处非零，只需在某处非零即可；并在片段结束前开始讨论解析函数——这是满足该定理假设的一种情形。这段119秒的视频介绍了判断‘良好’函数线性无关性的朗斯基行列式判据，并以 $e^t$ 和 te^t 这一对函数为例进行演示。讲师陈述了充要条件定理（存在某点 t 使得 $W(t) \ne 0$ ），说明具连续系数的线性常微分方程的解满足该条件，随后构建了 $2\times 2$ 阶朗斯基行列式，用乘积法则对 te^t 求导，计算出行列式结果为 $e^{2t}$ ，最后因 $e^{2t}$ 恒不为零而得出这两个函数线性无关的结论。视频还特别指出一个常见误区——误将变量因子 t 当作常数标量倍数。

在学习检查器中查看要点和时刻，或切换阅读标签查看完整笔记。

章节

0:00标题：线性无关的函数 0:04函数与向量的对比 0:35两个函数的定义 0:46例子：sin x 与 cos x 0:51例子：

x^2

与

2x^2

e^x

、

e^{-x}

和

\cosh x

的例子 3:38结论：线性相关 4:00线性无关的定义及示例设定 4:18写出

e^x

、

e^{2x}

、

e^{3x}

的线性组合 4:28代换

z=e^x

并重写为多项式形式 4:56三次多项式的零点个数与零函数的区别 5:25结论：该指数函数集线性无关 5:54朗斯基行列式的引入 6:00三个函数的朗斯基行列式 6:19从三个函数推广到n个函数 6:42以两个线性相关的函数为例进行引入 6:55在相关情形下计算朗斯基行列式，结果为零 7:23朗斯基行列式线性无关性定理 7:43“好”函数的含义及解析函数示例 8:00适用于‘良好’函数的朗斯基行列式定理 8:24线性无关性检验方法小结 8:36例题设定：

e^t

与 te^t 9:04构造并计算朗斯基行列式 9:31结论：恒不为零 ⇒ 线性无关 9:42片尾及下期视频预告

学习解说文稿

依据视频画面与讲解整理，并非逐字语音转写。

该片段以黑板风格的标题开场，逐字呈现“LINEARLY INDEPENDENT FUNCTIONS”，表明本节主题并非向量本身，而是以类似代数思想来处理函数。

讲者首先将本主题置于已有知识背景中：观众可能已在线性代数中了解向量组的线性无关性；而此处，我们将对函数组提出同样形式的问题。他指出，这两类情境中的概念将具有很强的对应关系。

对于两个函数的情形，视频在屏幕上直接给出定义： $y_1$ 和 $y_2$ 在一个区间上线性无关，当且仅当它们彼此不互为标量倍数。换言之，其中一个函数无法表示为某个固定常数乘以另一个函数。

第一个例子将该定义应用于 $\sin x$ 和 $\cos x$ 。由于 $\sin x$ 并非仅是某个数乘以 $\cos x$ ，因此这一组函数被判定为线性无关。

第二个例子则与之形成对比，考察 $x^2$ 和 $2x^2$ 。此处有 $2x^2 = 2(x^2)$ ，即其中一个函数恰好是另一个函数的标量倍数，因此这一组函数被判定为线性相关。

在确立了双函数判据之后，讲者提出下一个问题：当函数个数为三个或更多时，线性无关应如何定义？此时，两两之间是否为标量倍数的检验已不再被视为充分条件。

为引出推广，视频切换至线性代数中的几何图示：从同一原点出发绘制三个不同颜色的向量，并由讲者说明，可通过先对各向量乘以常数（即缩放），再将它们相加，来构造一个线性组合。

随后动画将这些向量首尾相连排列，其中某一个被反向，另一个被拉伸，最终路径闭合回原点。这一过程直观呈现了如下问题：是否存在一组标量，使得这三个向量的某个线性组合之和为零向量——从而为本片段后续将要介绍的更一般性定义做好铺垫。

本段以几何图示开场：三条不同颜色的向量首尾相接，构成一个闭合的三角形路径。讲师的重点并非计算各向量的具体分量，而是说明：只要选取适当的伸缩系数，就能将这三个向量线性组合为零向量。这种视觉上的闭合性，正是线性相关性的直观模型。

随后，他明确指出其中关键的逻辑区分：总存在一种平凡组合，即所有系数均为零，但仅凭这一点无法说明任何问题。真正的问题在于是否存在非平凡组合——即至少有一个系数不为零，而加权和仍等于零。若这样的组合存在，则称这些对象线性相关。

接下来，讲座将这一思想从向量推广至函数。一个带紫色边框的定义框出现在屏幕上，指出：若 $y_1,\ldots,y_n$ 在某一区间上线性无关，则 $a_1y_1+\cdots+a_ny_n=0$ 蕴含 $a_1=\cdots=a_n=0$ 。换言之，唯一允许的零和线性组合只能是平凡组合。这正是前述向量判据在函数空间中的对应形式。

为验证该定义，黑板上引入三个具体函数： $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 。讲师特意选取 $\cosh x$ ，因其具有简洁的指数函数表达式，即 $\cosh x=\frac{e^x+e^{-x}}{2}$ 。该恒等式正是连接所列三个函数的桥梁。

利用该恒等式，他将其重写为一个线性关系： $\frac12 e^x+\frac12 e^{-x}-1\cdot\cosh x=0$ 。系数 $\frac12,\frac12,-1$ 并非全为零，因此这是一个非平凡的、结果为零的线性组合。根据前述定义，此类关系的存在意味着这三个函数不满足线性无关性。

因此黑板上得出结论：线性相关。最后强调的重点在于：相关性是无关性的反面——它不要求所有系数都为零，而是至少展示出一种系数不全为零、但线性组合仍为零的有效情形。视频片段随后转向下一个问题：如何证明三个函数是线性无关的。

片段以黑板上的通用定义开场：函数 $y_1,\ldots,y_n$ 在某个区间上线性无关，当且仅当方程 $a_1y_1+\cdots+a_ny_n=0$ 迫使 $a_1=\cdots=a_n=0$ 成立。主讲人随即结合具体例子 $e^x,e^{2x},e^{3x}$ 阐释该定义。

为检验该例子，黑板写出线性组合方程 $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ 。当前的数学任务是判断：该恒等式能否在某个区间上成立，且系数不全为零。

由于三项均为幂次相关的指数函数，主讲人引入代换 $z=e^x$ 。在此变量替换下， $e^{2x}$ 表现为 $z^2$ ，而 $e^{3x}$ 表现为 $z^3$ ，于是原方程转化为多项式关系 $a_1z+a_2z^2+a_3z^3=0$ 。

随后的论证使用了一个关于多项式的标准事实：一个非零的三次多项式至多有三个零点。黑板上将其表述为“次数为3的多项式有 $\leq 3$ 个零点或 $a_1=a_2=a_3=0$ 个。”主讲人将左侧（除非是零多项式，否则只能在有限多个点处消失）与右侧（在整个区间上恒为零函数）进行对比。

从这一对比可知，原线性组合要在某个区间上恒等于零函数的唯一可能，是选择平凡系数 $a_1=a_2=a_3=0$ 。因此，示例集合 $\{e^x,e^{2x},e^{3x}\}$ 是线性无关的。主讲人还指出，这是一种特设方法，仅适用于这一特殊情形，并非一种通用的系统性工具。

随后黑板清空该示例，引入新主题——朗斯基行列式（Wronskian）。所展示的记号为 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ 。在此片段中，朗斯基行列式仅被命名并呈现为三个函数及其前两阶导数构成的行列式；其相关定理与应用尚未展开。

该片段以黑板上写出的朗斯基行列式（Wronskian）开篇，其形式为一个行列式。对于三个函数，所展示的公式是 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}$ 。每一列对应一个函数：第一列包含 $y_1,y_1',y_1''$ ，第二列包含 $y_2,y_2',y_2''$ ，第三列包含 $y_3,y_3',y_3''$ 。因此，各行记录导数阶数的逐次递增，各列则区分不同函数。

接着，讲师指出，三函数情形只是某种一般构造的具体特例。对于 $n$ 个函数 $y_1,\ldots,y_n$ ，朗斯基行列式以类似方式构造：使用一个 $n\times n$ 阶行列式，其各列对应这些函数，各行则从零阶导数依次排至 $(n-1)$ 阶导数。这为后续定理作了铺垫——该定理针对任意一列函数，而不仅限于三个。

为引出朗斯基行列式与线性无关性的联系，课程简化至两个函数，并假设它们以显式形式线性相关： $y_2=ay_1$ 。黑板上写下假设：“设 $y_1$ 与 $y_2 = ay_1$ 线性相关。” 讲师将 $a$ 描述为一个非零倍数；尽管所展示的代数推演本身仅需比例关系即可。下一步是将该关系代入二函数朗斯基行列式，并观察该行列式如何变化。

代入后，朗斯基行列式变为 $W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$ 。展开这个 $2\times 2$ 阶行列式得到 $y_1(ay_1')-(ay_1)y_1'$ 。由于标量乘法满足交换律，两项均为 $ay_1y_1'$ ，故其差为零。黑板将化简结果记为 $=y_1ay_1'-ay_1y_1'=0$ 。这正是线性相关导致行列式坍缩的关键视觉与代数原因。

由此例出发，讲师陈述更一般的规则：若函数线性相关，则其朗斯基行列式恒等于零。用行列式语言来说，函数间的线性相关性会导致朗斯基矩阵各列之间线性相关，而具有线性相关列的行列式必为零。本片段未写出完整的一般性证明，但二函数的计算已作为启发性实例。

随后，黑板将前述例题替换为一个加框定理，内容为：“对于‘好’函数 $y_1,\ldots,y_n$ ，它们线性无关当且仅当 $W(t)\neq 0$ 在某点 $t$ 成立。” 讲师强调，这是一个附加函数条件下的等价命题。该条件是存在性的：只需朗斯基行列式在某一点非零，而无需处处非零。朗斯基行列式在其余点可能为零，这并不与线性无关性矛盾。

最后，讲师探讨“好”一词的含义。他指出，该定理在函数满足某些条件下成立，并开始指出其中一种适用情境：解析函数。他着手将解析函数定义为具有收敛泰勒级数的函数，但视频在此处结束，尚未完成定义及全部可能假设的列举。因此，该定理的实际应用已清晰明了，而“好”这一术语的确切形式化含义在本片段中仅部分给出。

视频开篇，黑板上出现一个紫边定理框：‘对于‘良好’函数 $y_1$ , ..., $y_n$ ，它们线性无关当且仅当在某点 t 处有 $W(t) \ne 0$ 。’ 主讲人随即对模糊术语‘良好’加以具体化，列举了具有收敛泰勒级数的常见解析函数（如 $e^x$ 、sin x、cos x）；继而聚焦本课程背景：若 $y_1$ , ..., $y_n$ 是具连续系数的线性微分方程的解，则它们已足够‘良好’，可使该定理成立。此举既明确了定理陈述，也界定了其适用范围。

在确认定理适用后，讲师将该结论重述为一项可操作的检验方法：取 n 个函数，构造其朗斯基行列式 $W(t)$ ，并检查它是否在至少一个点处非零。只要在某处非零，即可在定理假设下断言这些函数线性无关。这便将抽象的充要条件陈述，过渡到后续具体的计算过程。

黑板清空，新问题浮现：‘ $e^t$ 与 te^t 是否线性无关？’ 主讲人解释选此例的原因——这对函数自然出现在具重根的常系数线性常微分方程中；接着指出一个易犯的捷径错误：尽管 te^t 在形式上是 t 乘以 $e^t$ ，但因子 t 并非常数标量，因此这并不构成线性相关的证据。该例因而凸显了采用朗斯基行列式进行严谨验证的必要性，而非仅凭直观观察。

先写出两个函数的一般朗斯基行列式： $W(t)$ = | $y_1 y_2$ ; $y_1$ ' $y_2$ ' |。代入 $y_1 = e^t$ 与 $y_2$ = te^t，得第一行为 ( $e^t$ , te^t) 的矩阵。第二行需计算导数： $y_1$ ' = $e^t$ 直接得出，而 $y_2$ ' 则应用乘积法则得到 $e^t$ + te^t。填入全部四项后，按定义展开行列式： $e^t$ ( $e^t$ + te^t) − te^ $t\cdot e^t$ 。交叉项代数相消后，得 $W(t) = e^{2t}$ 。

关键观察结果已附在屏幕上： $e^{2t} \ne 0$ 。主讲人强调，朗斯基行列式不仅在某个孤立点上非零，而且对所有实数 t 都严格为正，这比定理所要求的条件更强。由于存在非零值（事实上处处非零），该判定准则适用，因此函数组 { $e^t$ , te^t} 被确认为线性无关。这个例题 thus 完成了从定理陈述到实际验证的闭环。

计算完成后，讲师提示：更深层的动机——即线性无关性为何在常微分方程整体理论中至关重要——将在下一视频中展开，并以常规频道维护环节（点赞与评论）收尾。此结尾部分不再引入任何新的数学内容。

知识卡片

两个函数的线性无关

该片段定义：设两个函数 $y_1$ 和 $y_2$ 定义在某一区间上，则它们在此区间上线性无关，当且仅当二者互不为对方的标量倍数。等价地，不存在常数 $c$ ，使得 $y_1 = c y_2$ 或 $y_2 = c y_1$ 成立。

y_1 \text{ 且 } y_2 \text{ are linearly independent on an interval} \iff \nexists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

两个函数的线性相关

通过对屏幕上所给定义取否定，可得：两个函数在某一区间上线性相关，当且仅当其中一个是另一个的标量倍数。例 $x^2$ 和 $2x^2$ 即属此情形，因为 $2x^2 = 2(x^2)$ 。

y_1 \text{ 且 } y_2 \text{ are linearly dependent on an interval} \iff \exists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

例：sin x 与 cos x

视频指出， $\sin x$ 和 $\cos x$ 线性无关，因为 $\sin x$ 不是 $\cos x$ 的常数倍。这是对双函数定义的直接应用。

\sin x \text{ 且 } \cos x \text{ are linearly independent}

示例：x 的2次方与2乘以 x 的2次方

数对 $x^2$ 和 $2x^2$ 被称为线性相关，因为其中一个函数恰好是另一个的两倍。这种标量倍数关系在代数上表现为 $2x^2 = 2(x^2)$ 。

2x^2 = 2(x^2)

为何三个或更多函数需要新思路

在讨论两个函数的情形之后，主讲人提出：如何定义三个或更多函数的线性无关性？该片段提示我们，简单的成对标量倍数检验必须被更广义的线性组合视角所取代。

向量背景下的线性组合为零的动机

结尾动画使用三个向量来引出下一个定义：通过调整各向量的方向与长度，使其首尾相接形成闭合回路并回到原点，视频由此说明了“是否存在某种线性组合等于零”这一问题。

c_1 v_1 + c_2 v_2 + c_3 v_3 = 0

函数的线性无关性

定义在某一区间上的一族函数 $y_1,\ldots,y_n$ ，当且仅当唯一能使其线性组合等于零的情形是平凡组合时，才称为线性无关。该片段将此表述为向量空间中线性无关定义在函数空间中的直接类比。

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

平凡组合与非平凡组合

令所有系数都取零，线性组合必然为零，这种情况称为平凡组合。而相关性则要求存在一个非平凡关系，即至少有一个系数非零，但其线性组合仍为零。

0v_1 + 0v_2 + 0v_3 = 0

线性相关作为相反的条件

视频通过否定线性无关来定义线性相关：若存在至少一个系数不全为零、但线性组合为零的情形，则这些对象称为线性相关。

\exists (a_1,\ldots,a_n) \neq (0,\ldots,0) \text{ such that } a_1y_1 + \cdots + a_ny_n = 0

双曲余弦恒等式

该例题依赖于一个标准恒等式，该恒等式将 $\cosh x$ 表示为 $e^x$ 与 $e^{-x}$ 的平均值。正是这一恒等式使讲者得以构造出一个显式的相关关系。

\cosh x = \frac{e^x + e^{-x}}{2}

例题演示： $e^x$ 、 $e^{-x}$ 、 $\cosh x$

从 $\cosh x = \frac{e^x+e^{-x}}{2}$ 出发，讲者整理各项得到 $\frac12 e^x+\frac12 e^{-x}-1\cdot\cosh x=0$ 。由于系数并非全为零，故这三个函数线性相关。

\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0

函数在区间上的线性无关性

类型：定义。一组函数 $y_1,\ldots,y_n$ 在某个区间上线性无关，是指：仅当线性组合的系数全为零（即平凡组合）时，该线性组合才在该区间上恒等于零函数。黑板上表述为：若 $a_1y_1+\cdots+a_ny_n=0$ ，则 $a_1=\cdots=a_n=0$ 。关键在于，该等式要求在整个区间上恒等于零函数，而不仅仅是在某一点上取值为零。公式： $y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0$ 。条件：函数定义在某一区间上；系数为标量；此处的“零”指零函数。先修知识：函数与线性组合的基本概念。相关概念：特设的无关性检验法、朗斯基行列式。时间依据：0–114秒。待验证点：标量域与具体区间的名称未被明确指出。

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

特设方法与系统性工具之比较

类型：方法。主讲人称即将展开的指数函数论证是一种特设方法，意指它仅适用于特定情形，不具普适性。这为后续引入朗斯基行列式这一更系统的判别工具提供了动机。条件：当所涉函数允许直接代数运算时适用；并未作为任意函数族的通用算法提出。先修知识：线性无关性的定义。相关概念：代入法、朗斯基行列式。时间依据：10–114秒。待验证点：除系统性工具尚未讲解外，无其他需验证内容。

代换 $z = e^x$ 将指数函数转化为多项式

类型：方法。针对示例 $e^x,e^{2x},e^{3x}$ ，视频设 $z=e^x$ ，于是 $e^{2x}$ 被视作 $z^2$ ，而 $e^{3x}$ 被视作 $z^3$ 。线性组合方程 $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ 由此变为 $a_1z+a_2z^2+a_3z^3=0$ 。这使得主讲人得以运用关于多项式根的事实。公式： $z=e^x,\; e^{2x}=z^2,\; e^{3x}=z^3,\; a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0$ 。条件：适用于指数部分为整数倍的此类指数函数族。先修知识：指数运算法则、线性无关性的定义。相关概念：三次多项式的零点。时间依据：28–114秒。待验证点：视频未单独讨论 $z$ 的取值范围，仅限于该代换本身。

z=e^x,\quad e^{2x}=z^2,\quad e^{3x}=z^3,\quad a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0

三次多项式的零点迫使系数全为零

类型：命题。主讲人指出，一个三次多项式至多有三个根；黑板上写为：“次数为3的多项式有 $\leq 3$ 个零点或 $a_1=a_2=a_3=0$ 个。”在论证中，左侧除非是零多项式，否则只能在有限多个点处为零；而右侧在整个区间上恒为零函数。因此，该恒等式成立的唯一可能是所有系数均为零。命题陈述：若 $a_1z+a_2z^2+a_3z^3$ 不是零多项式，则它至多有三个零点；而要使其在区间上恒等于零函数，则必须有 $a_1=a_2=a_3=0$ 。条件：在 $z$ 中对多项式作解释；并与区间上的零函数作比较。先修知识：代入法、多项式次数的概念。相关概念： $e^x,e^{2x},e^{3x}$ 的线性无关性。时间依据：50–114秒。待验证点：黑板表述将通常的“零多项式例外”压缩进一个“或”字句中。

a_1z+a_2z^2+a_3z^3 \text{ has } \leq 3 \text{ zeros unless } a_1=a_2=a_3=0

零函数不等同于在某一点取值为零

类型：概念误解。视频明确指出，线性组合方程的右端是零函数，即在整个区间上恒为零，而不仅仅是在某一点上为零。正是这一区别使得多项式根的论证具有决定性。误解：认为孤立的零点足以判定线性相关。澄清：定义方程要求的是在区间上恒等于零函数。先修知识：线性无关的定义。相关概念：多项式的零点、特例证明。时间依据：69–114秒。验证方式：无显著依据。

例题结论： $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关

类型：例题。问题：判断 $e^x,e^{2x},e^{3x}$ 在某个区间上是否线性无关。方法：建立 $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ ，代入 $z=e^x$ ，得到 $a_1z+a_2z^2+a_3z^3=0$ ，利用非零三次多项式至多有三个零点这一事实，并与零函数进行比较。答案：唯一可能的情形是 $a_1=a_2=a_3=0$ ，因此该函数组线性无关。验证：这符合定义，因为唯一能给出零函数的线性组合是平凡组合。时间依据：0–114秒。验证方式：该片段中未明确指出所涉区间。

a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \implies a_1=a_2=a_3=0

针对三个函数引入朗斯基行列式

类型：定义。片段末尾，黑板将朗斯基行列式定义为 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ 。它是在前述特例证明之后，作为一项新的系统性工具被提出的。图示条件：三个函数及其前两阶导数被排布成一个 $3\times 3$ 行列式。先修知识：导数、行列式、线性无关概念。相关概念：线性无关的系统性判别法。时间依据：114–120秒。验证方式：该片段在关于 $W(t)$ 与线性无关性关联的定理被陈述或证明之前即已结束。

W(t)=\begin{vmatrix} y_1 & y_2 & y_3 \\ y_1' & y_2' & y_3' \\ y_1'' & y_2'' & y_3'' \end{vmatrix}

三函数朗斯基行列式

三个函数的朗斯基行列式，是这样一个矩阵的行列式：其各列为这三个函数，各行则为逐阶导数。所展示的公式是 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}$ 。第一行含函数本身，第二行含一阶导数，第三行含二阶导数。

W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}

n 个函数的朗斯基行列式

相同构造可由三个函数推广至任意有限个函数 $y_1,\ldots,y_n$ 。对于 $n$ 个函数，朗斯基行列式是一个 $n\times n$ 阶行列式，所用导数阶数从 $0$ 阶到 $n-1$ 阶。每个函数占据一列，每个导数阶数占据一行。

W(y_1,\ldots,y_n)(t)=\det\left[y_j^{(i-1)}(t)\right]_{i,j=1}^n

依赖型双函数计算

若两个函数满足 $y_2=ay_1$ ，则这两个函数的朗斯基行列式变为 $\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$ 。展开后得到 $y_1ay_1'-ay_1y_1'$ ，且这两项相互抵消，因此朗斯基行列式恒等于零。此例引出了一个普遍规则：线性相关性迫使朗斯基行列式消失。

\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}=y_1ay_1'-ay_1y_1'=0

线性相关意味着朗斯基行列式为零

主讲人陈述了一般性质：若函数线性相关，则它们的朗斯基行列式恒等于零。其原因是：函数之间的相关性导致朗斯基矩阵各列之间也相关，而具有相关列的行列式为零。

y_1,\ldots,y_n\ \text{linearly dependent}\ \Rightarrow\ W(t)\equiv 0

判断函数线性无关性的朗斯基行列式准则

对于“良好”的函数 $y_1,\ldots,y_n$ ，方框中的定理指出：这些函数线性无关当且仅当它们的朗斯基行列式在某一点 $t$ 处非零。该非零条件是存在性的：朗斯基行列式可能在某些点为零，但只要存在一点使得 $W(t)\neq 0$ ，就足以断定函数线性无关。

y_1,\ldots,y_n\ \text{linearly independent}\ \Longleftrightarrow\ \exists t\text{ such that }W(t)\neq 0

“良好”函数与解析函数的含义

该定理并未无条件地适用于任意函数。黑板上使用了“良好函数”这一说法，主讲人进一步解释：解析函数即为一种适用的情形。他从将解析函数定义为具有收敛泰勒级数的函数开始讲解，但视频片段在此处结束，完整定义尚未给出。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 34

$y_1$

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上的定义使用 $y_1$ 在短语“ $y_1$ 和 $y_2$ 在一个区间上线性无关”中。

符号

$y_1$

含义

正在区间上检验线性无关性的两个函数之一。

适用范围

定义在某个区间上的函数；本片段中未指明具体区间。

$y_2$

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上的定义使用 $y_2$ 在短语“ $y_1$ 和 $y_2$ 在一个区间上线性无关”中。

符号

$y_2$

含义

正在区间上检验线性无关性的两个函数中的第二个。

适用范围

定义在某个区间上的函数；本片段中未指明具体区间。

x

依据清楚

视频直接表达

来源依据

公式
观察依据
示例展示了 $\sin x$ 、 $\cos x$ 、 $x^2$ 和 $2x^2$ 。

符号

含义

示例函数中使用的自变量。

适用范围

示例未明确指出定义域或区间。

$\text{scalar multiple}$

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上显示的定义指出：若两个函数“互不为对方的标量倍数”，则它们线性无关。
声音
观察依据
主讲人解释说，其中一个函数并非另一个函数乘以某个数。

符号

$\text{scalar multiple}$

含义

联系两个函数的一个常数倍数，例如一个函数等于另一个函数乘以某个固定数值。

适用范围

此处用于比较区间上的两个函数。

$y_1$ , $\ldots$ , $y_n$

依据清楚

视频直接表达

来源依据

公式
观察依据
所显示的定义使用 $y_1, \ldots, y_n$ 作为在区间上检验线性无关性的对象。
声音
观察依据
说话者让听众设想 $y_1$ 到 $y_n$ 是函数，并将它们称为 $n$ 函数。

符号

$y_1$ , $\ldots$ , $y_n$

含义

在线性无关性定义中所讨论的一组有限个函数。

适用范围

定义在某个区间上的函数；本片段中未指明具体区间。

$a_1$ , $\ldots$ , $a_n$

依据清楚

视频直接表达

来源依据

公式
观察依据
所显示的定义使用 $a_1, \ldots, a_n$ 作为线性组合中的项 $a_1y_1 + \cdots + a_ny_n = 0$ 并在结论中使用 $a_1 = \cdots = a_n = 0$ 。
声音
观察依据
说话者将这些描述为使线性组合结果为零的系数。

符号

$a_1$ , $\ldots$ , $a_n$

含义

乘在线性组合中各函数前的标量系数。

适用范围

用于线性组合中的标量；本片段中未明确说明其所属数域。

0

依据清楚

视频直接表达

来源依据

公式
观察依据
所显示的定义表述为 $a_1y_1 + \cdots + a_ny_n = 0$ 。
声音
观察依据
说话者在讨论等于零的线性组合时，反复使用“加起来等于零”这一说法。

符号

含义

函数线性组合所得的零结果；在函数语境中，这表示该区间上的零函数。

适用范围

在线性组合方程中出现在等号右侧。

$\cosh x$

依据清楚

视频直接表达

来源依据

公式
观察依据
示例直线在三个函数中显示了 $\cosh x$ 。
公式
观察依据
所展示的恒等式是 $\cosh x = \frac{e^x + e^{-x}}{2}$ 。
声音
观察依据
说话人指出 $x$ 的双曲余弦，并说明它等于 $e^x + e^{-x}$ 除以二。

符号

$\cosh x$

含义

双曲余弦函数，出现在示例中，并用指数函数重写。

适用范围

此处通过所展示的恒等式 $\cosh x = \frac{e^x + e^{-x}}{2}$ 定义。

$e^x$

依据清楚

视频直接表达

来源依据

公式
观察依据
示例直线将 $e^x$ 作为三个函数之一显示。
公式
观察依据
$\cosh x$ 的恒等式中，分子为 $e^x$ 。
声音
观察依据
说话人将 $e$ 的 $x$ 次方列为三个函数之一。

符号

$e^x$

含义

以 $e$ 为底的指数函数，作为示例函数之一使用。

适用范围

关于 $x$ 的实值指数函数；视频片段中未单独指定其变量定义域。

$e^{-x}$

依据清楚

视频直接表达

来源依据

公式
观察依据
示例直线将 $e^{-x}$ 作为三个函数之一显示。
公式
观察依据
$\cosh x$ 的恒等式中，分子为 $e^{-x}$ 。
声音
观察依据
主讲人将 $e$ 的负 $x$ 次幂列为三个函数之一。

符号

$e^{-x}$

含义

以 $-x$ 为指数的指数函数，用作示例函数之一。

适用范围

关于 $x$ 的实值指数函数；视频片段中未单独说明其定义域。

$\frac{1}{2}$ , $\frac{1}{2}$ , -1

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上显示的关系式为 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ 。
声音
观察依据
主讲人说： $e^x$ 的一半加上 $e^{-x}$ 的一半，再减去 $x$ 的双曲余弦，结果为零。

符号

$\frac{1}{2}$ , $\frac{1}{2}$ , -1

含义

在展示 $e^x$ 、 $e^{-x}$ 与 $\cosh x$ 之间线性相关的例题线性组合中所使用的非零系数。

适用范围

屏幕上显示的线性组合中的标量系数。

$y_1$ , $\ldots$ , $y_n$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上展示了函数以 $y_1$ , ..., $y_n$ 形式写出的定义。

符号

$y_1$ , $\ldots$ , $y_n$

含义

在某一区间上检验线性无关性的一组有限函数。

适用范围

定义在某一区间上的函数；所展示的例子特化为指数函数。

知识点 · 21

两个函数线性无关的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
紫色边框文本框显示：“定义： $y_1$ 与 $y_2$ 在某个区间上线性无关，当且仅当它们彼此不互为标量倍数。”
声音
观察依据
主讲人指出，在二维情形下，对于两个不同的函数，线性无关意味着其中一个不是另一个的标量倍数。

定义

解释

对于区间上的两个函数 $y_1$ 和 $y_2$ ，视频将其定义为线性无关，当且仅当二者中任一者均非另一者的标量倍数。主讲人将此概念与向量的线性代数定义作对比，并指出类似思想同样适用于函数。

公式

y_1 \text{ 且 } y_2 \text{ are linearly independent on an interval} \iff \nexists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

适用条件

适用于两个函数。
这些函数被视作定义在某个区间上。
本片段未明确指定该区间。

两个函数线性相关的定义即为前述定义的否定

依据清楚

依据视频推导

来源依据

公式
观察依据
所展示的定义采用否定形式表述：若二者不互为标量倍数，则称其线性无关。
声音
观察依据
主讲人指出 $x^2$ 与 $2x^2$ 线性相关，因为其中一个是另一个的两倍。

定义

解释

依据所展示的定义，若两个函数在某个区间上满足其中一个是另一个的标量倍数，则称其线性相关。示例 $x^2$ 与 $2x^2$ 直接说明了这一点。

公式

y_1 \text{ 且 } y_2 \text{ are linearly dependent on an interval} \iff \exists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

适用条件

源自视频中给出的两个函数定义。
该定义适用于被比较的函数所在的同一区间。

先修条目

两个函数线性无关的定义

函数与向量在线性无关性上的类比

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，观众可能已在向量的线性代数课程中了解线性无关的概念，但此处关注的是函数，而许多概念在线性代数中都有很强的对应关系。

方法

解释

视频通过指出：尽管线性无关性通常在线性代数中针对向量集合展开讨论，但同样的思想也可应用于函数集合，从而引出本主题；这一类比为后续用向量图示表示三个或更多对象奠定了基础。

公式

适用条件

仅为概念性对比。
该片段尚未给出三个或更多函数的完整形式化定义。

函数线性无关的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
一个紫色边框的方框出现，其中文字为：定义： $y_1, ..., y_n$ 在某个区间上线性无关，当且仅当 $a_1y_1 + ... + a_ny_n = 0$ 蕴含 $a_1 = ... = a_n = 0$ 。
声音
观察依据
主讲人指出，该命题断言：当且仅当使线性组合结果为零的唯一方式是所有系数均为零（即平凡组合）时，这些函数才线性无关。

定义

解释

该视频片段将有限族函数 $y_1,\ldots,y_n$ 定义为：在某个区间上线性无关，当且仅当任一等于零的线性组合都迫使所有系数为零。主讲人强调，唯一允许的零和组合是平凡组合。

公式

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

适用条件

对象 $y_1,\ldots,y_n$ 是函数。
该命题是在一个区间上作出的。
该蕴含关系必须对线性组合中系数等于零的情形成立。

先修条目

平凡线性组合与非平凡线性组合

平凡线性组合与非平凡线性组合

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者指出，总存在一种平凡的方式：第一个向量乘以零，加上第二个向量乘以零，再加上第三个向量乘以零；并询问是否存在一种非平凡的方式，使它们相加结果为零。
声音
观察依据
随后他再次强调：线性无关意味着，唯一能加出零的线性组合是所有系数均为零的平凡组合。

定义

解释

该视频区分了始终存在的平凡组合（即每个系数都为零）与非平凡组合（即至少有一个系数不为零）。这一区分首先用于向量，随后迁移到函数。

公式

0v_1 + 0v_2 + 0v_3 = 0

适用条件

所展示的口头示例使用了三个向量。
非平凡组合是指并非所有系数都为零。

线性相关即存在一种非平凡的零和线性组合

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上在示例关系之后显示了句子“所以线性相关”。
声音
观察依据
说话者称，这说明这些向量是线性相关的——即线性无关的反面；并解释道：存在一种非平凡的方式，其系数不全为零，却能使它们相加结果为零。

定义

解释

在此片段中，线性相关被表述为线性无关的否定：若存在至少一个系数不全为零的零和线性组合，则这些函数是相关的。

公式

\exists (a_1,\ldots,a_n) \neq (0,\ldots,0) \text{ such that } a_1y_1 + \cdots + a_ny_n = 0

适用条件

至少有一个系数不为零。
该线性组合在所考虑的区间上必须等于零。

先修条目

函数线性无关的定义
平凡线性组合与非平凡线性组合

用指数函数表示的双曲余弦函数

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上在示例函数旁写下 $\cosh x = \frac{e^x + e^{-x}}{2}$ 。
声音
观察依据
主讲人说他选择双曲余弦函数，是因为它等于 $e^x + e^{-x}$ 除以二。

公式

解释

该片段使用标准恒等式，将 $\cosh x$ 表示为 $e^x$ 与 $e^{-x}$ 的平均值。这一恒等式是导出三个示例函数之间显式线性相关关系的关键代数事实。

公式

\cosh x = \frac{e^x + e^{-x}}{2}

适用条件

作为将双曲余弦函数与指数函数关联起来的恒等式使用。

函数在区间上线性无关的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框： $y_1$ , ..., $y_n$ 在某个区间上线性无关，当且仅当 $a_1y_1$ + ... + a_ny_n = 0 蕴含 $a_1$ = ... = $a_n = 0$ 。
声音
观察依据
主讲人通过提问“是否存在某个线性组合能加总为零”来引入该例题。

待核验内容

系数所在的标量域未被明确说明。

定义

解释

视频中将一组函数 $y_1$ , $\ldots$ , $y_n$ 定义为在某个区间上线性无关，当且仅当它们的线性组合在该区间上恒等于零函数的唯一可能是所有系数均为零。用符号表示即：若 $a_1y_1+\cdots+a_ny_n=0$ 在该区间上成立，则 $a_1=\cdots=a_n=0$ 。关键区别在于，此处的等式是作为区间上的函数恒等式来理解的，而非仅在某一点成立。

公式

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

适用条件

这些函数定义在某个区间上。
该方程被解释为该区间上的零函数。
为满足线性无关性，所有系数必须为零。

检验线性无关性的临时方法

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人表示将开发新的工具，但有时也可采用临时方法。
声音
观察依据
他解释道：“临时方法意味着它并非总能奏效，仅适用于这类特定情形。”

方法

解释

在引入朗斯基行列式之前，视频演示了一种临时方法：直接分析给定函数的可能线性组合，并证明该组合仅在平凡情形下才能恒等于零。主讲人强调，这种方法具有针对性，不能替代用于任意函数族的系统性工具。

公式

适用条件

当函数具有特定形式、允许直接代数运算时，此法尤为有效。
该方法并未被呈现为适用于所有函数族的普适方法。

先修条目

函数在区间上线性无关的定义

通过变量替换将指数函数转化为幂函数

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“假如我令 z 等于 e 的 x 次方呢？也就是说，令 z 等于 e 的 x 次方，进行变量替换。”
公式
观察依据
黑板上的式子由 $a_1e^x + a_2e^{2x} + a_3e^{3x}=0$ 变为 $a_1z + a_2z^2 + a_3z^3=0$ 。

方法

解释

对于示例函数 $e^x,e^{2x},e^{3x}$ ，视频设 $z=e^x$ ；接着将 $e^{2x}$ 视作 $z^2$ ，将 $e^{3x}$ 视作 $z^3$ ，于是线性组合方程转化为多项式方程 $a_1z+a_2z^2+a_3z^3=0$ 。这便把关于指数函数的问题转化为了关于多项式根的问题。

公式

z=e^x,\quad e^{2x}=z^2,\quad e^{3x}=z^3,\quad a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0

适用条件

适用于指数中含整数倍数的所示指数函数族。
该代换用于分析线性组合何时可能恒等于零。

先修条目

函数在区间上线性无关的定义
检验线性无关性的临时方法

零函数与仅在孤立点处为零的区别

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者指出，等式右边是零函数，不是仅在某一点为零，而是在所有地方都为零。

定义

解释

视频强调线性组合方程右边是零函数：它必须在整个区间上处处为零。这不同于一个非零的多项式表达式，后者只是恰好在某一点或有限多个点上为零。该论证依赖于这种全局性与局部性的区别。

公式

适用条件

该等式必须作为一个恒等式在整个区间上成立。
孤立的零点不足以满足线性相关性的条件。

先修条目

函数在区间上线性无关的定义

朗斯基行列式记号的引入

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板标题变为《朗斯基行列式》，并显示 $W(t)$ 为一个 $3\times 3$ 行列式。
声音
观察依据
说话者说：“我们转向一个名为朗斯基行列式的新数学工具”，并接着说：“设想我有三个不同的函数，朗斯基行列式……”

待核验内容

该片段在朗斯基行列式的定义尚未口头完成、其定理也未陈述之前就结束了。
在此片段中，未展示任何将 $W(t)$ 与线性无关性联系起来的判据。

定义

解释

在该片段末尾，视频将朗斯基行列式介绍为由三个函数及其前两阶导数构成的行列式。所显示的记号是 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ 。该片段仅命名并展示了这一对象，尚未解释如何使用它。

公式

W(t)=\begin{vmatrix} y_1 & y_2 & y_3 \\ y_1' & y_2' & y_3' \\ y_1'' & y_2'' & y_3'' \end{vmatrix}

适用条件

针对三个函数而显示。
为使所显示的行列式有意义，这些函数必须具有一阶和二阶导数。
本片段中，视频未陈述进一步的假设或结论。

先修条目

函数在区间上线性无关的定义

定理与条件 · 11

$\sin x$ 和 $\cos x$ 线性无关

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕示例：“例： $\sin x$ 和 $\cos x$ 线性无关”。
声音
观察依据
主讲人指出，正弦函数与余弦函数线性无关，因为正弦函数并非仅仅是余弦函数的一个常数倍。

命题

函数 $\sin x$ 和 $\cos x$ 线性无关，因为 $\sin x$ 不是 $\cos x$ 的标量倍数。

前提

使用该片段早先展示的两个函数定义。
该例题未指明具体区间。

量词

给出了一对具体的函数，并断言它们满足该定义。

$x^2$ 和 $2x^2$ 线性相关

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕示例：“例： $x^2$ 和 $2x^2$ 线性相关。”
声音
观察依据
主讲人称它们线性相关，因为其中一个函数恰好是另一个的两倍。

命题

函数 $x^2$ 和 $2x^2$ 线性相关，因为 $2x^2 = 2(x^2)$ 。

前提

使用本片段早先展示的双函数定义。
该例题未指明具体区间。

量词

给出了一对具体的函数，并断言它们不满足线性无关性。

双函数的标量倍数检验法无法直接回答三个或更多函数的情形。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人提问：若你有三个或更多不同的函数，该如何构造一个类似的概念？

命题

对于三个或更多函数，视频指出需要引入一种新的、与之对应的线性无关概念，而不能仅依赖简单的成对标量倍数检验。

前提

该片段已为两个函数定义了线性无关性。
主讲人是在引出下一步，而非陈述一个定理。

量词

适用于任意三个或更多函数的集合。

开场图示中的三个向量线性相关

时间近似

视频直接表达

来源依据

声音
观察依据
主讲人说，这三个向量可以通过施加伸缩因子相加，使其和为零；因此，我们称它们线性相关。
图示
观察依据
一幅坐标风格的图示显示三条彩色箭头构成一个闭合的三角形排列。

待核验内容

图中未显示确切的向量标签与坐标，因此仅凭可见图示无法还原出精确的伸缩因子。

命题

开场图示中所示的三个向量线性相关，因为存在一组非平凡的线性组合，使其和为零。

前提

屏幕上显示了三个向量。
它们可以通过伸缩系数进行组合，使其和为零。

量词

存在性：存在一种方式，用伸缩系数将它们相加，使得结果为零。

函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 线性相关。

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上显示“那么 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ ”，接着显示“所以线性相关。”
声音
观察依据
说话者指出，这样相加结果为零，说明这些向量线性相关。

命题

三个函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 线性相关，因为非平凡的组合 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1\cdot \cosh x$ 等于零。

前提

这三个函数被一并考虑。
恒等式 $\cosh x = \frac{e^x + e^{-x}}{2}$ 成立。

量词

存在性：存在不全为零的系数 $\frac12,\frac12,-1$ ，使得线性组合为零。

一个三次多项式至多有三个零点，除非它是零多项式。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“如果你有一个三次多项式……它至多有三个根，即至多有三个零点。”
公式
观察依据
黑板上写的是：次数为3的多项式至多有3个零点，或者 $a_1 = a_2 = a_3 = 0$ 。

待核验内容

黑板上的表述使用了‘或’字结构；从数学角度看，其本意是：非零的三次多项式至多有三个零点，而零多项式则对应所有系数均为零。
视频未明确提及重数或代数基本定理。

命题

对于所显示的多项式 $a_1z+a_2z^2+a_3z^3$ ，若它不是零多项式，则它至多有三个零点；若它在某个区间上与零函数相等，则其系数必须满足 $a_1=a_2=a_3=0$ 。

前提

该表达式被视为关于 z 的多项式。
相关比较对象是某个区间上的零函数，而非仅在孤立点处的零值。

量词

该命题涉及多项式的零点以及其在某个区间上等于零函数的情形；视频中并未对量词表述作完全形式化的处理。

函数 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人得出结论：“因此，这确实是一个线性无关的集合。”
公式
观察依据
黑板已将问题简化为一个多项式，并指出系数条件 $a_1=a_2=a_3=0$ 。

待核验内容

所断言独立性的区间在该片段中未被明确命名。

命题

集合 $\{e^x,e^{2x},e^{3x}\}$ 在所讨论的区间上线性无关，因为唯一能等于零函数的线性组合是所有系数均为 $a_1=a_2=a_3=0$ 的平凡组合。

前提

这些函数定义在某个区间上。
方程 $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ 被要求在该区间上恒等于零函数。

量词

对所有系数 $a_1$ 、 $a_2$ 、 $a_3$ ，若其线性组合在该区间上为零函数，则所有系数均为零。

若函数线性相关，则其朗斯基行列式恒为零。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出一个普遍成立的性质：若函数线性相关，则其朗斯基行列式恒等于零。
公式
观察依据
前面的双函数计算显示 $W(t)=y_1ay_1'-ay_1y_1'=0$ 位于 $y_2=ay_1$ 之下。

待核验内容

超出双函数示例的一般性证明未在本片段中展示。

命题

若 $y_1,\ldots,y_n$ 线性相关且具有足够阶导数以构成朗斯基行列式，则 $W(t)\equiv 0$ 。

前提

函数 $y_1,\ldots,y_n$ 线性相关。
这些函数具有足够多的导数以构成朗斯基行列式。

量词

对于有限个函数，线性相关意味着朗斯基行列式恒为零。

性质良好函数的朗斯基行列式等价定理

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上显示的定理框中写道：“对于‘性质良好’的函数 $y_1,\ldots,y_n$ ，它们线性无关当且仅当 $W(t)\neq 0$ 在某点 $t$ 成立。”
声音
观察依据
主讲人指出，只要函数足够‘性质良好’，双向结论均成立；并进一步解释：朗斯基行列式可能在某些点为零，但只要存在一个点使其非零，则这些函数线性无关。

待核验内容

片段中‘性质良好’一词属非正式表述；主讲人仅在片段结束前初步指出解析函数是满足该条件的一种充分情形。

定理

命题

对于‘性质良好’的函数 $y_1,\ldots,y_n$ ，这些函数线性无关当且仅当存在某个点 $t$ 使得 $W(t)\neq 0$ 。

前提

函数 $y_1,\ldots,y_n$ 在定理所要求的意义上是“良好”的。
这些函数的朗斯基行列式 $W(t)$ 有定义。

量词

至少存在一点 $t$ ，使得 $W(t)\neq 0$ 成立；该存在性非零条件与线性无关性等价。

解析函数是该定理适用的一种情形。

时间近似

视频直接表达

来源依据

声音
观察依据
讲师指出，该结论成立的一个例子是函数为解析函数的情形，并开始将解析函数定义为具有收敛泰勒级数的函数。

待核验内容

视频片段在讲师完成该定义或陈述解析性条件下的完整定理之前就结束了。

命题

若函数是解析的，则它们被作为满足朗斯基行列式与线性无关性等价关系的“良好”函数的一个例子来呈现。

前提

函数 $y_1,\ldots,y_n$ 是解析的。
解析性这一概念正是讲师正通过收敛泰勒级数开始定义的概念。

量词

该陈述被引入作为满足定理假设的一类例子；但视频片段中并未完成全部形式化的量化表述。

‘好函数’线性无关性的朗斯基判据

依据清楚

视频直接表达

来源依据

字幕依据
观察依据
紫色边框框出的内容：对于‘好函数’ $y_1$ , ..., $y_n$ ，它们线性无关当且仅当 $W(t) \ne 0$ 在某个点 t 处成立。
声音
观察依据
主讲人解释道，在微分方程课程中，若 $y_1$ , ..., $y_n$ 是某个系数连续的线性微分方程的解，则已满足本定理所需‘足够好’的条件。

待核验内容

‘好函数’的严格数学定义并未在屏幕上形式化给出；主讲人仅列举了例子（如收敛的泰勒级数）以及微分方程语境下的充分条件。

定理

命题

对于‘好函数’ $y_1$ , ..., $y_n$ ，它们线性无关当且仅当 $W(t) \ne 0$ 在某个点 t 处成立。

前提

函数 $y_1$ , ..., $y_n$ 是“良好”的（视频未给出精确定义；主讲人指出，具有连续系数的线性微分方程的解满足这一条件）。

量词

对所有这样的 n 个良好函数的集合；存在量词作用于点 t（存在某个 t，使得 $W(t) \ne 0$ ）。

推导与证明 · 6

从屏幕上显示的定义推导出依赖情形。

依据清楚

依据视频推导

来源依据

公式
观察依据
屏幕上显示的定义通过指出这些函数彼此不互为标量倍数来表述线性无关性。
声音
观察依据
依赖关系示例 $x^2$ 和 $2x^2$ 的依据是：其中一个函数是另一个的两倍。

直观解释

步骤

公式
$y_1 \text{ 且 } y_2 \text{ are linearly independent on an interval} \iff \text{they are not a scalar multiple of each other}$
解释
从屏幕上展示的定义出发。
步骤依据
直接见于紫色定义框中。
视频直接表达
公式
$\neg(\text{not a scalar multiple of each other}) \iff \text{one is a scalar multiple of the other}$
解释
对定义取逻辑否定即得依赖情形。
步骤依据
对屏幕上显示的定义进行逻辑否定。
依据视频推导
公式
$2x^2 = 2(x^2)$
解释
该示例展示了两个函数之间存在常数倍数关系。
步骤依据
从示例函数中可直观看出这一代数恒等式。
视频直接表达

结论

两个函数在某个区间上线性相关，当且仅当其中一个是另一个的标量倍数； $x^2$ 和 $2x^2$ 对此进行了说明。

线性组合加总为零向量的直观动因

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人表示可以对这些向量取线性组合，即可能带缩放系数地将它们相加，并询问它们能否加总为零向量。
动画
观察依据
三条不同颜色的箭头被重新排列成一个闭合的三角形路径，终点回到原点。

待核验内容

屏幕上未写出精确的数值缩放系数。
主讲人称黄色向量被乘以负一并略微拉伸，但未显示任何公式。

视觉说明

步骤

公式
$c_1 v_1 + c_2 v_2 + c_3 v_3$
解释
引入三个向量的线性组合，并附以缩放系数。
步骤依据
主讲人口头表述为：可能带缩放系数地将向量相加。
视频直接表达
公式
$c_1 v_1 + c_2 v_2 + c_3 v_3 = 0$
解释
询问是否存在某种缩放系数的选择，使得该组合等于零向量。
步骤依据
主讲人明确提出了这一问题。
视频直接表达
公式
$\text{rearranged arrows form a closed loop back to the origin}$
解释
动画演示了将向量首尾相接排列，使路径闭合。
步骤依据
在向量被移动且其中一条被反向/拉伸后的视觉序列中可观察到这一点。
视频直接表达

结论

该片段通过提问“是否存在非平凡的线性组合使其和为零”，并以闭合的向量环作为图示，直观地引出三个或更多对象的线性无关性概念。

推导 $e^x$ 、 $e^{-x}$ 与 $\cosh x$ 之间的依赖关系

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上先显示 $\cosh x = \frac{e^x + e^{-x}}{2}$ ，再显示 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ 。
声音
观察依据
说话者解释道：由于 $\cosh x$ 等于那些指数函数除以二，因此一半的 $e^x$ 加上一半的 $e^{-x}$ 减去 $\cosh x$ 的结果为零。

严格证明

步骤

公式
$\cosh x = \frac{e^x + e^{-x}}{2}$
解释
从双曲余弦函数用指数函数表示的显示恒等式出发。
步骤依据
该恒等式直接写在黑板上，并由主讲人念出。
视频直接表达
公式
$\frac{1}{2}e^x + \frac{1}{2}e^{-x} = \cosh x$
解释
将同一恒等式改写为将分子整体除以二的形式。
步骤依据
对所显示公式的代数变形。
依据视频推导
公式
$\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$
解释
将 $\cosh x$ 移至等式左侧，得到一个等于零的线性组合。
步骤依据
等式两边同时减去同一量，等式仍成立。
视频直接表达
公式
$\left(\frac{1}{2},\frac{1}{2},-1\right) \neq (0,0,0)$
解释
观察可知，这些系数并非全为零。
步骤依据
直接检查所显示的系数。
依据视频推导

结论

由于 $e^x$ 、 $e^{-x}$ 与 $\cosh x$ 的一个非平凡线性组合等于零，因此这三个函数线性相关。

针对 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关性所作的特设性证明。

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板依次写出 $a_1e^x + a_2e^{2x} + a_3e^{3x} = 0$ ，然后 $a_1z + a_2z^2 + a_3z^3 = 0$ ，最后给出三次零多项式的结论。
声音
观察依据
主讲人叙述了代换过程、多项式根的论证、零函数的区分以及最终结论。

待核验内容

该证明以非形式化方式呈现，依赖于关于多项式零点的标准事实，但未指明具体定理名称。
区间与标量域均未被明确指定。

严格证明

步骤

公式
$a_1e^x+a_2e^{2x}+a_3e^{3x}=0$
解释
从这三个示例函数的一般线性组合出发，询问它何时能等于零函数。
步骤依据
这正是线性无关性定义中所展示的设定。
视频直接表达
公式
$z=e^x$
解释
通过令 z 等于 $e^x$ 来引入变量代换。
步骤依据
主讲人明确提出这一代换，以利用各指数项共有的指数底数。
视频直接表达
公式
$a_1z+a_2z^2+a_3z^3=0$
解释
利用 $e^{2x}=z^2$ 和 $e^{3x}=z^3$ ，将方程重写为关于 z 的多项式方程。
步骤依据
基于 $z=e^x$ 及指数运算法则的代数代换。
视频直接表达
公式
$\text{degree }3\text{ polynomial}$
解释
因 $z^3$ 是出现的最高次幂，故识别出重写后的表达式是一个三次多项式。
步骤依据
主讲人指出显示的多项式中 $z^3$ 是最高次数项。
视频直接表达
公式
$\text{at most three zeros unless }a_1=a_2=a_3=0$
解释
利用一个非零三次多项式至多有三个零点这一事实；而等式右边是零函数，在整个区间上恒为零。
步骤依据
主讲人援引的标准多项式根的事实；视频中将孤立零点与零函数作了对比。
视频直接表达
公式
$a_1=a_2=a_3=0$
解释
因此，原线性组合要在某个区间上恒为零函数的唯一可能，就是所有系数均为零。
步骤依据
由多项式论证及线性无关性定义得出的结论。
视频直接表达
公式
$\{e^x,e^{2x},e^{3x}\}\text{ is linearly independent}$
解释
由于唯一能得到零函数的平凡线性组合，这三个函数构成一个线性无关的集合。
步骤依据
直接应用所展示的线性无关定义。
视频直接表达

结论

函数 $e^x$ 、 $e^{2x}$ 和 $e^{3x}$ 在该区间上线性无关，因为任何等于零函数的线性组合都迫使 $a_1 = a_2 = a_3 = 0$ 。

两个函数线性相关时其朗斯基行列式为零的推导

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上显示的是 $W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}=y_1ay_1'-ay_1y_1'=0$ 。
声音
观察依据
讲师说，取 $y_1$ 与 $y_1'$ 的朗斯基行列式，其中 $ay_1$ 为 $y_2$ ， $ay_1'$ 为 $y_2$ 的导数，然后计算其行列式，并观察到结果恒为零。

严格证明

步骤

公式
$y_2=ay_1$
解释
假设这两个函数在黑板上所用的简单形式下线性相关。
步骤依据
所陈述的假设为：“设 $y_1$ 与 $y_2=ay_1$ 线性相关。”
视频直接表达
公式
$W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$
解释
将 $y_2=ay_1$ 和 $y_2'=ay_1'$ 代入两个函数的朗斯基行列式。
步骤依据
两个函数的朗斯基行列式的定义，以及常数倍函数的求导法则。
视频直接表达
公式
$W(t)=y_1(ay_1')-(ay_1)y_1'$
解释
沿通常的对角线公式展开关于 $2\times 2$ 的行列式。
步骤依据
$2\times 2$ 阶矩阵的行列式公式。
视频直接表达
公式
$W(t)=ay_1y_1'-ay_1y_1'=0$
解释
这两项仅因标量乘法的交换律而相同，因此相互抵消。
步骤依据
代数化简。
视频直接表达

结论

对于满足 $y_2=ay_1$ 的两个函数，其朗斯基行列式恒为零；随后讲师指出线性相关函数所对应的这一普遍性质。

计算 { $e^t$ , te^t} 的朗斯基行列式。

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上逐行书写： $W(t)$ =|y1 y2; y1' y2'|；接着 =| $e^t$ te^t; $e^t e^t$ +te^t|；接着 = $e^t$ ( $e^t$ +te^t)−te^ $t e^t$ ；接着 = $e^{2t}$ ；接着 ≠0。
声音
观察依据
主讲人口述每一步代入与化简过程，直至得到 $e^{2t}$ ，并强调该式恒不为零。

严格证明

步骤

公式
$W(t) = \begin{vmatrix} y_1 & y_2 \\ y_1' & y_2' \end{vmatrix}$
解释
从黑板上展示的一般 2-函数朗斯基行列式定义出发。
步骤依据
朗斯基行列式的定义（ki-wronskian-def）。
视频直接表达
公式
$= \begin{vmatrix} e^t & te^t \\ e^t & e^t + te^t \end{vmatrix}$
解释
将 $y_1=e^t$ 、 $y_2$ =te^t、 $y_1$ '= $e^t$ 与 $y_2$ '= $e^t$ +te^t 代入该矩阵。
步骤依据
本例所给函数，以及在 ki-product-rule-derivative 中已用乘积法则算出的导数。
视频直接表达
公式
$= e^t(e^t + te^t) - te^t \cdot e^t$
解释
按 ad − bc 计算该 $2\times 2$ 行列式。
步骤依据
计算 $2\times 2$ 矩阵行列式的标准公式。
视频直接表达
公式
$= e^{2t}$
解释
展开： $e^t\cdot e^t + e^t$ ·te^t − te^ $t\cdot e^t = e^{2t}$ + te^{2t} − te^{2t} = $e^{2t}$ 。
步骤依据
代数化简；te^{2t} 项相消。
视频直接表达
公式
$e^{2t} \neq 0$
解释
指数函数对任意实数 t 恒为正，因此朗斯基行列式永不为零。
步骤依据
实指数函数的性质（编者注；说话人强调‘永不等于零’）。
视频直接表达

结论

由于对所有 t 都有 $W(t) = e^{2t} \ne 0$ ，故由朗斯基判别法可知，函数 $e^t$ 与 te^t 线性无关。

例题详解 · 7

例： $\sin x$ 与 $\cos x$

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕文字：“例： $\sin x$ 与 $\cos x$ 线性无关”。
声音
观察依据
主讲人指出，正弦函数并不只是余弦函数乘以某个常数。

待核验内容

该例中未指定定义区间。

题目

依据双函数定义，判断 $\sin x$ 与 $\cos x$ 是否线性无关。

已知条件

定义：若两个函数在某一区间上互不为彼此的标量倍数，则称它们在该区间上线性无关。
函数 $\sin x$ 与 $\cos x$ 。

目标

将这对函数归类为线性无关或线性相关。

步骤

公式
$\sin x \neq c \cos x \text{ for any constant } c$
解释
主讲人论证：正弦函数无法表示为一个固定常数乘以余弦函数。
步骤依据
运用屏幕上所展示的双函数定义。
视频直接表达
公式
$\sin x \text{ 且 } \cos x \text{ are linearly independent}$
解释
因此，这对函数满足线性无关的定义。
步骤依据
上一步得出的结论。
视频直接表达

结果

$\sin x$ 和 $\cos x$ 线性无关。

检验

与屏幕上的示例行及口头讲解相吻合。

示例： $x^2$ 和 $2x^2$

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕文字：“例： $x^2$ 和 $2x^2$ 线性相关。”
声音
观察依据
说话人指出其中一个函数恰好是另一个函数的两倍。

待核验内容

该示例未指定定义区间。

题目

依据双函数定义，判断 $x^2$ 和 $2x^2$ 是否线性无关。

已知条件

定义：若两个函数在某个区间上互不为彼此的标量倍数，则称它们在该区间上线性无关。
函数 $x^2$ 和 $2x^2$ 。

目标

将这对函数归类为线性无关或线性相关。

步骤

公式
$2x^2 = 2(x^2)$
解释
其中一个函数恰好是另一个函数的常数倍。
步骤依据
直接的代数恒等式。
视频直接表达
公式
$x^2 \text{ 且 } 2x^2 \text{ are linearly dependent}$
解释
由于标量倍数条件成立，该向量对不满足线性无关性。
步骤依据
所展示定义的否定形式。
视频直接表达

结果

$x^2$ 和 $2x^2$ 线性相关。

检验

与屏幕上的示例行及口述讲解相吻合。

线性相关性的向量示例引入

时间近似

视频直接表达

来源依据

图示
观察依据
开场画面展示三条彩色箭头，在类似坐标系的背景上首尾相接构成一个闭合三角形。
声音
观察依据
主讲人指出，存在一组伸缩因子，使得这三个向量按此比例相加后结果为零，并称它们线性相关。

待核验内容

图中未显示数值向量分量或明确的标量乘数，因此仅凭图像无法重构出确切的依赖关系。

题目

利用图中所示的三个向量，阐释一组对象线性相关的含义。

已知条件

画出了三个不同颜色的向量。
讲解者指出，它们可通过施加伸缩因子组合起来，使其和为零。

目标

在转向函数之前，先识别向量图所阐明的概念要点。

步骤

公式
解释
该图示呈现了三个向量，其首尾相接构成一条闭合路径。
步骤依据
开场帧序列中可见的几何排列。
视频直接表达
公式
解释
讲者将这种闭合现象解释为：存在一个非平凡的加权和等于零的证据。
步骤依据
伴随向量图的口头讲解。
视频直接表达

结果

这三个向量线性相关。

检验

该结论与讲解者所述“存在一种非平凡的方式将它们相加得到零”这一陈述一致。

检验 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是否线性相关的一个例子

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上列出例题： $e^x, e^{-x}, \cosh x$ 。
公式
观察依据
黑板接着写出 $\cosh x = \frac{e^x + e^{-x}}{2}$ ，然后写出 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ 。
公式
观察依据
最终显示的结论是：因此线性相关。
声音
观察依据
主讲人指出，这三个函数存在一种相加得零的方式，故而线性相关。

题目

判断三个函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是线性无关还是线性相关。

已知条件

这三个函数分别是 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 。
给出了恒等式 $\cosh x = \frac{e^x + e^{-x}}{2}$ 。

目标

找出这三个函数之间的一个线性关系，并据此判定其相关性。

步骤

公式
$\cosh x = \frac{e^x + e^{-x}}{2}$
解释
利用黑板上展示的、用指数函数表示的 $\cosh x$ 的定义。
步骤依据
直接在黑板上及音频中给出。
视频直接表达
公式
$\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$
解释
将该恒等式整理为一个等于零的线性组合。
步骤依据
对前述恒等式进行代数变形。
视频直接表达
公式
$\frac{1}{2},\ \frac{1}{2},\ -1$
解释
读出线性组合中各项的系数。
步骤依据
在所展示的方程中直接可见。
视频直接表达
公式
$\text{not all coefficients are zero}$
解释
验证该组合是非平凡的。
步骤依据
至少有一个系数不为零，事实上这三个系数全都不为零。
依据视频推导

结果

函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 线性相关。

检验

所展示的方程给出了一个显式的非平凡组合，其结果为零，完全符合本视频片段中所采用的线性相关定义。

例题：检验 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 的线性无关性

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上列出了例题： $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ ，然后逐步推导对应的方程。
声音
观察依据
说话者说：“例如，e 的 x 次方、e 的 2x 次方和 e 的 3x 次方”，并展开一种即兴论证。

待核验内容

未指明具体区间。
该例题通过一种即兴的多项式论证求解，而非使用朗斯基行列式。

题目

判断函数 $e^x$ 、 $e^{2x}$ 和 $e^{3x}$ 在某个区间上是否线性无关。

已知条件

待检验的函数是 $e^x$ 、 $e^{2x}$ 和 $e^{3x}$ 。
通过考察等式 $a_1e^x + a_2e^{2x} + a_3e^{3x} = 0$ 在某个区间上作为零函数成立，来检验线性无关性。

目标

证明：使该线性组合成为零函数的唯一系数是 $a_1 = a_2 = a_3 = 0$ 。

步骤

公式
$a_1e^x+a_2e^{2x}+a_3e^{3x}=0$
解释
建立一般的线性组合，并令其等于零函数。
步骤依据
这与黑板上显示的定义一致。
视频直接表达
公式
$z=e^x$
解释
用 z 替换 $e^x$ 。
步骤依据
主讲人引入这一变量替换，将指数函数转化为幂函数。
视频直接表达
公式
$a_1z+a_2z^2+a_3z^3=0$
解释
得到关于 z 的一个多项式方程。
步骤依据
代入后，有 $e^{2x}=z^2$ 和 $e^{3x}=z^3$ 。
视频直接表达
公式
$\text{nonzero degree-3 polynomial has at most three zeros}$
解释
将左侧与右侧的零函数进行比较。
步骤依据
主讲人援引关于三次多项式根的标准结论。
视频直接表达
公式
$a_1=a_2=a_3=0$
解释
得出结论：为使该恒等式在某个区间上成立，所有系数必须为零。
步骤依据
只有零多项式才能在整个区间上恒为零。
视频直接表达

结果

集合 { $e^x$ , $e^{2x}$ , $e^{3x}$ } 线性无关。

检验

通过验证定义中的蕴含关系来确认该结论：若该线性组合在区间上是零函数，则所有系数必为零。

通过两个线性相关的函数进行的推导与动机说明

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出设定：“设 $y_1$ 与 $y_2 = ay_1$ 线性相关”，并计算 $W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}=y_1ay_1'-ay_1y_1'=0$ 。
声音
观察依据
讲师表示将考虑两个函数，假设它们相关，令 $y_2$ 是某个非零倍数 $a$ 的 $y_1$ ，然后计算朗斯基行列式会发生什么。

题目

给定两个满足 $y_2=ay_1$ 的函数，计算其朗斯基行列式，并观察线性相关性所蕴含的结论。

已知条件

有两个函数 $y_1$ 和 $y_2$ 。
$y_2=ay_1$ ，其中 $a$ 为一个标量。
讲师在口头讲解的设定中将 $a$ 描述为非零。

目标

在函数线性相关的假设下，对两函数朗斯基行列式求值 $W(t)$ 。

步骤

公式
$W(t)=\begin{vmatrix} y_1&y_2\\ y_1'&y_2' \end{vmatrix}$
解释
从两函数的朗斯基行列式出发。
步骤依据
两个函数的朗斯基行列式的定义。
依据视频推导
公式
$W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$
解释
将 $y_2$ 替换为 $ay_1$ ，并将 $y_2'$ 替换为 $ay_1'$ 。
步骤依据
利用 $y_2=ay_1$ 进行代入，并对常数倍函数求导。
视频直接表达
公式
$W(t)=y_1ay_1'-ay_1y_1'$
解释
计算 $2\times 2$ 阶矩阵的行列式。
步骤依据
$2\times 2$ 阶行列式的标准展开式。
视频直接表达
公式
$W(t)=0$
解释
这两项乘积完全抵消。
步骤依据
代数化简。
视频直接表达

结果

$W(t)=0$ 在假设下恒等成立 $y_2=ay_1$ 。

检验

板书计算最终得到 $=0$ ，主讲人口头说明该行列式抵消，结果为零。

用朗斯基行列式检验 $e^t$ 与 te^t 的线性无关性

依据清楚

视频直接表达

来源依据

字幕依据
观察依据
提问： $e^t$ 与 te^t 是否线性无关？
声音
观察依据
说话人引入这一函数对，是因为它们出现在具有重根的常系数微分方程中，随后计算其朗斯基行列式。
公式
观察依据
完整的行列式计算逐行展开，从64s 到91s。

题目

判断两个函数 $e^t$ 与 te^t 是否线性无关。

已知条件

$y_1(t) = e^t$
$y_2(t)$ = te^t
这些函数常作为具重根的常系数线性常微分方程的解而出现。

目标

使用朗斯基行列式检验法判断 { $e^t$ , te^t} 的线性无关性。

步骤

公式
$W(t) = \begin{vmatrix} e^t & te^t \\ e^t & e^t + te^t \end{vmatrix}$
解释
构造 $2\times 2$ 朗斯基行列式：将函数置于第一行，其导数置于第二行。
步骤依据
两个函数的朗斯基行列式的定义。
视频直接表达
公式
$= e^t(e^t + te^t) - te^t \cdot e^t$
解释
应用 $2\times 2$ 行列式公式 ad − bc。
步骤依据
基础线性代数。
视频直接表达
公式
$= e^{2t}$
解释
化简；交叉项相互抵消。
步骤依据
代数运算。
视频直接表达
公式
$e^{2t} \neq 0 \text{ for all } t$
解释
指数函数恒不为零，因此朗斯基行列式处处非零，而不仅仅在某一点非零。
步骤依据
指数函数的性质；讲解者特别强调‘恒不为零’。
视频直接表达
公式
$\Rightarrow \{e^t, te^t\} \text{ are linearly independent}$
解释
依据本视频片段前文所述的朗斯基行列式判别准则得出结论。
步骤依据
将 cl-wronskian-theorem 应用于一组满足条件的函数对。
视频直接表达

结果

是的： $e^t$ 与 te^t 线性无关，因为它们的朗斯基行列式等于 $e^{2t}$ ，而该式恒不为零。

检验

直接观察： $W(t)=e^{2t}>0$ 对所有实数 t 成立，因此该定理中“在某点非零”的条件得到满足（事实上还加强为处处非零）。

图示与动画 · 17

本课的标题卡片

依据清楚

视频直接表达

来源依据

动画
观察依据
白色手写风格的标题文字逐次出现在深色黑板背景上，最终显示为“线性无关函数”。

图中对象

深色黑板背景
白色手写风格的标题文字

变化过程

标题从部分字母开始逐字构建，最终形成完整短语“线性无关函数”。

不变量

背景始终保持深色黑板质感。
文字始终保持白色手写风格。

数学含义

本开场片段在讲师开口前即点明主题：函数的线性无关性。

屏幕上的定义面板

依据清楚

视频直接表达

来源依据

图示
观察依据
左上方出现一个紫色边框的文字框，其中给出函数 $y_1$ 与 $y_2$ 在某一区间上线性无关的定义。
公式
观察依据
该文字框中包含如下句子：“定义：若函数 $y_1$ 与 $y_2$ 彼此不互为标量倍数，则称它们在该区间上线性无关。”

图中对象

带紫色边框的定义框
含 $y_1$ 与 $y_2$ 的文字

变化过程

定义框在讲师讲解两函数情形时出现。
该定义框持续可见，直至其下方添加示例。

不变量

在其可见时段内，定义的文字表述始终保持不变。

数学含义

该视觉元素锚定了后续两个示例所依据的严格定义。

在定义下方添加的示例语句

依据清楚

视频直接表达

来源依据

公式
观察依据
约在46秒处，定义下方出现文字：“例： $\sin x$ 与 $\cos x$ 线性无关”。
公式
观察依据
约在51秒处，第一个示例下方出现文字：“例： $x^2$ 与 $2x^2$ 线性相关”。

图中对象

第一条示例语句，包含 $\sin x$ 和 $\cos x$
第二条示例语句，包含 $x^2$ 和 $2x^2$

变化过程

独立示例排在前面。
依赖示例排在第二位，由此构成一组对比示例。

不变量

两条示例语句始终同时保留在屏幕上，直至定义框消失。

数学含义

这两行文字在相同定义下，以视觉方式对比呈现一对独立关系与一对依赖关系。

三条从同一原点出发的向量

依据清楚

视频直接表达

来源依据

动画
观察依据
定义框消失后，出现一个坐标十字，从原点出发延伸出三条彩色箭头：红色、黄色和蓝色。

待核验内容

坐标轴和向量上均未标注任何标签。
箭头端点的确切坐标并未显示。

图中对象

坐标轴
红色向量
黄色向量
蓝色向量

变化过程

这三个向量以从原点出发的独立箭头形式同时出现。

不变量

这三个向量最初起点相同，均位于原点。

数学含义

本图景从函数转向几何线性代数类比，用以引出线性组合之和为零这一概念。

构成闭合回路的重排向量

依据清楚

视频直接表达

来源依据

动画
观察依据
这三个箭头被重新排列为首尾相接的闭合三角形路径，并回到原点。
声音
观察依据
讲解者指出这些向量经过了重新排列或乘以常数，其中黄色向量被乘以负一，并略微拉伸。

待核验内容

精确的缩放因子并未在屏幕上标出。
动画未显示该和的显式方程。

图中对象

红色向量线段
黄色向量线段
蓝色向量线段
原点

变化过程

这些向量从共起点的展示方式变为首尾相接的排列方式。
其中一个向量被反向，另一个则看起来被拉伸。
最终的排列重新闭合回原点。

不变量

在整个重排过程中始终使用相同的三种颜色。
最终图形是一个闭合回路。

数学含义

该闭合回路直观地表示这三个向量的一个线性组合等于零向量，从而引出针对三个或更多对象的下一个定义。

三个向量构成的闭合三角形

时间近似

视频直接表达

来源依据

图示
观察依据
一幅坐标风格的示意图显示三条不同颜色的箭头构成一个闭合的三角形路径。
声音
观察依据
讲师讨论如何对三个向量分别施加伸缩因子后相加，使其结果为零。

待核验内容

具体的标签、坐标及标量因子不可见。

图中对象

三条不同颜色的向量
坐标式坐标轴或参考线

变化过程

这些向量以一个可组合为零的集合形式呈现。
在这一视觉示例之后，讨论从向量过渡到函数。

不变量

在这一开场讲解中，向量的个数保持为三个。
该视觉呈现的作用在于引出非平凡零组合的概念。

数学含义

闭合的三角形排列直观地支持了这样一个观点：这三个向量满足一个相关关系；讲者随后将这种关系命名为线性相关。

函数的正式定义面板

依据清楚

视频直接表达

来源依据

公式
观察依据
一个紫边框的方框出现，其中给出了 $y_1,\ldots,y_n$ 在某一区间上的线性无关的完整定义。
声音
观察依据
讲者说：‘现在让我们运用这一概念，但回到我们的函数语境中。’

图中对象

紫边框定义框
文字 $y_1, \ldots, y_n$
文字 $a_1y_1 + \cdots + a_ny_n = 0$
文本 $a_1 = \cdots = a_n = 0$

变化过程

讲座从向量的直观理解转向形式化的函数定义。
独立性的符号条件出现在屏幕上，同时讲师对其进行讲解。

不变量

其逻辑形式仍为：若线性组合为零，则所有系数均为零。

数学含义

这一视觉事件标志着从几何直观过渡到函数线性无关性的形式判据。

逐步构建该例题

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上添加例题： $e^x, e^{-x}, \cosh x$ 。
公式
观察依据
接着添加 $\cosh x = \frac{e^x + e^{-x}}{2}$ 。
公式
观察依据
再添加“那么 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ ”。
公式
观察依据
最后添加“因此线性相关”。

图中对象

例题中的函数列表
$\cosh x$ 的恒等式
显式的零线性组合
结论文字

变化过程

该例首先以三个函数的列表形式引入。
接着添加关于 $\cosh x$ 的恒等式。
然后写出依赖关系式。
最后得出结论“因此线性相关”。

不变量

所有展示的公式均涉及相同的三个函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 。
逻辑目标始终是检验线性无关/相关的定义。

数学含义

这种逐步展开的过程展示了主讲人如何将一个已知恒等式转化为线性相关的显式证明。

初始定义及示例展示

依据清楚

视频直接表达

来源依据

图示
观察依据
一个紫色边框的定义框位于黑板左上方区域，其下方是示例： $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 。

图中对象

紫色边框定义框
文本 $y_1$ , ..., $y_n$
系数 $a_1$ , ..., $a_n$
示例列表： $e^x$ 、 $e^{2x}$ 、 $e^{3x}$
讲师站在右侧

变化过程

黑板最初仅显示定义和示例函数。

不变量

定义持续保留在左上方框内。
示例函数持续列于定义下方。

数学含义

该视觉布局先呈现一般性定义，随即立即给出一个具体的指数函数示例以供分析。

黑板上逐步构建这一临时性证明。

依据清楚

视频直接表达

来源依据

动画
观察依据
约在18秒时， $a_1e^x + a_2e^{2x} + a_3e^{3x} = 0$ 出现在示例下方。
动画
观察依据
大约在32秒时，指数方程下方出现等式： $a_1z + a_2z^2 + a_3z^3 = 0$ 。
动画
观察依据
大约在56秒时，多项式方程下方出现文字：次数为3的多项式至多有3个零点，或 $a_1 = a_2 = a_3 = 0$ 。

待核验内容

每次文字出现的精确帧级时间仅为近似值，因为采样图像显示该文字在邻近时间戳处已存在。

图中对象

关于x的线性组合方程。
关于z的代入后多项式方程。
三次多项式的陈述。

变化过程

首先写出指数函数的线性组合。
然后在其下方添加代入后的多项式形式。
最后添加多项式为零的陈述，作为最终判定准则。

不变量

原始定义框在整个此部分始终保留在顶部。
示例函数在整个过程中持续显示在推导出的方程上方。

数学含义

动画以垂直链条的形式呈现证明过程：从定义出发，通过代入进行重写，再应用一个多项式性质，迫使各项系数变为平凡值。

黑板内容从临时构造的例子过渡到朗斯基行列式主题。

依据清楚

视频直接表达

来源依据

动画
观察依据
大约在114秒时，先前的定义和方程消失，标题“朗斯基行列式”出现。
公式
观察依据
大约在118秒时，行列式 $W(t)$ =| $y_1 y_2 y_3$ ; $y_1$ ' $y_2$ ' $y_3$ '; $y_1$ '' $y_2$ '' $y_3$ ''| 被显示出来。

待核验内容

该行列式完全显现的确切时刻大致介于117秒至118秒之间。

图中对象

标题：朗斯基行列式
$W(t)$ 的 $3\times 3$ 行列式
函数 $y_1$ 、 $y_2$ 、 $y_3$
导数行 $y_i$ ' 和 $y_i$ ''

变化过程

此前的定义框及指数函数示例被清除。
一个新的标题出现。
在该标题下方引入了一个行列式公式。

不变量

讲师始终位于画面右侧。
黑板格式保持为讲授风格的书写展示。

数学含义

视觉重置标志着思维转变：从针对特例的临时性论证，转向一种新的系统性工具——朗斯基行列式。

三个函数的朗斯基行列式的静态展示

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板风格布局显示标题“朗斯基行列式：”，以及一个 $3\times 3$ 阶行列式，其三行分别为 $y_1,y_2,y_3$ ； $y_1',y_2',y_3'$ ；和 $y_1'',y_2'',y_3''$ 。
动画
观察依据
主讲人在解释各列含义时，用手势指向该矩阵。

图中对象

标题“朗斯基行列式：”
$3\times 3$ 关于 $W(t)$ 的行列式
函数 $y_1,y_2,y_3$ 及其导数

变化过程

此时间段内无数学内容变化；公式持续可见，主讲人同步进行讲解。

不变量

各列分别对应单个函数。
各行对应导数阶数的递增。

数学含义

该图示将朗斯基行列式确立为一个由函数及其逐阶导数构成的行列式，其中每个函数占据一列。

易错点 · 10

认为线性无关性仅适用于向量

依据清楚

视频直接表达

来源依据

声音
观察依据
讲解者指出，观众可能在线性代数中听说过向量的线性无关性，但此处的关注点是一组函数。

误区

线性无关性有时仅与线性代数中的向量集合相关联。

说明

视频明确将这一概念迁移至函数集合，同时指出这两种情形之间存在很强的类比关系。

假设适用于两个函数的标量倍数检验法可不加改变地推广至三个或更多函数。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人提问：若你有三个或更多不同的函数，该如何构造一个类似的定义？

误区

对于两个函数，一个简单的判据是：其中一个函数不是另一个函数的标量倍数；但视频提示我们，三个或更多函数需要一种不同的表述方式。

说明

该片段在给出三个或更多函数的完整定义之前，先引入了一种基于线性组合的新视角。

误将始终存在的零系数组合当作有意义的相关性

依据清楚

视频直接表达

来源依据

声音
观察依据
讲话者明确指出，总存在一种平凡方式：第一个向量乘以零，加上第二个向量乘以零，再加上第三个向量乘以零；随后提问是否存在非平凡的方式。

误区

有人可能认为任意集合都是相关的，因为只要令所有系数都取零，线性组合就必然为零。

说明

该片段强调，线性无关关注的是：是否只有这种平凡的零组合；而线性相关则要求存在一种非平凡的零组合，即并非所有系数都为零。

认为线性无关仅适用于箭头或向量

依据清楚

视频直接表达

来源依据

声音
观察依据
在向量讨论之后，主讲人说：‘现在让我们沿用这一思想，但回归到函数的语境中。’
公式
观察依据
所展示的定义将同样的线性组合判据应用于区间上的函数 $y_1,\ldots,y_n$ 。

误区

学习者可能只将‘线性无关’这一短语与几何向量联系起来。

说明

本段明确地将同一判据从向量迁移至函数，从而定义了区间上一族函数的线性无关性。

混淆函数在某处为零与函数恒为零（即零函数）

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者指出，等式右端并非仅在某一点上不等于零；它处处为零，即零函数。

误区

人们可能认为，由于一个多项式表达式可在一点或若干点上取零值，因此相应函数的线性组合便满足线性相关方程。

说明

视频明确指出，定义中的方程要求在某个区间上恒等于零函数，即在整个该区间上处处为零，而不仅仅是在孤立点上为零。

将指数代换技巧当作一种普适方法

依据清楚

视频直接表达

来源依据

声音
观察依据
说话者解释，‘临时性’（ad hoc）意味着该方法并非总能奏效，而仅适用于特定情形。

误区

对 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 所做的多项式代换论证，可能被误认为是检验任意函数线性无关性的通用判据。

说明

说话者明确将该方法标注为临时性且特化的，从而引出后续对朗斯基行列式这一更系统化工具的介绍。

不要求朗斯基行列式在所有地方都不为零。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，朗斯基行列式可能在某些点处为零；但只要存在某一点使得朗斯基行列式非零，则这些函数就是线性无关的。
公式
观察依据
定理框中指出 $W(t)\neq 0$ 在某点 $t$ 成立，而非在每一点都成立。

误区

人们或许会认为，只有当朗斯基行列式在定义域内每一点都不为零时，才能得出函数线性无关的结论。

说明

所展示的定理仅要求存在某个点 $t$ ，使得 $W(t)\neq 0$ 成立。主讲人明确指出，朗斯基行列式在其余点处可以为零。

该定理的假设隐含在“良好”一词之中。

依据清楚

视频直接表达

来源依据

公式
观察依据
定理框中使用了短语“对于‘良好’的函数”，但并未在框内给出其完整的严格定义。
声音
观察依据
主讲人提问“良好”的函数究竟指什么，并说明存在若干不同语境，首先从解析函数开始介绍。

待核验内容

本片段在所需条件的完整解释给出之前就结束了。

误区

有人可能将方框中的命题理解为对任意函数都成立的无条件等价关系。

说明

该定理仅针对“性质良好”的函数陈述。在视频片段中，主讲人指出解析函数是该结论成立的一个例子，但在片段结束前，完整的严格假设并未全部给出。

将变量因子 t 与常数标量倍数混淆。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人：“我只需扫一眼就能断定不是——其中一个函数是另一个函数乘以 t，但这不等同于一个常数倍的另一个函数。”

误区

由于 te^t 看起来像是“t 乘以 $e^t$ ”，人们可能错误地认为这两个函数线性相关。

说明

线性相关要求存在一个常数标量 c，使得在整个定义域上都有 $y_2 = c\cdot y_1$ 。而此处的乘子是变量 t，而非常数，因此这对函数仍可能线性无关；朗斯基行列式证实了这一点。

误以为在此例中，朗斯基行列式只需在某个孤立点非零即可。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人：“它甚至不只是在某一点非零，而是处处都不为零。”

误区

学习者可能止步于“某处非零”，却忽略了本例中朗斯基行列式对所有 t 均非零。

说明

该定理仅要求存在一个点使得 $W(t)\ne 0$ ，但本例中 $W(t)=e^{2t}$ 处处严格为正，这是一个更强的事实，值得特别指出。

概念关系 · 21

两个函数线性无关的定义 → 例： $\sin x$ 与 $\cos x$

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框之后紧接着是两行示例，分别使用了 $\sin x, \cos x$ 和 $x^2, 2x^2$ 。

应用

解释

示例 $\sin x$ 和 $\cos x$ 应用了两个函数的线性无关定义。

两个函数线性相关的定义即为前述定义的否定 → 示例： $x^2$ 和 $2x^2$

依据清楚

视频直接表达

来源依据

公式
观察依据
线性相关的示例紧随定义下方出现，并通过标量倍数关系加以说明。

应用

解释

示例 $x^2$ 和 $2x^2$ 应用了由两个函数定义所得出的线性相关情形。

函数与向量在线性无关性上的类比 → 线性组合加总为零向量的直观动因

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将函数的情形与向量的线性无关性进行类比，随后借助向量动画来启发对三个或更多对象的推广。

对比

解释

该片段在对比函数与向量的同时，将向量图示作为函数情形的直观模型。

两个函数线性无关的定义 → 线性组合加总为零向量的直观动因

依据清楚

视频直接表达

来源依据

声音
观察依据
在定义了两个函数的线性无关性之后，主讲人进一步提问：当涉及三个或更多函数时会发生什么，并由此引入向量的线性组合视角。

待核验内容

本片段中未给出三个或更多函数的完整形式化定义。

推广

解释

向量线性组合的讨论将两个函数的标量倍数思想推广到了三个或更多函数的情形。

平凡线性组合与非平凡线性组合 → 函数线性无关的定义

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人首先解释三个向量的线性相关性，然后说：‘现在让我们沿用这一思想，但回归到函数的语境中。’
公式
观察依据
后续出现的定义框将同样的零组合判据应用于函数 $y_1,\ldots,y_n$ 。

先修

解释

该片段以向量为依托，借助‘平凡零组合’与‘非平凡零组合’的直观理解，作为通向函数形式化定义的概念桥梁。

线性相关即存在一种非平凡的零和线性组合 → 函数线性无关的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框陈述了线性无关的判定条件。
公式
观察依据
该例题在展示出一种非平凡的零组合后，以‘因此线性相关’作结。
声音
观察依据
主讲人指出：‘线性相关’是‘线性无关’的反义。

对比

解释

视频通过将相关性与独立性对比来定义相关性：独立性禁止存在非平凡的零线性组合，而相关性则断言至少存在一个这样的组合。

用指数函数表示的双曲余弦函数 → 检验 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是否线性相关的一个例子

依据清楚

视频直接表达

来源依据

公式
观察依据
恒等式 $\cosh x = \frac{e^x + e^{-x}}{2}$ 显示在相关性关系之前。
公式
观察依据
接下来显示的行是 $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ 。

应用

解释

$\cosh x$ 的指数形式是例题中所应用的代数事实，用以导出一个显式的相关性关系。

函数线性无关的定义 → 线性相关即存在一种非平凡的零和线性组合

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框给出了涉及 $a_1y_1 + \cdots + a_ny_n = 0$ 推出所有 $a_i=0$ 的判据。
公式
观察依据
该例题通过展示系数为 $\frac12,\frac12,-1$ 的一个零线性组合来验证其否定命题。

证明依赖

解释

该例题得出相关性结论，依赖于先前给出的定义，因为它检验了是否存在非平凡的零线性组合。

函数在区间上线性无关的定义 → 例题：检验 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 的线性无关性

依据清楚

视频直接表达

来源依据

公式
观察依据
示例方程直接写在定义框下方，并采用相同的系数模式。

应用

解释

指数函数的例子将线性无关的一般定义应用于具体的函数 $e^x$ 、 $e^{2x}$ 和 $e^{3x}$ 。

检验线性无关性的临时方法 → 通过变量替换将指数函数转化为幂函数

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人先介绍临时凑用的方法，随即通过换元法当场演示其中一种。

包含

解释

代换 $z = e^x$ 是本例中该临时凑用方法内部所采用的具体技巧。

通过变量替换将指数函数转化为幂函数 → 一个三次多项式至多有三个零点，除非它是零多项式。

依据清楚

视频直接表达

来源依据

公式
观察依据
在将原式改写为 $a_1z + a_2z^2 + a_3z^3 = 0$ 后，板书补充了“三次多项式至多有三个零点”的陈述。

证明依赖

解释

多项式根的结论仅在指数方程被转化为关于 z 的多项式之后才被使用。

一个三次多项式至多有三个零点，除非它是零多项式。 → 函数 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关。

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人利用“至多三个零点”这一事实以及零函数的判别标准，得出 $a_1 = a_2 = a_3 = 0$ ，从而推出线性无关性。

证明依赖

解释

指数函数组线性无关这一结论，依赖于多项式零点个数的事实，以及对等式右端解释为零函数。

问题定位 · 26

两个函数在某个区间上线性无关意味着什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框中陈述了两个函数的判别准则。

涉及知识点

两个函数线性无关的定义
两个函数线性相关的定义即为前述定义的否定

为什么 $\sin x$ 和 $\cos x$ 线性无关？

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上关于 $\sin x$ 和 $\cos x$ 的示例行。
声音
观察依据
口述说明：正弦函数不能表示为余弦函数的某个常数倍。

涉及知识点

$\sin x$ 和 $\cos x$ 线性无关
例： $\sin x$ 与 $\cos x$

为什么 $x^2$ 和 $2x^2$ 线性相关？

依据清楚

视频直接表达

来源依据

公式
观察依据
屏幕上关于 $x^2$ 和 $2x^2$ 的示例行。
声音
观察依据
口述说明：其中一个函数是另一个函数的两倍。

涉及知识点

$x^2$ 和 $2x^2$ 线性相关
示例： $x^2$ 和 $2x^2$

视频如何为三个或更多函数引入线性无关的概念？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人提问：如何定义三个或更多函数的线性无关性？
动画
观察依据
将向量重新排列成闭合回路，以引出和为零的线性组合。

待核验内容

该片段仅用于引出扩展思路，尚未完成形式化定义。

涉及知识点

双函数的标量倍数检验法无法直接回答三个或更多函数的情形。
线性组合加总为零向量的直观动因

向量构成闭合回路所代表的数学思想是什么？

依据清楚

视频直接表达

来源依据

动画
观察依据
三条不同颜色的箭头首尾相接，构成一个闭合三角形，并回到原点。
声音
观察依据
主讲人描述了重新排列向量并给其中一个乘以常数，使它们相加结果为零的过程。

待核验内容

屏幕上未显示任何明确的方程。

涉及知识点

线性组合加总为零向量的直观动因
构成闭合回路的重排向量

函数 $y_1,\ldots,y_n$ 在某个区间上线性无关意味着什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框在此时间段内可见。
声音
观察依据
主讲人用自然语言解释该定义的含义。

涉及知识点

函数线性无关的定义
平凡线性组合与非平凡线性组合

为何全零系数的选择不足以证明相关性？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将始终存在的平凡组合与是否存在非平凡组合这一问题进行对比。

涉及知识点

平凡线性组合与非平凡线性组合
误将始终存在的零系数组合当作有意义的相关性

$e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是线性无关还是线性相关？为什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
例题与最终结论显示在黑板上。
声音
观察依据
主讲人指出这三个函数线性相关。

涉及知识点

检验 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是否线性相关的一个例子
用指数函数表示的双曲余弦函数
线性相关即存在一种非平凡的零和线性组合

恒等式 $\cosh x = \frac{e^x + e^{-x}}{2}$ 如何导出关系式 $\frac12 e^x + \frac12 e^{-x} - \cosh x = 0$ ？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上同时展示了 $\cosh x$ 的恒等式以及由此得到的零线性组合。

涉及知识点

用指数函数表示的双曲余弦函数
推导 $e^x$ 、 $e^{-x}$ 与 $\cosh x$ 之间的依赖关系

本视频如何将线性相关的思想从向量迁移到函数？

依据清楚

视频直接表达

来源依据

声音
观察依据
讲师从三个向量过渡到函数的情境。
公式
观察依据
后续出现的定义框将相同思想应用于函数。

涉及知识点

平凡线性组合与非平凡线性组合
函数线性无关的定义
s120-cr-vectors-to-functions-transfer

函数在某个区间上线性无关是什么意思？

依据清楚

视频直接表达

来源依据

公式
观察依据
定义框中给出了函数 $y_1$ , ..., $y_n$ 在某一区间上线性无关的判定条件。

涉及知识点

函数在区间上线性无关的定义

为什么线性组合必须是处处为零的零函数，而不仅仅是在某一点处为零？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人区分了‘在某一点处为零’与‘零函数（处处为零）’。

涉及知识点

零函数与仅在孤立点处为零的区别
函数在区间上线性无关的定义

覆盖情况与待核验内容

已覆盖 · 片头标题卡引出主题：“线性无关的函数”。

已覆盖 · 讲师将本主题界定为函数的线性无关性，并将其与线性代数中熟悉的向量版本联系起来。

已覆盖 · 屏幕上的定义以两个函数互不为标量倍数作为判据。

已覆盖 · 第一个例子指出 $\sin x$ 和 $\cos x$ 线性无关。

已覆盖 · 第二个例子指出 $x^2$ 和 $2x^2$ 线性相关，因为其中一个是另一个的两倍。

已覆盖 · 讲师提问：如何将这一概念推广到三个或更多函数？

已覆盖 · 一幅坐标图从原点出发画出三条不同颜色的向量，引出几何视角下的线性代数类比。

已覆盖 · 在讲解能加总为零的线性组合时，讲者将这些向量重新排列成一个闭合回路。

已覆盖 · 开场的向量图示与口头讲解通过一个非平凡的零组合引出线性相关概念。

已覆盖 · 讲师明确对比了恒成立的平凡组合与对非平凡组合的寻找。

已覆盖 · 一个正式定义框出现，该概念从向量迁移至区间上的函数。

已覆盖 · 引入例题中的函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ ，并展示 $\cosh x$ 的恒等式。

已覆盖 · 该恒等式被重新整理为一个系数为 $\frac12,\frac12,-1$ 的显式零线性组合。

已覆盖 · 黑板上得出结论：因此线性相关；主讲人将此解释为线性无关的反面。

已覆盖 · 黑板上同时展示了线性无关的定义及示例函数，此时主讲人引入了这种特设方法。

已覆盖 · 线性组合方程先被写出，随后通过代换 $z = e^x$ 被重写为关于 z 的多项式。

已覆盖 · 主讲人运用多项式根的性质，对比零函数与孤立零点，并得出指数函数集线性无关的结论。

已覆盖 · 黑板清空上一个例子，引入朗斯基行列式记号，但视频片段在此结束，尚未讲解其定理或应用。

已覆盖 · 该片段介绍了三个函数的朗斯基行列式，并口头推广到 $n$ 个函数的情形。

已覆盖 · 讲师通过两个线性相关的函数来引出联系，代入 $y_2=ay_1$ ，计算出行列式为零，并陈述了线性相关性的一般推论。

已覆盖 · 一个加框定理陈述了对“nice”函数而言的等价关系；讲师澄清了“存在某点非零”的条件，并在片段结束前开始将解析函数作为满足该条件的一个充分情形加以说明。

已覆盖 · 定理陈述框，辅以口头解释其在微分方程背景下的适用性，以及该检验步骤的总结。

已覆盖 · 新问题出现；主讲人引出该函数对示例并提醒听众勿混淆变量倍数与常数倍数。

已覆盖 · 完整构造朗斯基行列式、求导、计算行列式、化简为 $e^{2t}$ ，并得出其恒不为零的结论。

已覆盖 · 片尾：主讲人预告下期视频主题——线性无关性为何重要，并请求观众点赞与留言；本片段不涉及新数学内容。

探索视频中的知识

打开视频知识图谱 →

多项式应用定位 4:28
查看关联依据
已审核中文素材 v1：card「代换 $z = e^x$ 将指数函数转化为多项式」出现在 4:28——类型：方法。针对示例 $e^x,e^{2x},e^{3x}$ ，视频设 $z=e^x$ ，于是 $e^{2x}$ 被视作 $z^2$ ，而 $e^{3x}$ 被视作 $z^3$ 。线性组合方程 $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ 由此变为 $a_1z+a_2z^2+a_3z^3=0$ 。这使得主讲人得以运用关于多项式根的事实。公式： $z=e^x,\; e^{2x}=z^2,\; e^{3x}=z^3,\; a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0$ 。条件：适用于指数部分为整数倍的此类指数函数族。先修知识：指数运算法则、线性无关性的定义。相关概念：三次多项式的零点。时间依据：28–114秒。待验证点：视频未单独讨论 $z$ 的取值范围，仅限于该代换本身。
朗斯基行列式讲解定位 5:54
查看关联依据
已审核中文素材 v1：card「针对三个函数引入朗斯基行列式」出现在 5:54——片段末尾，黑板把朗斯基行列式写成 $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ ，是在前述特例算例之后作为新的系统性工具提出的：三个函数及其前两阶导数排成 $3\times 3$ 行列式，先修知识为导数、行列式与线性无关概念，相关概念写作「线性无关的系统性判别法」。该片段在与 $W(t)$ 和线性无关性相关的定理被陈述或证明之前即已结束。

函数的线性无关性与朗斯基行列式

把讲解展开来看。

章节

学习解说文稿

知识卡片

两个函数的线性无关

两个函数的线性相关

例：sin x 与 cos x

示例：x 的2次方与2乘以 x 的2次方

为何三个或更多函数需要新思路

向量背景下的线性组合为零的动机

函数的线性无关性

平凡组合与非平凡组合

线性相关作为相反的条件

双曲余弦恒等式

例题演示：exe^xex、e−xe^{-x}e−x、cosh⁡x\cosh xcoshx

函数在区间上的线性无关性

特设方法与系统性工具之比较

代换 z=exz = e^xz=ex 将指数函数转化为多项式

三次多项式的零点迫使系数全为零

零函数不等同于在某一点取值为零

例题结论：exe^xex、e2xe^{2x}e2x、e3xe^{3x}e3x 线性无关

针对三个函数引入朗斯基行列式

三函数朗斯基行列式

n 个函数的朗斯基行列式

依赖型双函数计算

线性相关意味着朗斯基行列式为零

判断函数线性无关性的朗斯基行列式准则

“良好”函数与解析函数的含义

详细学习笔记

y1y_1y1​

y2y_2y2​

x

scalar multiple\text{scalar multiple}scalar multiple

y1y_1y1​, …\ldots…, yny_nyn​

a1a_1a1​, …\ldots…, ana_nan​

0

cosh⁡x\cosh xcoshx

exe^xex

e−xe^{-x}e−x

12\frac{1}{2}21​, 12\frac{1}{2}21​, -1

y1y_1y1​, …\ldots…, yny_nyn​

两个函数线性无关的定义

两个函数线性相关的定义即为前述定义的否定

函数与向量在线性无关性上的类比

函数线性无关的定义

平凡线性组合与非平凡线性组合

线性相关即存在一种非平凡的零和线性组合

用指数函数表示的双曲余弦函数

函数在区间上线性无关的定义

检验线性无关性的临时方法

通过变量替换将指数函数转化为幂函数

零函数与仅在孤立点处为零的区别

朗斯基行列式记号的引入

sin⁡x\sin xsinx和cos⁡x\cos xcosx线性无关

x2x^2x2和2x22x^22x2线性相关

双函数的标量倍数检验法无法直接回答三个或更多函数的情形。

开场图示中的三个向量线性相关

函数exe^xex、e−xe^{-x}e−x和cosh⁡x\cosh xcoshx线性相关。

一个三次多项式至多有三个零点，除非它是零多项式。

函数 exe^xex、e2xe^{2x}e2x、e3xe^{3x}e3x 线性无关。

若函数线性相关，则其朗斯基行列式恒为零。

性质良好函数的朗斯基行列式等价定理

解析函数是该定理适用的一种情形。

‘好函数’线性无关性的朗斯基判据

从屏幕上显示的定义推导出依赖情形。

线性组合加总为零向量的直观动因

推导exe^xex、e−xe^{-x}e−x与cosh⁡x\cosh xcoshx之间的依赖关系

针对 exe^xex、e2xe^{2x}e2x、e3xe^{3x}e3x 线性无关性所作的特设性证明。

两个函数线性相关时其朗斯基行列式为零的推导

计算 {ete^tet, te^t} 的朗斯基行列式。

例：sin⁡x\sin xsinx与cos⁡x\cos xcosx

示例：x2x^2x2和2x22x^22x2

线性相关性的向量示例引入

检验exe^xex、e−xe^{-x}e−x和cosh⁡x\cosh xcoshx是否线性相关的一个例子

例题：检验 exe^xex、e2xe^{2x}e2x、e3xe^{3x}e3x 的线性无关性

通过两个线性相关的函数进行的推导与动机说明

用朗斯基行列式检验 ete^tet 与 te^t 的线性无关性

本课的标题卡片

屏幕上的定义面板

例题演示： $e^x$ 、 $e^{-x}$ 、 $\cosh x$

代换 $z = e^x$ 将指数函数转化为多项式

例题结论： $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关

$y_1$

$y_2$

$\text{scalar multiple}$

$y_1$ , $\ldots$ , $y_n$

$a_1$ , $\ldots$ , $a_n$

$\cosh x$

$e^x$

$e^{-x}$

$\frac{1}{2}$ , $\frac{1}{2}$ , -1

$y_1$ , $\ldots$ , $y_n$

$\sin x$ 和 $\cos x$ 线性无关

$x^2$ 和 $2x^2$ 线性相关

函数 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 线性相关。

函数 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关。

推导 $e^x$ 、 $e^{-x}$ 与 $\cosh x$ 之间的依赖关系

针对 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关性所作的特设性证明。

计算 { $e^t$ , te^t} 的朗斯基行列式。

例： $\sin x$ 与 $\cos x$

示例： $x^2$ 和 $2x^2$

检验 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是否线性相关的一个例子

例题：检验 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 的线性无关性

用朗斯基行列式检验 $e^t$ 与 te^t 的线性无关性

两个函数线性无关的定义 → 例： $\sin x$ 与 $\cos x$

两个函数线性相关的定义即为前述定义的否定 → 示例： $x^2$ 和 $2x^2$

用指数函数表示的双曲余弦函数 → 检验 $e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是否线性相关的一个例子

函数在区间上线性无关的定义 → 例题：检验 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 的线性无关性

一个三次多项式至多有三个零点，除非它是零多项式。 → 函数 $e^x$ 、 $e^{2x}$ 、 $e^{3x}$ 线性无关。

为什么 $\sin x$ 和 $\cos x$ 线性无关？

为什么 $x^2$ 和 $2x^2$ 线性相关？

函数 $y_1,\ldots,y_n$ 在某个区间上线性无关意味着什么？

$e^x$ 、 $e^{-x}$ 和 $\cosh x$ 是线性无关还是线性相关？为什么？

恒等式 $\cosh x = \frac{e^x + e^{-x}}{2}$ 如何导出关系式 $\frac12 e^x + \frac12 e^{-x} - \cosh x = 0$ ？