«Квант» — научно-популярный физико-математический журнал (издаётся с 1970 года)
Старый сайт журнала: kvant.ras.ru

‍, Вычисление суммБендукидзе А. Д., Сулаквелидзе А. К. Вычисление сумм // Квант. — 1970. — № 9. — С. 37‍—‍40.

Изображения страниц

Текст статьи Бендукидзе А. Д., Сулаквелидзе А. К. Вычисление сумм // Квант. — 1970. — № 9. — С. 37—40.

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

1. В математике и её многочисленных приложениях для сокращённой записи суммы употребляется специальный знак. Это $\sum$‍‍ — буква греческого алфавита «сигма». Запись суммы посредством знака $\sum$‍‍ часто бывает очень удобной. Познакомимся с этим знаком.

Пусть дана сумма вида $a_1+a_2+\ldots+a_n$‍.‍ Все слагаемые этой суммы обозначены одной буквой, для отличия использованы индексы. Данную сумму сокращённо можно записать в следующем виде: $\sum\limits_{k=1}^na_k$‍.‍ Читается: «сумма $a_k$‍,$k$‍‍ меняется от 1 до $n$‍‍». Для такой записи берётся «типичное» слагаемое суммы, в нашем случае $a_k$‍‍‍, перед ним пишется знак $\sum$‍‍ и указываются границы изменения $k$‍.‍ Например, запись $\sum\limits_{k=1}^{10}k$‍‍ означает сумму $1+2+3+4+5+6+7+8+9+10$‍,‍ а запись $\sum\limits_{k=1}^n\dfrac1{k(k+1)}$‍‍ — сумму $\dfrac1{1\cdot2}+\dfrac1{2\cdot3}+\ldots+\dfrac1{(n-1)n}+\dfrac1{n(n+1)}$‍.

Нетрудно проверить следующие свойства знака $\sum$‍:‍ $$ \textstyle \sum\limits_{k=1}^n1=n,\quad\sum\limits_{k=1}^nca_k=c\sum\limits_{k=1}^na_k, \quad\sum\limits_{k=1}^n(a_k+b_k)=\sum\limits_{k=1}^na_k+ \sum\limits_{k=1}^nb_k. $$

Проверим, к примеру, второе свойство.

По определению $$ \textstyle\sum\limits_{k=1}^nca_k=ca_1+ca_2+\ldots+ca_n, $$ поэтому, согласно известному свойству суммы, имеем: $$ \textstyle\sum\limits_{k=1}^nca_k=c(a_1+a_2+\ldots+a_n). $$ Но выражение в скобках есть не что иное, как $\sum\limits_{k=1}^na_k$‍‍ и, следовательно, $$ \textstyle\sum\limits_{k=1}^nca_k=c\sum\limits_{k=1}^na_k. $$

Аналогично проверяются остальные два свойства.

2. Рассмотрим вопрос о вычислении сумм вида $$ \textstyle\sum\limits_{k=1}^nf(k)=f(1)+f(2)+\ldots+f(n),\tag1 $$ где $f$‍‍ — известная функция целочисленного аргумента, определённая на отрезке $[1,n]$‍‍ натурального ряда.

Эту сумму легко вычислить, если удастся найти такую функцию $F$‍,‍ определённую на отрезке $[1,n+1]$‍‍ натурального ряда, что при всех $k$‍,$1\le k\le n$‍,‍ справедливо равенство $$ f(k)=F(k+1)-F(k).\tag2 $$

В самом деле, полагая в этом равенстве последовательно $k=1$‍,‍ 2, $\ldots$‍,$n-1$‍,$n$‍,‍ получим: $$ \begin{aligned} f(1)&=F(2)-F(1),\\ f(2)&=F(3)-F(2),\\ f(3)&=F(4)-F(3),\\ {\ldots}\,&{\ldots}\,{\ldots}\,{\ldots}\,{\ldots}\,{\ldots}\\ f(n -1)&=F(n)-F(n-1),\\ f(n)&=F(n+1)-F(n). \end{aligned} $$

Складывая эти равенства, приходим к следующей формуле: $$ \textstyle\sum\limits_{k=1}^n f(k)=F(n+1)-F(1).\tag3 $$

Таким образом, если функция $F$‍‍ найдена, сумма (1) вычисляется элементарно.

Проиллюстрируем формулу (3) геометрически.

На рисунке 1 нам нужно найти сумму (1), обозначенную просто через $\sum$‍,‍ как длину вертикального отрезка. Каждый член вида $f(k)$‍‍ соответствует длине красного отрезка, равной разности длин зелёных отрезков $F(k+1)$‍‍ и $F(k)$‍.‍ Очевидно, сумма длин всех красных отрезков равна разности длин первого и последнего из зелёных отрезков.

