Monotoniczność ciągu to cecha, która określa, czy ciąg jest rosnący, malejący, czy może nie zmienia się w sposób monotoniczny. W tym poradniku krok po kroku wyjaśnię, jak to zbadać, na podstawie przykładów i metod przedstawionych w filmie oraz bardziej złożonych przykładów. Najpierw omówię metodę I, opartą na analizie różnicy a_(n+1)-a_(n)a_{n+1} - a_n, a następnie metodę II, która szczególnie dobrze sprawdza się dla ciągów geometrycznych.
Zrozum, czym jest monotoniczność ciągu
Ciąg rosnący: Każdy kolejny wyraz jest większy od poprzedniego, czyli a_(n+1) > a_(n)a_{n+1} > a_n dla każdego nn.
Ciąg nierosnący: Każdy kolejny wyraz jest mniejszy lub równy poprzedniemu, czyli a_(n+1) <= a_(n)a_{n+1} \leq a_n.
Ciąg malejący: Każdy kolejny wyraz jest mniejszy od poprzedniego, czyli a_(n+1) < a_(n)a_{n+1} < a_n.
Ciąg niemalejący: Każdy kolejny wyraz jest większy lub równy poprzedniemu, czyli a_(n+1) >= a_(n)a_{n+1} \geq a_n.
Ciąg jest stały, jeśli a_(n+1)=a_(n)a_{n+1} = a_n dla każdego nn.
Metoda I: Analiza różnicy a_(n+1)-a_(n)a_{n+1} - a_n
Krok 1: Zapisz wzór ciągu a_(n)a_n i wyznacz a_(n+1)a_{n+1} (zastępując nn przez n+1n+1).
Krok 2: Oblicz różnicę a_(n+1)-a_(n)a_{n+1} - a_n i uprość ją.
Krok 3: Zbadaj znak tej różnicy:
Jeśli a_(n+1)-a_(n) > 0a_{n+1} - a_n > 0 dla każdego nn, ciąg jest rosnący.
Jeśli a_(n+1)-a_(n) < 0a_{n+1} - a_n < 0 dla każdego nn, ciąg jest malejący.
Jeśli a_(n+1)-a_(n)=0a_{n+1} - a_n = 0 dla każdego nn, ciąg jest stały.
Jeśli znak się zmienia (np. raz dodatni, raz ujemny), ciąg nie jest monotoniczny.
n=2n = 2: a_(3)-a_(2)=(-1)^(3)-(-1)^(2)=-1-1=-2 < 0a_3 - a_2 = (-1)^3 - (-1)^2 = -1 - 1 = -2 < 0.
Znak się zmienia (raz 22, raz -2-2), więc ciąg nie jest monotoniczny.
Dla n >= 2n \geq 2: 2n-3 >= 1 > 02n - 3 \geq 1 > 0 (np. n=3n = 3: 2*3-3=3 > 02 \cdot 3 - 3 = 3 > 0).
Znak się zmienia (dla n=1n = 1 ujemny, dla n >= 2n \geq 2 dodatni), więc ciąg nie jest monotoniczny w całej dziedzinie. Jednak dla n >= 2n \geq 2 jest rosnący.
Metoda II: Analiza ilorazu (a_(n+1))/(a_(n))\frac{a_{n+1}}{a_n} (szczególnie dla ciągów geometrycznych)
Metoda ta sprawdza się doskonale dla ciągów geometrycznych, czyli takich, w których każdy kolejny wyraz jest iloczynem poprzedniego i pewnej stałej qq (ilorazu).
Krok 1: Zapisz wzór ciągu a_(n)a_n i wyznacz a_(n+1)a_{n+1}.
Krok 2: Oblicz iloraz (a_(n+1))/(a_(n))\frac{a_{n+1}}{a_n} i uprość go (ciąg musi mieć wyrazy dodatnie lub wszystkie ujemne, by metoda była sensowna).
Krok 3: Zbadaj wartość ilorazu:
Jeśli (a_(n+1))/(a_(n)) > 1\frac{a_{n+1}}{a_n} > 1 dla każdego nn, ciąg jest rosnący.
Jeśli 0 < (a_(n+1))/(a_(n)) < 10 < \frac{a_{n+1}}{a_n} < 1 dla każdego nn, ciąg jest malejący (przy założeniu a_(n) > 0a_n > 0).
Jeśli (a_(n+1))/(a_(n))=1\frac{a_{n+1}}{a_n} = 1 dla każdego nn, ciąg jest stały.
Jeśli znak ilorazu jest ujemny, ciąg nie jest monotoniczny,
Przykład 8: Ciąg a_(n)=3*((1)/(2))^(n)a_n = 3 \cdot \left(\frac{1}{2}\right)^n dla n >= 1n \geq 1. a_(n+1)=3*((1)/(2))^(n+1)=3*((1)/(2))^(n)*(1)/(2)a_{n+1} = 3 \cdot \left(\frac{1}{2}\right)^{n+1} = 3 \cdot \left(\frac{1}{2}\right)^n \cdot \frac{1}{2}. (a_(n+1))/(a_(n))=(3*((1)/(2))^(n+1))/(3*((1)/(2))^(n))=(((1)/(2))^(n+1))/(((1)/(2))^(n))=(1)/(2)\frac{a_{n+1}}{a_n} = \frac{3 \cdot \left(\frac{1}{2}\right)^{n+1}}{3 \cdot \left(\frac{1}{2}\right)^n} = \frac{\left(\frac{1}{2}\right)^{n+1}}{\left(\frac{1}{2}\right)^n} = \frac{1}{2}. 0 < (1)/(2) < 10 < \frac{1}{2} < 1 dla każdego nn (np. n=1n = 1: a_(1)=1.5a_1 = 1.5, a_(2)=0.75a_2 = 0.75, iloraz (0.75)/(1.5)=(1)/(2)\frac{0.75}{1.5} = \frac{1}{2}).
Wniosek: Ciąg jest malejący.
Przykład 9: Ciąg a_(n)=(-2)^(n)a_n = (-2)^n dla n >= 1n \geq 1. a_(n+1)=(-2)^(n+1)=(-2)^(n)*(-2)a_{n+1} = (-2)^{n+1} = (-2)^n \cdot (-2). (a_(n+1))/(a_(n))=((-2)^(n+1))/((-2)^(n))=-2\frac{a_{n+1}}{a_n} = \frac{(-2)^{n+1}}{(-2)^n} = -2. -2 < 0-2 < 0 dla każdego nn. Wyrazy: a_(1)=-2a_1 = -2, a_(2)=4a_2 = 4, a_(3)=-8a_3 = -8, a_(4)=16a_4 = 16.
Ciąg oscyluje (-2-2 do 44 rośnie, 44 do -8-8 maleje), więc nie jest monotoniczny. Ujemny iloraz potwierdza brak monotoniczności z powodu zmiany znaków.
Podsumowanie
Poradnik zawiera dwie metody badania monotoniczności:
Metoda I (różnica a_(n+1)-a_(n)a_{n+1} - a_n) jest uniwersalna i sprawdza się dla różnych ciągów, w tym liniowych (5-n5 - n), kwadratowych (n^(2)+1n^2 + 1, n^(2)-4n+5n^2 - 4n + 5), wykładniczych (2^(n)2^n), homograficznych ((2n+1)/(n+1)\frac{2n+1}{n+1}) czy oscylujących ((-1)^(n)(-1)^n).
Metoda II (iloraz (a_(n+1))/(a_(n))\frac{a_{n+1}}{a_n}) jest idealna dla ciągów geometrycznych (3*((1)/(2))^(n)3 \cdot \left(\frac{1}{2}\right)^n), ale wymaga uwagi przy ujemnych ilorazach ((-2)^(n)(-2)^n), które wskazują na oscylacje i brak monotoniczności.