8. Доказательство равенства формул (строгое)

Ранее мы показали, что вторая формула получается из первой подстановкой. Теперь докажем, что обе формулы эквивалентны.

Дано: an=a1+(n1)d

Требуется доказать: a1+an2n=2a1+d(n1)2n

Доказательство:
Левая часть: a1+an2n=a1+[a1+(n1)d]2n=2a1+(n1)d2n

Правая часть: 2a1+d(n1)2n — то же самое.

Таким образом, левая и правая части тождественно равны.