Geometrijsko zaporedje

Geometríjsko zaporédje (tudi geométrično zaporédje) je v matematiki zaporedje števil, v katerem je neničelno število - količnik dveh zaporednih členov vedno enak - konstanten. Ta količnik se po navadi označi s črko k (količnik) ali mednarodno q (kvocient).

Slika kaže geometrično zaporedje 1 + 1/2 + 1/4 + 1/8 + ..., ki konvergira k 2, kar nakazuje ploščina pravokotnika

Rekurzivni obrazec geometrijskega zaporedja je torej enak:

Splošni obrazec za n-ti člen pa je:

Zgled geometrijskega zaporedja s količnikom 2 in s prvim členom 3 so števila: 3, 6, 12, 24, 48, 96, ... Splošni obrazec tega zaporedja je enak an = 3 · 2n − 1.

Po navadi se privzame, da je n naravno število, tj. da se geometrijsko zaporedje začne s prvim členom . Če se začne z n = 0, se lahko obrazec za n-ti člen zapiše tudi v preprostejši obliki:

Tako se zapiše zaporedje:

kjer je količnik, pa konstantni skalirni faktor, enak vrednosti prvega člena zaporedja. Če je npr. , gre za preprost zgled geometrijskega zaporedja s splošnim členom:

in zapisom:

Osnovne značilnosti

uredi

Za geometrijsko zaporedje s samimi pozitivnimi členi je značilna naslednja značilnost: če se vzame katerekoli tri zaporedne, oziroma enako razmaknjene, člene  ,   in  , je absolutna vrednost srednjega člena geometrijska sredina sosednjih, oziroma enako razmaknjenih, členov:

 
 

Iz te značilnosti definicije geometrijskega zaporedja sledi veljavnost naslednje enačbe:

 

To se pokaže neposredno, pri čemer se za količnik upošteva:

 

tako da je:

 

Na primer za prve člene zaporedja kvadratov 1, 2, 4, 8, 16, 32, … velja:

 
 
 

Količnik geometrijskega zaporedja je lahko tudi negativen, pri čemer je takšno geometrijsko zaporedje alternirajoče, kjer se predznak členov izmenično spreminja med pozitivnim in negativnim. Količnik geometrijskega zaporedja števil:

1, −3, 9, −27, 81, −243, ...

je enak −3.

Oblika geometrijskega zaporedja je odvisna od količnika. Če je količnik:

  • pozitiven, so vsi členi enakega predznaka kot prvi člen.
  • negativen, se predznak členov izmenično spreminja med pozitivnim in negativnim.
  • večji kot 1, geometrijsko zaporedje eksponentno narašča proti pozitivni neskončnosti.
  • enak 1, je geometrijsko zaporedje konstantno.
  • med −1 in 1, vendar ni enak 0, geometrijsko zaporedje eksponentno pada proti nič.
  • enak −1, je geometrijsko zaporedje alternirajoče (glej alternirajoča vrsta)
  • manj kot −1, za absolutne vrednosti zaradi spreminjajočega se predznaka obstaja eksponentna rast proti pozitivni in negativni neskončnosti.

Geometrijska zaporedja (s količnikom, ki ni enak −1, 1 ali 0) eksponentno naraščajo ali padajo, z razliko od linearne rasti ali padanja aritmetičnih zaporedij, kot je npr. 4, 15, 26, 37, 48, … (z razliko 11). To značilnost je v svojem delu Načela prebivalstva (Principle of Population) za matematično osnovo vzel Malthus.

Obe vrsti zaporedij sta povezani: če se antilogaritmira vsak člen aritmetičnega zaporedja, se dobi geometrijsko zaporedje, in, če se logaritmira vsak člen geometrijskega zaporedja s pozitivnim količnikom, se dobi aritmetično zaporedje.

Na primer vsak člen aritmetičnega zaporedja nenegativnih števil:

 

se naravno antilogaritmira in se dobi geometrijsko zaporedje:

 

s količnikom  .

Vsota členov

uredi

Vsota členov geometrijskega zaporedja od vključno prvega do vključno n-tega člena se imenuje tudi končna geometrijska vrsta. Izračuna se jo po obrazcu:

 

Če je število k z intervala (−1, 1), se členi zaporedja po absolutni vrednosti manjšajo proti 0 in v tem primeru obstaja tudi vsota neskončnega števila členov, kar se imenuje tudi vsota neskončne geometrijske vrste:

 

Produkt členov

uredi

