414
Якщо два підряд члени ряду мають різні знаки, то знакозмін-
ний ряд називають знакопереміжним. Він має вигляд
...u)1(...uuuu
n
1n
4321
+−++−+−
−
Числа
u
1
, u
2
, u
3
,…,u
n
,… - додатні. На питання про збіжність
або розбіжність такого ряду дає відповідь ознака Лейбніца, яка фор-
мулюється у вигляді теореми.
ТЕОРЕМА
. Якщо із зростанням номера n члени ряду
...u)1(...uuuu
n
1n
4321
+−++−+−
−
(8.20)
за
абсолютною величиною спадають, а загальний член u
n
прямує до нуля при n
→
∞, тобто
n
n
ulim
∞→
=0,то ряд (8.20) збігається.
Доведення. Просумуємо парне число членів ряду (8.20):
.uu...uuuuS
n21n24321n2
−++−+−=
−
Тоді
).uu(SS
2
n21n2n2
2
n2
+
+
+
−+=
Оскільки за умовою теореми
2
n21n2
uu
+
+
≥ , то
n2
2
n2
SS ≥
+
,
тобто із зростанням
n суми з парними індексами також зростають.
Запишемо тепер часткову суму
n2
S в іншому вигляді:
.u)uu(...)uu()uu(uS
n2`1n22n254321n2
−−−−−−−−=
−−
Оскільки згідно з умовою теореми
1nn
uu
+
≥
при будь-якому
, то із останньої рівності випливає, що .uS
1n2
≤
Таким чином, послідовність
,...)2,1n(S
n2
= зростає із зро-
станням
n, і залишається обмеженою, а тому прямує до визначеної
границі, тобто
1n2
n
uSSlim ≤=
∞→
.
Тепер просумуємо непарне число членів ряду (8.20)
1n2n21n2n21n243211n2
uSuuu...uuuuS
++−+
+=+−++−+−=
.
Але тому що за умовою теореми
0ulim
1n2
n
=
+
∞→
то
.SSlimulimSlim)uS(limSlim
n2
n
1n2
n
n2
n
1n2n2
n
1n2
n
==+=+=
∞→
+
∞→∞→
+
∞→
+
∞→
Таким чином, доведено, що при даних умовах, ряд (8.20)
збігається і
1
uS0 ≤≤
.
Наслідок
. Якщо ряд (8.20) збігається, то залишок ряду також
представляє собою збіжний ряд і його сума дорівнює
nn
SSR −=
.
Залишок ряду, який задовольняє умовам тільки що доведеної
теореми, рівний
...u)1(u)1(R
2n
1n
1n
n
n
+−+−=
+
+
+