Sabitler · 4000 Yıllık Bir Yarış
Bir çemberin çevresinin çapına oranı, her zaman aynı sayıyı verir, çemberin büyüklüğü ne olursa olsun. Bu basit gözlem, Babil'den Antik Mısır'a, Arşimet'ten Madhava'ya, ve günümüzün petabaytlık sunucularına kadar süren bir "ne kadar yakın yaklaşabiliriz?" yarışını başlattı. Aşağıdaki araçla, Arşimet'in MÖ 250'de kullandığı yöntemi kendiniz deneyin, çemberin içine ve dışına çokgenler çizerek π'yi "sıkıştırın".
Önce Temel Kavramlar
Herhangi bir çemberin çevresini (\(C\)) çapına (\(d\)) bölün. Çember büyük olsun küçük olsun, sonuç her zaman aynı sabit, yaklaşık 3,14159...
Aynı sabit, bir çemberin alanı için de karşımıza çıkar: \(A=\pi r^2\). Bu "evrensellik", π'yi geometri, trigonometri, olasılık, sayı teorisi ve fizikte (dalga denklemleri, Heisenberg belirsizlik ilkesi gibi) sürekli karşımıza çıkan bir sabit yapıyor.
İrrasyonel: π, hiçbir \(a/b\) kesri olarak yazılamaz (\(a,b\) tam sayı). Ondalık açılımı sonsuza gider ve hiç tekrarlamaz. Aşkın: π, hiçbir tam sayı katsayılı polinomun kökü değildir (örneğin \(x^2=2\)'nin kökü \(\sqrt2\) irrasyoneldir ama aşkın değildir, çünkü bir polinomun köküdür). π'nin aşkın olması, 1882'de Lindemann tarafından kanıtlandı (bkz. zaman çizelgesi), ve 2000 yıllık bir geometri problemini ("çemberi kareye dönüştürme") imkânsız olarak kapattı, bu sayfanın "Araştırmacının Pusulası" bölümünde madde 3'te anlatılıyor.
Eski Ahit'te (1. Krallar 7:23), 10 arşın çapında ve 30 arşın çevresinde dairesel bir "havuz" tanımlanır, bu da \(\pi=3\) anlamına gelir. Bazı yorumcular bunu "Kutsal Kitap π'yi yanlış biliyordu" şeklinde okur. Ama tarihçiler genelde bunun, dönemin Babil ve Mısır metinlerinde de yaygın olan, pratik yuvarlamalar (3 gibi basit bir sayı kullanmak) olduğunu düşünür, antik metinlerde ölçümler nadiren birkaç basamaktan fazla hassasiyetle verilirdi. Bu satır, π'nin "ne zamandan beri bilinen bir kavram olduğu" tartışmalarında sık alıntılanır, ama matematiksel bir iddia olarak okunması gerekmiyor.
Bir sayı "normal"se, ondalık açılımındaki her basamak (0-9) ve her basamak dizisi (00-99, 000-999, ...), uzun vadede eşit sıklıkta görünür. π'nin normal olduğu düşünülüyor (trilyonlarca hesaplanmış basamakta istatistiksel olarak hep "normal" davranıyor), ama bu kanıtlanmamış. Bu sayfanın "Araştırmacının Pusulası" bölümünde (madde 6), kendi basamak istatistiklerinizi hesaplayabileceğiniz bir araç var.
MÖ 1900'den 2025'e
Her dönemin π'si, o dönemin matematiksel araçlarını yansıtıyor: önce ölçüm, sonra geometri, sonra sonsuz seriler, ve son 80 yılda da bilgisayarlar.
Bu dönemden kalma bir Babil kil tableti, dairesel bir şeklin ölçümlerinden, kapalı bir biçimde \(\pi\approx25/8=3{,}125\) değerine işaret eder. Bu, gerçek değerden sadece %0,5 kadar uzakta, dönemin pratik ihtiyaçları (tarla alanları, silindirik ambarlar) için yeterliydi.
Rhind Papirüsü, bir çemberin alanını hesaplamak için, çapın \(8/9\)'unu alıp karesini almayı önerir. Bu, kapalı biçimde \(\pi\approx(16/9)^2\approx3{,}16\) değerine karşılık gelir. Babil ve Mısır değerleri, ikisi de gerçek değerin %1'i içinde, ama ikisi de ölçümden geliyor, henüz bir "algoritma" yok.
Arşimet, bir çemberin içine ve dışına düzgün çokgenler çizdi, çokgen kenar sayısını ikişer ikişer katlayarak 96-gon'a kadar ulaştı. Önemli olan: bu sadece bir "yaklaşım" değil, π'nin hangi iki değer arasında olduğunu kanıtlayan ilk yöntemdi:
Yani \(3{,}1408 < \pi < 3{,}1429\). Bu yöntem, 1800 yıl boyunca (küçük iyileştirmelerle) π hesaplamanın standart yöntemi oldu.
Çinli matematikçi Liu Hui, Arşimet'in yönteminden habersiz, kendi çokgen yaklaşımını geliştirdi. 3072 kenarlı bir çokgenle \(\pi\approx3{,}1416\) (5 ondalık basamak) elde etti, Arşimet'in sınırlarından bir basamak daha hassas.
Zu Chongzhi, Liu Hui'nin yöntemini devasa bir çokgene (binlerce kenar, yüzlerce karekök hesabı) uygulayarak, ünlü \(355/113\approx3{,}1415929\) kesrini buldu, 7 ondalık basamağa kadar doğru. Bu kayıt, dünya çapında ~900 yıl kırılamadı.
Madhava of Sangamagrama, π için sonsuz bir seri keşfetti (bugün "Madhava-Leibniz serisi" olarak anılıyor, Avrupa'da 230 yıl sonra Gregory ve Leibniz tarafından bağımsız olarak yeniden bulundu):
Madhava, daha hızlı yakınsayan başka seriler de geliştirdi ve π'yi ~11 ondalık basamağa kadar hesapladı. Bu, "çokgen çizmek" yerine "sonsuz toplam almak" fikrinin ilk büyük örneğiydi.
Pers astronom-matematikçi Jamshīd al-Kāshī, Arşimet tipi çokgen yöntemini devasa bir ölçeğe taşıyarak π'yi 16 ondalık basamağa kadar hesapladı, kendi döneminin dünya rekoru.
1593'te François Viète, π için ilk sonsuz çarpım formülünü buldu (iç içe karekökler içeren, yavaş yakınsayan bir formül). Eşzamanlı olarak, Ludolph van Ceulen, Arşimet'in çokgen yöntemini \(2^{62}\)'ye kadar kenar sayısıyla uygulayarak π'yi 35 ondalık basamağa kadar hesapladı, hayatının büyük bir kısmını buna adadı (ve basamakları mezar taşına kazıttı). Almanya'da π hâlâ bazen "Ludolph Sayısı" olarak anılır.
1655'te Wallis, π için zarif ama yavaş yakınsayan bir sonsuz çarpım buldu. 1671-74 arasında Gregory ve Leibniz, birbirinden bağımsız olarak, Madhava'nın 200+ yıl önce bulduğu seriyi (yukarıdaki \(\pi/4\) serisi) yeniden keşfettiler, Avrupa'da bu yüzden "Gregory-Leibniz serisi" adıyla bilinir.
William Jones, "çevre/çap" oranı için ilk kez π sembolünü kullandı. Aynı yıl, Abraham Sharp Leibniz serisini kullanarak 70 basamağa ulaştı, ve John Machin, kendi adını alan (iki arctan teriminin farkına dayanan, çok daha hızlı yakınsayan) formülüyle π'yi 100 ondalık basamağa kadar hesapladı.
Jones'un π sembolü, Leonhard Euler'in 1748'deki etkili kitabıyla matematik dünyasında standart hale geldi. Euler, aynı zamanda π'yi içeren birçok yeni seri ve formül (Euler'in Kimliği dahil) keşfetti.
1761'de Lambert, π'nin irrasyonel olduğunu kanıtladı (sürekli kesir teknikleriyle). 1882'de Lindemann, çok daha güçlü bir sonuçla, π'nin aşkın olduğunu kanıtladı. Bu ikinci sonuç, 2000 yıllık "çemberi kareye dönüştürme" problemini imkânsız olarak kapattı (bkz. Araştırmacının Pusulası, madde 3).
ENIAC, π'yi 2037 ondalık basamağa kadar hesapladı, o zamana kadarki en hassas hesaplamaydı. El ile yapılan hesaplamalar çağı kapandı, bundan sonra her rekor bir bilgisayar ve algoritma rekoruydu.
1976'da Brent ve Salamin, "aritmetik-geometrik ortalama" (AGM) tabanlı bir algoritma buldu, her adımda doğru basamak sayısını ikiye katlıyor (kareli/quadratic yakınsama). 1989'da Chudnovsky kardeşler, Ramanujan'ın 1910'larda bulduğu tarz serilere dayanan, her terimde ~14 doğru basamak üreten bir formül geliştirdiler, bugün hâlâ rekor hesaplamalarında kullanılan ana yöntem (madde 5).
1988'de Larry Shaw, San Francisco'daki Exploratorium'da ilk "π Günü"nü (14 Mart, 3/14) kutladı. 1995'te Bailey-Borwein-Plouffe (BBP) formülü, π'nin n'inci onaltılık basamağını, önceki basamakları hesaplamadan bulmanın bir yolunu gösterdi (madde 5). Hesaplama rekorları ise katlanarak büyüdü: 2022'de Google Cloud 100 trilyon basamağa ulaştı, 2024'te StorageReview 202 trilyona, 2025'in ortasında Linus Media Group/Kioxia 300 trilyona, ve 2025'in sonunda StorageReview tek bir sunucuda 314 trilyon basamağa ulaştı (madde 7).
Araştırmacının Pusulası
Aşağıdaki sekiz başlık, π'yi hesaplamak için kullanılan farklı stratejileri ve bunların arkasındaki matematiği, sırayla geometriden olasılığa, olasılıktan modern algoritmalara kadar takip ediyor.
Yarıçapı 1 olan bir çemberin içine çizilen düzgün \(n\)-gon'un çevresi/çap oranı \(n\sin(\pi/n)\), dışına çizilenin oranı ise \(n\tan(\pi/n)\)'dir. \(n\to\infty\) iken her ikisi de π'ye yaklaşır, çünkü \(\sin x\approx x\) ve \(\tan x\approx x\) (\(x\) küçükken).
Yukarıdaki formüller modern trigonometriyle yazıldı, ama Arşimet'in zamanında \(\sin\) ve \(\tan\) kavramları yoktu! Arşimet, her çokgenin kenar uzunluğunu, bir öncekinden sadece Pisagor teoremi ve karekök alma işlemleriyle hesaplayan bir özyineleme kullandı. 6-gon'dan başlayıp 7 kez kenar sayısını ikiye katlayarak (6→12→24→48→96) 96-gon'a ulaştı, hepsi el ile, ondalık sayılar olmadan (Yunanlılar kesirli gösterim kullanıyordu). Bu, hesap makinesi olmayan bir dünyada inanılmaz bir mühendislik başarısı.
Yakınsama hızı doğrusaldır: kenar sayısını ikiye katlamak, hata payını yaklaşık dörtte bire indirir. 35 basamağa ulaşmak için van Ceulen'in \(2^{62}\) kenara kadar çıkması gerekmesi, bu yüzden.
Aynı π'ye yaklaşan üç seriyi karşılaştırın: Madhava-Leibniz (en basit, en yavaş), Nilakantha (orta), ve Machin (en hızlı, 1706'dan beri rekor hesaplamalarının temeli).
Antik Yunan'dan beri açık bir soru: sadece pergel ve cetvelle (sonlu adımda), verilen bir çemberle aynı alana sahip bir kare çizilebilir mi? Bu, kenar uzunluğu \(\sqrt\pi\,r\) olan bir kare inşa etmek anlamına gelir.
Pergel-cetvel inşaatlarıyla elde edilebilecek sayılar, rasyonel sayılardan başlayıp sadece \(+,-,\times,\div\) ve karekök alma işlemleriyle ulaşılabilen sayılardır, bunlar her zaman cebirsel (bir polinomun kökü) olmak zorundadır. Lindemann 1882'de π'nin aşkın (hiçbir polinomun kökü değil) olduğunu kanıtladığında, \(\sqrt\pi\) da aşkın olur (aşkın bir sayının karekökü de aşkındır), dolayısıyla inşa edilemez. 2000 yıllık soru, "hayır, asla mümkün olmayacak" şeklinde kesin olarak kapandı, matematik tarihinde bir sorunun "evet" değil "hayır, ve işte kanıtı" ile kapandığı nadir ve tatmin edici örneklerden biri.
1777'de Georges-Louis Leclerc, Comte de Buffon, garip bir soru sordu: çizgili bir zemine rastgele bir iğne düşürürseniz, iğnenin bir çizgiyi kesme olasılığı nedir? Cevap π içerir! İğne uzunluğu ile çizgi aralığı eşitse:
Yani, yeterince çok iğne düşürüp kesişme oranını sayarsanız, π'ye yaklaşık bir tahmin elde edersiniz, bu bir Monte Carlo yönteminin en eski örneklerinden biri (gerçek "Monte Carlo" terimi 1940'larda ortaya çıktı, ama mantık aynı).
Buffon'un iğnesi, π'yi hesaplamak için çok kötü bir yöntemdir, doğru basamak sayısı, deneme sayısının karekökü ile orantılı artar (yani 100 kat daha fazla iğne, sadece 10 kat daha iyi sonuç verir). Ama kavramsal olarak önemlidir: π'nin geometri dışı bağlamlarda (olasılık, istatistik) da ortaya çıkabileceğini gösteren ilk somut örneklerden biri.
Üç fikir, modern π hesaplamasının temeli:
Mühendislik için ~40 basamak (gözlenebilir evrenin çapını bir atom hassasiyetinde hesaplamaya yeter) fazlasıyla yeterli. Trilyonlarca basamak hesaplamanın asıl amacı: (a) donanım ve algoritmaların stres testi (π hesaplaması, bellek/depolama/CPU'yu aylarca sürekli ve doğrulanabilir şekilde test eder), ve (b) π'nin normalliği (madde 6) hakkında istatistiksel veri toplamak. "Matematiksel keşif" değil, ama hem bilgisayar bilimi hem de açık bir konjektür için değerli.
Aşağıdaki araç, π'yi (Machin'in 1706 formülüyle, tarayıcınızda canlı olarak) birkaç yüz basamağa kadar hesaplar, ve seçtiğiniz basamak sayısı içinde 0-9 rakamlarının görünme sıklığını gösterir. π normalse, her rakam uzun vadede %10 sıklıkla görünmeli.
Champernowne sabitinin (0,123456789101112...) normal olduğu kanıtlanmıştır (1933), çünkü o sayı özel olarak bu amaç için inşa edilmiştir. π için ise normallik sadece bir gözlem, basamaklar "doğal" bir süreçten (geometriden) geliyor ve kimse bu sürecin neden "rastgele" davranması gerektiğini kanıtlayamadı. Bu, "davranışı rastgele gibi gözlenen ama kanıtlanmamış" matematik nesnelerinin klasik bir örneği, Kollatz Konjektürü'ndeki \(\sqrt3/2\) sezgisiyle aynı ruhta.
| Yıl | Basamak | Kim / nasıl |
|---|---|---|
| 1949 | 2.037 | ENIAC |
| 2022 | 100 trilyon | Google Cloud, y-cruncher |
| 2024 | 202 trilyon | StorageReview Lab |
| 2025 (Mayıs) | 300 trilyon | Linus Media Group / Kioxia |
| 2025 (Aralık) | 314 trilyon | StorageReview, tek sunucu, ~110 gün |
Dikkat çekici nokta: son rekorlar artık işlemci hızıyla değil, depolama bant genişliğiyle sınırlı, hesaplama sırasında oluşan ara veriler petabaytlarca yer kaplıyor.
Bu Sayfada
π'nin tarihi, matematiğin kendisinin bir mikro-tarihi gibi: önce ölçüm (Babil, Mısır), sonra geometrik kanıt (Arşimet, Liu Hui, Zu Chongzhi), sonra sonsuzluk ve seriler (Madhava, Leibniz, Euler), sonra "imkânsızlık kanıtları" (Lambert, Lindemann), ve son olarak hesaplama gücü (ENIAC'tan 314 trilyon basamağa). "Özel Sayılar" sayfasındaki Champernowne sabiti ve Benford Yasası, "Asal Sayı Avı" ve "Kollatz Konjektürü" sayfalarındaki açık sorular, hepsi burada π'nin normalliği etrafında yeniden buluşuyor.
π irrasyonel (Lambert 1761) ve aşkın (Lindemann 1882), bu da çemberi kareye dönüştürmenin imkânsız olduğunu kanıtlar. Modern algoritmalar (AGM, Chudnovsky, BBP) milyarlarca-trilyonlarca basamağı pratik şekilde hesaplayabiliyor.
π'nin "normal" olup olmadığı, yani basamaklarının uzun vadede gerçekten eşit dağılıp dağılmadığı. Trilyonlarca hesaplanmış basamak bunu destekliyor, ama kanıt yok.
Kaynakça
Çekirgeler Eğitim