imported>Vladimirmusinov5 в 18:32, 21 мая 2025

2025-05-21T18:32:15Z

Новая страница

{{Значения|Прогрессия}}
'''Геометри́ческая прогре́ссия''' (иногда также ''кра́тная прогрессия'') — [[последовательность]] чисел <math>b_1</math>, <math>b_2</math>, <math>b_3</math>, <math>\ldots</math> ('''члены''' прогрессии), в которой первый член отличен от нуля, а каждый из последующих членов, начиная со второго, получается из предыдущего умножением на ненулевое число <math>q</math> ('''знаменатель''' прогрессии, или '''коэффициент'''). Выражаясь математически: <math>b_1 \neq 0, q \neq 0; b_{n+1} = b_n \cdot q, n \in \mathbb N, n \geqslant 2</math><ref>[http://mathematics.ru/courses/function/content/chapter1/section1/paragraph4/theory.html Геометрическая прогрессия] {{Wayback|url=http://mathematics.ru/courses/function/content/chapter1/section1/paragraph4/theory.html |date=20111012204249 }} на mathematics.ru</ref>.

== Описание ==
Любой член геометрической прогрессии может быть вычислен по формуле
: <math>b_n = b_1 q^{n-1}.</math>

Если каждый член геометрической прогрессии больше предыдущего, то прогрессия называется ''возрастающей''; если меньше предыдущего, то ''убывающей''<ref name=":0">{{Публикация|Книга|заглавие=Экзаменационные вопросы и ответы. Алгебра и начала анализа. 9 и 11 выпускные классы: учебное пособие|год=2004|ref=Якушева|язык=|вид=книга|часть=Геометрическая прогрессия и её свойства|автор=Е. В. Якушева, А. В. Попов, О. Ю. Черкасов, А. Г. Якушев|место=М.|издательство=АСТ-ПРЕСС ШКОЛА|страницы=48|страниц=416|тираж=8000|ббк=22.12я72|удк=51|isbn=5-94776-013-4}}</ref>.

Геометрическая прогрессия ''возрастает'', если выполняется один из наборов условий:
: <math>b_1 > 0\quad</math> и <math>\quad q > 1</math>
или
: <math>b_1 < 0 \quad</math> и <math>\quad 0< q <1 </math>.

Геометрическая прогрессия ''убывает'', если выполняется один из наборов условий:
: <math>b_1 < 0\quad</math> и <math>\quad q > 1</math>
или
: <math>b_1 > 0 \quad</math> и <math>\quad 0< q <1 </math>.
{{Доказательство|Запишем разность между <math>\left(n+1\right)</math>-м и <math>n</math>-м членами геометрической прогрессии по формуле общего члена:

: <math>b_{n+1} - b_n = b_1 \cdot q^{n-1}\cdot \left(q-1\right).</math>

Для возрастающей прогрессии эта разность должна быть положительной независимо от номера <math>n</math>, а для убывающей — отрицательной. Условия, выписанные в доказываемом утверждении, как раз и гарантируют, что разность членов <math>b_{n+1}</math> и <math>b_{n}</math> будут иметь определённый знак.}}

Геометрическая прогрессия называется ''бесконечно убывающей''<ref name=":0" />, если знаменатель прогрессии по абсолютной величине меньше единицы.

При <math>q < 0</math> — ''знакочередующейся''<ref>{{Из БСЭ|издание=3-е|заглавие=Геометрическая прогрессия}}</ref>, при <math>q=1</math> — ''стационарной'' (постоянной).

Своё название прогрессия получила по своему '''характеристическому свойству''':
: <math> |b_{n}| = \sqrt{ b_{n-1} b_{n+1} },</math>
то есть [[Абсолютная величина|модуль]] любого члена геометрической прогрессии, кроме первого, равен [[Среднее геометрическое|среднему геометрическому (среднему пропорциональному)]] двух рядом с ним стоящих членов<ref>Если геометрическая прогрессия является конечной последовательностью, то её последний член таким свойством не обладает.</ref>.

Однако это не только свойство, но и '''признак геометрической прогрессии''', формулировка которого звучит следующим образом:
{{Теорема|Последовательность положительных чисел тогда и только тогда является геометрической прогрессией, когда каждый её член, начиная со второго, есть среднее геометрическое предшествующего и последующего членов.}}Данный признак можно расширить на другие случаи. Если её члены отрицательны, получим <math> b_{n} = -\sqrt{ b_{n-1} \cdot b_{n+1} }</math>, где <math> n\geqslant 2</math>.

Если знаки членов прогрессии чередуются, получим <math> b_{n} = \left(-1\right)^{n+j}\sqrt{ b_{n-1} \cdot b_{n+1} }</math>, где <math> j=0</math> либо <math> j=1</math> и <math> n\geqslant 2</math>.

==== Графическая интерпретация ====
Если на координатной плоскости нанести точки с координатами <math>\left ( n;\, b_n \right )</math>, где <math>n</math> — номер (натуральное число), а <math>b_n</math> — <math>n</math>-й член некоторой геометрической прогрессии, у которой <math>q>0</math>, то все точки будут принадлежать графику функции:

<center><math>y=b_1\cdot q^{x-1} = \frac{b_1}{q}\cdot q^x,</math></center> где <math>q</math> — это знаменатель геометрической прогрессии, а <math>b_1</math> — её первый член<ref name=":0" />.

Это означает, что справедлива теорема:{{Теорема|Для того чтобы последовательность <math>\left\{b_n\right\}</math> являлась геометрической прогрессией при <math>q>0</math>, необходимо и достаточно, чтобы <math>b_n</math> являлась показательной функцией (от <math>n</math>), заданной на множестве натуральных чисел. <ref name=":0" />}}

== Примеры ==
[[Файл:Square (shape) in square.svg|thumb|120px|Получение новых квадратов путём соединения середин сторон предыдущих квадратов]]

* Последовательность площадей [[квадрат]]ов, где каждый следующий квадрат получается соединением середин сторон предыдущего — бесконечная геометрическая прогрессия со знаменателем 1/2. Площади получающихся на каждом шаге треугольников также образуют бесконечную геометрическую прогрессию со знаменателем 1/2, сумма которой равна площади начального квадрата<ref>{{книга |автор=Роу С. |заглавие=Геометрические упражнения с куском бумаги |издательство=Mathesis |город=Одесса |издание=2-е изд |год=1923 |ссылка=http://www.mathesis.ru/book/row/ |archivedate=2017-05-19 |archiveurl=https://web.archive.org/web/20170519105311/http://www.mathesis.ru/book/row/ }}</ref>{{rp|8—9}}.
* Геометрической является последовательность количества зёрен на клетках в [[Задача о зёрнах на шахматной доске|задаче о зёрнах на шахматной доске]].
* {{nums|2|4|8|16|32|64|128|256|512|1024|2048|4096|8192|link=nrl}} — геометрическая прогрессия со знаменателем 2 из тринадцати членов.
* 50; 25; 12,5; 6,25; 3,125; … — бесконечно убывающая геометрическая прогрессия со знаменателем 1/2.
* 4; 6; 9 — геометрическая прогрессия из трёх элементов со знаменателем 3/2.
* <math>\pi</math>, <math>\pi</math>, <math>\pi</math>, <math>\pi</math> — стационарная геометрическая прогрессия со знаменателем 1 (и стационарная [[арифметическая прогрессия]] с разностью 0).
* 3; −6; 12; −24; 48; … — знакочередующаяся геометрическая прогрессия со знаменателем −2.
* 1; −1; 1; −1; 1; … — знакочередующаяся геометрическая прогрессия со знаменателем −1.

== Свойства ==

=== Свойства знаменателя геометрической прогрессии ===
Знаменатель геометрической прогрессии можно найти по формулам:
*:: <math> q = \dfrac{ b_{n+1} }{ b_n }</math>
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = По определению геометрической прогрессии.
}}
*:: <math> q = \sqrt[n-k]{\dfrac{ b_{n} }{ b_k }}, \text{где } k<n;\; \forall n, \forall k \in \mathbb N. </math>

=== Свойства членов геометрической прогрессии ===
* Рекуррентное соотношение для геометрической прогрессии:
:: <math> b_{n} = b_{n-1} \cdot q</math>
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = По определению геометрической прогрессии.
}}
* Формула общего (<math>n</math>-го) члена:
:: <math>b_n = b_1 \cdot q^{n - 1}.</math>
* Обобщённая формула общего члена:
:: <math>b_n = b_k \cdot q^{n - k}, \text{где } k<n;\; \forall n, \forall k \in \mathbb N.</math>
* <math>b_{n}^2 = b_{n-i} b_{n+i}</math>, если <math>1 .
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = <math> b_n^2 = b_n b_n = b_1 q^{n - 1} b_1 q^{n - 1} = b_1 q^{n - 1 - i} b_1 q^{n - 1 + i} = b_{n - i} b_{n + i} .</math>
}}

