Twierdzenie o trzech ciągach
znane również jako twierdzenie o dwóch policjantach lub sandwich theorem
Czym jest twierdzenie o trzech ciągach?
Twierdzenie o trzech ciągach, zwane również twierdzeniem o dwóch policjantach (ang. squeeze theorem, sandwich theorem), jest jednym z najważniejszych narzędzi do obliczania granic ciągów. Pozwala wyznaczyć granicę ciągu, który jest "ściśnięty" między dwoma innymi ciągami o tej samej granicy.
Nazwa "twierdzenie o dwóch policjantach" pochodzi od obrazowego wyjaśnienia: jeśli dwaj policjanci (ciągi aₙ i cₙ) prowadzą więźnia (ciąg bₙ) do tego samego miejsca (granica g), to więzień musi tam dotrzeć, niezależnie od swojego zachowania.
Twierdzenie jest szczególnie przydatne, gdy bezpośrednie obliczenie granicy jest trudne lub niemożliwe, ale można oszacować ciąg z góry i z dołu przez prostsze ciągi o znanych granicach. Jest fundamentalnym narzędziem w analizie matematycznej i często stosowanym w zadaniach maturalnych.
Elementy twierdzenia
Warunek ograniczenia: ciąg bₙ jest ograniczony z dołu przez aₙ i z góry przez cₙ dla wszystkich n (lub od pewnego miejsca).
Warunek wspólnej granicy: ciągi ograniczające mają tę samą granicę g (skończoną).
Wniosek twierdzenia: ciąg środkowy bₙ jest zbieżny do tej samej granicy g.
Warunek ograniczenia nie musi zachodzić dla wszystkich n - wystarczy, że jest spełniony od pewnego miejsca.
Formalne sformułowanie
Niech (aₙ), (bₙ), (cₙ) będą ciągami liczb rzeczywistych. Jeśli:
to ciąg (bₙ) jest zbieżny i:
Wizualizacja
Poniższy wykres ilustruje twierdzenie o trzech ciągach. Ciąg bₙ (pomarańczowy) jest ograniczony z dołu przez aₙ (niebieski) i z góry przez cₙ (zielony). Wszystkie trzy ciągi zbiegają do tej samej granicy g = 0.
Dolne ograniczenie, lim = 0
Ciąg "ściśnięty"
Górne ograniczenie, lim = 0
Kiedy stosować twierdzenie?
- Granice z funkcjami oscylującymi - np. sin(n)/n, cos(n)/n², (-1)ⁿ/n
- Ciągi z wartością bezwzględną - gdy |bₙ| ≤ cₙ i lim cₙ = 0
- Szacowanie ciągów złożonych - gdy bezpośrednie obliczenie jest trudne
- Ciągi z silnią lub potęgami - np. n!/nⁿ, gdzie potrzebne oszacowania
- Dowodzenie zbieżności - gdy chcemy pokazać, że ciąg jest zbieżny do określonej granicy
Przykłady obliczeniowe
Przykład 1: Granica sin(n)/n
Zadanie: Oblicz granicę ciągu aₙ = sin(n)/n.
Rozwiązanie:
Korzystamy z faktu, że -1 ≤ sin(n) ≤ 1 dla każdego n:
Z twierdzenia o trzech ciągach:
Odpowiedź: lim sin(n)/n = 0.
Przykład 2: Granica z (-1)ⁿ
Zadanie: Oblicz granicę ciągu aₙ = (-1)ⁿ/n².
Rozwiązanie:
Zauważamy, że |(-1)ⁿ| = 1, więc:
Odpowiedź: lim (-1)ⁿ/n² = 0.
Przykład 3: Granica n-tego pierwiastka
Zadanie: Oblicz granicę ciągu aₙ = ⁿ√n (pierwiastek n-tego stopnia z n).
Rozwiązanie:
Dla n ≥ 1 mamy n ≤ n·n = n², więc ⁿ√n ≤ ⁿ√(n²) = n^(2/n). Również ⁿ√n ≥ 1.
Ponieważ lim 1 = 1 i lim n^(2/n) = 1:
Odpowiedź: lim ⁿ√n = 1.
Przykład 4: Ciąg z cos i sin
Zadanie: Oblicz granicę ciągu aₙ = (cos(n) + 2sin(n))/n.
Rozwiązanie:
Oszacowujemy: -1 ≤ cos(n) ≤ 1 i -2 ≤ 2sin(n) ≤ 2, więc:
Odpowiedź: lim (cos(n) + 2sin(n))/n = 0.
Częste błędy
Różne granice ciągów ograniczających
Twierdzenie wymaga, by oba ciągi ograniczające miały TĘ SAMĄ granicę. Jeśli lim aₙ ≠ lim cₙ, twierdzenie nie ma zastosowania.
Błąd: 0 ≤ bₙ ≤ 1, lim 0 = 0, lim 1 = 1 - nie możemy wnioskować o lim bₙ.
Odwrócenie nierówności
Należy zachować właściwy kierunek nierówności: aₙ ≤ bₙ ≤ cₙ, gdzie aₙ jest dolnym, a cₙ górnym ograniczeniem.
Dla -1/n ≤ sin(n)/n ≤ 1/n: -1/n to dolne, 1/n to górne ograniczenie.
Zapominanie o znaku przy dzieleniu
Przy dzieleniu nierówności przez ujemną liczbę, znak nierówności się odwraca. Przy dzieleniu przez n > 0 znak się nie zmienia.
Z -1 ≤ sin(n) ≤ 1 przez podzielenie przez n > 0 mamy: -1/n ≤ sin(n)/n ≤ 1/n.
Stosowanie dla nieskończonych granic
Twierdzenie w standardowej formie dotyczy granic skończonych. Dla granic nieskończonych potrzebna jest osobna analiza.
Jeśli lim aₙ = lim cₙ = +∞, to lim bₙ = +∞ (ale to wymaga osobnego uzasadnienia).
Porady i wskazówki
Szukaj ograniczeń: Dla funkcji oscylujących (sin, cos) korzystaj z ich ograniczoności: |sin x| ≤ 1, |cos x| ≤ 1.
Wartość bezwzględna: Jeśli |bₙ| ≤ cₙ i lim cₙ = 0, to -cₙ ≤ bₙ ≤ cₙ, więc lim bₙ = 0.
Proste ograniczenia: Często wystarczą najprostsze oszacowania typu 0 ≤ bₙ ≤ 1/n lub -1/n ≤ bₙ ≤ 1/n.
Sprawdź warunki: Przed zastosowaniem twierdzenia upewnij się, że nierówność zachodzi (przynajmniej od pewnego n₀).
Przypadki szczególne
Ciąg ograniczony z góry przez ciąg zbieżny do zera
Jeśli |bₙ| ≤ cₙ i lim cₙ = 0, to lim bₙ = 0.
|sin(n)/n| ≤ 1/n i lim 1/n = 0, więc lim sin(n)/n = 0.
Ciąg między stałymi
Jeśli a ≤ bₙ ≤ a dla każdego n (ta sama stała), to bₙ = a i lim bₙ = a.
To degenerowany przypadek, gdy oba ograniczenia są równe.
Granica niezerowa
Twierdzenie działa dla dowolnej granicy skończonej g, nie tylko dla g = 0.
Ciąg "ściśnięty" między ciągami zbieżnymi do 2.
Wersja dla funkcji
Analogiczne twierdzenie zachodzi dla granic funkcji.
-x² ≤ x²sin(1/x) ≤ x² dla x ≠ 0, więc lim(x→0) x²sin(1/x) = 0.