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

Арифмети́ческая прогре́ссия — числовая последовательность вида

[math]\displaystyle{ a_1,\ a_1+d,\ a_1+2d,\ \ldots,\ a_1+(n-1)d, \ \ldots }[/math],

то есть последовательность чисел (членов прогрессии), в которой каждое число, начиная со второго, получается из предыдущего добавлением к нему постоянного числа [math]\displaystyle{ d }[/math] (шага, или разности прогрессии):

[math]\displaystyle{ a_n=a_{n-1} + d \quad }[/math]

Любой (n — й) член прогрессии может быть вычислен по формуле общего члена:

[math]\displaystyle{ a_n=a_1 + (n-1)d }[/math]

Арифметическая прогрессия является монотонной последовательностью. При [math]\displaystyle{ d\gt 0 }[/math] она является возрастающей, а при [math]\displaystyle{ d\lt 0 }[/math] — убывающей. Если [math]\displaystyle{ d=0 }[/math], то последовательность будет стационарной. Эти утверждения следуют из соотношения [math]\displaystyle{ a_{n+1}-a_n=d }[/math] для членов арифметической прогрессии.

Свойства

Общий член арифметической прогрессии

Член арифметической прогрессии с номером [math]\displaystyle{ n }[/math] может быть найден по формулам

[math]\displaystyle{ a_n=a_1+(n-1)d }[/math]

[math]\displaystyle{ a_n=a_m-(m-n)d }[/math]

где [math]\displaystyle{ a_1 }[/math] — первый член прогрессии, [math]\displaystyle{ d }[/math] — её разность, [math]\displaystyle{ a_m }[/math] — член арифметической прогрессии с номером [math]\displaystyle{ m }[/math].

Доказательство

Пользуясь соотношением [math]\displaystyle{ a_{n+1}=a_n+d }[/math] выписываем последовательно несколько членов прогрессии, а именно: [math]\displaystyle{ a_2=a_1+d }[/math] [math]\displaystyle{ a_3=a_2+d=a_1+d+d=a_1+2d }[/math] [math]\displaystyle{ a_4=a_3+d=a_1+2d+d=a_1+3d }[/math] [math]\displaystyle{ a_5=a_4+d=a_1+3d+d=a_1+4d }[/math] Заметив закономерность, делаем предположение, что [math]\displaystyle{ a_n=a_1+(n-1)d }[/math]. С помощью математической индукции покажем, что предположение верно для всех [math]\displaystyle{ n \in \mathbb N }[/math]: База индукции [math]\displaystyle{ (n=1) }[/math] : [math]\displaystyle{ a_1=a_1+(1-1)d=a_1 }[/math] — утверждение истинно. Переход индукции: Пусть наше утверждение верно при [math]\displaystyle{ n=k }[/math], то есть [math]\displaystyle{ a_k=a_1+(k-1)d }[/math]. Докажем истинность утверждения при [math]\displaystyle{ n=k+1 }[/math]: [math]\displaystyle{ a_{k+1}=a_k+d=a_1+(k-1)d+d=a_1+kd }[/math] Итак, утверждение верно и при [math]\displaystyle{ n=k+1 }[/math]. Это значит, что [math]\displaystyle{ a_n=a_1+(n-1)d }[/math] для всех [math]\displaystyle{ n \in \mathbb N }[/math].

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

Последовательность [math]\displaystyle{ a_1, a_2, a_3, \ldots }[/math] есть арифметическая прогрессия [math]\displaystyle{ \Leftrightarrow }[/math] для любого её элемента выполняется условие [math]\displaystyle{ a_n=\frac{a_{n-1}+a_{n+1}}2, n \geqslant 2 }[/math].

Доказательство

