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

15.3.1 Признак Лейбница

Определение. Числовой ряд n=1an называется знакопеременным (знакочередующимся), если его слагаемые попеременно меняют знак, т. е. если anan+1<0 (n=1,2,).
Знакопеременный ряд можно записать в виде u1u2+u3u4+=n=1(1)n1un, где un0.

Теорема Лейбница. Если модули слагаемых знакочередующегося ряда n=1(1)n1un(15.14) монотонно убывают к нулю, то этот ряд сходится.

Обозначим через Sn частичную сумму ряда (15.14). Рассмотрим частичные суммы с четными номерами S2m=(u1u2)+(u3u4)++(u2m1u2m). Так как un убывают по условию, то в каждой скобке выражение неотрицательно. Поэтому S2(m+1)=S2m+2=S2m+(u2m+1u2m+2)S2m. Это означает, что последовательность {S2m}m=1 возрастает. С другой стороны, из представления S2m=u1(u2u3)(u4u5)(u2m2u2m1)u2m, в силу монотонности uk, следует, что S2mu1. Таким образом, последовательность {S2m}m=1 ограничена сверху и возрастает и, следовательно, имеет предел. Обозначим S=limmS2m. Для доказательства сходимости ряда (15.14) нужно еще показать, что S2m+1S(m). Но это сразу следует из равенства S2m+1=S2m+u2m+1 и условия теоремы u2m+10(m). Окончательно, последовательность частичных сумм ряда (15.14) с четными и с нечетными номерами сходятся к одному и тому же пределу S. Поэтому S=limnSn.
Знакочередующийся ряд, для которого выполнены условия теоремы Лейбница, называется рядом лейбницевского типа. Теорема Лейбница утверждает, что ряд лейбницевского типа сходится.

Пример 1. Рассмотрим полугармонический ряд n=1(1)n1n. Здесь un=1n и данный ряд является рядом лейбницевского типа. По теореме Лейбница, он сходится. Ранее мы показали, что ряд, составленный из модулей слагаемых, – гармонический – расходится. Таким образом, сходимость исходного ряда обусловлена не малостью его слагаемых, а взаимной интерференцией слагаемых.

Пример 2. Приведем пример, показывающий, что в теореме Лейбница нельзя отбросить условие монотонности.
Ряд n=1(1)n1n является рядом лейбницевского типа и, следовательно, сходится. Гармонический ряд n=11n расходится. Рассмотрим знакопеременный ряд n=1[(1)n1n+1n]. Его слагаемые стремятся к нулю, но их модули не монотонны. Легко видеть, что он расходится. Действительно, если бы он являлся сходящимся, то сходился бы и ряд n=11n, как разность двух сходящихся рядов n=1[(1)n1n+1n] и n=1(1)n1n. Но гармонический ряд n=11n расходится.

Теорема (оценка остатка ряда лейбницевского типа). Остаток после n-го слагаемого ряда лейбницевского типа имеет такой же знак, как и его первое слагаемое, а по абсолютной величине не превосходит абсолютной величины первого слагаемого.

Пусть Sn– частичные суммы ряда лейбницевского типа n=1(1)n1un(15.15) S=n=1(1)n1un и rn=k=n+1(1)k1uk Тогда rn=SSn, и мы хотим оценить rn.
При доказательстве теоремы Лейбница мы получили, что последовательность частичных сумм ряда (15.15) с четными номерами S2m возрастает, и поэтому S2mS. С другой стороны, S2m+1=u1(u2u3)(u4u5)(u2mu2m+1), откуда видно, что S2m+1S2m+3, т.е. последовательность частичных сумм ряда (15.15) с нечетными номерами убывает и поэтому S2m+1S.
Таким образом, S2mSS2m+1, откуда 0SS2mS2m+1S2m=u2m+1, т.е. остаток четного порядка r2m=SS2m удовлетворяет неравенству 0r2mu2m+1, что и доказывает теорему для остатков четного порядка.
Аналогично, из неравенства S2m+2SS2m+1 следует 0SS2m+1S2m+2S2m+1=u2m+2, т. е. u2m+2r2m+10, чем доказано утверждение теоремы для остатков нечетного порядка.
Итак, мы показали, что sign  rn=(1)n и rn∣⩽un+1 для любого n=1,2,

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

