Критерий сходимости рядов с неотрицательными слагаемыми

Теорема

Рассмотрим ряд в котором все члены ряда неотрицательны, т.е. ([latex]\forall n \in N \rightarrow a_{n}\geq 0[/latex]). Для того чтобы ряд сходился, необходимо и достаточно, чтобы последовательность его частичных сумм была ограниченна сверху.

Доказательство

Так как [latex]a_{n}\geq 0[/latex], то [latex]S_{n}=S_{n-1}+a_{n}\geq S_{n-1}[/latex]. Из этого следует что последовательность частичных сумм монотонно возрастает. Если ряд сходится это означает что сходится последовательность его частичных сумм. По теореме об ограниченности сходящейся последовательности сходимость последовательности частичных сумм эквивалентна ограниченности этой последовательности.

Пример

Рассмотрим ряд:$$\sum_{n=1}^{\infty }\frac{1}{n^{\alpha }},$$ где [latex]\alpha>0[/latex]. При [latex]\alpha=1[/latex] получаем гармонический ряд, а он как известно расходится.
При [latex]0<\alpha<1[/latex] имеем:$$S_{n}(\alpha)=1+ \frac{1}{2^{\alpha}}+\cdots +\frac{1}{n^{\alpha}}\geq n \cdot \frac{1}{n^{\alpha}}=n^{1-\alpha}\underset{n\rightarrow \infty }{\rightarrow}\infty $$ Из этого следует, что [latex]S_{n}(\alpha)\rightarrow +\infty [/latex], а из этого следует расходимость ряда.
Теперь рассмотрим случай [latex]\alpha>1[/latex]. Выберем такое натуральное [latex]m[/latex], что [latex]n<2^{m}[/latex]. Тогда имеем:$$S_{n}(\alpha)\leq S_{2^{m}-1}(\alpha)=1+\left ( \frac{1}{2^{\alpha}}+\frac{1}{3^{\alpha}} \right )+\left ( \frac{1}{4^{\alpha}}+\frac{1}{5^{\alpha}}+\frac{1}{6^{\alpha}}+\frac{1}{7^{\alpha}} \right )+$$$$+\cdots +\left ( \frac{1}{(2^{m-1})^{\alpha}}+\frac{1}{(2^{m-1}+1)^{\alpha}}+\cdots +\frac{1}{(2^{m}-1)^{\alpha}} \right )\leq $$$$\leq 1+2^{1-\alpha}+(2^{2})^{1-\alpha}+\cdots +(2^{m-1})^{1-\alpha}=$$$$=1+2^{1-\alpha}+(2^{1-\alpha})^{2}+\cdots +(2^{1-\alpha})^{m-1}=\frac{1-(2^{1-\alpha})^{m}}{1-2^{1-\alpha}}$$ Отсюда следует, что при [latex]\alpha>1[/latex] имеем [latex]S_{n}(\alpha)\leq \frac{1}{1-2^{1-\alpha}}[/latex], т.е. последовательность частичных сумм ограниченна сверху, и по теореме о сходимости рядов с неотрицательными членами ряд сходится при [latex]\alpha>1[/latex].

Список Литературы

Тест на проверку знаний по данной теме.

Таблица лучших: Критерий сходимости рядов с неотрицательными слагаемыми

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

Обобщённый гармонический ряд

Обобщённым гармоническим рядом называют ряд:$$\sum_{n=1}^{\infty }\frac{1}{n^{\alpha}}=1+\frac{1}{2^{\alpha}}+\frac{1}{3^{\alpha}}+\cdots +\frac{1}{n^{\alpha}}+\cdots $$

Сходимость обобщённого гармонического ряда

