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

Последовательность чисел

Арифметическая прогрессия или арифметическая последовательность ( AP ) — это последовательность чисел , в которой разница между любым последующим членом и предыдущим членом остается постоянной на протяжении всей последовательности. Постоянная разность называется общей разностью этой арифметической прогрессии. Например, последовательность 5, 7, 9, 11, 13, 15, . . . представляет собой арифметическую прогрессию с общей разностью 2.

Если начальный член арифметической прогрессии равен , а общая разность последовательных членов равна , то -й член последовательности ( ) определяется выражением: ${\displaystyle a_{1}}$ ${\displaystyle d}$ ${\displaystyle n}$ ${\displaystyle a_{n}}$

${\displaystyle a_{n}=a_{1}+(n-1)d}$

Конечная часть арифметической прогрессии называется конечной арифметической прогрессией , а иногда просто арифметической прогрессией. Сумма конечной арифметической прогрессии называется арифметическим рядом .

История

Согласно анекдоту сомнительной достоверности, ^[1] молодой Карл Фридрих Гаусс , который учился в начальной школе, заново изобрел этот метод для вычисления суммы целых чисел от 1 до 100 путем умножениян/2пары чисел в сумме по значениям каждой пары n + 1 . ^{[ нужны разъяснения ]} Однако, независимо от правдивости этой истории, Гаусс не был первым, кто открыл эту формулу, и некоторые считают вероятным, что ее происхождение восходит к пифагорейцам в 5 веке до нашей эры. ^[2] Подобные правила были известны в древности Архимеду , Гипсиклу и Диофанту ; ^[3] в Китае — Чжан Цюцзянь ; в Индии – Арьябхате , Брахмагупте и Бхаскаре II ; ^[4] и в средневековой Европе Алкуину , ^[5] Дикуилу , ^[6] Фибоначчи , ^[7] Сакробоско ^[8] и анонимным комментаторам Талмуда , известным как тосафисты . ^[9]

Сумма

Вычисление суммы 2 + 5 + 8 + 11 + 14. Когда последовательность переворачивается и прибавляется сама к себе почленно, полученная последовательность имеет в себе единственное повторяющееся значение, равное сумме первого и последнего чисел (2 + 14 = 16). Таким образом, 16 × 5 = 80 — это удвоенная сумма.

Сумма членов конечной арифметической прогрессии называется арифметическим рядом . Например, рассмотрим сумму:

${\displaystyle 2+5+8+11+14=40}$

Эту сумму можно быстро найти, взяв количество n добавляемых членов (здесь 5), умножив на сумму первого и последнего числа в прогрессии (здесь 2 + 14 = 16) и разделив на 2:

${\displaystyle {\frac {n(a_{1}+a_{n})}{2}}}$

В приведенном выше случае это дает уравнение:

${\displaystyle 2+5+8+11+14={\frac {5(2+14)}{2}}={\frac {5\times 16}{2}}=40.}$

Эта формула работает для любых действительных чисел и . Например: это ${\displaystyle a_{1}}$ ${\displaystyle a_{n}}$

${\displaystyle \left(-{\frac {3}{2}}\right)+\left(-{\frac {1}{2}}\right)+{\frac {1}{2}}={\frac {3\left(-{\frac {3}{2}}+{\frac {1}{2}}\right)}{2}}=-{\frac {3}{2}}.}$

Вывод

Анимированное доказательство формулы, дающей сумму первых целых чисел 1+2+...+n.

Чтобы вывести приведенную выше формулу, начните с выражения арифметического ряда двумя разными способами:

${\displaystyle S_{n}=a+a_{2}+a_{3}+\dots +a_{(n-1)}+a_{n}}$

${\displaystyle S_{n}=a+(a+d)+(a+2d)+\dots +(a+(n-2)d)+(a+(n-1)d).}$

Перепишем термины в обратном порядке:

${\displaystyle S_{n}=(a+(n-1)d)+(a+(n-2)d)+\dots +(a+2d)+(a+d)+a.}$

Сложив соответствующие члены обеих частей двух уравнений и разделив обе части пополам:

${\displaystyle S_{n}={\frac {n}{2}}[2a+(n-1)d].}$

Эту формулу можно упростить так:

${\displaystyle {\begin{aligned}S_{n}&={\frac {n}{2}}[a+a+(n-1)d].\\&={\frac {n}{2}}(a+a_{n}).\\&={\frac {n}{2}}({\text{initial term}}+{\text{last term}}).\end{aligned}}}$