Определить, сходятся ли ряды:

  1. n=1(1)nln2nn
    Решение

    Найдём предел un=ln2nn при n, воспользовавшись правилом Лопиталя: limnln2nn=limn2lnnn=limn2n=0, то есть модули слагаемых стремятся к нулю. Для проверки монотонности воспользуемся теоремой о достаточном условии строгой монотонности:
    (ln2xx)=2lnxxxln2xx2=lnx(2lnx)x2 Откуда видно, что при x, (ln2xx)<0, откуда следует, что модули слагаемых монотонно убывают. То есть, данный ряд удовлетворяет условиям теоремы Лейбница, следовательно, он сходится.

  2. n=1(1)n+1nn
    Решение

    Найдём предел un=(1)n+1nn при n: limn(1)n+1nn=limnn1n=limnelnnn.Воспользуемся правилом Лопиталя: limnelnnn=limne1n=e0=1. Покажем, что данный ряд не удовлетворяет не только условиям теоремы Лейбница, но и необходимое условие сходимости числового ряда: limn(1)n+1nn=limn(1)n+1 Но предела limn(1)n+1 не существует (можно показать по Гейне, взяв xk=2n+1 и xk=2n). То есть, данный ряд расходится.

  3. n=1(1)n+12narctg n
    Решение

    Найдём предел limn12narctg n=limn12nπ2=0. То есть модули слагаемых стремятся к нулю. Проверяем монотонность: (12xarctg x)=2+11+x2(2xarctg x)2, откуда видно, что при x (12xarctg x)<0, что по теореме о достаточном условии строгой монотонности говорит о том, что {12narctg n}n=1 монотонно убывает. То есть, по теореме Лейбница, ряд сходится.

  4. n=1sin(πn2+k2), где kN
    Решение

    Воспользовавшись нечётностью и периодичностью синуса, получим, что sinα=sin(α)=sin(2πnα)=sin(πn+(πnα))==sin(πn)cos(πnα)cos(πn)sin(πnα)==cos(πn)sin(πnα)=(1)n+1sin(πnα). То есть, n=1sinπn2+k2=n=1(1)n+1sin(πnπn2+k2). Предел общего члена ряда: limn(1)n+1sin(πnπn2+k2)=limnsin(n2(n2+k2)n+n2+k2)==limnsin(πk2n+n2+k2)=0. Монотонность. (πk2x+x2+k2)=πk2x+x2+k2(1+xx2+k2)==πk2x+x2+k2(x+x2+k2x2+k2)=πk2xx2+k2+x2+k2, то есть при n (πk2x+x2+k2)<0, а значит, по теореме о достаточном условии строгой монотонности {πk2n+n2+k2}n=1 монотонно убывает при достаточно больших n. При y в окрестности нуля, по таблице эквивалентных, sin(y)y, а y=πk2x+x2+k2 монотонно убывает к 0, как было показано. Значит, общий член ряда также монотонно убывает к нулю, следовательно, по признаку Лейбница, ряд сходится.

    При первом взгляде могло показаться, что для этого ряда не выполняется необходимое условие сходимости числового ряда. Однако, это не так: limnsin(πn2+k2)=limnsin(πn2(1+k2n2))==limnsinπn1+k2n2=limnsinπn=0

Признак Лейбница

Тест для проверки уровня усвоения материала по теме «признак Лейбница».

  1. Лысенко З.М. Конспект лекций по математическому анализу.
  2. В.И.Коляда, А.А.Кореновский. Курс лекций по математическому анализу т.2. Одесса, «Астропринт», 2010, стр 16-19
  3. Б.П.Демидович. Сборник задач и упражнений по математическому анализу, 13-ое издание, Московского университета, 1997, стр. 259-260

Смотрите также

  1. Л.Д.Кудрявцев. Курс математического анализа, том. 2 стр. 27-29
  2. Г.М. Фихтенгольц. Курс дифференциального и интегрального исчисления.- т.2., стр. 302-305