Produkt prvih n členov geometrijskega zaporedja se lahko izračuna po obrazcu:

 

To se pokaže na naslednji način:

 

Produkt členov geometrijskega zaporedja od m-tega do n-tega člena je:

 

kar se pokaže z izpeljavo:

 

Zgledi

uredi
  • zaporedje ploščin kvadratov, kjer vsak naslednji kvadrat nastane s povezavanjem razpolovišč stranic predhodnega - neskončno geometrijsko zaporedje s količnikom 1/2; ploščina dobljenega kvadrata je 1/2 ploščine predhodnega, in dobimo zaporedje:
 
Ploščina štirih trikotnikov iz vsakega kvadrata je enaka polovici njegove ploščine. Ploščine trikotnikov tudi tvorijo neskončno geometrijsko zaporedje s količnikom 1/2. Njihova vsota ne more preseči ploščine začetnega kvadrata s stranico   zato velja:
 [1]:7-8
  •   — neskončno konstantno geometrijsko zaporedje s prvim členom   in količnikom   (ter aritmetično zaporedje z razliko 0).
  •   — neskončno konstantno geometrijsko zaporedje s prvim členom   in količnikom   (ter aritmetično zaporedje z razliko 0).
  • zaporedje števila zrn na štiriinšestdesetih poljih šahovnice - geometrijsko zaporedje s količnikom 2. Število je enako:
 
  • 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192 — geometrijsko zaporedje s prvim členom   in količnikom   s trinajstimi členi. Vsota je enaka:
 
  •   — neskončno padajoče zaporedje s prvim členom   in količnikom  .

Povezava z geometrijo in Evklidovo delo

uredi

Osma in deveta knjiga Evklidovih Elementov proučujeta geometrijska zaporedja in dajeta več njihovih značilnosti.

Geometrijsko zaporedje se imenuje tako, ker je vsak člen geometrijska sredina dveh sosednjih členov.

Elementi, deveta knjiga

uredi

Geometrijsko zaporedje kvadratov 1, 2, 4, 8, 16, 32, … (ali v dvojiškem sistemu, 1, 10, 100, 1000, 10000, 100000, … ) je pomembno v teoriji števil. Trditev 36 v deveti knjigi Elementov dokazuje, da, če je vsota prvih n členov tega zaporedja praštevilo, potem je zmnožek te vsote in n-tega člena popolno število. Vsota prvih 5 členov zaporedja je npr. 1 + 2 + 4 + 8 + 16 = 31, kar je praštevilo. Vsota 31 pomnožena s 16 (5-i člen zaporedja) je enako 496, ki je popolno število.

Trditev 35 v deveti knjigi dokazuje, da, če se v geometrijski vrsti prvi člen odšteje od drugega in zadnjega člena, je presežek drugega proti prvem enak presežku zadnjega proti predhodnim. To je enaka ugotovitev kot obrazec za geometrijsko vrsto zgoraj. Če se to upošteva na geometrijsko zaporedje 31, 62, 124, 248, 496, (kjer so vsi členi pomnoženi z 31), se vidi, da je 62 minus 31 enako kot 496 minus 31 proti vsoti 31, 62, 124, 248. Zato je vsota števil 1, 2, 4, 8, 16, 31, 62, 124 in 248 enaka 496, in vsa ta števila delijo 496. Naj npr. p deli 496 in ni eno od teh števil. Predpostavi se, da je pq enako 16 · 31, oziroma 31 je proti q enako kot p proti 16. p tako ne more deliti 16, saj bi bilo eno od števil: 1, 2, 4, 8 ali 16. Zato 31 ne more deliti q. In, ker 31 ne deli q in q meri 496, po osnovnem izreku aritmetike izhaja, da mora q deliti 16 in biti eno od števil: 1, 2, 4, 8 ali 16. Naj je q enak 4, potem mora biti p enak 124, kar je nemogoče, ker po domnevi p ni eno od števil: 1, 2, 4, 8, 16, 31, 62, 124 ali 248.

Glej tudi

uredi

Sklici

uredi
  1. Row (1917), str. 7-8.
  • Hall, Henry Sinclair; Knight, Samuel Ratcliff (2008). Higher Algebra. New Delhi: Maxford Books. ISBN 81-8116-000-2.
  • Row, T. Sundara (1917). Geometric exercises in paper folding. Chicago ::: London: The Open Court Publishing Company. Ruski prevod: Геометрические упражнения с куском бумаги. Odesa: Mathesis. 1923.

Zunanje povezave

uredi