За неимением времени я не доказывал формулу для квадрата суммы многих слагаемых
| (1) |
Для тех, кому интересно, могу доказать.
Докажем методом мат.индукции. При , как известно,
По формуле (1) получается
т.е. формула (1) для выполняется.
Теперь выполним шаг индукции. Пусть для формула (1) считается доказанной:
| (2) |
Докажем её при , т.е. что
| (3) |
Начнём преобразовывать левую часть (3):
согласно формуле (2)
объединим квадраты
отсоединим от последней суммы последнее слагаемое и заменим переменную суммирования
объединим суммы посередине, последнее слагаемое перепишем в виде двойной суммы из одного слагаемого (потом пригодится)
суммы по соседствующим диапазонам чисел слипаются, и получается
что совпадает с правой частью (3).
Шаг индукции сделан, формула доказана.