§ 6. СУММИРОВАНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

   Пусть даны числа а1, а2, ..., аn. Как найти сумму
Sn = a1 + a2 +...+ an?
   Эта задача решена нами для случая арифметической и геометрической прогрессии. В общем же случае далеко не всегда удается найти формулу Sn для любого n и даже в тех случаях, когда это можно сделать, для ее нахождения требуются большие навыки в изобретении различных приемов.
   Остановимся на некоторых задачах и методах их решений.
  1. Сведение к известным суммам. Под "известными" суммами мы будем понимать суммы прогрессий и суммы равных степеней натуральных чисел Sn(p) = 1p + 2p + 3p + ... + np для 1) р = 2 и 2) р = 3. Вычислим их.
       Пример 1. Найти значения Sn(2) и Sn(3).
       Решение. 1. Положимте тождестве (k +1)3 = k3 + 3 k2 + З k + 1 последовательно k = 0, 1, 2, .... n. Имеем:
    (0 + 1)3 = 13,
    (1 + 1)3= 13 + 3·12 + 3·1 + 1,
    (2 + 1)3 = 23 + 3·22 + 3·2 + 1,

    (n + 1)3 = n3 + 3·n3 + 3·n + l.
    Складывая левые и правые части всех этих равенств, получаем
    (n + l)3 = 3 Sn(2) + 3 Sn(1) + l,
    где
    сумма членов арифметической прогрессии. Поэтому
    2. Положим в тождестве ( k + 1 )4 = k4 + 4 k3 + 6 k2 + 4 k + 1 последовательно k = 0, 1, 2, ..., n. Имеем:
    (0 + 1)4 = 14,
    (1 + 1)4 = 14 + 4 13 + 6 12 + 4 1 + 1,
    (2 + 1)4 = 24 + 4 23 + 6 22 + 4 2 + 1,

    ( n + 1 )4 = n4 + 4 n3 + 6 n2 + 4 n + 1,
    Складывая левые и правые части всех этих равенств, получаем
    откуда
    Так последовательно можно найти значения Sn(p) для любого натурального р.
       Пример 2. Дана последовательность чисел а0, al, ..., аn такая, что ak - ak - 1 = k (k = 1, 2, ..., n); а0 = 0. Найти сумму а0 + а1 + ... + аn.
       Решение. Прежде всего найдем формулу для общего члена этой последовательности. Обозначая Sk = а0 + а1 + а2 + ... + аk, запишем эту сумму одну под другой со сдвигом на один член:
    Вычитая из верхнего равенства нижнее, получим
    Итак,
    Теперь легко получаем Sn:
       Пример 3. Пусть al, а2, ..., аn - арифметическая, а bl, b2, ..., bn геометрическая прогрессия и q ≠ 1. Найти сумму произведений al·bl + а2·b2 + … + аn·bn.
       Решение. Обозначая Sn = al·bl + а2·b2 + … + аn·bn, находим Sn q, где q знаменатель геометрической прогрессии:
    Sn q = al·bl q + а2·b2 q + … + аn·bn q = al·b2 + а2·b3 + … + аn - 1·bn + аn·bn q.
    Записывая Sn и Snq одно под другим со сдвигом на один член:
    и вычитая из верхнего равенства нижнее, получаем
    где d - разность арифметической прогрессии a1, а2, ..., an.
       Пример 4. Дана последовательность a1 = 1, а2 = 11, ..., . Найти сумму
       Решение. Найдем формулу общего члена данной последовательности в явном виде. Очевидно, что
    Тогда
  2. Применение метода математической индукции. Метод математической индукции применим в том случае, когда нам удалось угадать формулу, выражающую Sn в зависимости от n и нужно доказать справедливость этой формулы.
       Пример 5. Доказать, что
                            (23)
       Решение. Для n = 1 и n = 2 формула (23) справедлива, так как
    и .
    Допустим теперь, что равенство (23) справедливо для n - 1, докажем его для n.
       Согласно нашему допущению
    Тогда
  3. Представление членов последовательности в виде алгебраической суммы отдельных слагаемых. Такое представление при суммировании приводит иногда к уничтожению почти всех членов последовательности. Проиллюстрируем этот метод на следующих примерах.
       Пример 6. Найти сумму Sn= 1·1! + 2·2! + ... + n·n !
       Решение. Преобразуем каждый член данной суммы по формуле
    k·k ! = [(k + 1) - 1]·k ! = (k + 1) ! - k !.
    Тогда
    Sn = (2! - 1!) + (3! - 2!) + ...+ [(n + 1)! - n !] = (n + 1)! - 1.
       Пример 7. Найти сумму
       Решение. Каждое слагаемое
    представим в виде алгебраической суммы трех дробей:
                            (24)
    где коэффициенты А, В и С нужно подобрать так, чтобы равенство (24) было справедливым для всех натуральных k. С этой целью приведем правую часть равенства (24) к общему знаменателю. Получаем
    Из равенства этих дробей вытекает равенство их числителей, т. е.
    1 = k2 (A + B + C) + k (3 A + 2 B + C) + 2 A.                        (25)
    Для того чтобы соотношение (25) имело место для всех k, достаточно, чтобы
    Решая эту систему, находим: А = ½; В = - 1; С = ½.
       Подставляя полученные значения А, В и С в равенство (24), получаем тождество
                            (26)
    справедливое для любого натурального k. Полагая в тождестве (26) k = 1,2, …, n, находим
    Теперь нетрудно заметить, что все слагаемые записанной суммы, кроме трех, взаимно уничтожаются, т. е.