Emberin Çevresi, Dairenin Alanı, P’Nin Değeri

emberin Çevresi, Dairenin Alanı, p’nin Değeri

Bu yazıda, r yarıçaplı bir çemberin çevresinin neden 2pr, alanının neden pr2 olduğunu göreceğiz İlkokuldan beri ezberletilen bu formüllerin kanıtlarını merak etmemiş olabilirsiniz Ne yazık ki okullarda – salt Türkiye’de değil, dünyanın hemen hemen her yerinde ve özellikle matematik derslerinde – öğrenciler sorgulamaya teşvik edilmezler Öğretmenin dediği kabul edilir
Yazının ortalarında 3 < p eşitsizliğini kanıtlayacağım Hemen, “çok kolay” deyip kaleme kâğıda sarılmayın 3 < p eşitsizliğini kanıtlamak için p’nin tanımını bilmek gerekir p’nin tanımını biliyor musunuz? Sanmıyorum Okullarda pek öğretilmez Bu eşitsizliği kanıtlamak için okullarda öğretilen p = 3,14 yada p = 22/7 gibi (doğru olmayan) bilgiler kullanılmamalıdır Yazının 8 bölümünde p‘nin tanımını vereceğim O tanım okunduktan sonra 3 < p eşitsizliği kanıtlanmalıdır, daha önce değil
Çok basit matematikten başlayacağız Önce ünlü Pisagor ve Tales teoremlerini kanıtlayacağız Bu biraz zaman alacak Bu yüzden, Pisagor ve Tales teoremlerini ve kanıtlarını bilen okur, dilerse, doğrudan beşinci bölüme gidebilir

1 Üçgenin Alanı: Yüksekliği h, tabanı b olan bir üçgenin alanı bh/2’dir

Bu formülü bilmeyen lise fen bölümü öğrencileri tanıdım ne yazık ki Öte yandan, geçenlerde gittiğim özel bir ilkokulun beşinci sınıf öğrencileri hem formülü hem de kanıtını biliyorlardı Sevindim elbet Ama eğitimdeki eşitsizliği bir kez daha görüp üzüldüm de İlkokul öğrencilerinin anlayabileceği bu kanıt bir şekille açıklanabilir



Üçgeni yukardaki şekillerdeki gibi “ikiyle çarpalım” Böylece, yüksekliği h, tabanı b olan bir dikdörtgen elde ederiz Dikdörtgenin alanı bh olduğundan, üçgenin alanı bh/2’dir

2 Pisagor Teoremi Pisagor teoremi, Bir diküçgenin dik açısının kenarlarının uzunluklarının karelerinin toplamı öbür kenarın uzunluğunun karesine eşittir, der Şekille söylemek gerekirse,



Bu teoremi kanıtlayacağız şimdi Uzunluğu c olan kenara bir kare inşa edelim:

Yamuk duran karenin bir kenarının uzunluğu c’dir, demek ki alanı c2’dir Şimdi aynı alanı başka türlü hesaplayacağız
Karede dört üçgen var ve herbirinin alanı ilk üçgenimizin alanına eşit, yani her üçgenin alanı ab/2 Yamuk karenin içinde bu dört üçgenden başka, bir de küçük kare var Bu küçük karenin her kenarı b – a olduğundan alanı (b – a)2’dir Demek ki yamuk karenin alanı aynı zamanda bu alanların toplamına eşittir:

Dört üçgenin alanı = 4 ´ ab/2 = 2ab
Küçük karenin alanı = (b – a) 2 = b2 – 2ab + a2
Toplam alan = a2 + b2
Dolayısıyla c2 = a2 + b2 eşitliği geçerlidir Pisagor teoremini de kanıtladık
Sıra Tales teoremini kanıtlamaya geldi Tales’in teoremini iki aşamada kanıtlayacağız

3 Tales’in Teoremi (1): Aşağıdaki şekilde HC/H¢C¢ = AH/AH¢ eşitliği geçerlidir

AH¢C¢ üçgeninin alanını iki türlü hesaplayacağız
Bu alan, her şeyden önce, AH¢´H¢C¢/2’ye eşittir
Aynı zamanda AHC üçgenininin, HCTH¢ dikdörtgeninin ve CTC¢ üçgeninin alanına eşittir, yani,
AH´HC/2 + HC´HH¢ + CT´TC¢/2
ye eşittir Demek ki,
AH¢´H¢C¢/2 = AH´HC/2 + HC´HH¢ + CT´C¢T/2
eşitliği doğru Bu eşitlikte,
HH¢ yerine AH¢ - AH,
CT yerine AH¢ - AH,
C¢T yerine H¢C¢ - HC
koyalım, çarpıp sadeleştirelim, istediğimiz eşitliği elde ederiz

