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

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

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

Числовая последовательность $b_1, b_2, b_3, \ldots$ называется геометрической прогрессией, если все её члены отличны от нуля и отношение любого члена к предыдущему постоянно:

$\frac{b_{n+1}}{b_n} = q = \mathrm{const}, \quad n = 1, 2, 3, \ldots$

Число $q$ называется знаменателем прогрессии. При $q > 1$ и $b_1 > 0$ прогрессия возрастает, при $0 < q < 1$ убывает, при $q < 0$ члены знакочередуются, а при $q = 1$ все члены равны между собой.

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

$b_n = b_1 \cdot q^{n-1}.$

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

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

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

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

$b_k^2 = b_{k-1} \cdot b_{k+1}, \quad k \geq 2.$

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

$|b_k| = \sqrt{b_{k-1} \cdot b_{k+1}}.$

Корень здесь всегда определён: произведение соседей неотрицательно при любом знаке $q$, потому что $b_{k-1} \cdot b_{k+1} = b_1^2 \cdot q^{2k-2}$, а чётная степень $q$ не может быть отрицательной.

Доказательство в одну строку. Если $b_n = b_1 \cdot q^{n-1}$, то:

$b_{k-1} \cdot b_{k+1} = \left(b_1 q^{k-2}\right)\left(b_1 q^{k}\right) = b_1^2 q^{2k-2} = \left(b_1 q^{k-1}\right)^2 = b_k^2.$

Обратно: если для всех $k \geq 2$ выполняется $b_k^2 = b_{k-1} \cdot b_{k+1}$, то $b_{k+1}/b_k = b_k/b_{k-1}$ - отношение соседних членов постоянно, значит, последовательность геометрическая.

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

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

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

Ситуация 1: найти неизвестный член, зная соседей. Если даны $b_2 = 6$ и $b_4 = 24$, то $b_3^2 = 6 \cdot 24 = 144$, откуда $|b_3| = 12$. Знак $b_3$ определяется отдельно - по контексту задачи или по знаку $b_2$ и чётности степени.

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

$q = \sqrt[m-k]{\frac{b_m}{b_k}}.$

Это обобщение характеристического свойства: $b_m = b_k \cdot q^{m-k}$.

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

$b_k^2 = b_p \cdot b_s.$

Например, $b_5^2 = b_2 \cdot b_8$ - квадрат среднего по номеру члена равен произведению крайних при симметричных индексах. Именно отсюда берётся формула суммы прогрессии.

Связь с формулой суммы

Характеристическое свойство помогает понять и формулу суммы геометрической прогрессии. Запишем сумму $n$ членов:

$S_n = b_1 + b_2 + \cdots + b_n.$

Умножим обе части на $q$ и вычтем исходную сумму - большинство слагаемых сократится, останутся только крайние:

$q S_n - S_n = b_n \cdot q - b_1 \quad \Longrightarrow \quad S_n = \frac{b_1 (q^n - 1)}{q - 1}, \quad q \neq 1.$

Если $q = 1$, все члены равны $b_1$, и сумма считается напрямую: $S_n = n b_1$. Обратите внимание: сама характеристика прогрессии (постоянство отношения соседей) - то же самое условие, которое делает возможным этот приём «сдвига и вычитания».

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

Если изобразить члены геометрической прогрессии как точки над номерами на графике, при $q > 0$ они лягут на экспоненциальную кривую $y = b_1 \cdot q^{x-1}$. В логарифмическом масштабе по оси $y$ эта кривая становится прямой - потому что $\log b_n = \log b_1 + (n-1)\log q$ линейно зависит от $n$. Это объясняет, почему характеристическое свойство геометрической прогрессии - это в точности арифметическое характеристическое свойство, применённое к логарифмам членов: $\log b_k = (\log b_{k-1} + \log b_{k+1})/2$, что после потенцирования и даёт $b_k = \sqrt{b_{k-1} b_{k+1}}$ (для положительных членов).

При отрицательном $q$ логарифмировать нельзя, но квадратичная форма свойства $b_k^2 = b_{k-1} b_{k+1}$ остаётся верной без изменений - она не требует положительности членов, в отличие от «наивной» записи через корень без модуля.

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

• Забыть про модуль при отрицательном $q$. Формула $b_k = \sqrt{b_{k-1} b_{k+1}}$ без модуля годится только для положительных членов. При знакочередующейся прогрессии верна запись $b_k^2 = b_{k-1} \cdot b_{k+1}$, а знак $b_k$ нужно определять отдельно.
• Путать среднее арифметическое и среднее геометрическое. Среднее арифметическое соседей - это свойство арифметической прогрессии: $a_k = (a_{k-1} + a_{k+1})/2$. Для геометрической прогрессии среднее именно геометрическое, через произведение и корень.
• Применять свойство к крайним членам. Для $b_1$ нет левого соседа, для $b_n$ - правого. Свойство работает только для $k$ от $2$ до $n-1$.
• Использовать формулу суммы при $q = 1$. Выражение $S_n = b_1(q^n-1)/(q-1)$ даёт деление на ноль при $q = 1$; в этом случае сумма считается как $S_n = n b_1$.
• Забыть, что $q$ и члены прогрессии не равны нулю по определению. Если $b_1 = 0$ или $q = 0$, последовательность не является геометрической прогрессией - само отношение $b_{n+1}/b_n$ теряет смысл.

FAQ

Чем отличается характеристическое свойство от формулы $n$-го члена? Формула $b_n = b_1 \cdot q^{n-1}$ выражает член через начальные данные - первый член и знаменатель. Характеристическое свойство $b_k^2 = b_{k-1} \cdot b_{k+1}$ выражает член через соседей - без явного знания $b_1$ и $q$. Оба утверждения эквивалентны, но применяются в разных типах задач.

Как проверить, является ли данная последовательность геометрической прогрессией? Достаточно проверить, что все отношения $b_{k+1}/b_k$ равны одному числу. Либо проверить характеристическое свойство $b_k^2 = b_{k-1} \cdot b_{k+1}$ для каждого внутреннего члена - если оно выполняется для всех, последовательность геометрическая.

Верно ли, что среднее геометрическое всегда положительно, даже если сами члены отрицательны? Да. Среднее геометрическое в характеристическом свойстве определяется как $\sqrt{b_{k-1} \cdot b_{k+1}}$, а это произведение всегда неотрицательно (это квадрат $b_k$), поэтому корень существует и по определению неотрицателен. Знак самого члена $b_k$ при этом может быть любым - его нужно определять отдельно, например по чётности его номера при отрицательном $q$.

Коротко

Характеристическое свойство геометрической прогрессии утверждает, что квадрат каждого внутреннего члена равен произведению его соседей: $b_k^2 = b_{k-1} \cdot b_{k+1}$, то есть модуль члена равен среднему геометрическому соседей. Это свойство эквивалентно самому определению прогрессии и является двусторонним критерием, работающим даже при отрицательном знаменателе. Из него, приёмом «умножить на q и вычесть», выводится формула суммы $S_n = b_1(q^n-1)/(q-1)$. Геометрический смысл прост: члены прогрессии - точки на экспоненте, а свойство соседей - это то же самое среднее арифметическое, только применённое к логарифмам членов.