Рис. 1
Рис. 1

Пример 1. Вычислим сумму $$ \dfrac1{1\cdot2}+\dfrac1{2\cdot3}+\dfrac1{3\cdot4}\ldots+\dfrac1{n(n+1)}, $$ т. е. $\sum\limits_{k=1}^n \dfrac1{k(k+1)}$‍.‍ Здесь $$ f(k)=\dfrac1{k(k+1)}, $$ и, как нетрудно проверить, её можно представить в виде следующей разности: $$ f(k)=\dfrac1{k}-\dfrac1{k+1}. $$ Поэтому, если обозначить $F(k)=-\dfrac1{k}$‍,‍ то формула (2) будет выполнена для всех натуральных $k$‍:‍ $$ f(k)=F(k+1)-F(k). $$

Применяя формулу (3), легко получим $$ \sum_{k=1}^n \dfrac1{k(k+1)}=1-\dfrac1{n+1}=\dfrac{n}{n+1}. $$

Пример 2. Найдём сумму членов следующей геометрической прогрессии: $q$‍,$q^2$‍,$q^3$‍,$\ldots$‍,$q^n$‍($q\ne1$‍).‍ Здесь $f(k)=q^k$‍,‍ и, воспользовавшись равенством $q^{k+1}-q^k=q^k(q-1)$‍,‍ можно написать $$ q^k=\dfrac{q^{k+1}}{q-1}-\dfrac{q^k}{q-1}. $$ Отсюда видно, что можно положить $$ F(k)=\dfrac{q^k}{q-1}, $$ и, следовательно, $$ \sum_{k=1}^n q^k=\dfrac{q^{n+1}}{q-1}-\dfrac{q}{q-1}=\dfrac{q^{n+1}-q}{q-1}. $$

Получили известную формулу.

Пример 3. Вычислим сумму $$ \textstyle \sum\limits_{k=1}^n\sin kx\quad (x\ne2\pi n). $$ Нетрудно проверить, что $$ \sin kx=\dfrac{\cos{\left(k-\dfrac12\right)}x-\cos{\left(k+\dfrac12\right)}x} {2\sin\dfrac x2}, $$ т. е. $$ \sin kx=F(k+1)-F(k), $$ где $$ F(k)=-\dfrac{\cos{\left(k-\dfrac12\right)}x}{2\sin\dfrac x2}. $$ Теперь на основании формулы (3) после несложных преобразований получим $$ \sum_{k=1}^n\sin kx=\dfrac{\sin\dfrac{(n+1)x}2\sin\dfrac{nx}2} {2\sin\dfrac x2}. $$

Читатель сам убедился, что формула (3) даёт эффективный способ вычисления суммы (1). Главное — нахождение функции $F$‍.‍ Нередко, к сожалению, это — задача не из лёгких, а иногда даже неразрешимая.

3. Пусть теперь заданы две конечные последовательности чисел $$ u_1,~u_2,~\ldots,~u_n, $$ и $$ v_1,~v_2,~\ldots,~v_n\tag4 $$ и требуется вычислить сумму $\sum\limits_{k=1}^nu_kv_k$‍.

Здесь часто бывает полезным одно преобразование, которое было указано замечательным норвежским математиком Абелем. Именно, пусть $V_k$‍‍ — сумма первых $k$‍‍ членов последовательности (4), т. е. $$ \textstyle V_k=\sum\limits_{i=1}^kv_i=v_1+v_2+\ldots+v_k. $$ Ясно, что $v_1=V_1$‍;‍ если же $k\gt1$‍,‍ то $v_k=V_k-V_{k-1}$‍.‍ Поэтому $$ \textstyle\sum\limits_{k=1}^nu_kv_k=u_1v_1+u_2v_2+\ldots+u_nv_n= u_1V_1+u_2(V_2-V_1)+\ldots+u_n(V_n-V_{n-1}). $$ Раскрывая скобки и группируя слагаемые по два, получим $$ \textstyle\sum\limits_{k=1}^nu_kv_k=(u_1-u_2)V_1+(u_2-u_3)V_2+\ldots+ (u_{n-1}-u_n)V_{n-1}+u_nV_n $$ или окончательно: $$ \textstyle\sum\limits_{k=1}^nu_kv_k=u_nV_n- \sum\limits_{k=1}^{n-1}(u_{k+1}-u_k)V_k.\tag5 $$