$$\sum_{n=1}^{\infty }\frac{1}{n^{\alpha }},$$ где [latex]\alpha>0[/latex]. При [latex]\alpha=1[/latex] получаем гармонический ряд, а он как известно расходится.
При [latex]0<\alpha<1[/latex] имеем:$$S_{n}(\alpha)=1+ \frac{1}{2^{\alpha}}+\cdots +\frac{1}{n^{\alpha}}\geq n \cdot \frac{1}{n^{\alpha}}=n^{1-\alpha}\underset{n\rightarrow \infty }{\rightarrow}\infty $$ Из этого следует, что [latex]S_{n}(\alpha)\rightarrow +\infty [/latex], а из этого следует расходимость ряда.
Теперь рассмотрим случай [latex]\alpha>1[/latex]. Выберем такое натуральное [latex]m[/latex], что [latex]n<2^{m}[/latex]. Тогда имеем:$$S_{n}(\alpha)\leq S_{2^{m}-1}(\alpha)=1+\left ( \frac{1}{2^{\alpha}}+\frac{1}{3^{\alpha}} \right )+\left ( \frac{1}{4^{\alpha}}+\frac{1}{5^{\alpha}}+\frac{1}{6^{\alpha}}+\frac{1}{7^{\alpha}} \right )+$$$$+\cdots +\left ( \frac{1}{(2^{m-1})^{\alpha}}+\frac{1}{(2^{m-1}+1)^{\alpha}}+\cdots +\frac{1}{(2^{m}-1)^{\alpha}} \right )\leq $$$$\leq 1+2^{1-\alpha}+(2^{2})^{1-\alpha}+\cdots +(2^{m-1})^{1-\alpha}=$$$$=1+2^{1-\alpha}+(2^{1-\alpha})^{2}+\cdots +(2^{1-\alpha})^{m-1}=\frac{1-(2^{1-\alpha})^{m}}{1-2^{1-\alpha}}$$ Отсюда следует, что при [latex]\alpha>1[/latex] имеем [latex]S_{n}(\alpha)\leq \frac{1}{1-2^{1-\alpha}}[/latex], т.е. последовательность частичных сумм ограниченна сверху, и по теореме о сходимости рядов с неотрицательными членами ряд сходится при [latex]\alpha>1[/latex].

Список Литературы

Тест на проверку знаний по данной теме.

Таблица лучших: Обобщённый гармонический ряд

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

Гармонический ряд

Гармоническим называется ряд:$$\sum_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}+\cdots,$$ т.е. гармонический ряд состоит из членов, обратных числам натурального ряда.

Сходимость Гармонического ряда

Проверим гармонический ряд на сходимость:
Общий член гармонического ряда стремится к 0.$$\lim_{n\rightarrow \infty }\frac{1}{n}=0$$ Это показывает, что необходимое условие сходимости ряда выполняется. Для доказательства сходимости гармонического ряда будем использовать критерий Коши. По критерию Коши для того чтобы ряд сходился необходимо и достаточно чтобы:$$\forall \varepsilon >0, \exists N_{\varepsilon },\forall n>N_{\varepsilon },\forall p > 0:\left | \frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{n+p} \right |<\varepsilon$$ В качестве [latex]\varepsilon[/latex] выберем [latex]\frac{1}{2}[/latex] и [latex]p=n[/latex]. Тогда:$$\left | \frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{n+p} \right |=\left | \frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{2n} \right |>$$$$>\left | \frac{1}{2n}+\frac{1}{2n}+\cdots +\frac{1}{2n} \right |=\frac{1}{2}=\varepsilon$$ Из этого следует что гармонический ряд не удовлетворяет критерию Коши. Иначе говоря гармонический ряд расходится.
grad

Связанные ряды

Обобщённый гармонический ряд

Обобщённым гармоническим рядом называется ряд:$$\sum_{n=1}^{\infty}\frac{1}{n^{\alpha }}=1+\frac{1}{2^{\alpha }}+\frac{1}{3^{\alpha }}+\cdots +\frac{1}{n^{\alpha }}+\cdots$$ Обобщённый гармонический ряд расходится при [latex]\alpha\leq 1[/latex] и сходится при[latex]\alpha>1[/latex]

Список Литературы

Тест на проверку знаний по данной теме.

Таблица лучших: Гармонический ряд

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

Критерий Коши

Теорема

