海涅定理
这是一个在考研数学（尤其是涉及数列极限时）非常典型且重要的细节。简单来说，提到“归结原则”是为了逻辑上的严谨性，跨越从“离散数列”到“连续函数”的鸿沟。
下面为你详细拆解这三个问题：
一、 为什么解题时必须要说一下“由归结原则知”？
在图片中的解答里，你可以注意到变量发生了一个非常关键的转变：
- 原题是数列极限：变量是 $n$，而 $n$ 默认取正整数（$1, 2, 3, \dots$），它是离散的。
- 计算过程变成了函数极限：解答中突然设变量为 $x$，计算 $\lim_{x \to +\infty} x \ln\left(\cos\frac{1}{\sqrt{x}}\right)$，这里的 $x$ 是实数，是连续的。
为什么要变？因为离散的数列不能求导！
在这个解答中，使用了等价无穷小代换 $\cos\frac{1}{\sqrt{x}} - 1 \sim -\frac{1}{2}\left(\frac{1}{\sqrt{x}}\right)^2$。而在很多类似的数列极限题目中，我们还会用到洛必达法则。无论是等价无穷小还是洛必达法则，其底层逻辑都依赖于函数的连续性和可导性。
你不能对一个只有孤立点的数列求导，所以你必须把 $n$ 换成连续变量 $x$，在这个连续的世界里使用洛必达法则或泰勒公式求出极限。
为什么要提归结原则？
求出了连续函数在 $x \to +\infty$ 时的极限是 $-\frac{1}{2}$，凭什么说原来的数列在 $n \to \infty$ 时的极限也是 $-\frac{1}{2}$ 呢？这就是“归结原则”的作用。它就像一座桥梁，名正言顺地把“连续函数算出来的结果”过渡给“离散数列”。如果不提，在严格的考研阅卷中可能会被扣步骤分，因为逻辑链条断裂了。
二、 归结原则（海涅定理）到底是什么？
海涅定理（Heine's Theorem） ，在很多教材中被称为函数极限与数列极限的归结原则。
它的核心通俗理解是：如果一条连续的绳子最终指向了某个高度，那么在这条绳子上每隔一段点一个红点，这些红点最终也一定会指向同一个高度。
严格的数学表述（以趋于无穷为例）：
$\lim_{x \to +\infty} f(x) = A$ 的充要条件是：对于任意一个满足 $x_n \to +\infty$ （当 $n \to \infty$ 时）的数列 $\{x_n\}$，其对应的函数值数列 $\{f(x_n)\}$ 的极限都存在，且 $\lim_{n \to \infty} f(x_n) = A$。
在你的题目中：
- 我们已知函数 $f(x) = x \ln\left(\cos\frac{1}{\sqrt{x}}\right)$。
- 我们算出了 $\lim_{x \to +\infty} f(x) = -\frac{1}{2}$。
- 我们令数列 $x_n = n$，显然当 $n \to \infty$ 时，$x_n \to +\infty$。
- 根据归结原则，必定有 $\lim_{n \to \infty} f(n) = -\frac{1}{2}$。
三、 考研中在数列里一般怎么用？
在考研数学中，海涅定理（归结原则）主要有两个黄金应用场景：
1. “数列转函数” —— 降维打击（如本题）
当你遇到形式复杂、含有 $n$ 的幂次、或者需要用到洛必达法则的数列极限时：
- 做法：把数列的一般项 $a_n$ 里的 $n$ 直接替换为连续变量 $x$，构造出函数 $f(x)$。
- 目的：名正言顺地使用求导工具（洛必达法则）、泰勒公式、连续函数的等价无穷小等强大武器。
- 收尾：算完连续函数的极限后，写一句“由归结原则知，原数列极限为...”。
2. “找两个不同的子列” —— 证明函数极限不存在
这是海涅定理在考研选择题或证明题中的大杀器。海涅定理说的是“任意一个满足条件的数列”结果都得一样。那如果结果不一样呢？
- 用法：为了证明某个函数极限 $\lim_{x \to \infty} f(x)$ 不存在，你只需要故意构造两个走向无穷的数列 $\{x_n\}$ 和 $\{y_n\}$。
- 如果算出来 $\lim_{n \to \infty} f(x_n) = A$，而 $\lim_{n \to \infty} f(y_n) = B$，且 $A \neq B$。
- 结论：由海涅定理的逆否命题可知，原函数极限不存在。
- 经典例子：证明 $\lim_{x \to +\infty} \sin x$ 不存在。
- 取 $x_n = 2n\pi$，$\lim_{n \to \infty} \sin(2n\pi) = 0$
- 取 $y_n = 2n\pi + \frac{\pi}{2}$，$\lim_{n \to \infty} \sin(2n\pi + \frac{\pi}{2}) = 1$
- 因为 $0 \neq 1$，所以原极限不存在。
掌握了这个转换思维，很多看起来无从下手的数列极限题就能迎刃而解了。需要我再给你出一道类似“需要把 $n$ 换成 $x$ 并使用洛必达法则”的考研真题练练手吗？