4 Tales’in Teoremi (2): Aşağıdaki şekilde AC/HC = AC¢/H¢C¢ eşitliği geçerlidir


Yukardaki teoremi ve Pisagor teoremini kullanacağız:
AC2 =(Pisagor) AH2 + HC2 =(Tales 1) (AH¢2´HC2/H¢C¢2) + HC2
=(cebir) (HC2/H¢C¢2)(AH¢2 + H¢C¢2)
=(Pisagor) (HC2/H¢C¢2) ´ AC¢2
Şimdi iki tarafın da karekökünü alarak dilediğimiz eşitliği kanıtlayabiliriz

5 Düzgün Çokgenler Bir çembere düzgün çokgenlerle yakınsayabiliriz Örneğin, çemberin içine yerleştirilen bir düzgün sekizgenin çevresi, çemberin çevresine oldukça yakındır

Eğer çemberin içine bir düzgün onaltıgen yerleştirirsek, çembere daha da yaklaşmış oluruz
Çokgenin kenar sayısını ne kadar çok artırırsak, çembere o kadar çok yakınsarız Çokgenin çevresi, çemberin çevresinden her zaman daha küçüktür, ama aradaki fark kenar sayısı arttıkça küçülür, öyle ki “sonsuzda” bu iki çevre birbirlerine eşit olurlar Bir başka deyişle, çember, bir düzgün sonsuzgendir
Aynı şey çemberin içerdiği alan, ki ona “daire” denir, için de geçerlidir Düzgün çokgenin alanı, kenar sayısı arttıkça, dairenin alanına yakınsar ve “sonsuzda” iki alan birbirine eşit olur

6 p’nin Tanımı Pek yakında r yarıçaplı bir çemberin çevresinin 2pr olduğunu kanıtlayacağız Bir an için bunu bildiğimizi varsayarsak, bir çemberin çevresi yarıçapına böldündüğünde 2p elde edildiğini görürüz Bu, bütün çemberler için geçerlidir Yani herhangi bir çemberi yarıçapına bölersek, hep aynı sayıyı, bir sabiti (2p’yi) elde ederiz Bunu kanıtlayalım Kanıttan hemen sonra p sayısını tanımlayacağız
Aynı merkezli iki çember ele alalım Bu çemberlerin içine düzgün çokgenler oturtalım:

Çokgenlerin kenar sayısına n diyelim Her ne denli n şekilde 8 ise de, biz n’nin çok, ama çok büyük, “sonsuza yakın” (ne demekse!) bir sayı olduğunu varsayalım
Küçük çemberin çevresine l, büyük çemberin çevresine l¢ diyelim Küçük çemberin çapına r, büyük çemberin çapına da r¢ diyelim Ve küçük çokgenin çevresine ln, büyük çokgenin çevresine l¢n diyelim
Üçgenlerden birini büyültelim:


Elbette,
r = AB ve r¢ = AB¢ (2)
ile
ln = n ´ BC ve l¢n = n ´ B¢C¢
eşitlikleri geçerlidir
Birazdan l/r = l¢/r¢ eşitliğini kanıtlayacağız
l, aşağı yukarı ln’ye, yani n ´ BC’ye eşit n büyüdükçe BC küçülüyor ve n ´ BC sayısı l’ye yakınsıyor Demek ki
l » ln = n ´ BC
ve
l¢ » l¢n = n ´ B¢C¢ (3)
aşağıyukarılıkları geçerlidir
Şimdi (1), (2) ve (3)’ü kullanarak hesaplayalım:
l/r =(2) l/AB »(3) n ´ BC/AB = n ´ 2BH/AB =(Pisagor) n ´ 2B¢H¢/AB¢ = n ´ B¢C¢/AB¢ »(3) l¢/AB¢ =(2) l¢/r¢
Böylece l/r = l¢/r¢ eşitliği kanıtlanmış oldu
Demek ki, herhangi bir çemberin uzunluğunu yarıçapına bölersek hep aynı sayıyı buluruz yani l/r sayısı, çember ne olursa olsun, değişmez, hep aynıdır, bir sabittir Hiç değişmeyen bu l/r sabitinın yarısı da, yani l/2r sayısı da bir sabittir Bu sabite özel bir ad verelim: p İşte şimdi p’yi tanımladık:
p = l/2r (4)

7 “3 < p” Eşitsizliği p’yi tanımladık ama değerini bilmiyoruz Yukardaki tanımdan hareket ederek, 3 < p eşitsizliğini kanıtlayalım

