Loading [MathJax]/jax/output/SVG/jax.js

15. Числовые ряды

15.1 Определения и простейшие свойства

Пусть задана числовая последовательность {an}n=1. Символ a1+a2++an+, или, что то же самое, n=1an, называется числовым рядом, а сами числа an называются слагаемыми или членами ряда. Обозначим S1=a1,S2=a1+a2,,Sn=a1+a2++an=nk=1ak (n=1,2,). Числа Sn называются частичными суммами ряда n=1an.

Определение. Если существует limnSn=S, то ряд n=1an называется сходящимся, а число S называется суммой ряда n=1an. Если же не существует конечного предела последовательности частичных сумм Sn, то ряд n=1an называется расходящимся. Если ряд n=1an сходится к сумме S, то это обозначают так: S=a1+a2++an+=n=1an.

Таким образом, с каждым рядом n=1an мы связываем последовательность его частичных сумм Sn=nk=1ak, причем сходимость ряда мы определяем как сходимость последовательности частичных сумм этого ряда (понятие сходимости последовательности изучалось нами ранее). Обратно, если задана последовательность {Sn}n=1, то легко составить ряд, для которого эта последовательность будет последовательностью частичных сумм. Действительно, достаточно положить a1=S1,a2=S2S1,, an=SnSn1 (n=2,3,). Ясно, что в этом случае будем иметь a1++an=Sn, т. е. заданные числа Sn являются частичными суммами построенного нами рядa n=1an.

Пример 1 (геометрическая прогрессия). Геометрической прогрессией называется такая последовательность 1,q,q2,,qn1,, т. е. {qn1}n=1, где q – фиксированное число. Ряд 1+q+q2++qn1+n=1qn1 называется суммой геометрической прогрессии. В этом случае слагаемые ряда равны an=qn1. Выведем формулу для суммы первых n слагаемых геометрической прогрессии. Имеем Sn=1+q+q2++qn2+qn1,qSn=q+q2+q3++qn1+qn.Если q1, то вычитая второе равенство из первого, получим Sn=1qn1q. Если же q=1, то, очевидно, Sn=1+1++1=n и Sn (n), так что при q=1 данный ряд расходится. Пусть q1. Тогда вопрос о сходимости ряда n=1qn1 сводится к вопросу о сходимости последовательности Sn=1qn1q. Ясно, что возможны такие случаи.

  • |q|<1. При этом Sn11q (n), т. е. наш ряд сходится и его сумма равна S=11q.
  • |q|>1. Тогда последовательность Sn не имеет предела, т. е. ряд расходится.
  • |q|=1. Случай q=1 уже рассмотрен. Если же q=1, то, очевидно, S2k=0 и S2k+1=1, так что последовательность частичных сумм {Sn} не имеет предела, т. е. ряд расходится.

Окончательно,n=1qn1=11qпри|q|<1, а при |q|1 ряд n=1qn1 расходится.

Пример 2. Рассмотрим ряд 112+123++1n(n+1)+ИмеемSn=112+123++1n(n+1)= =(112)+(1213)++(1n1n+1)=11n+1.Теперь уже легко видеть, что limnSn=limn(11n+1)=1, а это означает, что наш ряд сходится и его сумма равна n=11n(n+1)=1.

Теорема (критерий Коши сходимости ряда). Ряд n=1an сходится тогда и только тогда, когда для любого ε>0 найдется такой номер N=N(ε), что при любом nN и при любом натуральном p справедливо неравенство |n+pk=n+1ak|<ε.

Доказательство. Сумма слева в последнем неравенстве называется отрезком Коши. По определению, сходимость ряда эквивалентна сходимости последовательности его частичных сумм Sn. В силу критерия Коши для числовых последовательностей, сходимость последовательности {Sn} эквивалентна ее фундаментальности. Фундаментальность последовательности {Sn} означает, что для любого ε>0 найдется такой номер N, что для любого nN и для любого pN справедливо неравенство |Sn+pSn|<ε. Но поскольку Sn+pSn=a1++an+an+1++an+p(a1++an)= =an+1++an+p, то тем самым теорема доказана. ◻

Следствие (необходимое условие сходимости). Если ряд n=1an сходится, то limnan=0.

Доказательство. Если ряд n=1an сходится, то, в силу критерия Коши, для любого ε>0 найдется такое NN, что при любом nN и при любом pN справедливо неравенство |n+pk=n+1ak|<ε. В частности, если p=1, то получим, что для любого ε>0 найдется такой номер N, что при любом nN справедливо неравенство |an+1|<ε. Это и означает, что limnan=0. ◻

Другое доказательство необходимого условия сходимости. Сходимость ряда n=1an равносильна существованию следующего предела: limnSn=S. Но тогда и limnSn1=S, откуда, в силу равенства an=SnSn1, следует limnan=limn(SnSn1)=limnSnlimnSn1=SS=0. ◻

Итак, если ряд n=1an, сходится, то его слагаемые стремятся к нулю. Обратное утверждение неверно. Действительно, для ряда n=11n имеем: an=1n. Тогда limnan=0 и, вместе с тем, Sn=1+12++1nn1n=n, откуда следует, что limnSn=+, т. е. ряд n=11n расходится.

Пример. Гармоническим называется ряд n=11n=1+12+13++1n+ Отрезок Коши этого ряда можно оценить следующим образом:
n+pk=n+11k=1n+1+1n+2++1n+p1n+pp. Если взять p=n, то получим, что 2nk=n+11knn+n=12. Это означает, что найдется такое ε0>0 (ε0=12), что для любого NN существует nN (например, n=N) и существует такое pN (p=n), при которых справедливо неравенство |n+pk=n+11k|ε0. В силу критерия Коши это означает, что гармонический ряд расходится.

