Geometrik seri

Matematikte **geometrik seri** art arda gelen iki terimi arasında sabit bir oran bulunan seridir. Örneğin,

:\frac{1}{2} \,+\, \frac{1}{4} \,+\, \frac{1}{8} \,+\, \frac{1}{16} \,+\, \cdots

serisi geometriktir çünkü ilk terim dışındaki tüm terimler önceki terimi \frac{1}{2} \ 'yle çarparak elde edilebilmektedir.

Seriye terimler eklendikçe toplam 1'e yaklaşmaktadır. Bu ifade, "bu serinin toplamı 1'dir" ya da "bu serinin sonsuz toplamı 1'dir" biçiminde de söylenebilmektedir.

:

Geometrik seriler, sonlu toplamı olan sonsuz serilere verilebilecek en basit örneklerdendir. Tarihte kalkülüsün gelişiminde büyük bir öneme sahip olan bu seriler günümüzde seri yakınsaklığı çalışmalarında kullanılmaktadır. Geometrik seriler matematiğin yanı sıra fizik, mühendislik, biyoloji, ekonomi, berimsel bilimler ve finansta da kullanılmaktadır.

## Ortak oran
Bir geometrik serinin terimleri geometrik ilerleme oluştururlar. Aşağıdaki tablo farklı ortak oranlara sahip geometrik serileri göstermektedir.

Terimlerin davranışı ortak oran *r*ye bağlıdır.
:*r* -1 ile +1 arasındaysa seri terimleri giderek küçülür ve sıfıra doğru yaklaşır. Seri, toplamı olan 1'e yakınsar.
:*r* **1'den büyük** ya da -1'den küçükse seri terimleri giderek büyür ve böylece seri herhangi bir sonlu değere yakınsamaz (seri ıraksar).
:*r* **1'e eşitse** serinin tüm terimleri 1'dir. Seri bu durumda da ıraksar.
:*r* -1 ise seri terimleri iki değeri değişmeli olarak alır (örneğin, 2, -2, 2, -2, 2, …). Terimler iki değer arasında dalgalanır (2, 0, 2, 0, 2, … gibi). Seri bu durumda da ıraksar.

## Toplam
Bir geometrik serinin toplamı seri terimleri sıfıra yaklaştığı sürece sonludur. Toplam, serinin kendine benzerliği kullanılarak hesaplanabilir.

### Örnek

:s \;=\; 1 \,+\, \frac{2}{3} \,+\, \frac{4}{9} \,+\, \frac{8}{27} \,+\, \cdots

geometrik serisi 2/3'lük bir ortak orana sahiptir. Çarpım işlemleri bu ortak oranla yapıldığında 1 olan ilk terim 2/3'e, 2/3 olan ikinci terim 4/9'a dönüşür. İşlemler diğer terimler için de yapıldığında 
:\frac{2}{3}s \;=\; \frac{2}{3} \,+\, \frac{4}{9} \,+\, \frac{8}{27} \,+\, \frac{16}{81} \,+\, \cdots
sonucu elde edilir. Bu seri, özgün seriyle ilk terim dışında tümüyle aynıdır. Kendine benzer herhangi bir ifadeyi hesaplamak için benzer yöntemler kullanılabilir.

### Formül
r\ne 1 olmak koşuluyla bir geometrik serinin ilk ''n'' terimi toplamı

:a + ar + a r^2 + ar^3 + \cdots + a r^{n-1} = \sum_{k=0}^{n-1} ar^k= a \, \frac{1-r^n}{1-r}

biçiminde ifade edilebilir. Burada *a*, serinin ilk terimini gösterirken *r*, ortak oranı belirtir. Bu formül şu biçimde çıkarılabilir:
:
\begin{align}
&s = 1 + r + r^2 + r^3 + \cdots + r^{n-1} \\[4pt]
&rs = r + r^2 + r^3 + r^4 + \cdots + r^n \\[4pt]
&s - rs = s(1-r) = 1-r^n,\text{ }s = \frac{1-r^n}{1-r}
\end{align}


*n* sonsuza giderken serinin yakınsayabilmesi için *r*nin mutlak değerinin 1'den küçük olması gerekir. Toplam

:s \;=\; \sum_{k=0}^\infty ar^k = \frac{a}{1-r}

biçimini alır.  ise bu ifade

:1 \,+\, r \,+\, r^2 \,+\, r^3 \,+\, \cdots \;=\; \frac{1}{1-r}

eşitliğine indirgenir. Bu formül şu biçimde çıkarılabilir:

:
\begin{align}
&s = 1 + r + r^2 + r^3 + \cdots \\[4pt]
&rs = r + r^2 + r^3 + r^4 + \cdots \\[4pt]
&s - rs = 1,\text{ }s = \frac{1}{1-r}
\end{align}