Необходимость: Поскольку [math]\displaystyle{ a_1, a_2, a_3, \ldots }[/math] — арифметическая прогрессия, то для [math]\displaystyle{ n \geqslant 2 }[/math] выполняются соотношения: [math]\displaystyle{ a_n=a_{n-1}+d }[/math] [math]\displaystyle{ a_n=a_{n+1}-d }[/math]. Сложив эти равенства и разделив обе части на 2, получим [math]\displaystyle{ a_n=\frac{a_{n-1}+a_{n+1}}2 }[/math]. Достаточность: Имеем, что для каждого элемента последовательности, начиная со второго, выполняется [math]\displaystyle{ a_n=\frac{a_{n-1}+a_{n+1}}2 }[/math]. Следует показать, что эта последовательность есть арифметическая прогрессия. Преобразуем эту формулу к виду [math]\displaystyle{ a_{n+1}-a_n=a_n-a_{n-1} }[/math]. Поскольку соотношения верны при всех [math]\displaystyle{ n \geqslant 2 }[/math], с помощью математической индукции покажем, что [math]\displaystyle{ a_2-a_1=a_3-a_2=\ldots =a_n-a_{n-1}=a_{n+1}-a_n }[/math]. База индукции [math]\displaystyle{ (n=2) }[/math] : [math]\displaystyle{ a_2-a_1=a_3-a_2 }[/math] — утверждение истинно. Переход индукции: Пусть наше утверждение верно при [math]\displaystyle{ n=k }[/math], то есть [math]\displaystyle{ a_2-a_1=a_3-a_2=\ldots =a_k-a_{k-1}=a_{k+1}-a_k }[/math]. Докажем истинность утверждения при [math]\displaystyle{ n=k+1 }[/math]: [math]\displaystyle{ a_{k+1}-a_{k}=a_{k+2}-a_{k+1} }[/math] Но по предположению индукции следует, что [math]\displaystyle{ a_2-a_1=a_3-a_2=\ldots =a_k-a_{k-1}=a_{k+1}-a_k }[/math]. Получаем, что [math]\displaystyle{ a_2-a_1=a_3-a_2=\ldots =a_k-a_{k-1}=a_{k+1}-a_k=a_{k+2}-a_{k+1} }[/math] Итак, утверждение верно и при [math]\displaystyle{ n=k+1 }[/math]. Это значит, что [math]\displaystyle{ a_n=\frac{a_{n-1}+a_{n+1}}2, n \geqslant 2 \Rightarrow a_2-a_1=a_3-a_2=\ldots =a_n-a_{n-1}=a_{n+1}-a_n }[/math]. Обозначим эти разности через [math]\displaystyle{ d }[/math]. Итак, [math]\displaystyle{ a_2-a_1=a_3-a_2=\ldots =a_n-a_{n-1}=a_{n+1}-a_n=d }[/math], а отсюда имеем [math]\displaystyle{ a_{n+1}=a_n+d }[/math] для [math]\displaystyle{ n \in \mathbb N }[/math]. Поскольку для членов последовательности [math]\displaystyle{ a_1, a_2, a_3, \ldots }[/math] выполняется соотношение [math]\displaystyle{ a_{n+1}=a_n+d }[/math], то это есть арифметическая прогрессия.

Сумма первых [math]\displaystyle{ n }[/math] членов арифметической прогрессии

Сумма первых [math]\displaystyle{ n }[/math] членов арифметической прогрессии [math]\displaystyle{ S_n=\sum_{i=1}^n a_i=a_1+a_2+ \ldots + a_n }[/math] может быть найдена по формулам

[math]\displaystyle{ S_n=\frac{a_1+a_n}2 \cdot n }[/math] , где [math]\displaystyle{ a_1 }[/math] — первый член прогрессии, [math]\displaystyle{ a_n }[/math] — член с номером [math]\displaystyle{ n }[/math], [math]\displaystyle{ n }[/math] — количество суммируемых членов.

[math]\displaystyle{ S_n=\frac{a_1+a_n}2 \cdot (\frac{a_n-a_1}{a_2-a_1}+1) }[/math] — где [math]\displaystyle{ a_1 }[/math] — первый член прогрессии, [math]\displaystyle{ a_2 }[/math] — второй член прогрессии [math]\displaystyle{ , a_n }[/math] — член с номером [math]\displaystyle{ n }[/math].

[math]\displaystyle{ S_n=\frac{2a_1+d(n-1)}2 \cdot n }[/math] , где [math]\displaystyle{ a_1 }[/math] — первый член прогрессии, [math]\displaystyle{ d }[/math] — разность прогрессии, [math]\displaystyle{ n }[/math] — количество суммируемых членов.

Доказательство