М664. О равенстве площадей

Задача из журнала «Квант» (1981 год, 1-й выпуск)

Условие

Дан четырехугольник ABCD площади S. Обозначим точки пересечения высот треугольников ABC, BCD, CDA, DAB через H, K, L, M соответственно. Докажите, что площадь четырехугольника HKLM тоже равна S.

Решение

Самое простое аналитическое решение этой задачи получается с помощью операции псевдоскалярного произведения векторов: ab=∣a∣∣bsinϕ, где ϕ — угол, на который нужно повернуть вектор a против часовой стрелки, чтобы его направление совпало с направлением вектора b. Геометрический смысл числа ab — ориентированная, площадь параллелограмма, построенного на векторах a и b (рис. 1). Нужные нам свойства:

Рис. 1.а. ab=2SAOB, если AOB ориентирован положительно— против часовой стрелки.
Рис.1.б. ab=2SAOB, если AOB ориентирован отрицательно
  1. (a+b)c=ac+bc
  2. ab=ba
  3. ab=0, если векторы a и b коллинеарны. Следуют из того, что ab равно скалярному произведению вскторов b и R90(a).

Удобно ввести «симметричные» обозначения: пусть A1A2A3A4 — данный четырехугольник, H1,H2,H3иH4 — точки пересечений высот треугольников A2A3A4,A3A4A1, A4A1A2 и A1A2A3, соответственно, а ai и hi — векторы, идущие из фиксированной точки O в Ai и Hi (i=1,2,3,4).

Докажем, что треугольники A1A2A3 и H1H2H3 равновелики (имеют одинаковую площадь) и одинаково ориентированы. Поскольку удвоенная площадь A1A2A3 (с учётом ориентации) равна A1A2A1A3=(a2a1)(a3a1)=a1a2+a2a3+a3a1, мы должны доказать равенство a1a2+a2a3+a3a1=h1h2+h2h3+h3h1. Для этого мы используем лишь тот факт, что [AiHj][AjHi] при всех ij. Скажем, [A1H2][A2H1], поскольку они перпендикулярны [A3A4]; поэтому (a1h2)(a2h1)=0 Сложив три равенства:a1a2h1h2=a1h1a2h2. a2a3h2h3=a2h2a3h3 a3a1h3h1=a3h3a3h1

получим (1).

Разумеется, так же доказывается вообще, что треугольники AiAjAk и HiHjHk, равновелики и одинаково ориентированы (для всех ijk ); в частности, это относится к треугольникам A3A4A1 и H3H4H1. Отсюда, следует равенство площадей четырехугольников A1A2A3A4 и H1H2H3H4.

Более того, оба эти четырёхугольника будут одновременно либо (а) выпуклыми, либо (б) невыпуклыми, но несамопересекающимися, либо (в) самопересекающимися: если все четыре треугольника A1A2A3,A2A3A4,A3A4A1,A4A1A2 имеют одинаковую ориентацию, то (а), если один отличается по ориентации от трех других — (б); если «счет ничейный» 2:2 — (в).

Если бы мы попытались перевести это решение на элементарно геометрический язык, получилась бы громоздкая картина из множеств параллелограммов, очевидные соотношения между площадями которых запутаны из-за особенностей расположения. Более элегантное геометрическое решение (требующее, однако, некоторых вычислений: в частности оно использует формулу tanα+tanβ=(1tanαtanβ)tan(α+β)) основано на полезных соотношениях, показанных на рисунке 2, где H — точка пересечения высот треугольника ABC. O — центр описанной вокруг него окружности, K — середина стороны AB).

Рис.2. HC=2KO=cotˆC×R90(AB)

На этом пути сразу ясно, что для четырёхугольника A1A2A3A4, вписанного в окружность, «ортоцентрический» четырёхугольник H1H2H3H4 будет ему не только равновелик, но и конгруэнтен (в общем случае, как следует из равенства, площадей треугольников AiAjAk и HiHjHk эти четырёхугольники аффинно эквивалентны, то есть один получается из другого линейным преобразованием координат).

Б. Батырев. Н. Васильев. В. Трофимов