在使用 $f(x)=x$ 和 $g(x)=a/x$ 的几何迭代过程中，巴比伦方法如何演示收敛到 $\sqrt{a}$？

适用条件

• $a > 0$
• 初始猜测 $x_0 > 0$

理解与推导

1. 在笛卡尔坐标系上绘制红线 $y=x$ 和绿线 $y=a/x$。
2. 识别交点，其中 $x = a/x$，意味着 $x^2 = a$ 或 $x = \sqrt{a}$。
3. 从 x 轴上的初始值 $x_n$ 开始。
4. 从 $x_n$ 画一条垂直线向上，分别与 $y=x$ 在高度 $x_n$ 处和 $y=a/x$ 在高度 $a/x_n$ 处相交。
5. 计算这两个高度的中点：$\frac{1}{2}(x_n + \frac{a}{x_n})$。
6. 将该中点高度水平投影以找到 x 轴上的下一个迭代值 $x_{n+1}$。
7. 观察重复应用导致 $x_n$ 迅速收敛到 $\sqrt{a}$。

例子

从 x 轴上的一点开始，画出垂直线与两条曲线相交。这两个交点高度之间的中点代表了序列中下一项的值。然后将此高度水平投影回 x 轴以定位新的迭代值。

容易误解的地方

• 认为迭代会收敛到 x 值的平均值而不是 y 高度的中点。
• 假设该方法未经修改也能对负的 $a$ 起作用（图中不会有实数交点）。

观看对应讲解

继续追问

• 为什么在这个特定的几何构造中使用算术平均值而不是几何平均值？
• 如果初始猜测 $x_0$ 离 $\sqrt{a}$ 很远，收敛速度会发生什么变化？