Запишем сумму двумя способами: [math]\displaystyle{ S_n=a_1+a_2+a_3+ \ldots +a_{n-2}+a_{n-1}+a_n }[/math] [math]\displaystyle{ S_n=a_n+a_{n-1}+a_{n-2}+ \ldots +a_3+a_2+a_1 }[/math] — та же сумма, только слагаемые идут в обратном порядке. Теперь сложим оба равенства, последовательно складывая в правой части слагаемые, которые стоят на одной вертикали: [math]\displaystyle{ 2S_n=(a_1+a_n)+(a_2+a_{n-1})+(a_3+a_{n-2})+ \ldots +(a_{n-2}+a_3)+(a_{n-1}+a_2)+(a_n+a_1) }[/math] Покажем, что все слагаемые (все скобки) полученной суммы равны между собой. В общем виде каждое слагаемое можно подать в виде [math]\displaystyle{ a_i+a_{n-i+1}, i=1,2,\ldots,n }[/math]. Воспользуемся формулой общего члена арифметической прогрессии: [math]\displaystyle{ a_i+a_{n-i+1}=a_1+(i-1)d+a_1+(n-i+1-1)d=2a_1+(n-1)d, i=1,2,\ldots,n }[/math] Получили, что каждое слагаемое не зависит от [math]\displaystyle{ i }[/math] и равно [math]\displaystyle{ 2a_1+(n-1)d }[/math]. В частности, [math]\displaystyle{ a_1+a_n=2a_1+(n-1)d }[/math]. Поскольку таких слагаемых [math]\displaystyle{ n }[/math], то [math]\displaystyle{ 2S_n=(a_1+a_n)\cdot n \Rightarrow S_n=\frac{a_1+a_n}2 \cdot n }[/math] Третья формула для суммы получается подстановкой [math]\displaystyle{ 2a_1+(n-1)d }[/math] вместо [math]\displaystyle{ a_1+a_n }[/math]. Что и так непосредственно следует из выражения для общего члена. Замечание: Вместо [math]\displaystyle{ a_1+a_n }[/math] в первой формуле для суммы можно взять любое из других слагаемых [math]\displaystyle{ a_i+a_{n-i+1}, i=2,3,\ldots,n }[/math], так как они все равны между собой.

Сумма членов арифметической прогрессии от [math]\displaystyle{ n }[/math]-ого до [math]\displaystyle{ m }[/math]-ого

Сумма членов арифметической прогрессии с номерами от [math]\displaystyle{ n }[/math] до [math]\displaystyle{ m }[/math] [math]\displaystyle{ S_{m, n}=\sum_{i=n}^m a_i=a_n+a_{n+1}+ \ldots + a_m }[/math] может быть найдена по формулам

[math]\displaystyle{ S_{m, n}=\frac{a_m+a_n}2 \cdot (m-n+1) }[/math] , где [math]\displaystyle{ a_m }[/math] — член с номером [math]\displaystyle{ m }[/math], [math]\displaystyle{ a_n }[/math] — член с номером [math]\displaystyle{ n }[/math], [math]\displaystyle{ (m-n+1) }[/math] — количество суммируемых членов.

[math]\displaystyle{ S_{m, n}=\frac{2a_n+d(m-n)}2 \cdot (m-n+1) }[/math] , где [math]\displaystyle{ a_n }[/math] — член с номером [math]\displaystyle{ n }[/math], [math]\displaystyle{ d }[/math] — разность прогрессии, [math]\displaystyle{ (m-n+1) }[/math] — количество суммируемых членов.

Сходимость арифметической прогрессии

Арифметическая прогрессия [math]\displaystyle{ a_1, a_2, a_3, \ldots }[/math] расходится при [math]\displaystyle{ d\ne 0 }[/math] и сходится при [math]\displaystyle{ d=0 }[/math]. Причём