Геометрическая интерпретация этого способа дана на рисунке 2. Каждый член вида $u_k v_k$‍‍ соответствует площади прямоугольника (зелёного). Члены вида $(u_{k+1}-u_k)V_k$‍‍ соответствуют площадям красных прямоугольников. Выражение $u_nV_n$‍‍ есть площадь всего прямоугольника. После этого формула (5) становится очевидной.

Рис. 2
Рис. 2

Пример 4. Вычислим сумму $1^2+2^2+\ldots+n^2$‍.‍ Обозначим искомую сумму через $S$‍‍ и запишем её, используя знак $\sum$‍:‍ $$ \textstyle S=\sum\limits_{k=1}^n k^2. $$ Выражение $k^2$‍,‍ стоящее под знаком суммы, представим в виде произведения $k\cdot k$‍‍ и применим к $S$‍‍ преобразование Абеля, положив $u_k=v_k=k$‍.‍ Так как $$ u_{k+1}-u_k=1,\quad V_k=1+2+\ldots+k=\dfrac{k(k+1)}2, $$ то $$ S=\dfrac{n^2(n+1)}2-\sum_{k=1}^{n-1}\dfrac{k(k+1)}2= \dfrac{n^2(n+1)}2-\dfrac12\sum_{k=1}^{n-1}k^2-\dfrac12\sum_{k=1}^{n-1}k. $$ Учитывая равенства $$ \sum_{k=1}^{n-1}k^2=\sum_{k=1}^nk^2-n^2=S-n^2,\quad \sum_{k=1}^{n-1}k=\dfrac{n(n-1)}{2}, $$ получим $$ S=\dfrac{n^2(n+1)}2-\dfrac12S+\dfrac12n^2-\dfrac14n(n-1). $$ Отсюда уже нетрудно найти $S$‍‍‍: $$ S=\dfrac{n(n+1)(2n+1)}6. $$

Пример 5. Вычислим следующую сумму: $\sum\limits_{k=1}^nk\cdot2^k$‍.‍ Положив $u_k=k$‍,$v_k=2^k$‍,‍ имеем $u_{k+1}-u_k=1$‍,$V_k=2^{k+1}-2$‍‍ и, согласно формуле (5), $$ \textstyle\sum\limits_{k=1}^nk\cdot2^k=n(2^{n+1}-2)- \sum\limits_{k=1}^{n-1}{}(2^{k+1}-2). $$ Элементарные вычисления дают $$ \textstyle\sum\limits_{k=1}^nk\cdot2^k=(n-1)2^{n+1}+2. $$

4. Для искушённого читателя, знакомого с понятием интеграла, заметим, что формулы (3) и (5) для конечных сумм являются аналогами известных формул интегрального исчисления.

Так как существуют функции, от которых интегралы (неопределённые) не берутся, то не всегда существует искомая функция $F(x)$‍.

Задачи

  1. Вычислить следующие суммы:
    1. $\sum\limits_{k=1}^{100}\dfrac1{(2k-1)(2k+1)}$‍;
    2. $\sum\limits_{k=1}^n\dfrac1{(3k-1)(3k+2)}$‍;
    3. $\sum\limits_{k=1}^n\dfrac{2k+1}{k^2(k+1)^2}$‍;
    4. $\dfrac1{1\cdot2\cdot3}+\dfrac1{2\cdot3\cdot4}+\dfrac1{3\cdot4\cdot5}+ \ldots+\dfrac1{n(n+1)(n+2)}$‍;
    5. $\sum\limits_{k=1}^n\cos kx$‍;
    6. $\sum\limits_{k=1}^n\cos{\left(k+\dfrac12\right)}x$‍;
    7. $\sin1^\circ\left(\dfrac1{\sin1^\circ\sin2^\circ}+\dfrac1{\sin 2^\circ\sin3^\circ}+\ldots+\dfrac1{\sin89^\circ\sin90^\circ}\right)$‍.
  2. Вычислить суммы:
    1. $\sum\limits_{k=1}^nkq^k$‍;
    2. $\sum\limits_{k=1}^na_kb_k$‍,‍ где $\{a_k\}$‍‍ — арифметическая прогрессия, а $\{b_k\}$‍‍ — геометрическая.
  3. Используя преобразования Абеля, вычислить следующие суммы:
    1. $\sum\limits_{k=1}^nk$‍;
    2. $\sum\limits_{k=1}^nk^4$‍;
    3. $\sum\limits_{k=1}^nk\sin kx$‍;
    4. $\sum\limits_{k=1}^nk\cos kx$‍.