Для того чтобы ряд [latex]\sum_{n=1}^{\infty}{a_{n}}[/latex] сходился, необходимо и достаточно, чтобы для любого [latex]\varepsilon >0[/latex] существовал такой номер [latex]N_{\varepsilon }[/latex], что для любого [latex]n>N_{\varepsilon }[/latex] и при любом натуральном [latex]p > 0[/latex] выполнялось неравенство:$$\left| a_{n+1}+a_{n+2}+…+a_{n+p} \right|<\varepsilon$$.

Доказательство

По определению, сходимость ряда эквивалентна сходимости последовательности его частичных сумм [latex]S_{n}[/latex]. В силу критерия Коши для последовательностей, сходимость последовательности [latex]{S_{n}}[/latex] эквивалентна ее фундаментальности. Фундаментальность последовательности [latex]{S_{n}}[/latex] означает, [latex]\forall \varepsilon >0, \exists N_{\varepsilon }: \forall n\geq N_{\varepsilon }, \forall p\in \mathbb{N}\rightarrow \left| S_{n+p}- S_{n} \right|<\varepsilon[/latex]. При этом:[latex]S_{n+p}-S_{n}=a_{1}+\ldots+a_{n}+a_{n+1}+\ldots+a_{n+p}-(a_{1}+\ldots+a_{n})=[/latex][latex]a_{n+1}+\ldots+a_{n+p},[/latex] тем самым теорема доказана.
Спойлер

Покажем, что ряд $$\sum_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{n}+\cdots$$ расходится. Для любого [latex]n[/latex] и [latex]p=n[/latex]:$$\sum_{k=n+1}^{n+p}a_{k}=\frac{1}{n}+\frac{1}{n+1}+\cdots+\frac{1}{2n}>\frac{1}{2n}+\frac{1}{2n}+\cdots+\frac{1}{2n}>\frac{n}{2n}=\frac{1}{2},$$ т.е. для любого [latex]n[/latex] при [latex]\varepsilon =\frac{1}{2}[/latex] и [latex]p=n[/latex] критерий Коши не выполняется. Тем самым этот ряд расходится.

[свернуть]

Список Литературы

Тест на проверку знаний по данной теме.

Таблица лучших: Критерий Коши сходимости ряда

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

M237. Задачи на нахождении масс вершин в треугольнике

Задача из журнала «Квант» (1973, №12)

Условие

Углы остроугольного треугольника равны [latex]\alpha[/latex], [latex]\beta[/latex] и [latex]\gamma[/latex]. Какие массы нужно поместить в его вершинах, чтобы центр тяжести этих трех масс попал:

  1.  В точку пересечения высот?
  2. В центр описанной окружности?

Стороны треугольника равны [latex]a[/latex], [latex]b[/latex] и [latex]c[/latex]. Какие массы нужно поместить в его вершины, чтобы центр тяжести попал:

  1.  В точку пересечения отрезков соединяющих вершины и точки касания противоположных им сторон со вписанной окружностью?
  2. В центр вписанной окружности?

 

Решение