* [[Логарифм]]ы членов геометрической прогрессии (если определены) образуют [[арифметическая прогрессия|арифметическую прогрессию]].
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = <math>\log(b_n) = \log(b_1 q^{n-1}) = \log(b_1) + (n - 1) \cdot \log(q)</math>
Формула общего члена арифметической прогрессии:
<math>a_n = a_1 + (n - 1) \cdot d</math>. 
В нашем случае 
<math>a_1 = \log( b_1 )</math>, 
<math>d = \log( q )</math>.
}}
* <math>b_{n}^2 = b_{n-i} b_{n+i}</math>, если <math>1 .
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = <math> b_n^2 = b_n b_n = b_1 q^{n - 1} b_1 q^{n - 1} = b_1 q^{n - 1 - i} b_1 q^{n - 1 + i} = b_{n - i} b_{n + i} .</math>
}}{{Теорема|Пусть <math>a_{k}, a_{l}, a_{m}</math> — соответственно <math>k</math>-й, <math>l</math>-й, <math>m</math>-й члены геометрической прогрессии, где <math>k, \,l, \,m \in \mathbb N</math>. Тогда для всякой такой тройки выполняется комплементарное свойство геометрической прогрессии, называемое '''''тождеством геометрической прогрессии''''': <center><math>b_k^{l-m} \cdot b_l^{m-k} \cdot b_m^{k-l} = 1.</math></center>}}
* Произведение первых <math>n</math> членов геометрической прогрессии можно рассчитать по формуле
*: <math>P_{n} = \left( b_1 \cdot b_n \right)^\frac{n}{2} .</math>
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = <math> P_n = \prod_{i=1}^n b_i = \prod_{i=1}^n b_1 q^{i-1} = b_1^n \prod_{i=1}^n q^{i-1} = b_1^{ \frac{n}{2} } b_1^{ \frac{n}{2} } \prod_{i=1}^n q^{i-1}.</math>
Раскроем произведение <math>\prod_{i=1}^n q^{i-1}</math>:
<math>\prod_{i=1}^n q^{i-1} = q^0 \cdot q^1 \cdot q^2 \cdot \ldots \cdot q^{n-1} = q^{ 0 + 1 + 2 + \ldots + (n-1) } . </math>
Выражение <math>0 + 1 + 2 + \ldots + (n-1)</math> представляет собой [[Арифметическая прогрессия|арифметическую прогрессию]] с <math>a_1 = 0</math> и шагом 1. Сумма первых n членов прогрессии равна <math>S_n = n \cdot \frac{a_1 + a_n}{2} = n \cdot \frac{0 + (n-1)}{2}.</math>
Откуда
<math>P_n = b_1^{ \frac{n}{2} } b_1^{ \frac{n}{2} } \prod_{i=1}^n q^{i-1} = b_1^{ \frac{n}{2} } b_1^{ \frac{n}{2} } q^{ \frac{ n(0 + (n - 1)) }{2} } = \left( b_1 b_1 q^{n-1} \right)^{ \frac{n}{2} } = \left( b_1 b_n \right)^{ \frac{n}{2} } .</math>
}}
* Произведение членов геометрической прогрессии начиная с ''k''-го члена, и заканчивая ''n''-м членом, можно рассчитать по формуле
*: <math>P_{k,n} = \dfrac{ P_{n} }{ P_{k-1} } .</math>
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = <math> P_{k,n} = \prod_{i=k}^n b_i = \frac{ \prod_{i=1}^n b_i }{ \prod_{j=1}^{k-1} b_j } = \frac{P_n}{ P_{k-1} } .</math>
}}
* Сумма <math>n</math> первых членов геометрической прогрессии
*: <math>S_n = \begin{cases}
\sum\limits_{i=1}^n b_i = \dfrac{ b_1 - b_1 q^{n} }{1-q}=\dfrac{ b_1 \left( 1 - q^{n} \right) }{ 1-q }, & \mbox{if } q \ne 1 \\
\\
n b_1, & \mbox{if } q = 1
\end{cases}</math>
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание =
* Доказательство через сумму:
*: <math>S_n = \sum_{i=1}^n b_1 q^{i-1} = b_1 + \sum_{i=2}^n b_1 q^{i-1} = b_1 + q \sum_{i=2}^n b_1 q^{i-2} = b_1 + q \sum_{i=1}^{n-1} b_1 q^{i-1} = b_1 + q \sum_{i=1}^n b_1 q^{i-1} - b_1 q^n .</math>
*: То есть <math>\sum_{i=1}^n b_1 q^{i-1} = b_1 + q \sum_{i=1}^n b_1 q^{i-1} - b_1 q^n </math> или
*: <math> \left( 1 - q \right) \sum_{i=1}^n b_1 q^{i-1} = b_1 - b_1 q^n .</math>
*: Откуда <math> \sum_{i=1}^n b_1 q^{i-1} = \frac{ b_1 - b_1 q^n }{1 - q} = b_1 \frac{1 - q^n}{1 - q} .</math>
* Доказательство [[Математическая индукция|индукцией]] по <math>n</math>.
*: Пусть <math> S_n = b_1 \frac{1 - q^n}{1 - q}.</math>
*: При <math>n = 1</math> имеем: <math> S_1 = \sum_{i=1}^1 b_i = b_1 = b_1 \frac{1 - q^1}{1 - q} .</math>
*: При <math>n \rightarrow n + 1</math> имеем: <math> S_{n+1} = \sum_{i=1}^{n+1} b_i = \sum_{i=1}^n b_i + b_{n+1} = b_1 \frac{1 - q^n}{1-q} + b_1 q^n = b_1 \left(\frac{1 - q^n}{1-q} + q^n\right) = b_1 \left( \frac{1 - q^n + q^n - q^{n+1}}{1-q} \right) = b_1 \frac{1 - q^{n+1}}{1-q}.</math>
}}
* Суммой бесконечно убывающей геометрической прогрессии называется число, к которому сумма <math>n </math> первых членов бесконечно убывающей геометрической прогрессии стремится и неограниченно приближается с ростом <math>n </math>. Сумма всех членов убывающей прогрессии:
:: <math> \left| q \right| < 1 </math>, то <math> b_n \to 0 </math> при <math>n \to +\infty</math>, и
:: <math>S_n \to \frac{ b_1 }{ 1-q } </math> при <math>n \to +\infty</math>.
{{Скрытый
| Заголовок = Доказательство
| Фон_заголовка = #F0F0F0
| Рамка =
| Содержание = <math> \lim_{ n \to \infty } S_n = \lim_{ n \to \infty } \frac{ b_1 \left( 1-q^n \right) }{1-q} = \lim_{ n \to \infty } \left( \frac{ b_1 }{ 1-q } - b_1 \frac{ q^n }{1-q} \right) = \frac{ b_1 }{1-q} - b_1 \lim_{ n \to \infty } \frac{ q^n }{1-q}.</math> Если <math> \left| q \right| < 1 , </math> то <math> q^n \to 0 </math> при <math> n \to \infty . </math> Поэтому <math> \lim_{ n \to \infty } \frac{ q^n }{1-q} = 0 .</math> Следовательно <math> \lim_{ n \to \infty } S_n = \frac{ b_1 }{ 1-q } . </math>
}}