Ответы, указания, решения

    1. $\dfrac{100}{201}$‍;$F(k)=-\dfrac1{2(2k-1)}$‍;
    2. $\dfrac{3n+1}{3(3n+2)}$‍;$F(k)=-\dfrac1{3(3k-1)}$‍;
    3. $\dfrac{n^2+2n}{(n+1)^2}$‍;$F(k)=-\dfrac1{k^2}$‍;
    4. $\dfrac{n^2+3n}{4(n+1)(n+2)}$‍;‍ воспользуемся равенствами $$ \dfrac1{k(k+1)(k+2)}=\dfrac1{k+1}\left(\dfrac1{2k}-\dfrac1{2(k+2)}\right)= \left(\dfrac1{2k}-\dfrac1{2(k+1)}\right)- \left(\dfrac1{2(k+1)}-\dfrac1{2(k+2)}\right), $$ отсюда $$ F(k)=-\left(\dfrac1{2k}-\dfrac1{2(k+1)}\right); $$
    5. $\dfrac{\sin{\left(n+\dfrac12\right)}x}{2\sin\dfrac x2}-\dfrac12$‍,$x\ne2\pi n$‍;‍ воспользуемся равенством $$ \cos kx\sin\dfrac x2=\dfrac12\left[\sin{\left(k+\dfrac12\right)}x- \sin{\left(k-\dfrac12\right)}x\right], $$ отсюда $$ F(k)=\dfrac{\sin{\left(k-\dfrac12\right)}x}{2\sin\dfrac x2}; $$
    6. $\dfrac{\sin nx}{2\sin\dfrac x2}$‍,$x\ne2\pi n$‍;$F(k)=\dfrac{\sin kx}{2\sin\dfrac x2}$‍;
    7. $\ctg1^\circ$‍;$F(k)=-\dfrac{\cos kx}{\sin kx}$‍;‍ используется равенство $$ \dfrac{\cos kx}{\sin kx}-\dfrac{\cos{(k+1)x}}{\sin{(k+1)x}}= \dfrac{\sin{(k+1)}x\cos kx-\sin kx\cos{(k+1)x}}{\sin kx\sin{(k+1)x}}= \dfrac{\sin x}{\sin kx\sin{(k+1)x}}. $$
    1. Как в примере 5, получаем $$ \sum_{k=1}^nkq^k=\dfrac{nq^{n+2}-(n+1)q^{n+1}+q}{(q-1)^2}\quad(q\ne1), $$
    2. Пусть $d$‍‍ — разность арифметической прогрессии, $q$‍‍ — знаменатель геометрической. Воспользовавшись свойствами знака $\sum$‍,‍ напишем: $$ \begin{gathered} \sum_{k=1}^n[a_1+(k-1)d](b_1q^{k-1})= \sum_{k=1}^na_1b_1q^{k-1}+\sum_{k=1}^nb_1d(k-1)q^{k-1}=\\ =a_1b_1\sum_{k=1}^nq^{k-1}+b_1d\sum_{k=1}^n(k-1)q^{k-1}= a_1b_1\dfrac{q^n-1}{q-1}+b_1d\dfrac{(n-1)q^{n-1}-nq^n+q}{(q-1)^2}. \end{gathered} $$ $\Big($‍‍заметим, что $\sum\limits_{k=1}^nq^{k-1}=\sum\limits_{k=0}^{n-1}q^k\Big)$‍.
    1. $\dfrac{n^2(n+1)^2}4$‍;
    2. $\dfrac1{30}n(n+1)(2n+1)(3n^2+3n-1)$‍;
    3. $\dfrac{\sin{(n+1)x}}{4\sin^2\dfrac x2}- \dfrac{(n+1)\cos\dfrac{2n+1}2x}{2\sin\dfrac x2}$‍,$x\ne2\pi k$‍;
    4. $\dfrac{(n+1)\sin\dfrac{2n+1}2x}{2\sin\dfrac x2}- \dfrac{1-\cos{(n+1)x}}{4\sin^2\dfrac x2}$‍,$x\ne2\pi k$‍.

Метаданные Бендукидзе А. Д., Сулаквелидзе А. К. Вычисление сумм // Квант. — 1970. — № 9. — С. 37—40.

Авторы
,
Заглавие
Вычисление сумм
Год
1970
Номер
9
Страницы
37—40
Рубрика
Описание
Бендукидзе А. Д., Сулаквелидзе А. К. Вычисление сумм // Квант. — 1970. — № 9. — С. 37‍—‍40.
Ссылка
https://www.kvant.digital/issues/1970/9/bendukidze_sulakvelidze-vyichislenie_summ-26b17740/
Полный текст
опубликован 14.11.2025