数列 {an} 的性质探究：切线与对数函数

(1) 首先有：

$$\ f'(x) = \frac{1}{x}\ $$

所以过点 $(a, f(a))$ 的切线方程为：

$$\ y - f(a) = \frac{1}{a}(x - a)\ $$

与 $x$ 轴交点为 $(\frac{a^2}{e}, 0)$。又因为该点在函数曲线上，所以有：

$$\ 0 = f(\frac{a^2}{e}) - f(a) = \ln(\frac{a^2}{e}) - \ln(a) = \ln a - 1\ $$

即 $a = e$。因此 $a_2 = e^2$，$a_3 = \ln(e^2) = 2\ln e = 2$。由于 $a_3 > 0$，所以可以继续下去。

现在我们证明对于任意 $m \geq 2$，有 $a_m = \ln a_{m-1}^{-1}$。假设对于 $m-1$ 成立，即 $a_{m-1} = \ln a_{m-2}^{-1}$，则过点 $(a_{m-1}, f(a_{m-1}))$ 的切线方程为：

$$\ y - f(a_{m-1}) = \frac{1}{a_{m-1}}(x - a_{m-1})\ $$

与 $x$ 轴交点为 $(a_{m-2}^{-1}, 0)$。又因为该点在函数曲线上，所以有：

$$\ 0 = f(a_{m-2}^{-1}) - f(a_{m-1}) = \ln(a_{m-2}^{-1}) - \ln(a_{m-1}) = \ln a_{m-1}^{-1} - \ln a_{m-1} = -1\ $$

因此 $a_m = \ln a_{m-1}^{-1}$ 成立。

(2) 由于 $a_m = \ln a_{m-1}^{-1}$，所以有：

$$\ a_m = \ln a_{m-1}^{-1} < \ln a_{m-3}^{-1} = a_{m-2}\ $$

因此 $a_m < a_{m-2}$。