Кроме того, среднее значение ряда можно рассчитать с помощью : ${\displaystyle S_{n}/n}$

${\displaystyle {\overline {a}}={\frac {a_{1}+a_{n}}{2}}.}$

Формула очень похожа на среднее значение дискретного равномерного распределения .

Продукт

Произведение членов конечной арифметической прогрессии с начальным элементом a ₁ , общими разностями d и всего n элементами определяется в замкнутом выражении

${\displaystyle a_{1}a_{2}a_{3}\cdots a_{n}=a_{1}(a_{1}+d)(a_{1}+2d)...(a_{1}+(n-1)d)=\prod _{k=0}^{n-1}(a_{1}+kd)=d^{n}{\frac {\Gamma \left({\frac {a_{1}}{d}}+n\right)}{\Gamma \left({\frac {a_{1}}{d}}\right)}}}$

где обозначает гамма-функцию . Формула недействительна, если она отрицательная или равна нулю. ${\displaystyle \Gamma }$ ${\displaystyle a_{1}/d}$

Это обобщение того факта, что произведение прогрессии определяется факториалом и что произведение ${\displaystyle 1\times 2\times \cdots \times n}$ ${\displaystyle n!}$

${\displaystyle m\times (m+1)\times (m+2)\times \cdots \times (n-2)\times (n-1)\times n}$

для положительных целых чисел и определяется выражением ${\displaystyle m}$ ${\displaystyle n}$

${\displaystyle {\frac {n!}{(m-1)!}}.}$

Вывод

${\displaystyle {\begin{aligned}a_{1}a_{2}a_{3}\cdots a_{n}&=\prod _{k=0}^{n-1}(a_{1}+kd)\\&=\prod _{k=0}^{n-1}d\left({\frac {a_{1}}{d}}+k\right)=d\left({\frac {a_{1}}{d}}\right)d\left({\frac {a_{1}}{d}}+1\right)d\left({\frac {a_{1}}{d}}+2\right)\cdots d\left({\frac {a_{1}}{d}}+(n-1)\right)\\&=d^{n}\prod _{k=0}^{n-1}\left({\frac {a_{1}}{d}}+k\right)=d^{n}{\left({\frac {a_{1}}{d}}\right)}^{\overline {n}}\end{aligned}}}$

где обозначает возрастающий факториал . ${\displaystyle x^{\overline {n}}}$

По рекуррентной формуле , справедливой для комплексного числа , ${\displaystyle \Gamma (z+1)=z\Gamma (z)}$ ${\displaystyle z>0}$

${\displaystyle \Gamma (z+2)=(z+1)\Gamma (z+1)=(z+1)z\Gamma (z)}$,

${\displaystyle \Gamma (z+3)=(z+2)\Gamma (z+2)=(z+2)(z+1)z\Gamma (z)}$,

так что

${\displaystyle {\frac {\Gamma (z+m)}{\Gamma (z)}}=\prod _{k=0}^{m-1}(z+k)}$

для положительного целого и положительного комплексного числа. ${\displaystyle m}$ ${\displaystyle z}$

Таким образом, если , ${\displaystyle a_{1}/d>0}$

${\displaystyle \prod _{k=0}^{n-1}\left({\frac {a_{1}}{d}}+k\right)={\frac {\Gamma \left({\frac {a_{1}}{d}}+n\right)}{\Gamma \left({\frac {a_{1}}{d}}\right)}}}$,

и наконец,

${\displaystyle a_{1}a_{2}a_{3}\cdots a_{n}=d^{n}\prod _{k=0}^{n-1}\left({\frac {a_{1}}{d}}+k\right)=d^{n}{\frac {\Gamma \left({\frac {a_{1}}{d}}+n\right)}{\Gamma \left({\frac {a_{1}}{d}}\right)}}}$

Примеры

Пример 1

Возьмем пример , произведение членов арифметической прогрессии, заданной до 50-го члена, равно ${\displaystyle 3,8,13,18,23,28,\ldots }$ ${\displaystyle a_{n}=3+5(n-1)}$

${\displaystyle P_{50}=5^{50}\cdot {\frac {\Gamma \left(3/5+50\right)}{\Gamma \left(3/5\right)}}\approx 3.78438\times 10^{98}.}$

Пример 2