Как правило, на практике необходимое условие сходимости применяется в следующей форме: если предел слагаемых ряда не существует, либо существует, но отличен от нуля, то ряд расходится.

Примеры решения задач

  1. Найти сумму ряда n=1(n+22n+1+n).

    Решение

    Sn=(1+221+1+1)+(2+222+1+2)++ +(n1+22n1+1+n1)+(n+22n+1+n)= =(322+1)+(423+2)++ +(n+12n+n1)+(n+22n+1+n)= =12+n+2n+1=12+1n+2+n+1; S=limnSn=limn(12+1n+2+n+1)=12.

  2. Записать первые три члена ряда n=1n+1(4n3)5n.

    Решение

    n=1n+1(4n3)5n=2151+3552+4953+

  3. Записать сумму в свернутом виде с общим членом ряда 257+4514+8521+

    Решение

    257+4514+8521+=21571+22572+23573+=n=12n57n

  4. Проверить, выполняется ли необходимое условие сходимости для ряда: n=1(2n+1).

    Решение

    Ряды n=1(2n+1) расходятся, поскольку не выполняется необходимое условие сходимости: общий член ряда не стремится к нулю (limnan=limn(2n+1)=0).

Определения и простейшие свойства числового ряда

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме


Таблица лучших: Определения и простейшие свойства числового ряда

максимум из 11 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

М684. Задача о новом варианте морского боя

Условие

Двое играют в следующий вариант «морского боя». Один игрок располагает на доске n×n некоторое количество непересекающихся «кораблей» n×1 (быть может, ни одного). Второй игрок наносит одновременно ряд ударов по полям доски и про каждое поле получает от противника ответ — попал или промахнулся. По какому минимальному количеству полей следует нанести удары, чтобы по ответам противника можно было однозначно определить расположение всех его кораблей? Рассмотрите три случая: а) n=4, б) n=10, в) n — любое натуральное число.

Решение

Как показывают письма читателей, формулировка задачи допускает два одинаково осмысленных толкования — в зависимости от того, какие корабли считать «непересекающимися» (1) те, которые не имеют общих клеток; (2) те, которые вообще не имеют общих точек, даже граничных — как это принято в обычной игре «морской бой», в которую все мы играли в детстве. Обе задачи получились довольно интересными, хотя (1), пожалуй, попроще. С нее мы и начнем.

(1) Пусть корабли заполняют произвольное множество K из нескольких горизонталей или вертикалей доски n×n; мы должны указать множество A из возможно меньшего числа клеток такое, что пересечение AK однозначно определяет множество K. (Заметим, что если кораблей n, то они занимают все клетки доски, и мы, разумеется, никак не сможем узнать, горизонтальные корабли или вертикальные.)

Легко указать множество A из 2n1 клеток, удары по которым позволяют найти любое K (пример для n=10 приведен на рисунке 1). С другой стороны, 2n2 клеток заведомо недостаточно. Это следует из того, что любое множество A из 2n2 доски n×n можно разбить на два непустых подмножества B и C, так, что ни одна из вертикалей и ни одна из горизонталей, пересекающихся с B, не пересекающихся с C (тогда, если ответ «попал!» будет в точности на B, мы не сможем узнать, горизонтальные корабли или вертикальные). Докажем это.

Сопоставим каждой горизонтали красную, а каждой вертикали — синюю точку (вершину графа) и для каждой клетки множества A (на рисунке 2 они обозначены звездочками) соединим ребром пару точек, соответствующую ее вертикали и горизонтали (рис. 2). Мы получим граф с 2n вершинами и 2n2 ребрами. Такой граф не может быть связным (см. «Квант». 1981. №6. с. 10) — он обязательно распадается на два или больше отдельных кусков. Ребра одного из связных кусков можно принять за множество B (см. рис. 2), остальные — за множество C. (Разумеется, это рассуждение можно изложить и не пользуясь терминологией теории графов.) Итак, в случае (1) ответ: 2n1.

(2) Пусть корабли не имеют общих точек. Докажем, что в этом случае необходимое количество a ударов — клеток в множестве A — не меньше 4n3. При этом будут использованы только такие свойства множества A: в каждой горизонтали и вертикали встречается хотя бы одна клетка множества A, и для любой клетки множества A в ее горизонтали или вертикали есть еще хотя бы одна клетка A.

Расставим в клетках множества A синие и красные единицы и двойка так: на каждой горизонтали, где клеток A более одной, запишем в каждую из них красную 1, а где лишь одна клетка — запишем в нее красную 2; точно так же на каждой вертикали запишем в клетке множества A синие 1 и 2 (рис. 3). Поскольку в каждой клетке множества A стоят либо единица и двойка, либо две единицы, сумма s всех написанных чисел не больше 3a. Поскольку на каждой линии (горизонтали и вертикали) мы записали числа с суммой не меньше 2, s4n. Поэтому as/34n/3.

На рисунке 4 показано, как можно направить требуемым образом 4 удара на доске 3×3 (n=3). Используя этот «блок» 3×3, можно построить пример направления a ударов, где a — наименьшее целое число, для которого a4n3 (примеры для n=4, n=8 и n=10 показаны на рисунках 35).

Итак, в этом случае ответ: [4n+23], то есть для n=3k, n=3k+1 и n=3k+2 нужно соответственно 4k, 4k+2 и 4k+3 ударов.

Н.Васильев