你想弄懂什么？

任意两项 $b_n$ 和 $b_m$（其中 $m > n$）之间的距离被区间 $[a_n, b_n]$ 的长度所限制。因为二分法在每一步将区间长度减半，所以该距离被 $\left(\frac{1}{2}\right)^{n-1}|b_1 - a_1|$ 所限制。

适用条件：$m > n \in \mathbb{N}$。；序列 $(a_n)$ 和 $(b_n)$ 是通过二分法构造的。；$b_n$ 是集合 $M$ 的上界，$a_n$ 是下界。

可行集由约束条件定义，这些约束条件包括等式和不等式。最优解必须属于这个集合，这意味着它必须满足所有指定的约束条件。

适用条件：问题包含约束条件。；约束条件表示为等式或不等式。；解是最优解。

流形 $M$ 的切丛 $TM$ 定义为 $M$ 中每个点 $p$ 的切空间 $T_pM$ 的不交并。符号上，$TM = \bigsqcup_{p \in M} T_pM$。

适用条件：$M$ 是光滑流形。；$T_pM$ 是点 $p$ 处的切空间。

对 $\int e^x \cos x dx$ 连续应用两次分部积分后，原始积分会以负号的形式重新出现在等式右侧。这构建了一个代数方程，其中未知积分出现在等式两边，从而可以通过移项求解该积分。

适用条件：被积函数是 $e^x \cos x$。；依次应用分部积分两次。；$e^x$ 和 $\cos x$ 的导数循环重复。

两个集合 A 和 B 的笛卡尔积，记作 $A \times B$，是由所有可能的有序对 (x, y) 组成的集合，其中第一个元素 x 属于集合 A，第二个元素 y 属于集合 B。

适用条件：A 和 B 是任意集合。

将给定的数值代入重排公式 P(B|A) = $P(B)P$(A|B)/P(A) 中。例如，如果 $P(B) = 1/21$，P(A|B) = $4/10$，且 $P(A) = 24/210$，计算过程为 ($1/21 * 4/10$) / ($24/210$)。

适用条件：使用的公式是针对 P(B|A) 的重排贝叶斯恒等式。；给定的概率必须与公式的假设一致（例如，$P(A) > 0$）。

在不连续点处，傅里叶级数收敛于单侧极限的中点。对于在 $x=0$ 处从 -1 跳到 1（或反之）的标准方波，部分和的极限是 $\frac{-1 + 1}{2} = 0$。

适用条件：函数满足狄利克雷条件。；在评估点存在有限的跳跃间断。

排除特定数值（如 1 或 -1）只能证明这些特定的数不是极限。要严格证明极限不存在，必须表明**每一个**可能的实数 $L$ 都不满足收敛的定义。

适用条件：序列定义为 $a_n = (-1)^n$。；证明需要排除所有 $L \in \mathbb{R}$。

马尔可夫链是一个数学系统，根据某些概率规则从一个状态转移到另一个状态。其定义特征是无记忆属性：转移到任何特定状态的概率仅取决于当前状态和流逝的时间，而不取决于之前的事件序列。

适用条件：未来状态仅取决于当前状态。；状态之间定义了转移概率。；系统是马尔可夫链。

使用哈希函数是为了生成证书数据的固定大小摘要。签署该摘要而不是整个消息效率更高。

适用条件：待签名的数据可能很大或大小可变。；需要效率和完整性检查。

视频使用这三个条件是因为一个通用的二次多项式恰好有三个未知系数。通过要求近似值在展开点处匹配函数值、一阶导数（斜率）和二阶导数（凹凸性），讲座建立了一个包含三个方程的系统，从而在演示的设置中唯一地确定了这三个系数。

适用条件：近似多项式是二次的。；匹配点是 $x=0$。；目标函数和多项式在该点至少可以求导两次。

将原矩阵的第 3、1、2 行形成新矩阵的循环行重排，可以通过用特定的 $3 \times 3$ 置换矩阵左乘原矩阵来表示。该置换矩阵在 $(1,3)$、$(2,1)$ 和 $(3,2)$ 位置上有 1，其余位置为 0。

适用条件：新矩阵是按顺序取原矩阵的第 3、1、2 行形成的。；置换是通过左乘应用的。