Произведение первых 10 нечетных чисел определяется выражением ${\displaystyle (1,3,5,7,9,11,13,15,17,19)}$

${\displaystyle 1\cdot 3\cdot 5\cdots 19=\prod _{k=0}^{9}(1+2k)=2^{10}\cdot {\frac {\Gamma \left({\frac {1}{2}}+10\right)}{\Gamma \left({\frac {1}{2}}\right)}}}$= 654 729 075

Среднеквадратичное отклонение

Стандартное отклонение любой арифметической прогрессии можно рассчитать как

${\displaystyle \sigma =|d|{\sqrt {\frac {(n-1)(n+1)}{12}}}}$

где – количество членов прогрессии, – общая разность между членами. Формула очень похожа на стандартное отклонение дискретного равномерного распределения . ${\displaystyle n}$ ${\displaystyle d}$

Перекрестки

Пересечение любых двух дважды бесконечных арифметических прогрессий либо пусто, либо другая арифметическая прогрессия, которую можно найти с помощью китайской теоремы об остатках . Если каждая пара прогрессий в семействе двояко бесконечных арифметических прогрессий имеет непустое пересечение, то существует число, общее для всех них; то есть бесконечные арифметические прогрессии образуют семейство Хелли . ^[10] Однако пересечение бесконечного числа бесконечных арифметических прогрессий может быть одним числом, а не бесконечной прогрессией.

Смотрите также

• Геометрическая прогрессия
• Гармоническая прогрессия
• Треугольное число
• Арифметико-геометрическая последовательность
• Неравенство средних арифметических и геометрических
• Простые числа в арифметической прогрессии
• Линейное разностное уравнение
• Обобщенная арифметическая прогрессия — набор целых чисел, построенный как арифметическая прогрессия, но допускающий несколько возможных различий.
• Героновы треугольники со сторонами в арифметической прогрессии.
• Задачи, связанные с арифметическими прогрессиями
• Утональность
• Полиномы, вычисляющие суммы степеней арифметических прогрессий

Рекомендации

1. Хейс, Брайан (2006). «День расплаты Гаусса». Американский учёный . 94 (3): 200. дои : 10.1511/2006.59.200. Архивировано из оригинала 12 января 2012 года . Проверено 16 октября 2020 г.
2. Хойруп, Дж. «Неизвестное наследие»: след забытого очага математической сложности. Арх. Хист. Точная наука. 62, 613–654 (2008). https://doi.org/10.1007/s00407-008-0025-y
3. Тропфке, Йоханнес (1924). Анализ, аналитическая геометрия . Вальтер де Грюйтер. стр. 3–15. ISBN 978-3-11-108062-8.
4. Тропфке, Йоханнес (1979). Арифметика и алгебра . Вальтер де Грюйтер. стр. 344–354. ISBN 978-3-11-004893-3.
5. «Проблемы для обострения молодежи», Джон Хэдли и Дэвид Сингмастер, The Mathematical Gazette , 76 , № 475 (март 1992 г.), стр. 102–126.
6. Росс, HE и Нотт, BI (2019) Дикуил (9 век) о треугольных и квадратных числах, Британский журнал истории математики , 34:2, 79-94, https://doi.org/10.1080/26375451.2019. 1598687
7. Сиглер, Лоуренс Э. (пер.) (2002). Liber Abaci Фибоначчи . Спрингер-Верлаг. стр. 259–260. ISBN 0-387-95419-8.
8. Кац, Виктор Дж. (ред.) (2016). Справочник по математике средневековой Европы и Северной Африки . Издательство Принстонского университета. стр. 91, 257. ISBN. 9780691156859.
9. Стерн, М. (1990). 74.23. Средневековый вывод суммы арифметической прогрессии. Математический вестник, 74 (468), 157–159. дои: 10.2307/3619368
10. Дюше, Пьер (1995), «Гиперграфы», в Грэме, РЛ; Гретшель, М .; Ловас Л. (ред.), Справочник по комбинаторике, Vol. 1, 2 , Амстердам: Elsevier, стр. 381–432, MR  1373663.. См., в частности, раздел 2.5 «Собственность Хелли», стр. 393–394.

Внешние ссылки

• «Арифметический ряд», Математическая энциклопедия , EMS Press , 2001 [1994]
• Вайсштейн, Эрик В. «Арифметическая прогрессия». Математический мир .
• Вайсштейн, Эрик В. «Арифметический ряд». Математический мир .