ряда, рассмотренного в первом примере, есть а„ = - 1 ,
общий член ряда во втором примере есть ап = |
п^_^ |
t y • |
2. В теории рядов важную роль играют ряды, члены |
которых |
образуют |
числовые последовательности вида |
|
|
с , aq, aq2, . . . , aq"-1, |
. . . ; |
|
|
последовательность |
такого |
рода |
называется |
бесконечной |
геометрической |
прогрессией; |
число q |
называют |
знаме |
нателем |
прогрессии. Если |
\q\<. |
1, то |
члены |
прогрессии |
при возрастании |
п |
по абсолютной |
величине |
убывают, |
а потому такую прогрессию называют бесконечно |
убы |
вающей. |
|
|
|
|
|
|
|
|
|
|
Рассмотрим |
ряд |
|
|
|
|
|
|
|
|
а + |
aq + |
aq2 - f |
. . . + |
aqn~l |
|
+ . . . |
|
(2) |
Сумма n первых членов этого ряда как сумма п первых членов геометрической прогрессии вычисляется по из вестной формуле
|
|
|
|
|
|
. |
_ |
а — |
ад" |
|
|
|
|
|
|
|
|
|
|
|
|
|
Л""~ |
|
|
l - |
q |
|
' |
|
|
|
|
|
|
Если |
I <71< 1, |
то |
lira aqn=Q, |
|
и, |
следовательно, |
|
|
|
|
|
Н - * о о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
А |
~ |
1 - 0 * |
|
|
|
|
|
|
|
|
|
|
|
п - > о о |
п |
|
|
|
|
|
|
Этот предел называют суммой рассматриваемой |
геомет |
рической прогрессии и вместе с тем суммой ряда |
(2). |
|
3. Как мы видели, для получения суммы геометриче |
ской |
прогрессии |
(т. |
е. |
суммы |
|
ряда |
(2)) |
составляется |
сумма Д п |
первых |
п |
ее |
членов |
и |
затем |
ищется |
предел |
этой |
суммы при |
и—> со. Эта |
идея |
приводит |
к понятию |
суммы и числового ряда вообще. |
|
|
|
|
|
|
|
Положим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
ÖJ + Û2 + Щ + |
|
• • • + |
ап. |
|
|
|
|
По мере того, как п пробегает значения |
1, 2, |
3, |
|
ве |
личина Ап |
принимает |
последовательно значения |
'Аі = |
аи |
!Аг = . а п + . ° 2 , |
Л 3 |
= |
а{^а2 |
|
+ |
Оз, |
. . . |
Следовательно, |
Ап |
есть |
величина |
переменная, |
изменяющаяся |
вместе с |
п |
'(ее можно |
рассматривать |
как |
|
функцию |
аргумента |
п). |
Ыисла Лі, |
'Ai, |
143) |
. . . называются |
частичными |
суммами |
ряда (1);-величина 'Ап |
называется я-й частичной |
сум |
мой ряда (1). Если существует предел |
|
lim Ап = А, |
(3) |
И - > |
с о |
|
то говорят, что ряд (1) сходится, число А называют его
суммой и пишут
А = а, + а2 + . . . + ап + . . .
пли
оо
|
Если же |
предела |
(3) не существует, |
то говорят, |
что |
ряд |
(1) |
расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ПРИМЕР |
1. Рассмотрим |
|
ряд |
|
|
|
|
|
|
|
|
|
1-2 |
~Ь1 |
9 . Ч |
1 |
|
.4 . Л 1~ Г "- |
|
• • • 1 H |
п |
,, / „ |
I |
1 1 |
" f " |
• • • |
|
|
|
|
2-3 |
|
3-4 |
|
* |
* |
(п+ |
1 ) |
|
|
|
Заметив, |
что п |
|
Х+ |
^ |
= |
^ — п |
_|_-| , |
можно |
представить |
члены |
данного |
ряда |
|
в |
виде |
|
разностей |
|
|
|
|
_ |
1 _ 1 |
|
1_ |
|
|
_ |
1 _ 1 |
_і_ |
|
_ |
l |
l |
|
Û ' — |
1 • 2 — |
1 |
|
2 * 0 2 ~ 2- 3 ~ 2 |
|
3 ' |
Û 3 ~ 3 ~ Т ' • * ' » |
а его частичную |
сумму |
Ап |
|
записать так: |
|
|
|
А„ = аі |
+ а2+ . . . + а „ = |
|
|
|
|
|
|
|
|
|
|
= ( | - i ) + ( l - | ) + |
( ^ ) + - + f i - ^ T ) . |
Сделав |
приведение |
|
подобных членов, |
получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
Л „ = lim ( l —-—!-_-) = |
1. |
|
|
|
Таким образом, данный ряд сходится, |
и |
сумма |
его |
равна I . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ПРИМЕР 2. Пусть дан ряд
I n j + l n f + 1 п | + . . . + 1 п ^ ± і +
Здесь an = \n^-j— = In (n + 1) — In п. Поэтому
Аа = (In 2 — In 1) + (In 3 — In 2) + (In 4 — In 3) + . . . |
|
|
|
. . . |
+ |
[In (rt + |
1) - |
In n] = In (n + |
1). |
Следовательно, |
|
|
|
|
|
|
|
|
|
lim |
Л „ = |
lim |
I n ( r t + l ) = + |
oo, |
|
П-Юо |
|
n->oo |
|
|
|
|
откуда заключаем, что данный,ряд |
расходится. |
|
ПРИМЕР |
3. Рассмотрим |
опять |
ряд |
(2) |
|
а + |
aq + aq2 |
+ . . . |
+ aq«-1 + |
. . . , |
(2) |
составленный |
из |
членов |
геометрической |
прогрессии |
|
|
а, |
aq, |
aq2 |
|
aqn~l, . . . |
|
В математическом анализе ряд (2) тоже называют геометрической прогрессией, и мы будем в дальнейшем придерживаться этой терминологии. Если | < 7 | < 1 , то, как мы видели, геометрическая прогрессия (2) сходится
и сумма |
ее |
равна |
\ —q |
• Рассмотрим |
теперь случай, |
когда 1^1 |
> |
1. В таком |
случае |
lim aqn=oo, |
а потому и |
|
|
|
|
|
|
|
|
|
п - » о о |
|
|
|
|
|
lim |
Л „ = |
lim |
а . |
= |
со; следовательно, |
при |
| ^ | > 1 |
ряд |
(2) |
расходится. |
|
|
|
сумма А П |
|
|
|
|
|
Если |
q = |
|
1, то |
частичная |
прогрессии |
(2) |
равна па |
и l i m А „ |
= |
І і т ( л а ) = |
оо, т. е. ряд расходится. |
|
|
П->оо |
|
П->оо |
|
|
|
|
|
|
|
|
|
Наконец, |
если q — |
— 1 , то ряд |
(2) |
имеет вид |
|
|
|
|
|
а — а-\- |
а — а-\- |
. . . |
|
|
|
|
(4) |
Следовательно, Aі |
= |
а, |
А 2 = 0, А Г = |
а, |
'АІ = |
0, . . . , и |
вообще, если |
|
п — число |
нечетное, то А„ — |
а, а |
если |
чет |
ное, |
то А П = |
0. Очевидно, в этом |
случае |
частичная сум |
ма, |
оставаясь |
величиной |
ограниченной, не стремится |
ни |
к какому |
пределу |
и, значит, ряд |
(4) |
расходится. |
|
Таким |
образом, геометрическая |
прогрессия |
(2) |
схо |
дится тогда и только тогда, когда |
абсолютная |
величина |
ее знаменателя |
q |
меньше |
1. Если |
\q\<Z |
1, то сумма |
А |
прогрессии |
равна |
. ^_ . |
|
|
|
|
|
|
|
|
ПРИМЕР 4. |
В теории рядов |
важную |
роль |
играет |
ряд |
|
|
1 +4 + Т + Т + І + |
|
|
|
|
|
|
(б) |
называемый г а р м о н и ч е с к и м рядом * ) . |
|
|
Покажем, |
что |
гармонический |
ряд есть |
ряд |
расхо |
дящийся, |
именно |
покажем, что |
lim Ап — -\-оо. |
Рас- |
|
|
|
|
|
И - > о о |
|
|
смотрим |
для |
этого следующие |
частичные |
суммы ря |
да (б):" |
|
|
|
|
|
|
|
|
Л 2 = 1 + 1 ; Л, = Л2 + 4 + -[; |
|
|
|
|
|
^ = ^ + 1 + 1 + 1 + 1 . |
|
|
Л,6 = Л 8 + 4" + іѴ+ТГ + І 2 ' + iV + TT + |
+ |
Нетрудно |
видеть, что |
|
|
|
Ло > |
~ ~f" |
= |
2 • -^-, |
|
|
|
л ^ |
1 д.1 4- 1 |
4- 1 — U U 1 |
- ч 1 |
|
|
1 ^ |
1 |
. |
1 |
I |
1 |
I |
1 |
I |
1 |
I |
|
|
|
|
|
|
/ 1 s > - 2 + T + T + |
|
8"+ |
|
¥ |
1 |
I 1 |
¥ = = |
|
+ |
8" + |
|
|
= ± + 1 + 1 + 1 = 4 - 1 |
|
2 |
~ 2 ~ 2 ~ 2 |
2 * |
+ _ L + - 1 = 1 + 1 + 1 + 1 + 1 = 5 . 1 -
~ 16 ^ 16 2 ^ 2 ^ 2 ^ 2 ^ 2 2 '
аналогично |
найдем, что |
|
|
|
|
|
|
|
|
|
Л 3 2 > 6 - 1 , |
|
Л 6 4 > 7 . 1 . |
|
Отсюда |
видим, |
что частичная |
сумма |
с номером |
m = |
= 2й |
(/г = |
1, 2, |
3, . , . ) |
неограниченно |
возрастает, |
когда |
*) |
Число |
с называется |
с р е д н и м г а р м о н и ч е с к и м |
чисел |
о и Ь, если |
|
|
|
|
|
|
|
|
|
|
|
|
с |
2 |
\ а т |
b j |
|
|
Нетрудно |
видеть, что, начиная |
со второго, каждый член ряда (5) |
есть среднее гармоническое двух соседних с ним членов ряда. От сюда происходит и наименование ряда (5),