За неимением времени я не доказывал формулу для квадрата суммы многих слагаемых
![]() | (1) |
Для тех, кому интересно, могу доказать.
Докажем методом мат.индукции. При
, как известно,

По формуле (1) получается

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

согласно формуле (2)

объединим квадраты

отсоединим от последней суммы последнее слагаемое и заменим переменную суммирования

объединим суммы посередине, последнее слагаемое перепишем в виде двойной суммы из одного слагаемого (потом пригодится)

суммы по соседствующим диапазонам чисел слипаются, и получается

что совпадает с правой частью (3).
Шаг индукции сделан, формула доказана.



