关于1/x反常积分的几何直观证明及收敛性几何困惑问询

我太懂这种困惑了——当初第一次接触反常积分时，我盯着$1/x^p$这一族函数的图像看了半天，明明它们看起来都是随着x增大无限趋近于0的“细尾巴”，怎么$\lim_{M\rightarrow\infty} \int_1^M \frac{1}{x} dx$就发散到无穷，而$\lim_{M\rightarrow\infty} \int_1^M \frac{1}{x^2} dx$却收敛到1呢？咱们从几何层面一点点拆解：

核心差异：函数趋近于0的速度 #

虽然两个函数在$x\rightarrow\infty$时都趋向于0，但**$1/x$趋近于0的速度比$1/x^2$慢得多**：

• 当$x=100$时，$1/x=0.01$，$1/x²=0.0001$；
• 当$x=1000$时，$1/x=0.001$，$1/x²=0.000001$；
• 当x翻10倍，$1/x$只缩小到原来的1/10，而$1/x²$会缩小到原来的1/100。

这种速度差异直接决定了“尾巴”区域的面积总和是无限还是有限。

用分段区间直观感受面积累加 #

我们可以把积分拆成一系列长度翻倍的区间：$[1,2], [2,4], [4,8], [8,16], ...$，对比每个区间的面积贡献：

对于$\lim_{M\rightarrow\infty} \int_1^M \frac{1}{x} dx$ #

在每个区间$[2^n, 2^{{n+1}]$里，$1/x$的最小值是$1/2}{n+1}$，区间长度是$2^n$，所以每个区间的面积至少是：
$$ 2^n \times \frac{1}{2^{n+1}} = 0.5 $$
也就是说，每一段区间都至少贡献0.5的面积，把这些加起来就是$0.5+0.5+0.5+...$，显然会无限增大，积分自然发散到无穷。

对于$\lim_{M\rightarrow\infty} \int_1^M \frac{1}{x^2} dx$ #

同样拆成这些区间，在$[2^n, 2^{{n+1}]$里，$1/x²$的最大值是$1/(2}n)^{2$，区间长度是$2}n$，所以每个区间的面积最多是：
$$ 2^n \times \frac{1}{(2ⁿ⁾2} = \frac{1}{2^n} $$
把这些加起来就是一个等比数列：$1 + 0.5 + 0.25 + 0.125 + ...$，这个数列的和是2，而实际积分的真实值是1（比这个上界还小），显然会收敛到一个固定值。

图像的“尾巴”本质：面积的“可忽略性” #

$1/x$的尾巴虽然越来越细，但它的“高度”降得太慢，每往后延伸一段，新增的面积都没有明显减少，相当于一直在“攒”面积，最终总和无限大；而$1/x²$的尾巴降得极快，后面每一段的面积都比前一段小一半，很快就小到可以忽略，总和会趋近一个固定值。

内容的提问来源于stack exchange，提问作者npengra317