第一重要极限定理-第一重要极限定理

讲真啊，数学里的第一关键极限，也就是那个说"n 次方根下 n 个 n，长一点看就是 n"的定理，我平时极少把它当成一个冷冰冰的公式背熟，更多时候，它是那种突然从一堆数字里蹦出来的直觉。 大量人一看到 $lim_{ntoinfty} sqrt[n]{x_1 cdot x_2 cdots x_n} = lim_{ntoinfty} frac{x_1 + x_2 + cdots + x_n}{n}$，第一反应就是“哦，前面那个乘积的 n 次方根，后面那个平均值的极限，这不就是连乘变乘积的逆运算嘛？”实际上不然，这个等式背后藏着点东西，东西挺怪，挺勾人，但怪就怪在你得先看到它的时候，脑子里得先腾个地方，把那个“乘积”给清空，只留个“平均值”。 为啥非得如此换？出于直接盯着 $sqrt[n]{x_1 dots x_n}$ 去算，要是 $x_i$ 是无穷小，那这一堆数乘起来，根号下去，看着就吓死人，抓不住手。得换个路。
这条路叫“柯西 - 达朗贝尔定理”，说白了，就是告诉你，不管你的 $x_i$ 长啥样，只要它们有个极限，那整个乘积的极限，归根结底，就是这些数的“平均”极限。 举个例子，假设你有一串数，全是 2 的倍数，也就是 2, 4, 8, 16... 你看，它们的极限都是 $+infty$，但它们的乘积？$prod_{i=1}^n 2^i$，这玩意儿，指数一叠，指数再叠，瞬间就爆炸了，大到无法想象。
这时候你再拿平均法看一眼，求和是 $sum_{i=1}^n 2^i$，也就是 $2^{n+1}-2$，再除以 $n$，整体还是趋向无穷大。
这玩意儿，你一眼就能看出来，出于每一项都无穷大，平均值自然也无穷大。 可是，要是这串数略微有点“温和”点，比如全是从 0 出发的数列，$x_i = frac{1}{n}$，那整个乘积的极限，$sqrt[n]{(frac{1}{n})^n}$，这个玩意儿瞬间就是一个 $frac{1}{n}$，平方根下去还是 $frac{1}{n}$，极限就是 0。
这时候再换平均法，求和就是 $sum_{i=1}^n frac{1}{n} = 1$，除以 $n$，结局就是 $frac{1}{n} to 0$。一模一样的结局。
你看，不管你是乘积还是求和，只要 $x_i$ 趋向于 0，那整个“平均值”的极限也是 0。 实际上，这个定理最了得的地方，在于它把“乘积”和“求和”给打通了。在那会儿，你得一步一步算，先算前两项，再算前三项……好，中间那几项又无穷大如何办？你得做减法，得排除掉那些无穷大的项，这简直是数学界的“天书”。目前好了，不管 $x_i$ 是无穷大，还是有限小数，就连是 $0^0$ 这种病态的情况，只要你让它们收敛，那整个“乘积”的极限，就等于把这些东西“打包一下”，再求它们的平均值。
这就好比你做生意，别看你进货成本（那是 $x_i$）极高，就连要赔钱，但你只要销量（$n$）充足大了，那整批货的利润（那个连乘结局），实际上就能看到它逼近平均成本了。 还有个细节，得说的是，别看公式里 $x_i$ 能够无限大，但 $x_i$ 得有限，不能是无穷大本身，不然整个极限就搞不定了，没法约分。
这点子得记牢，别到时候手一抖，当作数值无穷大就能随意约分。 最终总结一下，这个定理实际上不复杂，就是让你换个角度看难题。
你看到 $n$ 次方根的连乘，别慌，转个弯，看看它是不是个平均值的极限。如此一想，是不是都认定那堆无穷大的数，实际上没那么可怕？它们挺能约分的，至于那堆无穷大的数，不过是平均值的“陪衬”/拉倒。
这大约就是数学最迷人的地方吧，把复杂的混乱，给简化成了好办的平均。