Характеристическое свойство арифметической прогрессии

Арифметическая прогрессия - одна из первых числовых последовательностей, с которой школьник встречается в алгебре. За кажущейся простотой («каждый следующий член отличается от предыдущего на одно и то же число») скрывается элегантное характеристическое свойство: любой внутренний член прогрессии в точности равен среднему арифметическому своих соседей. Именно это свойство чаще всего появляется в задачах ОГЭ и ЕГЭ - и именно из него вытекают все формулы суммы. Переключайте ползунки калькулятора ниже, чтобы убедиться в этом на любом примере, а потом разберём, почему это работает.

Что такое арифметическая прогрессия

Числовая последовательность $a_1, a_2, a_3, \ldots$ называется арифметической прогрессией, если разность любого члена и предыдущего постоянна:

$a_{n+1} - a_n = d = \mathrm{const}, \quad n = 1, 2, 3, \ldots$

Число $d$ называется разностью прогрессии. При $d > 0$ прогрессия возрастающая, при $d < 0$ - убывающая, при $d = 0$ - все члены равны между собой (постоянная последовательность).

Формула $n$-го члена получается из определения прямым прибавлением разности:

$a_n = a_1 + (n-1)\,d.$

Это линейная функция от $n$: если отложить члены прогрессии по оси $y$, а их номера по оси $x$, точки лягут на прямую линию. Именно эта «прямолинейность» объясняет все свойства прогрессии - включая характеристическое.

Рассчитать для своей задачи

Характеристическое свойство: формулировка и доказательство

Теорема (характеристическое свойство). Последовательность $a_1, a_2, \ldots, a_n, \ldots$ является арифметической прогрессией тогда и только тогда, когда для каждого внутреннего члена выполняется:

$a_k = \frac{a_{k-1} + a_{k+1}}{2}, \quad k \geq 2.$

Иными словами, каждый внутренний член - это среднее арифметическое своих левого и правого соседей.

Доказательство в одну строку. Если $a_n = a_1 + (n-1)d$, то:

$\frac{a_{k-1} + a_{k+1}}{2} = \frac{[a_1 + (k-2)d] + [a_1 + k\,d]}{2} = \frac{2a_1 + (2k-2)d}{2} = a_1 + (k-1)d = a_k.$

Обратно: если для всех $k \geq 2$ выполняется $a_k = (a_{k-1} + a_{k+1})/2$, то $a_{k+1} - a_k = a_k - a_{k-1}$ - разность постоянна, значит, последовательность арифметическая.

Рассчитать для своей задачи

Как применять свойство в задачах

Характеристическое свойство полезно в двух стандартных ситуациях.

Ситуация 1: найти неизвестный член, зная соседей. Если даны $a_3 = 7$ и $a_5 = 13$, то $a_4 = (7 + 13)/2 = 10$ - без знания $a_1$ и $d$.

Ситуация 2: восстановить прогрессию по двум членам. Если известны $a_k$ и $a_m$ (где $m > k$), то разность:

$d = \frac{a_m - a_k}{m - k}.$

Это частный случай характеристического свойства: $a_m = a_k + (m-k)d$.

Обобщение свойства: для любых двух индексов $p$ и $q$, симметричных относительно $k$ (то есть $p + q = 2k$), выполняется:

$a_k = \frac{a_p + a_q}{2}.$

Например, $a_5 = (a_2 + a_8)/2$ - средний по смыслу член равен среднему крайних при симметричных номерах. Именно отсюда берётся формула суммы.

Связь со средним арифметическим первого и последнего членов

Характеристическое свойство немедленно объясняет формулу суммы арифметической прогрессии. Сложим $n$ членов:

$S_n = a_1 + a_2 + \cdots + a_n.$

Запишем ту же сумму в обратном порядке и сложим две строки попарно: каждая пара $(a_k + a_{n+1-k})$ равна $(a_1 + a_n)$ (по обобщённому свойству, так как $k + (n+1-k) = n+1$). Получаем $2S_n = n(a_1 + a_n)$, откуда:

$S_n = \frac{n(a_1 + a_n)}{2} = \frac{n(2a_1 + (n-1)d)}{2}.$

Средний член при нечётном $n$ - буквальное среднее: $a_{(n+1)/2} = (a_1 + a_n)/2 = S_n/n$. При чётном $n$ среднего члена нет, но среднее двух «центральных» членов снова равно $(a_1 + a_n)/2$.

Геометрический смысл: точки на прямой

Если изобразить члены арифметической прогрессии как точки на числовой прямой, то они делят отрезок $[a_1; a_n]$ на $(n-1)$ равных частей. Характеристическое свойство - это «срединная теорема» для равноотстоящих точек: средняя из трёх лежит ровно посередине между крайними.

На графике «номер - значение» (как в калькуляторе выше) точки лежат на прямой $y = a_1 + (n-1)d$. Поэтому $a_k$ = значение прямой в точке $x = k$, а среднее соседей = значение прямой в точке $x = k$ (прямая линейна). Любая линейная функция обладает характеристическим свойством - и арифметическая прогрессия является линейной функцией на натуральных числах.

Частые ошибки

• Применять свойство к крайним членам. Для $a_1$ нет левого соседа, для $a_n$ - правого. Свойство работает только для $k$ от $2$ до $n-1$.
• Путать среднее арифметическое и среднее геометрическое. Среднее геометрическое соседей - это свойство геометрической, а не арифметической прогрессии: $b_k = \sqrt{b_{k-1} \cdot b_{k+1}}$.
• Неверно восстанавливать $d$ по двум членам. Если $a_3 = 5$ и $a_7 = 17$, то $d = (17-5)/(7-3) = 3$, а не $(17-5)/2$. Делить нужно на разность индексов, а не просто пополам.
• Считать, что $a_k = (a_{k-1} + a_{k+1})/2$ выполняется при $k=1$. В ЕГЭ-задачах иногда задают $a_0$ - проверяйте, с какого индекса начинается прогрессия.
• Игнорировать знак $d$. При отрицательной разности прогрессия убывает, и «визуальное ощущение» среднего может обмануть - всегда проверяйте формулой.

FAQ

Чем отличается характеристическое свойство от формулы $n$-го члена? Формула $a_n = a_1 + (n-1)d$ выражает член через начальные данные. Характеристическое свойство $a_k = (a_{k-1} + a_{k+1})/2$ выражает член через соседей - без знания $a_1$ и $d$. Оба утверждения эквивалентны, но для разных типов задач удобнее разное.

Как проверить, является ли данная последовательность арифметической прогрессией? Достаточно проверить, что все разности $a_{k+1} - a_k$ равны одному числу. Либо проверить характеристическое свойство для каждого внутреннего члена - если оно выполняется для всех, последовательность арифметическая.

Верно ли обобщение: $a_k = (a_{k-m} + a_{k+m})/2$? Да, это прямое следствие линейности. Для любого натурального $m$ такого, что оба соседа существуют: $a_{k-m} = a_k - md$, $a_{k+m} = a_k + md$, их среднее равно $a_k$. Это используется при решении задач с симметричными парами членов.

Коротко

Характеристическое свойство арифметической прогрессии утверждает, что каждый внутренний член равен среднему арифметическому своих соседей: $a_k = (a_{k-1} + a_{k+1})/2$. Это свойство эквивалентно самому определению прогрессии и является двусторонним критерием. Из него напрямую следует формула суммы $S_n = n(a_1 + a_n)/2$: все пары «симметричных» членов дают одну и ту же сумму $a_1 + a_n$. Зная это, не нужно запоминать формулы суммы отдельно - достаточно понять геометрический смысл: члены прогрессии - точки на прямой, а на прямой среднее всегда попадает в середину.