Ciąg geometryczny: wzór, zbieżność i przykłady

Czy zastanawiali się Państwo kiedyś, jak 1 + 2 + 4 + 8 + ... można zapisać jednym, eleganckim wzorem?

Szereg to po prostu suma wyrazów pewnego ciągu. Gdy kolejne wyrazy powstają przez mnożenie poprzedniego przez tę samą liczbę, mamy do czynienia z szeregiem geometrycznym. Ten stały mnożnik to iloraz ciągu i to on sprawia, że wszystko działa.

Szeregi geometryczne pojawiają się wszędzie — od spłat kredytów, przez zanikanie sygnałów, po analizę algorytmów. Umiejętność pracy z nimi to kluczowa kompetencja matematyczna dla każdego, kto pracuje z danymi.

W tym artykule omówię najważniejsze wzory, wyjaśnię, kiedy nieskończony szereg geometryczny ma skończoną sumę, oraz przeprowadzę przez rzeczywiste przykłady.

Jeśli znają Państwo podstawy Pythona, są Państwo gotowi na ciekawsze rzeczy. Proszę zapisać się na nasz 16‑godzinny kurs Podstawy uczenia maszynowego w Pythonie.

Czym jest szereg geometryczny?

Szereg geometryczny to suma wyrazów, z których każdy powstaje przez pomnożenie poprzedniego przez stały iloraz.

Na przykład 1 + 2 + 4 + 8 + 16. Każdy wyraz jest podwójny względem poprzedniego. To właśnie czynnik podwajający czyni go geometrycznym.

Każdy szereg geometryczny określają dwie wartości:

• Pierwszy wyraz (a) — wartość początkowa szeregu
• Iloraz (r) — stały mnożnik stosowany do każdego wyrazu, aby otrzymać kolejny

Jeśli a = 1 i r = 2, otrzymujemy 1 + 2 + 4 + 8 + .... Jeśli a = 3 i r = 0,5, otrzymujemy 3 + 1,5 + 0,75 + ... Struktura jest zawsze taka sama.

Na tym polega cała idea. Każdy szereg geometryczny to powtarzane mnożenie, zaczynając od a i skalowane w każdym kroku przez r.

Ciąg geometryczny a szereg geometryczny

Te dwa pojęcia często się mylą, ale różnicę można wyjaśnić jednym zdaniem.

Ciąg geometryczny to po prostu lista liczb: 1, 2, 4, 8, 16, natomiast szereg geometryczny to wynik ich dodania: 1 + 2 + 4 + 8 + 16 = 31.

Liczby są identyczne, ale działanie inne. Ciąg je wylicza, szereg je sumuje.

Wzór na sumę skończonego szeregu geometrycznego

Suma pierwszych n wyrazów szeregu geometrycznego jest określona wzorem:

Wzór na sumę pierwszych n wyrazów

Gdzie:

• a = pierwszy wyraz

• r = iloraz

• n = liczba wyrazów

Przejdźmy przez prosty przykład. Załóżmy, że chcą Państwo zsumować pierwsze 4 wyrazy 1 + 2 + 4 + 8. Tutaj a = 1, r = 2 i n = 4.

Prosty przykład szeregu geometrycznego

Można to zweryfikować ręcznie: 1 + 2 + 4 + 8 = 15. Wzór prowadzi do wyniku w jednym kroku, co ma znaczenie, gdy n jest duże.

Nieskończony szereg geometryczny i zbieżność

To niecodzienne pojęcie: nieskończony szereg może mieć skończoną sumę.

Rozważmy 1 + 0,5 + 0,25 + 0,125 + .... Można dodawać kolejne wyrazy w nieskończoność, ale suma nigdy nie przekroczy 2. Dzieje się tak, ponieważ każdy nowy wyraz jest mniejszy od poprzedniego — na tyle mały, że suma dąży do stałej wartości, zamiast rosnąć bez ograniczeń.

To zachowanie to zbieżność i występuje tylko pod jednym warunkiem: |r| < 1.

Gdy iloraz leży w przedziale od -1 do 1 (z wyłączeniem końców), każdy wyraz maleje w miarę postępu w szeregu. Wyrazy dążą do zera, co oznacza, że dodawanie kolejnych wnosi coraz mniej do sumy. Suma się stabilizuje.

Jeśli |r| ≥ 1, wyrazy nie maleją. Pozostają tej samej wielkości lub rosną, a suma wciąż się zwiększa. To szereg rozbieżny — nie ma skończonej sumy.

Warto zwrócić uwagę na wartość bezwzględną przy r. Iloraz równy -0,5 również daje zbieżność, ponieważ wyrazy zmieniają znak naprzemiennie, ale wciąż maleją do zera.

Wzór na sumę nieskończonego szeregu geometrycznego

Gdy |r| < 1, nieskończony szereg geometryczny można zsumować jednym wzorem:

