积分序列递推公式证明与计算问题：含xₙ=∫₀¹tⁿ(t+5)⁻¹dt

让我们一步步拆解你的问题，给出清晰的解答：

1. 递推式 (x_n = \frac{1}{n} - 5x_{n-1}) 的证明 #

这个递推式可以通过直接对积分做代数变形推导出来，步骤非常直观：

已知 (x_n = \int_0^1 \frac{t^n}{t+5} dt)，我们可以把分子 (t^n) 改写为 (t^{n-1} \cdot (t+5 - 5))（因为 (t+5-5 = t)，等价性成立），于是被积函数可以拆分：
$$
\frac{t^n}{t+5} = \frac{t^{n-1} \cdot (t+5 - 5)}{t+5} = t^{n-1} - \frac{5t^{n-1}}{t+5}
$$

接下来对等式两边从0到1积分：
$$
x_n = \int_0^1 t^{n-1} dt - 5 \int_0^1 \frac{t^{n-1}}{t+5} dt
$$

计算第一个积分：
$$
\int_0^1 t^{n-1} dt = \left. \frac{t^n}{n} \right|_0^1 = \frac{1^n}{n} - \frac{0^n}{n} = \frac{1}{n}
$$

第二个积分恰好就是 (x_{n-1}) 的定义，因此代入后直接得到：
$$
x_n = \frac{1}{n} - 5x_{n-1} \quad (n=1,2,\dots)
$$

2. 能否用数学归纳法证明？ #

可以用，但不是最直接的方法。数学归纳法更适合用来验证递推式对所有 (n \geq 1) 成立，而非推导它：

• 基例验证（n=1）：
  直接计算 (x_1 = \int_0^1 \frac{t}{t+5} dt = \int_0^1 \left(1 - \frac{5}{t+5}\right) dt = \left. t - 5\ln(t+5) \right|_0^1 = (1 - 5\ln6) - (0 - 5\ln5) = 1 - 5(\ln6 - \ln5) = 1 - 5x_0)，和递推式完全一致。

• 归纳假设与递推：
  假设当 (n=k)（(k \geq 1)）时，(x_k = \frac{1}{k} - 5x_{k-1}) 成立。那么对于 (n=k+1)，我们仍然可以用第1部分的代数拆分方法得到 (x_{k+1} = \frac{1}{k+1} -5x_k)，再代入归纳假设即可验证成立。

不过要注意：数学归纳法并没有“推导”出递推式，只是确认了它在所有 (n \geq 1) 的范围内有效，核心推导还是依赖积分的代数变形。

3. 为什么递推式无法用于计算 (x_0)？ #

原因很简单：这个递推式的适用范围是 (n \geq 1)，根本无法逆向应用到 (n=0) 的场景：

• 若强行令 (n=0)，递推式会变成 (x_0 = \frac{1}{0} -5x_{-1})，这里有两个致命问题：
  1. (\frac{1}{0}) 是无意义的（数学上不存在这样的实数）；
  2. (x_{-1}) 不在原定义的范围内——原定义 (x_n = \int_0^1 \frac{t^n}{t+5} dt) 中，(n=-1) 时积分是 (\int_0^1 \frac{1}{t(t+5)} dt)，虽然这个积分收敛，但递推式的推导依赖于 (n \geq 1) 时能将 (t^n) 拆分为 (t^{n-1}(t+5-5))，当 (n=0) 时，(t^0=1)，无法进行这样的拆分来关联 (x_{-1})。

因此，(x_0) 必须通过直接计算原积分得到（也就是你给出的 (\ln1.2)），不能用这个递推式逆向求解。

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