M237_1
Пусть в вершинах треугольника [latex]ABC[/latex] расположены массы [latex]m_{a}[/latex], [latex]m_{b}[/latex] и [latex]m_{c}[/latex] соответственно. Проведем прямые [latex]BD[/latex] и [latex]CE[/latex], пересекающиеся внутри треугольника в точке [latex]O[/latex] (рис. 1). Заметим, что для того, чтобы центр тяжести этих масс попал в точку[latex]O[/latex], необходимо выполнение соотношений [latex]\frac{m_{c}}{m_{a}}=\frac{AD}{DC}[/latex] и [latex]\frac{m_{b}}{m_{a}}=\frac{AE}{BE}[/latex]. Перейдем теперь к решению задачи.

  1.  Пусть [latex]BD[/latex] и [latex]CE[/latex] — высоты в треугольнике [latex]ABC[/latex] (рис. 2). Тогда [latex]\frac{BD}{AD}=tg \alpha[/latex], [latex]\frac{BD}{DC}=tg \gamma[/latex], то есть [latex]\frac{AD}{DC}=\frac{tg \gamma}{tg \alpha}[/latex].
    Согласно сделанному замечанию, [latex]\frac{m_{c}}{m_{a}}=\frac{tg \gamma}{tg \alpha}[/latex] и аналогично [latex]\frac{m_{b}}{m_{a}}=\frac{tg \beta}{tg \alpha}[/latex]. Значит, в вершины [latex]A[/latex], [latex]B[/latex] и [latex]C[/latex] треугольника [latex]ABC[/latex] можно поместить, например, массы [latex]m_{a}=tg \alpha[/latex], [latex]m_{b}=tg \beta[/latex], [latex]m_{c}=tg \gamma[/latex].
    M237_2
  2. Пусть [latex]O[/latex] — центр описанной окружности (рис. 3). Имеем:
    [latex]\frac{AD}{BD}=\frac{sin \beta_{1}}{sin \alpha}[/latex],
    [latex]\frac{DC}{BD}=\frac{sin \beta_{2}}{sin \gamma}[/latex]
    (теорема синусов для треугольника [latex]ABD[/latex] и [latex]BCD[/latex]). Поэтому [latex]\frac{AD}{DC}=\frac{sin \gamma \cdot sin\beta_{1}}{sin \alpha \cdot sin \beta_{2}}[/latex].
    Треугольник [latex]BAK[/latex] — прямоугольный ([latex]\measuredangle BAK=90^{\circ}[/latex]) и [latex]\measuredangle BKA=\measuredangle BCA=\gamma[/latex]; поэтому [latex]sin \beta_{1}=cos \gamma[/latex]. Аналогично [latex]sin \beta_{2}=cos \alpha[/latex].
    Итак, [latex]\frac{AD}{DC}=\frac{sin \gamma}{sin \alpha}\cdot \frac{cos \gamma}{cos \alpha}=\frac{sin 2\gamma}{sin 2\alpha}[/latex].
    Учитывая замечание, получаем:
    [latex]\frac{m_{c}}{m_{a}}=\frac{sin 2\gamma}{sin 2\alpha}[/latex].
    Таким же образом [latex]\frac{m_{b}}{m_{a}}=\frac{sin 2\beta}{sin 2\alpha}[/latex].
    Значит, можно взять [latex]m_{a}=sin 2\alpha[/latex], [latex]m_{b}=sin 2\beta[/latex], [latex]m_{c}=sin 2\gamma[/latex].
    M237_3
  3.  Легко видеть (см. рис. 4), что [latex]AD=p-a[/latex], [latex]DC=p-c[/latex], где [latex]p=\frac{a+b+c}{2}[/latex], поэтому [latex]\frac{m_{c}}{m_{a}}=\frac{p-a}{p-c}[/latex].
    Аналогично [latex]AE=p-a[/latex], [latex]EB=p-b[/latex], то есть [latex]\frac{m_{b}}{m_{a}}=\frac{p-a}{p-b}[/latex].
    Поэтому достаточно положить [latex]m_{a}=\frac{1}{p-a}[/latex], [latex]m_{b}=\frac{1}{p-b}[/latex], [latex]m_{c}=\frac{1}{p-c}[/latex].
    M237_4
  4. Так как [latex]BD[/latex] — биссектриса угла [latex]B[/latex] (см. рис. 5), то [latex]\frac{AD}{DC}=\frac{c}{a}[/latex] или [latex]\frac{m_{c}}{m_{a}}=\frac{c}{a}[/latex]; соответственно [latex]CE[/latex] — биссектриса угла [latex]C[/latex] и [latex]\frac{AE}{BE}=\frac{b}{a}[/latex], то есть [latex]\frac{m_{b}}{m_{a}}=\frac{b}{a}[/latex]. Поэтому можно взять [latex]m_{a}=a[/latex], [latex]m_{b}=b[/latex], [latex]m_{c}=c[/latex].
    M237_5

Б. Д. Гинзбург