Wzór na nieskończony szereg geometryczny

Gdzie a to pierwszy wyraz, a r to iloraz. To wszystko — n nie jest potrzebne, bo szereg się nie kończy.

Skorzystajmy z przykładu z poprzedniej sekcji: 1 + 0,5 + 0,25 + 0,125 + .... Tutaj a = 1 i r = 0,5.

Przykład nieskończonego szeregu geometrycznego

Suma nieskończona wynosi dokładnie 2. Można dodawać wyrazy bez końca i nigdy jej nie przekroczyć.

Warto pamiętać, że ten wzór działa tylko wtedy, gdy |r| < 1. Jeśli szereg jest rozbieżny, wzór przestaje mieć zastosowanie i zwróci bezsensowny wynik. Zawsze należy najpierw sprawdzić warunek zbieżności.

Dlaczego zbieżność ma znaczenie

Nie każdy nieskończony szereg dąży do skończonej sumy. Niektóre po prostu rosną.

Weźmy 1 + 2 + 4 + 8 + .... Tutaj r = 2, co oznacza, że każdy wyraz jest większy od poprzedniego. Suma nie ma granicy — rośnie bez ograniczeń. To szereg rozbieżny, a zastosowanie wzoru na sumę nieskończoną da wynik bez znaczenia.

To samo dzieje się, gdy r = 1. Szereg 3 + 3 + 3 + 3 + ... nigdy nie przestaje się kumulować, więc nie ma mowy o skończonej sumie.

Dlatego sprawdzenie warunku |r| < 1 przed sięgnięciem po wzór jest obowiązkowe. Jeśli szereg jest rozbieżny, wzór nie „popsuje się” w oczywisty sposób — po prostu zwróci liczbę, która wygląda wiarygodnie, ale jest całkowicie błędna.

Szereg geometryczny w Pythonie

Przenieśmy wszystko, co dotąd omówiliśmy, do kodu. Zaimplementuję wzory na sumę skończoną i nieskończoną, zweryfikuję wyniki i zobrazuję, jak zachowują się sumy częściowe wraz z dodawaniem kolejnych wyrazów.

Skończony szereg geometryczny

Oto cała logika w Pythonie potrzebna do zaimplementowania wzoru na sumę skończonego szeregu geometrycznego:

def finite_geometric_sum(a, r, n):
    if r == 1:
        return a * n
    return a * (1 - r**n) / (1 - r)

result = finite_geometric_sum(a=1, r=2, n=4)
print(f"Finite sum (a=1, r=2, n=4): {result}")

Skończony szereg geometryczny w Pythonie

Nieskończony szereg geometryczny

W przypadku szeregu nieskończonego historia jest podobna, trzeba tylko zgłosić błąd, jeśli warunek nie jest spełniony:

def infinite_geometric_sum(a, r):
    if abs(r) >= 1:
        raise ValueError(f"Series diverges for |r| >= 1. Got r={r}.")
    return a / (1 - r)

# Example: 1 + 0.5 + 0.25 + ... (a=1, r=0.5)
result = infinite_geometric_sum(a=1, r=0.5)
print(f"Infinite sum (a=1, r=0.5): {result}")

Nieskończony szereg geometryczny w Pythonie

Funkcja zgłasza błąd, gdy |r| >= 1, aby nie zwrócić po cichu błędnej odpowiedzi.

Wizualizacja zbieżności

Tu robi się ciekawie. Dla szeregu zbieżnego sumy częściowe powinny zbliżać się do wartości granicznej wraz ze wzrostem n. Zobrazujmy to.

import numpy as np
import matplotlib.pyplot as plt

COLOR_DARK = "#1a1a2e"
COLOR_GREEN = "#03EF62"
COLOR_LIGHT_GRAY = "#cccccc"

a, r = 1, 0.5
n_terms = 30
theoretical_limit = infinite_geometric_sum(a, r)

# Compute partial sums
terms = a * r ** np.arange(n_terms)
partial_sums = np.cumsum(terms)

# Plot
fig, ax = plt.subplots(figsize=(10, 5), facecolor=COLOR_DARK)
ax.set_facecolor(COLOR_DARK)

ax.plot(range(1, n_terms + 1), partial_sums, color=COLOR_GREEN, linewidth=2, label="Partial sums")
ax.axhline(y=theoretical_limit, color=COLOR_LIGHT_GRAY, linewidth=1, linestyle="--", label=f"Limit = {theoretical_limit}")

ax.scatter(range(1, n_terms + 1), partial_sums, color=COLOR_LIGHT_GRAY, s=30, zorder=3)

# Style
for spine in ax.spines.values():
    spine.set_visible(False)
ax.spines["bottom"].set_visible(True)
ax.spines["bottom"].set_color(COLOR_LIGHT_GRAY)
ax.spines["bottom"].set_alpha(0.3)

