Proof of the preliminary test (Divergence test for series)

joej24
Messages
76
Reaction score
0

Homework Statement


[tex]Proove \, that \, if \, \lim_{n \to \infty} a_{n} \neq 0 \, , \, \sum^\infty a_{n} \, diverges[/tex]

Homework Equations


[tex]S_{n} - S_{n-1} = a_{n}[/tex]
[tex]\lim_{n \to \infty} S_{n} = S[/tex]

The Attempt at a Solution


[tex]S_{n} - S_{n-1} = a_{n}[/tex]
[tex]\lim_{n \to \infty} S_{n} - S_{n-1} = \lim_{n \to \infty} a_{n}[/tex]
Since [itex]a_{n} \neq 0[/itex], we can divide by [itex]a_{n}[/itex]

[tex]\lim_{n \to \infty} \frac {S_{n} - S_{n-1}} {a_{n}} = 1[/tex]
We can rewrite [itex]S_{n}[/itex] and [itex]S_{n-1}[/itex] as [itex]\sum^\infty a_{n}[/itex] and [itex]\sum^\infty a_{n-1}[/itex]

So, [tex]\lim_{n \to \infty} \frac {\sum^\infty a_{n} - \sum^\infty a_{n-1}} {a_{n}} = 1[/tex]
Rearranging, [tex]\lim_{n \to \infty} \frac{\sum^\infty a_{n}} {a_{n}} - \sum^\infty \frac{a_{n-1}} {a_{n}} = 1[/tex]
The term inside the second series is 1, so
[tex]\lim_{n \to \infty} \frac{\sum^\infty a_{n}} {a_{n}} = 1 + \sum^\infty 1[/tex]

Thus, [tex]S_{n} = \lim_{n \to \infty} \sum^\infty a_{n} = a_{n} (1 + \sum^\infty 1)[/tex]
Since [itex]\sum^\infty 1[/itex] diverges, we can say that [itex]S_{n}[/itex] diverges and therefore, if [itex]\lim_{n \to \infty} a_{n} \neq 0[/itex] , [itex]\sum^\infty a_{n}[/itex] diverges.

Is this proof complete?
 
Last edited:
Physics news on Phys.org
joej24 said:

Homework Statement


[tex]Proove \, that \, if \, \lim_{n \to \infty} a_{n} \neq 0 \, , \, \sum^\infty a_{n} \, diverges[/tex]

That isn't a correct statement of the theorem in the first place. When you say ##\lim_{n \to \infty} a_{n} \neq 0## you are implying ##a_n## has a limit which isn't ##0##. That is not the correct denial of the statement that ##a_n\rightarrow 0##. It may not converge to anything.

Homework Equations


[tex]S_{n} - S_{n-1} = a_{n}[/tex]
[tex]\lim_{n \to \infty} S_{n} = S[/tex]

The Attempt at a Solution


[tex]S_{n} - S_{n-1} = a_{n}[/tex]
[tex]\lim_{n \to \infty} S_{n} - S_{n-1} = \lim_{n \to \infty} a_{n}[/tex]
Since [itex]a_{n} \neq 0[/itex], we can divide by [itex]a_{n}[/itex]

You can't take a limit since it isn't given ##a_n## has one. And nothing gives you ##a_n\ne 0##.

I would suggest you try the showing the contrapositive: If ##\sum a_n## converges then ##a_n\rightarrow 0##.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
14
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K