ironfern @ docs ~/math/grade-9/sequences/arithmetic-progression $

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

Розглянемо такі послідовності:

2,7,12,17,22,27,;1;  1,5;  2;  2,5;  3;  3,5;  ;3,1,1,3,5,7,2, 7, 12, 17, 22, 27, \ldots; \quad 1;\; 1{,}5;\; 2;\; 2{,}5;\; 3;\; 3{,}5;\; \ldots; \quad 3, 1, -1, -3, -5, -7, \ldots

Їм притаманна така характерна особливість: кожний наступний член послідовності отримано в результаті додавання до попереднього одного й того самого числа. З подібними послідовностями людям доводилося мати справу ще в давні часи, коли вони рахували предмети парами, п’ятірками, десятками. Такі послідовності називають арифметичними прогресіями (від лат. progressio — рух уперед).

Означення

📐Визначення — Арифметична прогресія

Арифметичною прогресією називають послідовність, кожний член якої, починаючи з другого, дорівнює попередньому члену, до якого додано одне й те саме число.

Число, про яке йдеться в означенні, дорівнює різниці наступного й попереднього членів послідовності. Його називають різницею арифметичної прогресії та позначають буквою dd (першою буквою латинського слова differentia — різниця).

Отже, якщо (an)(a_n) — арифметична прогресія з різницею dd, то

d=a2a1=a3a2=a4a3=,d = a_2 - a_1 = a_3 - a_2 = a_4 - a_3 = \ldots,

тобто для будь-якого натурального nn виконується рівність an+1an=da_{n+1} - a_n = d. Звідси отримуємо рекурентну формулу:

an+1=an+d.a_{n+1} = a_n + d.
Примітка — Рекурентне задання арифметичної прогресії

Арифметичну прогресію можна задати рекурентно:

a1=a,an+1=an+d.a_1 = a, \quad a_{n+1} = a_n + d.

Таким чином, щоб задати арифметичну прогресію, потрібно вказати її перший член і різницю.

Наведемо кілька прикладів:

  • Якщо a1=2a_1 = 2 і d=5d = 5, то отримуємо: 2,7,12,17,22,27,2, 7, 12, 17, 22, 27, \ldots
  • Якщо a1=1a_1 = 1 і d=2d = 2, то отримуємо послідовність непарних чисел: 1,3,5,7,9,11,1, 3, 5, 7, 9, 11, \ldots
  • Стаціонарна послідовність є арифметичною прогресією, у якої d=0d = 0.

Формула nn-го члена

З означення арифметичної прогресії (an)(a_n) випливає:

a2=a1+d,a3=a1+2d,a4=a1+3d,a5=a1+4d.a_2 = a_1 + d, \quad a_3 = a_1 + 2d, \quad a_4 = a_1 + 3d, \quad a_5 = a_1 + 4d.

Наведені приклади допомагають дійти такого індуктивного висновку:

Теорема — Формула n-го члена арифметичної прогресії
an=a1+d(n1)a_n = a_1 + d(n - 1)

Цю гіпотезу можна довести методом математичної індукції.

Розглянемо функцію f(x)=kx+bf(x) = kx + b, у якої D(f)=ND(f) = \mathbb{N} або D(f)={1,2,,n}D(f) = \{1, 2, \ldots, n\}. Вона є арифметичною прогресією з різницею, яка дорівнює kk. Справді, f(n+1)f(n)=k(n+1)+b(kn+b)=kf(n+1) - f(n) = k(n+1) + b - (kn + b) = k. Це означає, що послідовність f(1),f(2),,f(n),f(1), f(2), \ldots, f(n), \ldots — арифметична прогресія з різницею, яка дорівнює kk.

Властивість членів арифметичної прогресії

Теорема — Характеристична властивість

Будь-який член арифметичної прогресії, крім першого, дорівнює середньому арифметичному двох сусідніх із ним членів. Тобто при n>1n > 1:

an=an1+an+12a_n = \frac{a_{n-1} + a_{n+1}}{2}

Правильним є й обернене твердження: якщо в послідовності кожний член, крім першого (і останнього, якщо прогресія скінченна), дорівнює середньому арифметичному двох сусідніх із ним членів, то ця послідовність є арифметичною прогресією.