ax.tick_params(colors=COLOR_LIGHT_GRAY)
ax.xaxis.label.set_color(COLOR_LIGHT_GRAY)
ax.yaxis.label.set_color(COLOR_LIGHT_GRAY)
ax.set_xlabel("Number of terms")
ax.set_ylabel("Partial sum")
ax.set_title("Convergence of geometric series (a=1, r=0.5)", color=COLOR_LIGHT_GRAY, pad=15)

legend = ax.legend(facecolor=COLOR_DARK, edgecolor=COLOR_LIGHT_GRAY, labelcolor=COLOR_LIGHT_GRAY)
legend.get_frame().set_alpha(0.3)

plt.tight_layout()
plt.show()

Wizualizacja zbieżnego szeregu

Suma częściowa dąży do 2,0 i się wypłaszcza — dokładnie tak wygląda zbieżność w praktyce. Każdy kolejny wyraz wnosi mniej niż poprzedni, a krzywa ustala się na wartości granicznej.

Najczęstsze zastosowania szeregów geometrycznych

Szeregi geometryczne modelują rzeczywiste wzorce pojawiające się w finansach, fizyce i informatyce.

Najbardziej znanym przykładem są finanse. Gdy inwestuje się środki po stałej stopie procentowej, saldo w każdym okresie jest poprzednim pomnożonym przez stały współczynnik. Łączna wartość tych skumulowanych zwrotów w czasie to szereg geometryczny. Ta sama struktura dotyczy amortyzacji kredytów i wyliczeń rent.

W fizyce szeregi geometryczne służą do modelowania procesów zanikania. Rozpad promieniotwórczy, tłumienie sygnału i rozpraszanie energii podążają za wzorcem, w którym każdy krok zmniejsza wielkość o stały iloraz. Całkowitą ilość substancji, która ulegnie rozpadowi w nieskończonym czasie, można postrzegać jako zbieżny szereg geometryczny.

W informatyce szeregi geometryczne pojawiają się w analizie algorytmów. Algorytmy rekurencyjne, które w każdym kroku dzielą problem na połowę — jak wyszukiwanie binarne czy sortowanie przez scalanie — generują szereg geometryczny, gdy zlicza się całkowitą pracę na wszystkich poziomach. Występują także w strategiach alokacji pamięci i ustalaniu rozmiarów struktur danych, gdzie pojemność rośnie o stały mnożnik.

Najczęstsze błędy przy szeregach geometrycznych

Większość błędów wynika z kilku mylnie odczytanych definicji i jednego nieprawidłowego zastosowania wzoru.

Mylenie ciągu z szeregiem

To najczęstszy problem. Ciąg to lista, szereg to suma. Jeśli ktoś prosi o „szereg geometryczny”, a Państwo wypisują wyrazy zamiast je sumować, odpowiedź jest nie na temat. Różnica jest szczególnie istotna, gdy oczekiwany jest pojedynczy wynik liczbowy.

Stosowanie wzoru na sumę nieskończoną, gdy |r| ≥ 1

To cichy błąd. Wzór S = a / (1 - r) działa tylko wtedy, gdy szereg jest zbieżny. Jeśli ustawią Państwo r = 2 i otrzymają zgrabną liczbę, jest ona bez znaczenia. Zawsze proszę najpierw sprawdzić, czy |r| < 1.

Błędna identyfikacja ilorazu

To trudniejsze, niż się wydaje. Iloraz r to zawsze wartość, przez którą mnoży się wyraz, aby otrzymać kolejny — nie różnica między wyrazami i nie pierwszy wyraz podzielony przez drugi. Dla 3 + 6 + 12 + 24 iloraz wynosi 2, nie 3. Proszę podzielić dowolny wyraz przez poprzedni, aby otrzymać r, i sprawdzić na kilku parach, czy jest rzeczywiście stały.

Wnioski

Szereg geometryczny to powtarzane mnożenie zsumowane w całość. Każdy wyraz wynika z poprzedniego przez ten sam iloraz, co sprawia, że wzorzec jest przewidywalny, a wzory łatwe do interpretacji.

Warunek zbieżności — |r| < 1 — to jedyna rzecz, którą trzeba zapamiętać. Oddziela szereg o sensownej, skończonej sumie od tego, który rośnie bez ograniczeń. Jeśli popełnią Państwo błąd na tym etapie, dalsze wyniki nie będą miały znaczenia.

I to właściwie wszystko. Proszę rozpoznać iloraz, sprawdzić warunek zbieżności, zastosować właściwy wzór. Nic więcej.

Jeśli szeregi geometryczne są dla Państwa proste, proszę zajrzeć do naszego niedawnego wpisu Szeregi Taylora: od aproksymacji do optymalizacji — matematyka nie jest tam tak prosta, ale wyjaśnienia są równie klarowne.