=== Свойства суммы геометрической прогрессии ===
* <math>b_{n+1} = S_{n+1} - S_n </math>
* <math>S_n = \sigma_n \cdot b_1b_n </math>

где <math>\sigma_n </math> — сумма обратных величин, то есть <math>\sigma_n = \dfrac{1}{b_1}+ \dfrac{1}{b_2}+ \cdots + \dfrac{1}{b_{n-1}}+ \dfrac{1}{b_{n}} </math>.

=== Свойства произведения геометрической прогрессии ===
Произведением первых <math>n</math> членов геометрической прогрессии <math>\left\{b_n\right\}</math> называется произведение от <math>b_1</math> до <math>b_n</math>, то есть выражение вида <math>\prod\limits_{i = 1}^n b_i = b_1 \cdot b_2 \cdot b_3 \cdot \ldots \cdot b_{n-2} \cdot b_{n-1} \cdot b_n.</math>
Обозначение: <math>P_n</math>.

* <math>P_{n}={b}_{1}^{n}\cdot{q}^{\frac{n\left(n-1\right)}{2}}</math>
* <math>b_{n+1} = \dfrac{P_{n+1}}{P_n} </math>
* <math>P_{2n}=P_{n}\cdot \sqrt[3]{P_{3n}}</math>
* <math>\sqrt[k]{P_{k}^{l-m}} \cdot \sqrt[l]{P_{l}^{m-k}} \cdot \sqrt[m]{P_{m}^{k-l}} = 1</math>

== См. также ==
* [[Арифметическая прогрессия]]
* [[Арифметико-геометрическая прогрессия]]
* [[Числа Фибоначчи]]
* [[Показательная функция]]
* [[Сумма ряда]]

== Примечания ==
{{примечания}}

{{ВС}}

[[Категория:Арифметика]]
[[Категория:Ряды и последовательности]]
[[Категория:Геометрическая прогрессия]]

Геометрическая прогрессия - История изменений

imported>Vladimirmusinov5 в 18:32, 21 мая 2025