这里有个普遍的公式:
如果 limate an = a, 则: limate (a1 + ... + an)/n = a.
下面证明:
由于, 对 V e >0( 这里e 是任意整数, 不是无理数,很抱歉这里借用下), lim an = a, 故存在 N1, 当 n > N1时有 |an - a| < e/2 .
由于 N1 选定了, 所以 M = | a1 - a | + .... + | aN1 - a| 为定数.
所以, lim (M/n) = 0, 于是存在 N2, 当 n > N2 时, M/n < e/2 .
取 N = max{N1, N2}, 当 n > N 时,有
| (a1 + .. + an)/n - a | = | (a1 - a) + ... + (an - a)| / n ....( 通分)
<= (| a1 - a| + ... + | aN1 - a |)/n + (| a(N1+1) - a | + ... + | an - a|)/n ....(绝对值不等式)
<M/n + ((n - N1)*e)/(2*n) ....(M 值代换, 以及运用 n > N1, |an - a| > e/2 )
<M/n + e/2 ....(不等式放缩)
<e/2 + e/2 = e ....(运用 n > N 时 M/n < e/2)
综合上面的就是:
V e > 0, E N = max{N1, N2}, 当 n > N 时有:
|( a1 + ... + an)/n - a | < e
有极限的定义,我们知道: limate (a1 + ... + an)/n = a.
因此>...... |