Bu formül yalnızca yakınsak seriler için (*r*nin büyüklüğü 1'den küçükken) geçerlidir. Örneğin,  iken toplam tanımsızdır.

Bu akıl yürütme karmaşık düzlemde de aynı kısıtlamalarla yer alır.

### Yakınsaklık kanıtı
Geometrik serinin yakınsadığı, geometrik ilerleme formülü kullanılarak kanıtlanabilir.
:\begin{align}
&1 \,+\, r \,+\, r^2 \,+\, r^3 \,+\, \cdots \\[3pt]
&=\; \lim_{n\rightarrow\infty} \left(1 \,+\, r \,+\, r^2 \,+\, \cdots \,+\, r^n\right) \\
&=\; \lim_{n\rightarrow\infty} \frac{1-r^{n+1}}{1-r}
\end{align}
|&nbsp;*r*&nbsp;|&nbsp;&lt;&nbsp;1 için  olduğundan limit  ifadesine eşit olur.

## Uygulamalar
### Yinelenen ondalıklar

Bir yinelenen ondalık, ortak oranı 1/10'un bir üssü olan geometrik seri olarak da düşünülebilir.

:0.7777\ldots \;=\; \frac{7}{10} \,+\, \frac{7}{100} \,+\, \frac{7}{1000} \,+\, \frac{7}{10,000} \,+\, \cdots

Geometrik seri toplam formülü, ondalığı kesre dönüştürmek amacıyla kullanılabilir.

:0.7777\ldots \;=\; \frac{a}{1-r} \;=\; \frac{7/10}{1-1/10} \;=\; \frac{7}{9}

Görüldüğü gibi, formül yalnızca bir ondalık için değil, art arda gelen yinelenen ondalıklar için de kullanılabilmektedir.

:0.123412341234\ldots \;=\; \frac{a}{1-r} \;=\; \frac{1234/10000}{1-1/10000} \;=\; \frac{1234}{9999}

Yinelenen ondalıklı herhangi bir seri şu biçimde yalınlaştırılabilir:

:0.09090909\ldots \;=\; \frac{09}{99} \;=\; \frac{1}{11}

:0.143814381438\ldots \;=\; \frac{1438}{9999}

### Parabolün karelenmesi

Arşimet geometrik seri toplamını, bir parabol ve bir doğrunun çevrelediği alanı hesaplamak için kullanmıştır. Temel alınan yöntem, alanın sonsuz çoklukta üçgene ayrılması olarak tanımlanabilir.

**Arşimet teoremi**, parabolün altında kalan alanın mavi üçgenin alanının 4/3'üne eşit olduğunu ortaya koymaktadır. Üstün geometri bilgisini kullanan Arşimet, sarı üçgenlerin alanının mavi üçgenlerin alanının 1/8'ini, yeşil üçgenlerin alanının sarı üçgenlerin alanının 1/8'ini, ... oluşturduğunu gözlemlemiştir.

Mavi üçgenin alanı 1 olarak alınırsa toplam alan

:1 \,+\, 2\left(\frac{1}{8}\right) \,+\, 4\left(\frac{1}{8}\right)^2 \,+\, 8\left(\frac{1}{8}\right)^3 \,+\, \cdots

serisiyle ifade edilebilir.

İlk terim mavi üçgenin alanını, ikinci terim iki sarı üçgenin alanını, üçüncü terim dört yeşil üçgenin alanını belirtmekte ve bu seri sonsuza dek sürmektedir. Kesirler yalınlaştırıldığında

:1 \,+\, \frac{1}{4} \,+\, \frac{1}{16} \,+\, \frac{1}{64} \,+\, \cdots

sonucuna ulaşılır. Bu, ortak oranı  olan bir geometrik seridir. Kesirli bölüm 'e eşittir.

\sum_{n=0}^\infty 4^{-n} = 1 + 4^{-1} + 4^{-2} + 4^{-3} + \cdots = {4\over 3} \;

Toplam
:\frac{1}{1 -r}\;=\;\frac{1}{1 -\frac{1}{4}}\;=\;\frac{4}{3} olarak hesaplanır.

Bu hesaplama, eski bir integral alma yolu olan tüketme yöntemini kullanmaktadır. Bu alan, çağdaş kalkülüste belirli integral yardımıyla bulunabilmektedir.

### Fraktal geometri

Fraktal çalışmalarında geometrik seriler, bir kendine benzer şeklin çevresi, alanı ve hacmini hesaplamada kullanılmaktadır.

Örneğin, Koch kar tanesinin kapladığı alan sonsuz çoklukta eşkenar üçgen olarak tanımlanabilir. Yeşil üçgenin her ayrıtı büyük mavi üçgenin ayrıt uzunluğunun 1/3'üne eşit olduğundan yeşil üçgenin alanı toplam alanın 1/9'unu kaplar. Mavi üçgenin alanı temel alındığında kar tanesinin toplam alanı

:1 \,+\, 3\left(\frac{1}{9}\right) \,+\, 12\left(\frac{1}{9}\right)^2 \,+\, 48\left(\frac{1}{9}\right)^3 \,+\, \cdots

olarak yazılabilir.

Bu serinin ilk terimi mavi üçgenin alanını, ikinci terimi üç yeşil üçgenin toplam alanını, üçüncü terim on iki sarı üçgenin toplam alanını göstermekte ve bu sonsuza dek sürmektedir. Baştaki 1 dışarıda tutulduğunda bu seri, ortak oranı 4/9 olan geometrik seriye dönüşmektedir. Bu geometrik serinin ilk terimi *a*&nbsp;=&nbsp;3(1/9)&nbsp;=&nbsp;1/3'tür. Böylece, alan

:1\,+\,\frac{a}{1-r}\;=\;1\,+\,\frac{\frac{1}{3}}{1-\frac{4}{9}}\;=\;\frac{8}{5}

olarak hesaplanabilir. Koch kar tanesinin alanı temel üçgenin alanının 8/5'ine eşittir.

### Zeno çatışkıları

Bir geometrik serinin yakınsaklığının anlaşılması Zeno çatışkılarının büyük bir bölümünü saf dışı bırakmaktadır. Bunun temel nedeni, bir sonsuz kümenin toplamının |&nbsp;*r*&nbsp;|&nbsp;2 olarak hesaplanır. Böylece, her yıl 100 liralık gelir elde edecek olan birinin elindeki paranın bugünkü değeri bir sonsuz seri biçiminde yazılabilir.

:\frac{100}{1+i} \,+\, \frac{100}{(1+i)^2} \,+\, \frac{100}{(1+i)^3} \,+\, \frac{100}{(1+i)^4} \,+\, \cdots

Bu, ortak oranı 1&nbsp;/&nbsp;(1&nbsp;+&nbsp;*i*) olan geometrik seridir. Toplam

:\frac{a}{1-r} \;=\; \frac{100/(1+i)}{1 - 1/(1+i)} \;=\; \frac{100}{i}

biçiminde yazılabilir.

Yıllık faiz oranı %10 olarak alınırsa tüm gelirin bugünkü değeri 1000 lira olur.

## Ayrıca bakınız
* Seri (matematik)
* Geometrik ilerleme
* Oran testi
* Kök testi
* Iraksak geometrik seri
* Neumann serisi
* Geometrik Artış

### Özel geometrik seriler
* Grandi serisi
* 1 + 2 + 4 + 8 + · · ·
* 1 − 2 + 4 − 8 + · · ·
* 1/2 + 1/4 + 1/8 + 1/16 + · · ·
* 1/2 − 1/4 + 1/8 − 1/16 + · · ·
* 1/4 + 1/16 + 1/64 + 1/256 + · · ·

## Kaynakça

* 
* James Stewart (2002). *Calculus*, 5. basım, Brooks Cole. ISBN 978-0-534-39339-7
* Larson, Hostetler & Edwards (2005). *Calculus with Analytic Geometry*, 8. basım, Houghton Mifflin Company. ISBN 978-0-618-50298-1
* Roger B. Nelson (1997). *Proofs without Words: Exercises in Visual Thinking*, The Mathematical Association of America. ISBN 978-0-88385-700-7
* 

### Tarih ve felsefe

* C. H. Edwards, Jr. (1994). *The Historical Development of the Calculus*, 3. basım, Springer. ISBN 978-0-387-94313-8.
* 
* Eli Maor (1991). *To Infinity and Beyond: A Cultural History of the Infinite*, Princeton University Press. ISBN 978-0-691-02511-7
* Morr Lazerowitz (2000). *The Structure of Metaphysics (International Library of Philosophy)*, Routledge. ISBN 978-0-415-22526-7

### Ekonomi

* Carl P. Simon & Lawrence Blume (1994). *Mathematics for Economists*, W. W. Norton & Company. ISBN 978-0-393-95733-4
* Mike Rosser (2003). *Basic Mathematics for Economists*, 2. basım, Routledge. ISBN 978-0-415-26784-7

### Biyoloji

* Edward Batschelet (1992). *Introduction to Mathematics for Life Scientists*, 3. basım, Springer. ISBN 978-0-387-09648-3
* Richard F. Burton (1998). *Biology by Numbers: An Encouragement to Quantitative Thinking*, Cambridge University Press. ISBN 978-0-521-57698-7

### Berimsel bilimler

* John Rast Hubbard (2000). *Schaum's Outline of Theory and Problems of Data Structures With Java*, McGraw-Hill. ISBN 978-0-07-137870-3

## Dış bağlantılar
* 
* 
* 
* Michael Schreiber, "Geometric Series" , Wolfram Demonstrations Project, 2007