[math]\displaystyle{ \lim_{n\rightarrow\infty} a_n=\left\{ \begin{matrix} +\infty,\ d\gt 0 \\ -\infty,\ d\lt 0 \\ a_1,\ d=0 \end{matrix} \right. }[/math]

Доказательство
Записав выражение для общего члена и исследуя предел [math]\displaystyle{ \lim_{n\rightarrow\infty} (a_1+(n-1)d) }[/math], получаем искомый результат.

Связь между арифметической и геометрической прогрессиями

Пусть [math]\displaystyle{ a_1, a_2, a_3, \ldots }[/math] — арифметическая прогрессия с разностью [math]\displaystyle{ d }[/math] и число [math]\displaystyle{ a\gt 0 }[/math]. Тогда последовательность вида [math]\displaystyle{ a^{a_1}, a^{a_2}, a^{a_3}, \ldots }[/math] есть геометрическая прогрессия со знаменателем [math]\displaystyle{ a^d }[/math].

Доказательство

Проверим характеристическое свойство для образованной геометрической прогрессии: [math]\displaystyle{ \sqrt{a^{a_{n-1}}\cdot a^{a_{n+1}}}= a^{a_n}, n\geqslant 2 }[/math] Воспользуемся выражением для общего члена арифметической прогрессии: [math]\displaystyle{ \sqrt{a^{a_{n-1}}\cdot a^{a_{n+1}}}=\sqrt{a^{a_1+(n-2)d}\cdot a^{a_1+nd}}=\sqrt{a^{2a_1+2(n-1)d}}=\sqrt{(a^{a_1+(n-1)d})^2}=a^{a_1+(n-1)d}=a^{a_n}, n\geqslant 2 }[/math] Итак, поскольку характеристическое свойство выполняется, то [math]\displaystyle{ a^{a_1}, a^{a_2}, a^{a_3}, \ldots }[/math] — геометрическая прогрессия. Её знаменатель можно найти, например, из соотношения [math]\displaystyle{ q=\frac{a^{a_2}}{a^{a_1}}=\frac{a^{a_1+d}}{a^{a_1}}=a^d }[/math].

Следствие: если последовательность положительных чисел образует геометрическую прогрессию, то последовательность их логарифмов образует арифметическую прогрессию.

Арифметические прогрессии высших порядков

Арифметической прогрессией второго порядка называется такая последовательность чисел, что последовательность их разностей сама образует простую арифметическую прогрессию. Примером может служить последовательность квадратов натуральных чисел:

1, 4, 9, 16, 25, 36, …

разности которых образуют простую арифметическую прогрессию с разностью 2:

3, 5, 7, 9, 11, …

Треугольные числа [math]\displaystyle{ 1, 3, 6, 10, 15, \ldots }[/math] также образуют арифметическую прогрессию второго порядка, их разности образуют простую арифметическую прогрессию [math]\displaystyle{ 2, 3, 4, 5, \ldots }[/math]

Тетраэдральные числа [math]\displaystyle{ 1, 4, 10, 20, 35, \ldots }[/math] образуют арифметическую прогрессию третьего порядка, их разности являются треугольными числами.

Аналогично определяются и прогрессии более высоких порядков. В частности, последовательность n-ных степеней образует арифметическую прогрессию n-го порядка.

Если [math]\displaystyle{ \left [ a_{i} \right ]_{1}^{n} }[/math] — арифметическая прогрессия порядка [math]\displaystyle{ m }[/math], то существует многочлен [math]\displaystyle{ P_{m}(i) = c_{m}i^{m}+...+c_{1}i+c_{0} }[/math], такой, что для всех [math]\displaystyle{ i \in \left \{ 1, .... n \right \} }[/math] выполняется равенство [math]\displaystyle{ a_{i}=P_{m}(i) }[/math]

Примеры

• Натуральный ряд [math]\displaystyle{ 1, 2, 3, 4, 5, \ldots }[/math] — это арифметическая прогрессия, в которой первый член [math]\displaystyle{ a_1=1 }[/math], а разность [math]\displaystyle{ d=1 }[/math]. Сумма [math]\displaystyle{ n }[/math] первых членов натурального ряда называется «треугольным числом»:

[math]\displaystyle{ T_n = \sum_{i=1}^n i=1+2+3+\ldots+n=\frac{n(n+1)}2 }[/math]

• [math]\displaystyle{ 1, -1, -3, -5, -7 }[/math] — первые 5 членов арифметической прогрессии, в которой [math]\displaystyle{ a_1=1 }[/math] и [math]\displaystyle{ d=-2 }[/math].
• Если все элементы некоторой последовательности равны между собой и равны некоторому числу [math]\displaystyle{ a }[/math], то это есть арифметическая прогрессия, в которой [math]\displaystyle{ a_1=a }[/math] и [math]\displaystyle{ d=0 }[/math]. В частности, [math]\displaystyle{ \pi, \pi, \pi, \ldots }[/math] есть арифметическая прогрессия с разностью [math]\displaystyle{ d=0 }[/math].

Формула для разности

Если известны два члена арифметической прогрессии, а также их номера в ней, то можно найти разность как

[math]\displaystyle{ \mathit{d=\frac{a_m-a_n}{m-n}} }[/math].

Сумма чисел от 1 до 100

Согласно легенде, школьный учитель математики юного Гаусса, чтобы занять детей на долгое время, предложил им сосчитать сумму чисел от 1 до 100. Гаусс заметил, что попарные суммы с противоположных концов одинаковы: 1+100=101, 2+99=101 и т. д., и мгновенно получил результат: 5050. Действительно, легко видеть, что решение сводится к формуле

[math]\displaystyle{ \frac{n(n+1)}2 }[/math]

то есть к формуле суммы первых [math]\displaystyle{ n }[/math] чисел натурального ряда.

См. также

• Геометрическая прогрессия
• Арифметико-геометрическая прогрессия

Литература

• Бронштейн И. Н., Семендяев К. А. Справочник по математике для инженеров и учащихся втузов. — М.: Наука, 1986. — 544 с.

Ссылки

• Арифметическая прогрессия // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890. — Т. II. — С. 98.