Dział 4

Ciągi i Szeregi

Miksy ciągów, granice w nieskończoności i nieskończone szeregi geometryczne na poziomie rozszerzonym.

Oficjalna Karta Wzorów CKE

Pobierz i miej ją pod ręką.

Pobierz PDF

Wstęp: Nieskończoność to dopiero początek

Witaj w dziale, w którym matematyka fizycznie zaczyna dotykać nieskończoności. O ile na poziomie podstawowym ciągi miały bardzo konkretną, skończoną liczbę wyrazów, tutaj nauczysz się dodawać do siebie nieskończenie wiele ułamków i badać, do jakiej granicy zmierza ciąg, gdy jego numer rośnie bez absolutnie żadnego końca. Zaczniemy jednak od absolutnego pewniaka, czyli maturalnych "miksów".

1

Ciąg Arytmetyczny (Fundament)

Ciąg arytmetyczny to matematyczny odpowiednik wchodzenia po idealnie równych schodach. Z każdym krokiem pokonujesz dokładnie tę samą wysokość. Tę stałą wartość, którą dodajemy do każdego wyrazu, nazywamy różnicą ciągu i oznaczamy literą rr.

Wzór na n-ty wyraz
Pozwala "przeskoczyć" z pierwszego wyrazu na dowolny inny.
an=a1+(n1)ra_n = a_1 + (n-1)r
Suma wyrazów (Dwa wzory!)
Używaj pierwszego, gdy znasz ostatni wyraz, a drugiego, gdy masz tylko rr.
Sn=a1+an2nS_n = \frac{a_1 + a_n}{2} \cdot n
Sn=2a1+(n1)r2nS_n = \frac{2a_1 + (n-1)r}{2} \cdot n
Złota własność
Środkowy wyraz to idealna średnia arytmetyczna jego sąsiadów. Twój ratunek w zadaniach z "x".
an=an1+an+12a_n = \frac{a_{n-1} + a_{n+1}}{2}

Przykład rozszerzony: Budowanie układu równań

W ciągu arytmetycznym trzeci wyraz wynosi 88, a siódmy 2020. Oblicz sumę dwudziestu początkowych wyrazów tego nieskończonego ciągu.

Krok 1: Rozpisujemy dane ze wzoru na n-ty wyraz.

Każdy wymyślony wyraz w ciągu arytmetycznym możemy matematycznie zapisać za pomocą a1a_1 oraz rr. Tworzymy sztywny układ równań:

{a3=a1+2r=8a7=a1+6r=20\begin{cases} a_3 = a_1 + 2r = 8 \\ a_7 = a_1 + 6r = 20 \end{cases}

Krok 2: Rozwiązujemy układ równań.

Najszybciej i najbezpieczniej odjąć równania stronami w słupku (od dolnego górne):

(a1+6r)(a1+2r)=208(a_1 + 6r) - (a_1 + 2r) = 20 - 8
4r=12    r=34r = 12 \implies r = 3

Podstawiamy grzecznie nasze wyliczone r=3r = 3 do pierwszego równania: a1+2(3)=8    a1=2a_1 + 2(3) = 8 \implies a_1 = 2.

Krok 3: Obliczamy ostateczną sumę.

Mamy już wszystko na stole! Używamy drugiego dłuższego wzoru na sumę (bo mamy pewne a1a_1 i rr), podstawiając za małe n=20n = 20.

S20=22+(201)3220S_{20} = \frac{2 \cdot 2 + (20-1) \cdot 3}{2} \cdot 20
S20=4+57220=6110=610S_{20} = \frac{4 + 57}{2} \cdot 20 = 61 \cdot 10 = 610

2

Ciąg Geometryczny (Fundament i Miksy)

Ciąg geometryczny to z kolei matematyczny odpowiednik lawiny śnieżnej lub stada namnażających się bakterii w szalce. Każdy kolejny wyraz powstaje przez pomnożenie poprzedniego przez stałą liczbę, zwaną bezlitosnym ilorazem ciągu – qq.

Wzór na n-ty wyraz
Zauważ ostrożnie, że potęga u góry przy qq jest zawsze o jeden mniejsza niż numer wyrazu!
an=a1qn1a_n = a_1 \cdot q^{n-1}
Suma wyrazów
Klasyczny wzór z tablic CKE (obowiązuje tylko gdy q1q \neq 1).
Sn=a11qn1qS_n = a_1 \cdot \frac{1 - q^n}{1 - q}
Złota własność
Kwadrat środkowego wyrazu to po prostu czysty iloczyn jego bezpośrednich sąsiadów.
an2=an1an+1a_n^2 = a_{n-1} \cdot a_{n+1}

Przykład Rozszerzony: Dzielenie równań

W ściśle rosnącym ciągu geometrycznym drugi wyraz wynosi 66, a czwarty wyraz to duża liczba 5454. Wyznacz pierwszy wyraz oraz iloraz tego ciągu.

Krok 1: Rozpisujemy układ równań z potęgami.

Znowu, wszystko sprowadzamy do fundamentów a1a_1 oraz qq.

{a2=a1q=6a4=a1q3=54\begin{cases} a_2 = a_1 \cdot q = 6 \\ a_4 = a_1 \cdot q^3 = 54 \end{cases}

Krok 2: Dzielenie równań stronami (Magiczny trik geometryczny!).

Zamiast żmudnie i z błędami wyznaczać zmienną i ją podstawiać, w ciągu geometrycznym najłatwiej brutalnie podzielić jedno równanie przez drugie w ułamku (np. grubsze dolne przez chudsze górne). Wtedy a1a_1 natychmiast się skróci i wyparuje!

a1q3a1q=546\frac{a_1 \cdot q^3}{a_1 \cdot q} = \frac{54}{6}
q2=9q^2 = 9
Uwaga na pułapkę CKE!

Z otrzymanego równania q2=9q^2 = 9 wynikają algebraicznie dwa możliwe rozwiązania: q=3q = 3 lub q=3q = -3. Ale w treści zadania mamy na starcie rzucone kluczowe słowo: ciąg rosnący. Skoro wyrazy ciągną do góry i są dodatnie (6, 54...), to mnożnik qq bezwzględnie musi być na plusie. Zatem stanowczo odrzucamy -3. Ostatecznie q=3q = 3.

Krok 3: Obliczamy ostatecznie wyraz pierwszy.

Wystarczy tylko podstawić wyliczone z potem qq do najprostszego równania linijkę wyżej:

a13=6    a1=2a_1 \cdot 3 = 6 \implies a_1 = 2

3

Granice Ciągów i Funkcji (Nieskończoność na tacy)

Granice (limesy) to matematyczne badanie tego, do jakiej docelowej wartości zbliża się nasze dzikie wyrażenie. W przypadku ciągów badamy to z definicji tylko dla nn \to \infty. W przypadku funkcji możemy zbadać, co dzieje się w nieskończoności (xx \to \infty), ale też z bliska, co dzieje się, gdy "iks" zbliża się krok po kroku do konkretnej, twardej liczby, np. x3x \to 3. To tutaj spotykamy w ciemnej uliczce słynne symbole nieoznaczone.

A. Granice w nieskończoności (Królewski Pojedynek Potęg)

Kiedy liczysz granicę w nieskończoności z wielkiego ułamka wielomianów, liczą się tylko i wyłącznie najwyższe potęgi stojące w liczniku i mianowniku. Całą resztę "ogonów" można bezkarnie zignorować i wymazać. Ten trywialny schemat działa identycznie dla ciągów (nn) i funkcji (xx).

Licznik WYGRYWA:
Góra rośnie szybciej niż dół. Ułamek eksploduje. Wynik to \infty (lub -\infty).
limnn3n2+1=\lim_{n \to \infty} \frac{n^3}{n^2 + 1} = \infty
Mianownik WYGRYWA:
Dół rośnie szybciej i miażdży górę. Ułamek bezlitośnie dąży wprost do 00.
limx5xx23=0\lim_{x \to \infty} \frac{5x}{x^2 - 3} = 0
REMIS POTĘG:
Potęgi są takie same! Wynik to goły stosunek współczynników stojących przy nich.
limn6n2n2n2+5=3\lim_{n \to \infty} \frac{\mathbf{6}n^2 - n}{\mathbf{2}n^2 + 5} = \mathbf{3}

B. Granice w punkcie i groźny symbol [00]\left[\frac{0}{0}\right]

Co się dzieje w matematyce, gdy badamy mikroskopijną granicę funkcji przy dążeniu x2x \to 2, a po podstawieniu dwójki otrzymujemy zero zarówno w liczniku, jak i zablokowane zero w mianowniku? Otrzymujemy symbol nieoznaczony [00]\left[\frac{0}{0}\right]. To znak, że wykres ma w tym miejscu "pustą dziurę", ale sama granica przylegania jak najbardziej istnieje i czeka na odkrycie!

Metoda Klasyczna: Rozkład na czynniki

Zgodnie z potężnym twierdzeniem Bézouta, skoro wstawienie "2" dało fizyczne zero, to zarówno wielki licznik, jak i dół (mianownik) dzielą się ukradkiem przez nawias (x2)(x-2). Wystarczy je pogrupować (lub z boku policzyć deltę) i bezwzględnie skrócić "winowajcę" wywołującego zero!

limx2x24x23x+2=[00]\lim_{x \to 2} \frac{x^2 - 4}{x^2 - 3x + 2} = \left[\frac{0}{0}\right]
limx2(x2)(x+2)(x2)(x1)=limx2x+2x1=2+221=4\lim_{x \to 2} \frac{(x-2)(x+2)}{(x-2)(x-1)} = \lim_{x \to 2} \frac{x+2}{x-1} = \frac{2+2}{2-1} = 4

C. Reguła de L'Hospitala (Szpitalna Królowa Granic)

Rozkładanie na proste czynniki jest fajne, ale co w sytuacji, jeśli w liczniku masz zakopane sinusy, logarytmy naturalne albo piętrowe pierwiastki? Wtedy na białym koniu wjeżdża z hukiem Reguła de L'Hospitala. To potężne, akademickie twierdzenie, które mówi: jeśli masz w garści symbol [00]\left[\frac{0}{0}\right] lub []\left[\frac{\infty}{\infty}\right], to możesz i masz pełne prawo policzyć kompletnie niezależnie pochodną licznika i z osobna pochodną mianownika. Granica całości się od tego nie zmieni!

⚠️

Złota zasada stosowania Szpitala

Pamiętaj: liczymy pochodną ze szczytu góry i zupełnie osobno pochodną z dołu. Nigdy nie stosujemy tu skomplikowanego wzoru na pochodną ilorazu! Dodatkowo, aby na maturze CKE uznało Ci ten bezczelny zapis, nad nowym znakiem równości musisz zawsze, bezwzględnie napisać duże "H" w nawiasie.

L'Hospital w praktyce (Dowód Maturalny):

Oblicz skomplikowaną granicę z potęgą:

limx0ex1sin(x)\lim_{x \to 0} \frac{e^x - 1}{\sin(x)}

Krok 1: Sprawdzamy glejt, czy w ogóle mamy prawo wjechać z Hospitalem.

Podstawiamy w pamięci czyste x=0x=0 do równania. Wiemy z własności, że e0=1e^0 = 1, a sin(0)=0\sin(0) = 0.

e01sin(0)=110=[00]\frac{e^0 - 1}{\sin(0)} = \frac{1 - 1}{0} = \left[\frac{0}{0}\right]
Mamy idealne [00]\left[\frac{0}{0}\right], więc droga wolna! Odpalamy protokół.

Krok 2: Uruchamiamy L'Hospitala.

Liczymy niezależną pochodną z licznika: (ex1)=ex(e^x - 1)' = e^x.


Liczymy odciętą pochodną z mianownika: (sin(x))=cos(x)(\sin(x))' = \cos(x).

limx0ex1sin(x)=[H]limx0excos(x)\lim_{x \to 0} \frac{e^x - 1}{\sin(x)} \stackrel{[H]}{=} \lim_{x \to 0} \frac{e^x}{\cos(x)}

Podstawiamy po raz drugi nasze felerne zero, by zbadać wynik nowej formy:

e0cos(0)=11=1\frac{e^0}{\cos(0)} = \frac{1}{1} = 1
A co z ciągami?

Regułę de L'Hospitala z pochodnymi matematycznie stosujemy tylko i wyłącznie dla zmiennej ciągłej xx. Jeśli masz granicę złożoną z dyskretnego ciągu ana_n i bardzo chcesz użyć tego morderczego twierdzenia, musisz na marginesie na chwilę "zamienić" ciąg na funkcję (zamienić ołówkiem literki nn na xx), policzyć granicę dla funkcji z użyciem Hospitala, a na sam koniec napisać sprytny wniosek, że skoro cała funkcja dąży do danego wyniku, to ciąg na niej leżący również osiągnie to dno.

4

Nieskończone Szeregi Geometryczne

Jak to w ogóle fizycznie możliwe, że dodajemy do siebie nieskończenie, absolutnie w nieskończoność wiele liczb i nie otrzymujemy przytłaczającej nieskończoności? Jest to matematycznie możliwe tylko wtedy, gdy liczby, które dorzucamy do kotła, stają się z kroku na krok błyskawicznie coraz mniejsze, zbiegając do pyłu. Na maturze nazywamy to twardo warunkiem zbieżności szeregu.

Wzór na Sumę Szeregu

Sumę tę, dla odróżnienia od zwykłej, oznaczamy po prostu dużą literą SS (bez żadnego uciśnioného "n" na dole, bo bierzemy wszystko). Wzór jest bajecznie prosty!

S=a11qS = \frac{a_1}{1 - q}

⚠️ Bezwzględny Warunek Zbieżności

To za to CKE przyznaje bez pytania pierwszy punkt z klucza! Szereg ma na ziemi skończoną sumę tylko i wyłącznie wtedy, gdy jego iloraz twardo spełnia warunek:

q<1|q| < 1

czyli q(1,1)q \in (-1, 1)

Maturalny Pewniak za 4 pkt (Równanie z Szeregiem):

Rozwiąż podane równanie:

x+x2+x3+=12x + x^2 + x^3 + \dots = \frac{1}{2}

Krok 1: Identyfikujemy ciąg i zapisujemy punktowany warunek.

Lewa strona zadania to ewidentnie rozciągnięty w nieskończoność szereg geometryczny. Musimy z niego ustalić jego wyraz pierwszy a1a_1 oraz kluczowy iloraz qq.

a1=xa_1 = x
q=x2x=xq = \frac{x^2}{x} = x

WARUNEK ISTNIENIA: q<1    x<1    x(1,1)|q| < 1 \implies |x| < 1 \implies x \in (-1, 1)

Krok 2: "Zwijamy" nieskończoność do małego ułamka.

Skoro znamy gotowy wzór na sumę, podstawiamy nasze dane wyciągnięte z zadania (a1=xa_1 = x oraz q=xq = x) do małego wzoru: S=a11qS = \frac{a_1}{1 - q}.

S=x1xS = \frac{x}{1 - x}

Krok 3: Rozwiązujemy ostateczne równanie wymierne.

Wracamy pamięcią do naszego początkowego, górnego równania. Całą długą lewą stronę kropkowaną zastępujemy naszym zwiniętym ułamkiem.

x1x=12\frac{x}{1 - x} = \frac{1}{2}

Mnożymy po prostu proporcją "na krzyż" (jesteśmy bezpieczni, ponieważ z naszego warunku x(1,1)x \in (-1, 1) wiemy, że mianownik nie ma szans na bycie zerem):

2x=1(1x)2 \cdot x = 1 \cdot (1 - x)
2x=1x2x = 1 - x
3x=1    x=133x = 1 \implies x = \frac{1}{3}
Krok 4: Weryfikacja (Klucz do zdobycia maksa punktów)

Sprawdzamy z lupą, czy nasz wylosowany wynik należy w ogóle do dziedziny ustalonej krwią w Kroku 1. Czy 13(1,1)\frac{1}{3} \in (-1, 1)? Oczywiście, że TAK.



Odpowiedź końcowa: x=13x = \frac{1}{3}
Nieskończoność nie ma przed Tobą tajemnic?

Zrozumienie symboli nieoznaczonych i wyłapanie haczyka ze zbieżnością w szeregu geometrycznym to bilet wstępu na najlepsze politechniki w kraju. Sprawdź, czy potrafisz utrzymać ten poziom w praktycznym teście bojowym!

Uruchom Piekielny Quiz z Ciągów 🚀