Citat:
Ursprungligen postat av
baconeater
Försökte med att anta att m>n, |Xm - Xn| = |X(n+p) - Xn| Där p = m-n. Sedan försöka skriva ut detta och visa att det är <= någon sekvens som --> 0. Finns säkert något smart tricks.
Nu kanske jag har gjort något misstag och jag kommer inte heller göra hela uppgiften detaljerat, men idén borde fungera tycker jag.
Låt X_n = 1/n + 1/(n + 1) + ... + 1/(2n). Då är X_n - X_{n + 1} = (3n + 2)/(2n(n + 1)(2n + 1)).
Detta ger att
|X_n - X_m| = |sum_{i = n}^{m - 1} (X_n - X_{n + 1})| = |sum_{i = n}^{m - 1} (3i + 2)/(2i(i + 1)(2i + 1))|
Denna summa beter sig som 1/n^2. Så man bör kunna konstatera för någon konstant C att
|sum_{i = n}^{m - 1} (3i + 2)/(2i(i + 1)(2i + 1)| <= C*|sum_{i=n}^{m - 1} 1/i^2| <= C*|sum_{i = n}^{infty} 1/i^2|
Eftersom sum_{i = 1}^{infty} 1/i^2 är konvergent så kan svansen göras så liten man vill. Därmed följer det att {X_n} är Cauchy.