Теорема — Теорема 31.1

Послідовність, яка містить більше двох членів, є арифметичною прогресією тоді й тільки тоді, коли кожний її член, крім першого (і останнього, якщо послідовність скінченна), дорівнює середньому арифметичному двох сусідніх із ним членів.

Приклади

Приклад — Знаходження першого члена і різниці

Умова. Члени арифметичної прогресії (an)(a_n) є цілими числами. Відомо, що a3a6=406a_3 \cdot a_6 = 406 і при діленні дев’ятого члена на четвертий у частці отримуємо 2, а в остачі 6. Знайдіть перший член і різницю прогресії.

Розв’язання. Запишемо: a3=a1+2da_3 = a_1 + 2d, a4=a1+3da_4 = a_1 + 3d, a6=a1+5da_6 = a_1 + 5d, a9=a1+8da_9 = a_1 + 8d. Тоді з урахуванням умови можна скласти таку систему рівнянь:

{(a1+2d)(a1+5d)=406,a1+8d=2(a1+3d)+6.\begin{cases} (a_1 + 2d)(a_1 + 5d) = 406, \\ a_1 + 8d = 2(a_1 + 3d) + 6. \end{cases}

Розв’язавши цю систему, отримуємо:

[a1=4,d=5;]або[a1=797,d=3714.]\begin{bmatrix} a_1 = 4, \\ d = 5; \end{bmatrix} \quad \text{або} \quad \begin{bmatrix} a_1 = -\dfrac{79}{7}, \\ d = -\dfrac{37}{14}. \end{bmatrix}

Оскільки за умовою члени послідовності є цілими числами, то шуканою відповіддю буде a1=4a_1 = 4, d=5d = 5.

Відповідь: a1=4a_1 = 4, d=5d = 5.

Приклад — Ірраціональні числа і арифметична прогресія

Умова. Чи можуть числа 11, 2\sqrt{2}, 3\sqrt{3} бути членами однієї арифметичної прогресії?

Розв’язання. Припустимо, що числа 11, 2\sqrt{2}, 3\sqrt{3} — члени арифметичної прогресії (an)(a_n) з різницею dd (d0d \neq 0) і відповідно дорівнюють ana_n, ama_m, aka_k. Тоді можна записати:

1=a1+d(n1),2=a1+d(m1),3=a1+d(k1).1 = a_1 + d(n-1), \quad \sqrt{2} = a_1 + d(m-1), \quad \sqrt{3} = a_1 + d(k-1).

Звідси 21=d(mn)\sqrt{2} - 1 = d(m - n), 31=d(kn)\sqrt{3} - 1 = d(k - n).

Оскільки knk \neq n, то 2131=mnkn\dfrac{\sqrt{2} - 1}{\sqrt{3} - 1} = \dfrac{m - n}{k - n}.

Права частина цієї рівності є раціональним числом. Нескладно показати, що ліва частина рівності — число ірраціональне. Отже, отримана рівність є неправильною.

Таким чином, числа 11, 2\sqrt{2}, 3\sqrt{3} не можуть бути членами однієї арифметичної прогресії.

Відповідь: ні.

Вправи

Вправа — Задачі на арифметичну прогресію

31.3. Перший член арифметичної прогресії a1=4a_1 = 4, а різниця d=0,4d = 0{,}4. Знайдіть: 1) a5a_5; 2) a11a_{11}; 3) a32a_{32}.

31.8. Знайдіть формулу nn-го члена арифметичної прогресії:

  1. 5,7,9,11,-5, -7, -9, -11, \ldots
  2. a2,2a2,3a2,4a2,a^2, 2a^2, 3a^2, 4a^2, \ldots

31.9. Чи є членом арифметичної прогресії (cn)(c_n):

  1. Число 20,4, якщо c1=11,4c_1 = 11{,}4, а різниця прогресії d=0,6d = 0{,}6?
  2. Число 38, якщо c1=8c_1 = 8, а різниця прогресії d=1,4d = 1{,}4?

31.15. Чи є послідовність (an)(a_n) арифметичною прогресією, якщо її задано формулою nn-го члена:

  1. an=6n+3a_n = -6n + 3
  2. an=2n2na_n = 2n^2 - n
  3. an=2,8na_n = -2{,}8n