Matematyka dla liceum/Ciągi liczbowe/Ciąg arytmetyczny

Z Wikibooks, biblioteki wolnych podręczników.

Matematyka dla liceum

Monotoniczność ciągu

Spis treści

Ciąg geometryczny


[edytuj] Ciąg arytmetyczny

[edytuj] Definicja

Spójrzmy na kilka przykładów ciągów arytmetycznych:

  •  (a_n) = (1, 2, 3, 4, 5, 6, \dots)
  •  (b_n) = (2, 4, 6, 8, 10, \dots)
  •  (c_n) = (3, 13, 23, 33, 43, \dots)
  •  (d_n) = (15, 10, 5, 0, -5, -10, -15, \dots)

Czy widzimy pewne podobieństwo? Każde z kolejnych wyrazów ciągu różnią się o pewną stałą liczbę np. w ciągu (cn) o 10. W (an) już prawie widzimy, że po 6 będzie 7, a po 7 będzie 8 itd.

Definicja
DEFINICJA

Ciąg (co najmniej trzy-wyrazowy), w którym różnica dwóch kolejnych wyrazów jest stała nazywamy ciągiem arytmetycznym.

Ciąg musi mieć przynajmniej trzy wyrazy, żeby można było stwierdzić w jaki sposób powstają kolejne wyrazy.

Czy (an) = (1,3,5,7,10,12,...) będzie ciągiem arytmetycznym? Nie, ponieważ a2a1 = 3 − 1 = 2 i a5a4 = 10 − 7 = 3, zatem różnica dwóch kolejnych wyrazów nie jest stała.

Ponieważ w ciągu arytmetycznym kolejne wyrazy różnią się o pewną stałą liczbę, więc przyjmując, że an + 1 to pewien wyraz, an to wyraz go poprzedzający, możemy powiedzieć, że różnica an + 1an będzie stała dla każdego n. Tę różnicę oznaczymy jako r. Napiszemy:

r = an + 1an
(różnica ciągu)


[edytuj] Wzór ogólny

Powróćmy do ciągu  (c_n) = (3, 13, 23, 33, 43, \dots) . Chcielibyśmy znaleźć dla niego wzór na n-ty wyraz. Hmm... co możemy o nim powiedzieć? Pierwszy wyraz c1 = 3, a różnica ciągu wynosi r = 23 − 13 = 10. Ponieważ r = c2c1 = 10, więc c2 = c1 + 10, podobnie  c_3 - c_2 = 10 \implies c_3 = c_2 + 10 ,  c_4 - c_3 = 10 \implies c_4 = c_3 + 10 itd. Więc zrobimy tak:

c1 = 3
c2 = c1 + 10 = 3 + 10
 c_3 = c_2 + 10 = (3 + 10) + 10 = 3 + 2 \cdot 10
 c_4 = c_3 + 10 = (3 + 2 \cdot 10) + 10 = 3 + 3 \cdot 10
 c_5 = c_4 + 10 = (3 + 3 \cdot 10) + 10 = 3 + 4 \cdot 10
 c_6 = c_5 + 10 = (3 + 4 \cdot 10) + 10 = 3 + 5 \cdot 10
...

Widzimy to? Każdy wyraz jest postać 3 + ileś · 10, a to ileś dla 6 wynosi 5, dla 4 wynosi 3, dla 2 wynosi 1. Aha, czyli jest to po prostu n-1 dla n-tego wyrazu. Otrzymujemy wzór c_n = 3 + (n-1) \cdot 10 .

Uogólnijmy ten wzór dla dowolnego ciągu (an), gdzie wiemy ile wynosi a1 i znamy różnicę ciągu r. Czyli:

a1 jest dane
a2 = a1 + r
a3 = a2 + r = (a1 + r) + r = a1 + 2r
a4 = a3 + r = (a1 + 2r) + r = a1 + 3r
...

Prawie to samo... Czyli widzimy, że:

an = a1 + (n − 1)r
(wzór ogólny ciągu arytmetycznego)


Wiemy, że an − 1 = a1 + (n − 2)r oraz an + 1 = a1 + nr. Jeśli zsumujemy n-1 i n+1 wyraz, otrzymamy: a1 + nr + a1 + (n − 2)r = 2a1 + nr + nr − 2r = 2a1 + 2nr − 2r Wyłączając dwójkę przed nawias otrzymujemy: 2(a1 + nrr) = 2(a1 + r[n − 1]) = 2an

Wynika z tego, że dla każdego ciągu arytmetycznego (an) zachodzi:

 a_n = \frac{a_{n-1} + a_{n+1}}{2} \quad \mbox{dla} \quad n \in \mathbb{N}_+ \backslash \{1\}


Ale także jeśli n-ty wyraz ciągu jest średnią arytmetyczną wyrazu poprzedniego i następnego to ciąg ten jest arytmetyczny.

O monotoniczności ciągu arytmetycznego możemy powiedzieć, że:

  • ciąg jest rosnący, gdy różnica r > 0,
  • ciąg jest stały, gdy różnica r = 0,
  • ciąg jest malejący, gdy różnica r < 0.

Łatwo jest to udowodnić. Przykładowo pokażmy, że dla r > 0 ciąg jest rosnący. Przypomnijmy co to znaczy, że ciąg (czyli funkcja) jest rosnący:

Definicja
DEFINICJA

(an) jest rosnący wtedy i tylko wtedy gdy: \forall_{{b, c} \in N}  b < c \Leftrightarrow a_b < a_c

Załóżmy więc, że r > 0 oraz:b < c, zbadajmy różnicę abac: abac = a1 + (b − 1)r − (a1 + [c − 1]r) = a1 + brra1cr + r = brcr = r(bc) Z założenia różnica r ciągu jest dodatnia, różnica b-c też jest dodatnia. Zatem różnica abac > 0, co oznacza, że ciąg jest rosnący.


« 1 2 3 4 5 6 7 8 9 10 11 12 »