算术-几何均值序列的性质证明与收敛性求解
Let's work through this problem about arithmetic-geometric means (AGM) step by step—this is a classic result with some elegant, straightforward proofs. We'll split it into the three required parts as outlined:
1. 证明 ( b_1 \le a_1 ) 当且仅当 ( a = b )
已知正实数 ( 0 < b \le a )，算术均值 ( a_1 = \frac{a+b}{2} )，几何均值 ( b_1 = \sqrt{ab} )。我们直接计算两者的差值：
$$
a_1 - b_1 = \frac{a+b}{2} - \sqrt{ab} = \frac{a - 2\sqrt{ab} + b}{2} = \frac{(\sqrt{a} - \sqrt{b})^2}{2}
$$
实数的平方是非负的，所以这个差值必然大于等于0。
- 若 ( a = b )，则 ( \sqrt{a} = \sqrt{b} )，分子为0，即 ( a_1 = b_1 )；
- 反过来，若 ( b_1 = a_1 )，则 ( \frac{(\sqrt{a} - \sqrt{b})^2}{2} = 0 )，这意味着 ( \sqrt{a} = \sqrt{b} )，即 ( a = b )。
这样就完成了等价性的证明！
2. 用数学归纳法证明 ( a \ge a_1 \ge \dots \ge a_n \ge b_n \ge \dots \ge b_1 \ge b )
我们分基例验证和归纳步骤两部分来完成：
基例验证（( n = 1 )）
- 先看 ( a \ge a_1 )：( a - a_1 = a - \frac{a+b}{2} = \frac{a - b}{2} \ge 0 )（因为 ( a \ge b )）；
- 再看 ( b_1 \ge b )：计算平方差 ( b_1^2 - b^2 = ab - b^2 = b(a - b) \ge 0 )，由于 ( b > 0 ) 且 ( a - b \ge 0 )，所以 ( b_1 \ge b )；
- 结合第一部分的结论，我们已经知道 ( a_1 \ge b_1 )。
综合起来就有 ( a \ge a_1 \ge b_1 \ge b )，基例成立。
归纳步骤
假设对于某个整数 ( k \ge 1 )，不等式链成立：
$$
a \ge a_1 \ge \dots \ge a_k \ge b_k \ge \dots \ge b_1 \ge b
$$
我们需要证明 ( a_k \ge a_{k+1} \ge b_{k+1} \ge b_k )：
- ( a_k \ge a_{k+1} )：( a_{k+1} = \frac{a_k + b_k}{2} )，所以 ( a_k - a_{k+1} = \frac{a_k - b_k}{2} \ge 0 )（由归纳假设 ( a_k \ge b_k )）；
- ( b_{k+1} \ge b_k )：( b_{k+1} = \sqrt{a_k b_k} )，平方差 ( b_{k+1}^2 - b_k^2 = a_k b_k - b_k^2 = b_k(a_k - b_k) \ge 0 )（同样，( b_k > 0 ) 且 ( a_k \ge b_k )）；
- ( a_{k+1} \ge b_{k+1} )：直接套用第一部分的结论，把 ( a, b ) 换成 ( a_k, b_k ) 即可。
由数学归纳法，这个不等式链对所有正整数 ( n ) 都成立。
3. 证明序列收敛并求解极限
我们用单调有界定理来分析：
- 序列 ( {a_n} ) 是单调递减的（来自第二部分的结论），且有下界（因为 ( a_n \ge b_n \ge b )），所以它必然收敛到某个极限 ( A = \lim_{n \to \infty} a_n )；
- 序列 ( {b_n} ) 是单调递增的（来自第二部分的结论），且有上界（因为 ( b_n \le a_n \le a )），所以它必然收敛到某个极限 ( B = \lim_{n \to \infty} b_n )。
接下来对递推式 ( a_{n+1} = \frac{a_n + b_n}{2} ) 两边取极限：
$$
\lim_{n \to \infty} a_{n+1} = \lim_{n \to \infty} \frac{a_n + b_n}{2}
$$
由于 ( \lim_{n \to \infty} a_{n+1} = A )，代入后得到：
$$
A = \frac{A + B}{2}
$$
两边乘2得 ( 2A = A + B )，即 ( A = B )。
这说明两个序列收敛到同一个极限，这个极限被定义为 ( a ) 和 ( b ) 的算术-几何均值，记为 ( \text{AGM}(a, b) )。
内容的提问来源于stack exchange，提问作者Ben French