Bir dairenin içine düzgün bir altıgen yerleştirelim Dairenin yarıçapı r olsun Demek ki dairenin çapı 2r Tanıma göre, dairenin çevresini 2r’ye bölersek p’yi elde ederiz Bir başka deyişle, dairenin çevresi 2pr’ye eşittir Öte yandan düzgün altıgenin çevresi 6r Düzgün altıgenin çevresi dairenin çevresinden daha küçük olduğundan 6r < 2pr elde ederiz Sadeleştirirsek, 3 < p bulunur, ki bu da bizim kanıtlamak istediğimiz eşitsizliktir zaten
Bu kanıtı biraz daha az sözle şöyle gösterebiliriz:
Dairenin Çevresi = 2pr
Altıgenin Çevresi = 6r
Demek ki 6r < 2pr
Yani 3 < p

8 Çemberin Çevresi r yarıçaplı bir çember ele alalım Bu çemberin çevresine l diyelim Üçüncü bölümdeki tanıma göre p = l/2r’dir Demek ki l = 2pr’dir! Çemberin çevresinin formülünü bulduk

9 Dairenin Alanı Şimdi, r yarıçaplı bir dairenin alanını bulalım Alanın pr2’ye eşit olduğunu kanıtlayacağız Yukarda yaptığımız gibi daireye bir çokgen yerleştirelim, yani daireyi üçgenlere bölelim

Üçgen sayımıza n diyelim Her ne denli şekilde n, 8’e eşitse de, aslında n çok büyük bir sayı, sonsuza yakın! Çokgenin çevresi ln, alanı da An olsun Çemberin çevresi l, alanı A olsun n ne kadar büyükse ln ve An sayıları l ve A’ya o kadar yakındır Üçgenlerin yüksekliğine h, tabanına b diyelim Her üçgenin alanı bh/2’dir n tane üçgen olduğundan, çokgenin alanı nbh/2’dir Demek ki
An = nbh/2
eşitliği geçerlidir Öte yandan h aşağı yukarı r’ye eşittir Yukardaki eşitlikteki h yerine r’yi koyarsak,
An » nbr /2
elde ederiz Ama nb çokgenin çevresine, yani ln’ye eşit Yukardaki aşağıyukarılıktaki nb yerine ln koyalım
An » rln/2
elde ederiz Şimdi n’yi sonsuza götürelim O zaman An sayısı A’ya, ln sayısı da l‘ye dönüşür ve yukardaki aşağıyukarılık,
A = rl/2
eşitliğine dönüşür Yukarda
= 2pr
eşitliğini kanıtlamıştık A = rl/2 formülündeki l yerine 2pr koyalım:
A = r(2pr)/2 = pr2
elde ettik Çemberin alanını bulduk

10 p’nin Değeri Yazının süreğinde p sayısının nasıl hesaplanacağına ilişkin birkaç ilginç bilgi vereceğim Vereceğim bu bilgileri burda kanıtlamama olanak yoktur, bunlar ancak üniversite düzeyinde kanıtlanabilir
Aşağıdaki sonsuz toplama bakalım:
1/1 –1/3 + 1/5 – 1/7 + 1/9 –1/11 +
Bu sonsuz toplam sonlu bir sayıdır Bu sonlu sayı, sıkı durun, p/4’e eşittir Yani,
p = 4 ´ (1/1 –1/3 + 1/5 – 1/7 + 1/9 –1/11 + )
eşitliği geçerlidir
Yavaş yavaş hesaplayalım bu toplamı
4 ´ 1/1 = 4
4 ´ (1/1 – 1/3) = 8/3 = 2,6666
4 ´ (1/1 – 1/3 + 1/5 ) = 52/15 = 3,4666
4 ´ (1/1 – 1/3 + 1/5 – 1/7) = 304/105 » 2,895238095
4 ´ (1/1 – 1/3 + 1/5 – 1/7 + 1/9) = 1052/315 » 3,33968254
4 ´ (1/1 – 1/3 + 1/5 – 1/7 + 1/9 – 1/11) = 10312/3465 » 2,976046176
4 ´ (1/1 – 1/3 + 1/5 – 1/7 + 1/9 – 1/11 + 1/13) = 36979/45045 » 3,283738484
Elde ettiğimiz sayılar (bunlara kısmi toplamlar denir) bir büyür bir küçülür ve sonsuza ne denli yaklaşırsak, bu sayılar p’ye o denli yakınsarlar Bilgisayarımda biriki hesap yaptım, işte sonuçları:

İlk 1 terimin toplamı = 1
İlk 2 terimin toplamı » 2,666667
İlk 3 terimin toplamı » 3,466667
İlk 4 terimin toplamı » 2,895238
İlk 5 terimin toplamı » 3,339683
İlk 6 terimin toplamı » 2,976046
İlk 7 terimin toplamı » 3,283739
İlk 8 terimin toplamı » 3,017072
İlk 9 terimin toplamı » 3,252366
İlk 10 terimin toplamı » 3,04184
İlk 100 terimin toplamı » 3,13193
İlk 101 terimin toplamı » 3,151493
İlk 1000 terimin toplamı » 3,140593
İlk 1001 terimin toplamı » 3,142592
İlk 2000 terimin toplamı » 3,14109
İlk 3000 terimin toplamı » 3,141260
İlk 4000 terimin toplamı » 3,141345
İlk 10000 terimin toplamı » 3,141498
İlk 20000 terimin toplamı » 3,141547
İlk 30000 terimin toplamı » 3,141563
İlk 40000 terimin toplamı » 3141571
İlk 50000 terimin toplamı » 3141571
İlk 60000 terimin toplamı » 3141571
İlk 70000 terimin toplamı » 3141582
İlk 80000 terimin toplamı » 3141583
İlk 90000 terimin toplamı » 3141585
İlk 100000 terimin toplamı » 3141586
İlk 120000 terimin toplamı » 3141588
İlk 150000 terimin toplamı » 3141589
İlk 230000 terimin toplamı » 3141592

p’ye yakınsamak için başka formüllerden de yararlanabiliriz İşte bu formüllerden bir başkası:
p/4 = (2/3´4/3)(4/5´6/5)(6/7´8/7)(8/9´10/9) (10/11´12/11)
Bu, sonsuz bir çarpımdır Bu sonsuz çarpım şöyle de yazılabilir:
p/4 = 8/9 ´ 24/25 ´ 48/49 ´ 80/81 ´ 120/121
yani,
p = 4 ´ 8/9 ´ 24/25 ´ 48/49 ´ 80/81 ´ 120/121
Bu terimlerin birkaç tanesini elle çarpalım:

İlk 1 terimin çarpımı = 4
İlk 2 terimin çarpımı = 32/9 =
İlk 3 terimin çarpımı = 256/75 =
İlk 4 terimin çarpımı = 4096/1225 » 3,343673469
İlk 5 terimin çarpımı = 65536/19845 » 3,30239355
Hep 1’den küçük bir sayıyla çarptığımızdan sayılar gittikçe küçülürler Bu çarpımı sonsuza dek yapabilirsek, sonsuzda tam tamına p sayısını buluruz Bilgisayarıma hesaplattırdım ve aşağıdaki sonuçları buldum:

İlk 10 terimin çarpımı » 3,20771
İlk 20 terimin çarpımı » 3,177493
İlk 30 terimin çarpımı » 3,166232
İlk 40 terimin çarpımı » 3,160348
İlk 100 terimin çarpımı » 3,149302
İlk 500 terimin çarpımı » 3,143157
İlk 1000 terimin çarpımı » 3,142376
İlk 2000 terimin çarpımı » 3,141989
İlk 2563 terimin çarpımı » 3,141854
Bundan sonraki sayılar değişmiyor, çünkü bilgisayarımda virgülden sonra ancak altı hane gidebiliyorum Daha sonraki çarpımlar 0,999999 olduğundan bilgisayarım bu sayıyı 1 sanıyor (Bir komutla virgülden sonra istediğim kadar gidebilmeliyim, ama komutu bilmiyorum) Bu formüle Wallis formülü denir
p’yi şu formülle de hesaplayabiliriz:
p2/8 = 1/12 + 1/32 + 1/52 + 1/72 + 1/92 +
Doğanın bir garipliği
p’yi hesaplamanın bir başka yolu da aşağıdaki formülü kullanmaktır:
p/4 = ,
yani
p = 4 ´
Bu seri p’ye yukardakilerden çok daha hızlı yakınsar Örneğin, daha birinci terimde,
4´(6/8 + 2/57 + 1/239) = 43009/13623 » 3,157087279
sayısını buluruz, gerçek p’ye oldukça yakın Bunun kısmi toplamlarını hesaplayalım:

İlk 1 terimin toplamı » 3,157087
İlk 2 terimin toplamı » 3,141448
İlk 3 terimin toplamı » 3,141594
İlk 4 terimin toplamı » 3,141593
Bilgisayarım bundan sonra hep aynı sayıyı veriyor Bu son formül 1962 yılında Shanks ve Wrench tarafından bulunmuştur
p’nin virgülden sonra, diyelim 216ıncı rakamını hesaplamak için formüller de vardır Ama ne yaparsak yapalım, p’yi hiçbir zaman tam olarak bulamayız, ama p’ye (kesirli sayılarla) dilediğimiz kadar yakınsayabiliriz