Pi sayısı

Pi sayısı (), bir dairenin çevresinin çapına bölümü ile elde edilen irrasyonel matematik sabitidir. İsmini, Yunanca περίμετρον (çevre) sözcüğünün ilk harfi olan  harfinden alır. Pi sayısı, Arşimet sabiti ve Ludolph sayısı olarak da bilinir. Aynı zamanda ismini yunancada pie anlamına gelen πίτα' dan alır.

 (; "pi" olarak yazılır) sayısı bir matematik sabiti'dir; daire'nin çevresi'nin çapı'na oran'ıdır ve yaklaşık olarak 3,14159'a eşittir.  sayısı matematik ve fizik'teki birçok formülde görünür. Bu bir irrasyonel sayıdır, yani tam olarak iki tam sayının oranı olarak ifade edilemez, ancak  gibi kesirler genellikle yaklaşık değer olarak kullanılır. Sonuç olarak, ondalık gösterimi hiçbir zaman bitmez ve kalıcı olarak tekrarlanan bir düzene girmez. Bu bir aşkın sayıdır, yani yalnızca toplamları, çarpımları, üsleri ve tam sayıları içeren bir denklemin çözümü olamaz. 'nin aşkınlığı, eski daireyi kareyle çevreleme meydan okumasını bir pergel ve çizgilik (Pergel ve çizgilik çizimleri) ile çözmenin imkansız olduğunu ima eder. 'nin ondalık basamakları rastgele dağıtılmış gibi görünüyor, ancak bu varsayımın kanıtı bulunamadı.

Binlerce yıldır matematikçiler, bazen değerini yüksek bir doğruluk derecesine göre hesaplayarak  hakkındaki anlayışlarını genişletmeye çalıştılar. Mısırlılar ve Babilliler de dahil olmak üzere eski uygarlıklar, pratik hesaplamalar için oldukça doğru  yaklaşımları gerektiriyordu. MÖ 250 civarında, Yunan matematikçi Arşimet keyfi doğrulukla 'ye yaklaşmak için bir algoritma yarattı. MS 5. yüzyılda, her ikisi de geometrik teknikler kullanarak, Çinli matematikçiler 'yi yedi basamağa yaklaştırırken, Hint matematikçiler  beş basamaklı bir tahmin yaptı.  için sonsuz seri'ye dayanan ilk hesaplama formülü, bin yıl sonra keşfedildi. Bir dairenin çevresinin çapına oranını temsil etmek için Yunanca π harfinin bilinen en eski kullanımı 1706'da Galli matematikçi William Jones tarafından yapılmıştır.

Kalkülüs'ün icadı kısa sürede 'nin yüzlerce basamağının hesaplanmasına yol açtı, bu tüm pratik bilimsel hesaplamalar için yeterliydi. Bununla birlikte, 20. ve 21. yüzyıllarda matematikçiler ve bilgisayar bilimcileri, artan hesaplama gücüyle birleştiğinde 'nin ondalık gösterimini trilyonlarca basamağa genişleten yeni yaklaşımlar izlediler. Bu hesaplamalar, sayısal serileri hesaplamak için verimli algoritmaların geliştirilmesinin yanı sıra insanın rekor kırma arayışıyla motive edilir. Kapsamlı hesaplamalar, süperbilgisayarları test etmek için de kullanılmıştır.

Tanımı daire ile ilgili olduğu için , trigonometri ve geometri'deki birçok formülde, özellikle daireler, elipsler ve kürelerle ilgili olanlarda bulunur. Ayrıca kozmoloji, fraktals, termodinamik, mekanik ve elektromanyetizma gibi bilimdeki diğer konulardaki formüllerde de bulunur. Modern matematiksel analizde, bunun yerine genellikle geometriye herhangi bir referans olmaksızın tanımlanır; bu nedenle, sayı teorisi ve istatistik gibi geometri ile çok az ilgisi olan alanlarda da görünür. 'nin her yerde bulunması, onu bilimin içinde ve dışında en çok bilinen matematiksel sabitlerden biri yapar. 'ye adanmış birkaç kitap yayınlandı ve 'nin rakamlarının rekor kıran hesaplamaları genellikle haber manşetleriyle sonuçlanıyor.

Temel Bilgiler

İsim 
Matematikçiler tarafından bir çemberin çevresinin çapına oranını temsil etmek için kullanılan sembol küçük harf Yunanca harf 'dir ve bazen pi olarak yazılır. İngilizce'de , "pay" olarak telaffuz edilir ( ). Matematiksel kullanımda, küçük harf , bir dizinin çarpımı anlamına gelen büyük harfli ve büyütülmüş karşılığı, ( gibi toplam anlamına gelen) 'dan ayırt edilir.

 sembolünün seçimi  sembolünün benimsenmesi bölümünde tartışılmaktadır.

Tanım 

 genellikle bir daire'nin çevresi  ile çapı ) arasındaki oran olarak tanımlanır :

Dairenin boyutuna bakılmaksızın  oranı sabittir. Örneğin, bir dairenin çapı başka bir dairenin iki katıysa,  oranını koruyarak çevresi de iki katına sahip olacaktır. Bu  tanımı dolaylı olarak düz (Öklid) geometrisi kullanır; daire kavramı herhangi bir eğri (Öklid dışı) geometri'ye genişletilebilse de, bu yeni daireler artık  karşılamayacaktır.

Burada, bir dairenin çevresi, dairenin çevre etrafındaki yay uzunluğu'dur; limit(kalkülüste bir kavram) kullanılarak geometriden bağımsız olarak resmi olarak tanımlanabilen bir niceliktir. Örneğin, birim çemberin üst yarısının yay uzunluğu Kartezyen koordinatlar'da  denklemiyle doğrudan hesaplanabilir, integral olarak:

Bunun gibi bir integral, onu 1841'de doğrudan bir integral olarak tanımlayan Karl Weierstrass tarafından 'nin tanımı olarak benimsendi.

Artık integral ilk analitik tanımda yaygın olarak kullanılmaz, çünkü, 'nin açıkladığı gibi, diferansiyel kalkülüs üniversite müfredatında tipik olarak integral hesabından önce gelir, dolayısıyla ikincisine dayanmayan bir  bir tanımının olması arzu edilir. Richard Baltzer'e  dayanan ve Edmund Landau  tarafından yaygınlaştırılan böyle bir tanım şöyledir: , kosinüs fonksiyonunun 0'a eşit olduğu en küçük pozitif sayının iki katıdır.  ayrıca sinüs fonksiyonunun sıfıra eşit olduğu en küçük pozitif sayı ve sinüs fonksiyonunun ardışık sıfırları arasındaki farktır. Kosinüs ve sinüs, geometriden bağımsız olarak bir kuvvet serisi  ​​veya bir diferansiyel denklem 
çözümü olarak tanımlanabilir.

Benzer şekilde, , bir  karmaşık değişkeninin , karmaşık üsteli  nin  özellikleri kullanılarak tanımlanabilir. Kosinüs gibi, karmaşık üstel de birkaç yoldan biriyle tanımlanabilir.
'nin bire eşit olduğu karmaşık sayılar kümesi, şu şekilde (hayali) bir aritmetik ilerlemedir:

ve bu özelliğe sahip benzersiz bir pozitif gerçek sayı,  vardır.

Topoloji ve cebir gibi karmaşık matematiksel kavramlardan yararlanan aynı fikrin bir varyasyonu aşağıdaki teoremdir: Toplama modulo tam sayıları altındaki reel sayıların R/Z grubundan (çember grubu), mutlak değeri bir olan karmaşık sayıların çarpımsal grubuna, benzersiz (otomorfizma) bir sürekli izomorfizma vardır.  sayısı, bu homomorfizmin türevinin büyüklüğünün yarısı olarak tanımlanır.

İrrasyonellik ve normallik 
 bir irrasyonel sayı'dır, yani iki tam sayının oranı olarak yazılamaz.  ve  gibi kesirler genellikle 'ye yaklaşmak için kullanılır, ancak hiçbir bayağı kesir (tam sayıların oranı) tam değeri olamaz.  irrasyonel olduğundan, ondalık gösterimi içinde sonsuz sayıda basamak vardır ve sonsuz örüntü basamaklara yerleşmez. }'nin irrasyonel olduğunun birkaç kanıtı vardır; genellikle cebir gerektirirler ve reductio ad absurdum tekniğini kullanılır. 'nin rasyonel sayılar ile yaklaşık olarak hesaplanabileceği derece kesin olarak bilinmiyor; tahminler, irrasyonalite ölçüsünün  veya  ölçüsünden büyük ama Liouville sayısı ölçüsünden küçük olduğunu ortaya koymuştur.

 rakamlarının görünür bir örüntüsü yoktur ve normallik testleri dahil olmak üzere istatistiksel rastgelelik testlerini geçmiştir; tüm olası basamak dizileri (herhangi bir uzunluktaki) eşit sıklıkta göründüğünde, sonsuz uzunlukta bir sayı normal olarak adlandırılır. 'nin normal olduğu varsayımı kanıtlanmadı veya çürütülmedi.

Bilgisayarların icadından bu yana, üzerinde istatistiksel analiz yapmak için çok sayıda  basamağı mevcuttu. Yasumasa Kanada, 'nin ondalık basamakları üzerinde ayrıntılı istatistiksel analizler yaptı ve bunları normallikle tutarlı buldu; örneğin, 0 ila 9 arasındaki on hanenin ne kadar sıklıkta olduğu istatistiksel anlamlılık testlerine tabi tutuldu ve bir örüntüye dair hiçbir kanıt bulunamadı. Herhangi bir rastgele basamak dizisi, sonsuz maymun teoremi ile rastgele olmayan görünen uzun alt diziler içerir. Bu nedenle, 'nin rakam dizisi rastgelelik için istatistiksel testlerden geçtiğinden, ondalık gösteriminin 762. ondalık basamağından başlayan, altı ardışık 9'lu dizi gibi rastgele görünmeyebilecek bazı rakam dizileri içerir. Bu, matematiksel folklor'da Richard Feynman'a atfen "Feynman noktası" olarak da adlandırılır ancak Feynman ile hiçbir bağlantısı bilinmemektedir.

Aşkınlık 

 irrasyonel olmasının yanı sıra bir aşkın sayı'dır, bu da  gibi rasyonel katsayılı herhangi bir sabit olmayan polinom denklemi'nin çözümü olamayacağı anlamına gelir.

 aşkınlığının iki önemli sonucu vardır: İlk olarak, , rasyonel sayılar ve kareköklerin veya n-inci köklerin ( veya  gibi) herhangi bir sonlu kombinasyonu kullanılarak ifade edilemez. İkincisi, hiçbir aşkın sayı pergel ve cetvel ile oluşturulamadığından, "daireyi kareyle çevreleme" mümkün değildir. Başka bir deyişle, yalnızca pergel ve cetvel kullanarak, alanı belirli bir dairenin alanına tam olarak eşit olan bir kare oluşturmak imkansızdır.
Bir daireyi kareyle çevrelemek, klasik antik çağın önemli geometri problemlerinden biriydi. Modern zamanların amatör matematikçileri, matematiksel olarak imkansız olmasına rağmen, bazen  daireyi kareyle çevreleme ve başarı iddiasında bulunmaya çalıştılar.

Sonsuza giden kesirler 
İrrasyonel bir sayı olarak , bayağı kesir olarak gösterilemez. Ancak  dahil her sayı, sonsuza giden kesir adı verilen, sonsuz bir iç içe geçmiş kesirler serisi ile temsil edilebilir:

Sürekli kesrin herhangi bir noktada kesilmesi,  için rasyonel bir yaklaşım verir; bunlardan ilk dördü {, ,  ve  tür. Bu sayılar, sabitin en iyi bilinen ve en çok kullanılan tarihsel yaklaşımları arasındadır. Bu şekilde üretilen her yaklaşım, en iyi rasyonel yaklaşımdır; yani, her biri aynı veya daha küçük paydaya sahip herhangi bir diğer kesirden 'ye daha yakındır.  aşkın olduğundan, tanım gereği cebirsel değildir ve bu nedenle ikinci dereceden irrasyonel olamaz. Bu nedenle,  bir periyodik sonsuza giden kesir içeremez.  için basit sonsuza giden kesir (yukarıda gösterilmiştir) başka herhangi bir bariz örüntü sergilemese de, birkaç genelleştirilmiş sonsuza giden kesir sergiler, örneğin:

Yaklaşık değer ve basamaklar 
Bazı pi yaklaşımları şunları içerir:
 Tamsayılar: 3
 Kesirler: Yaklaşık kesirler şunları içerir (artan doğruluk sırasına göre) , , , , , , and .
 (Liste,  ve 'den seçilen terimlerdir.)
 Rakamlar: İlk 50 ondalık basamak  şeklindedir.  (see )

Diğer sayı sistemlerindeki rakamlar
 İlk 48 2 tabanlı basamak (bit olarak adlandırılır)  ('e bakınız) şeklindedir.
 On altılı sayı sistemi içindeki ilk 20 hane (16 tabanlı)  ('e bakınız) şeklindedir.
 İlk beş Altmışlık sayı sistemi (60 tabanlı) basamak 3;8,29,44,0,47  şeklindedir. (see )
 Üçlü sayı sistemi içindeki ilk 38 basamak  şeklindedir. ('ye bakınız)

Karmaşık sayılar ve Euler özdeşliği 

Herhangi bir karmaşık sayı, örneğin , bir çift reel sayı kullanılarak ifade edilebilir.
Kutupsal koordinat sisteminde, bir sayı (yarıçap veya r), z'nin karmaşık düzlemin sıfır noktasından olan mesafesini ve diğeri, (açı veya ) pozitif reel eksenden, saat yönünün tersine dönüşü temsil etmek için kullanılır:

burada ,  = −1'i sağlayan hayali birimdir. Karmaşık analizde 'nin sık görülmesi, Euler formülüyle tanımlandığı gibi, karmaşık bir değişkenin üstel fonksiyonunun davranışıyla ilgili olabilir:

burada  sabiti, doğal logaritmanın tabanıdır. Bu formül,'nin hayali üsleri ile, karmaşık düzlemin sıfır noktası merkezli birim çember üzerindeki noktalar arasında, bir karşılık olma ilişkisi kurar. Euler formülünde  =  eşitliği, beş önemli matematiksel sabit içerdiği için matematikte önemsenen Euler özdeşliği ile sonuçlanır:

 eşitliğini sağlayan  sayıda farklı karmaşık sayı vardır ve bunlara "birliğin 'inci kökleri"  denir ve aşağıdaki formülle verilir:

Geçmiş

Antik Çağ 
Milattan önceye tarihlenen  için en iyi bilinen yaklaşımlar, iki ondalık basamağa kadar doğruydu; bu, özellikle birinci bin yılın ortalarında, Çin matematiği'nde yedi ondalık basamak doğruluğuna kadar geliştirildi.
Bundan sonra, geç ortaçağ dönemine kadar daha fazla ilerleme kaydedilmedi.

'nin en eski yazılı tahminleri, Babil ve Mısır'da bulunur, her ikisi de gerçek değerin yüzde biri dahilindedir. Babil'de, MÖ 1900-1600 tarihli bir kil tablet, ima yoluyla 'yi şu şekilde ele alan geometrik bir ifadeye sahiptir: =3.125. Mısır'da, MÖ 1650 dolaylarına tarihlenen ancak MÖ 1850 tarihli bir belgeden kopyalanan Rhind Papirüsü, 'yi  3.16. olarak ele alan bir dairenin alanı için bir formüle sahiptir. Flinders Petrie gibi bazı piramidologlar, Büyük Giza Piramidi'nin  ile ilgili oranlarla inşa edildiğini teorileştirmiş olsalar da, bu teori bilim adamları tarafından geniş çapta kabul görmemektedir.
MÖ birinci veya ikinci binyıldan sözlü bir geleneğe tarihlenen Hint matematiği'nin Shulba Sutraları'nda, yaklaşık 3.08831, 3.08833, 3.004, 3 veya 3.125 olarak çeşitli şekillerde yorumlanan yaklaşık değerler verilmiştir.

Çokgen yaklaşım dönemi 

 değerini titizlikle hesaplamak için kaydedilen ilk algoritma, Yunan matematikçi Arşimet tarafından MÖ 250 civarında tasarlanan çokgenleri kullanan geometrik bir yaklaşımdı. Bu çokgen algoritma 1.000 yılı aşkın bir süre hakim oldu ve sonuç olarak  bazen Arşimet sabiti olarak anılır. Arşimet, bir dairenin içine ve dışına düzgün bir altıgen çizerek ve 96 kenarlı bir düzgün çokgene ulaşana kadar kenar sayısını art arda ikiye katlayarak 'nin üst ve alt sınırlarını hesapladı. Bu poligonların çevresini hesaplayarak  (yani ) olduğunu kanıtladı. Arşimet'in  üst sınırı, 'nin 'ye eşit olduğuna dair yaygın bir popüler inanca yol açmış olabilir. MS 150 civarında, Yunan-Roma bilim adamı Batlamyus, Almagest'inde, Arşimet'ten veya Apollonios'tan almış olabileceği 3.1416'lık bir  değeri verdi. Çokgen algoritmaları kullanan matematikçiler 1630'da 'nin 39 basamağına ulaştılar, bu rekor yalnızca 1699'da sonsuz seriler kullanıldığında 71 basamağa ulaştığı zaman kırıldı.

Eski Çin'de,  değerleri 3,1547 (MS 1 civarında),  (MS 100, yaklaşık 3,1623) ve }}'i (3. yüzyıl, yaklaşık 3.1556) içeriyordu. MS 265 civarında, Wei Krallığı matematikçisi Liu Hui, çokgen tabanlı yinelemeli bir algoritma oluşturdu ve bunu 3.1416'lık bir π değeri elde etmek için 3.072 kenarlı bir çokgenle kullandı. MS 265 civarında, Wei Hanedanı matematikçisi Liu Hui bir çokgen tabanlı yinelemeli algoritma oluşturdu ve  'nin 3.1416 değerini elde etmek için bunu 3.072-kenarlı bir çokgenle kullandı. Liu daha sonra 'yi hesaplamak için daha hızlı bir yöntem icat etti ve ardışık çokgenlerin alanındaki farklılıkların 4 katsayılı bir geometrik seri oluşturmasından yararlanarak 96 kenarlı bir çokgenle 3.14 değerini elde etti. Çinli matematikçi Zu Chongzhi, MS 480 civarında,  olduğunu hesapladı ve 12.288 kenarlı bir çokgene uygulanan Liu Hui'nin algoritması kullanarak  = 3,14159292035... ve  = 3.142857142857..., yaklaşımlarını önerdi. Bunları sırasıyla Milü (''yakın oran") ve Yuelü ("yaklaşık oran") olarak adlandırdı. İlk yedi ondalık basamağı için doğru bir değerle, bu değer, sonraki 800 yıl boyunca mevcut olan en doğru π yaklaşımı olarak kaldı.

Hintli astronom Aryabhata Āryabhaṭīya (MS 499) adlı eserinde 3.1416 değerini kullanmıştır. MÖ 1220'de Fibonacci, Arşimet'ten bağımsız olarak çokgen bir yöntem kullanarak 3.1418'i hesapladı. İtalyan yazar Dante görünüşe göre  değerini kullandı.

İranlı astronom Jamshīd al-Kāshī 1424'te 3×228 kenarlı bir çokgen kullanarak kabaca 16 ondalık basamağa eşdeğer olan 9 altmışlık basamak üretti ve bu değer yaklaşık 180 yıl dünya rekoru olarak kaldı. 1579'da Fransız matematikçi François Viète, 3×217 kenarlı bir çokgenle 9 basamak elde etti. Flaman matematikçi Adriaan van Roomen 1593'te 15 ondalık basamağa ulaştı. 1596'da Hollandalı matematikçi Ludolph van Ceulen 20 haneye ulaştı, daha sonra bu rekoru 35 haneye çıkardı (sonuç olarak , 20. yüzyılın başlarına kadar Almanya'da "Ludolphian sayısı" olarak adlandırılıyordu). Hollandalı bilim adamı Willebrord Snellius 1621'de 34 haneye ulaştı, ve Avusturyalı gökbilimci Christoph Grienberger, 1040 kenar kullanarak 1630'da 38 haneye ulaştı.. Christiaan Huygens was able to arrive at 10 decimal places in 1654 using a slightly different method equivalent to Richardson extrapolation.

Sonsuz dizi 

 hesaplamasında, 16. ve 17. yüzyıllarda sonsuz seriler tekniklerinin geliştirilmesiyle devrim yaratıldı. Sonsuz bir seri, sonsuz bir dizi terimlerinin toplamıdır. Sonsuz seriler, matematikçilerin 'yi Arşimet ve geometrik teknikler kullanan diğerlerinden çok daha yüksek bir hassasiyetle hesaplamasına izin verdi. Sonsuz seriler  için James Gregory ve Gottfried Wilhelm Leibniz gibi Avrupalı matematikçiler tarafından kullanılmasına rağmen, yaklaşım 14. veya 15. yüzyılda bir zaman Kerala astronomi ve matematik okulunda ortaya çıktı. MS 1500 civarında, Nilakantha Somayaji tarafından Tantrasamgraha'daki Sanskrit ayette 'yi hesaplamak için kullanılabilecek sonsuz bir dizinin yazılı bir açıklaması ortaya kondu. Seriler kanıt olmadan sunulur, ancak kanıtlar MS 1530 civarında daha sonraki bir çalışma olan Yuktibhāṣā da sunulur. Sinüs (Nilakantha'nın Madhava'ya atfettiği), kosinüs ve artık bazen Madhava serisi olarak anılan arktanjant serileri dahil olmak üzere birkaç sonsuz seri açıklanmıştır. Arktanjant serisine bazen Gregory serisi veya Gregory-Leibniz serisi denir. Madhava, 'yi 1400 yılı civarında 11 haneye kadar tahmin etmek için sonsuz seriler kullandı.

1593'te François Viète, şimdi Viète'nin formülü olarak bilinen, sonsuz bir çarpım olan (daha tipik olarak π hesaplamalarında kullanılan sonsuz bir toplam yerine) aşağıdaki formülü yayınladı:

1655'te John Wallis, aynı şekilde sonsuz bir çarpım olan, şimdi Wallis çarpımı olarak bilinen aşağıdaki formülü yayınladı:

1660'larda İngiliz bilim adamı Isaac Newton ve Alman matematikçi Gottfried Wilhelm Leibniz, 'ye yaklaşmak için birçok sonsuz serinin geliştirilmesine yol açan kalkülüs'ü keşfetti. Newton'un kendisi, 1665 veya 1666'da 'nin 15 basamaklı bir yaklaşımını hesaplamak için bir arksinüs serisi kullandı, daha sonra bununla ilgili olarak "O zamanlar başka bir işim olmadığı için, bu hesaplamaları kaç rakama kadar yaptığımı size söylemeye utanıyorum" yazdı.

1671'de James Gregory bağımsız olarak, 1673'te Leibniz'te, arktanjant için Taylor serisi genişletmesini keşfetti:

Bazen Gregory–Leibniz serisi olarak adlandırılan bu dizi,  ile değerlendirildiğinde 'e eşittir. Ancak  için pratik olmayacak şekilde yavaş yakınsar (yani, cevaba çok yavaş yaklaşır) ve her ek basamağı hesaplamak için yaklaşık on kat daha fazla terim gerekir.

1699'da İngiliz matematikçi Abraham Sharp, 'yi 71 haneye kadar hesaplamak için  eşitliği ile Gregory–Leibniz serisini kullandı ve çokgen bir algoritma ile belirlenen 39 haneli önceki rekoru kırdı.

1706'da John Machin, çok daha hızlı yakınsayan bir algoritma üretmek için Gregory-Leibniz serisini kullandı:

Machin bu formülle 'nin 100 basamağına ulaştı. Diğer matematikçiler,  basamaklarını hesaplamada birkaç ardışık rekor için kullanılan, şimdi Machin benzeri formül olarak bilinen varyantlar yarattı.

Isaac Newton, 1684'te Gregory-Leibniz serisinin yakınsamasını hızlandırdı (yayınlanmamış bir çalışmada; diğerleri sonucu bağımsız olarak keşfetti).

Leonhard Euler bu seriyi 1755 diferansiyel hesabı ders kitabında popüler hale getirdi ve daha sonra bunu Machin benzeri formüllerle kullandı, örneğin  ile bir saatte 'nin 20 basamağını  hesapladı.

Machin benzeri formüller, bilgisayar çağına kadar 'yi hesaplamak için en iyi bilinen yöntem olarak kaldı ve 250 yıl boyunca rekorlar kırmak için kullanıldı ve 1946'da Daniel Ferguson tarafından 620 basamaklı bir yaklaşımla sonuçlandı. (bir hesaplama cihazının yardımı olmadan elde edilen en iyi yaklaşım).

1844'te, Alman matematikçi Carl Friedrich Gauss'un kontrolünde kafasında 'nin 200 ondalığını  hesaplamak için bir Machin benzeri formül kullanan Zacharias Dase tarafından bir rekor kırıldı.

1853'te İngiliz matematikçi William Shanks, 'yi 607 basamak olarak hesapladı, ancak 528. basamakta bir hata yaparak sonraki tüm basamakların yanlış olmasına yol açtı. 1873'te ek 100 basamak hesaplayarak toplamı 707'ye çıkarsa da, önceki hatası tüm yeni basamakların da yanlış hesaplanmasına yol açtı.

Yakınsama oranı 
 için bazı sonsuz seriler diğerlerinden daha hızlı yakınsar. Given the choice of two infinite series for , mathematicians will generally use the one that converges more rapidly because faster convergence reduces the amount of computation needed to calculate  to any given accuracy.  için basit bir sonsuz seri Gregory–Leibniz serisidir:

Bu sonsuz dizinin tek tek terimleri toplama eklendikçe, toplam kademeli olarak 'ye yaklaşır ve istenildiği kadar 'ye yaklaşabilir (yeterli sayıda terim ile). Yine de oldukça yavaş yakınsar - 500.000 terimden sonra, 'nin yalnızca beş doğru ondalık basamağını üretir.

 için (15. yüzyılda Nilakantha tarafından yayınlanan) Gregory-Leibniz serisinden daha hızlı yakınsayan sonsuz bir seri:

Aşağıdaki tablo, bu iki serinin yakınsama oranlarını karşılaştırmaktadır:

Beş terimden sonra, Gregory-Leibniz serisinin toplamı, 'nin doğru değerinin 0,2'si içindeyken, Nilakantha'nın serisinin toplamı doğru değerinin 0,002'si içindedir. Nilakantha'nın serisi daha hızlı yakınsar ve 'nin basamaklarını hesaplamak için daha kullanışlıdır. Daha da hızlı yakınsayan seriler arasında Machin'in serisi ve Chudnovsky'nin serisi yer alır, ikincisi terim başına 14 doğru ondalık basamak üretir.

İrrasyonellik ve aşkınlık 

 ile ilgili tüm matematiksel gelişmeler, tahminlerin doğruluğunu artırmayı amaçlamadı. Euler 1735'te Basel problemini ters karelerin toplamının tam değerini bularak çözdüğünde,  ile asal sayılar arasında bir bağlantı kurdu ve bu daha sonra Riemann zeta işlevi çalışmasını geliştirmeye katkıda bulundu.

İsviçreli bilim adamı Johann Heinrich Lambert 1768'de 'nin irrasyonel olduğunu, yani herhangi iki tam sayının bölümüne eşit olmadığını kanıtladı. Lambert'in ispatı, tanjant fonksiyonunun sürekli kesir temsilinden yararlandı. Fransız matematikçi Adrien-Marie Legendre, 1794'te 2'nin de irrasyonel olduğunu kanıtladı. 1882'de Alman matematikçi Ferdinand von Lindemann, 'nin aşkın olduğunu kanıtladı  ve hem Legendre hem de Euler tarafından yapılan bir varsayımı doğruladı. Hardy ve Wright, "kanıtların daha sonra Hilbert, Hurwitz ve diğer yazarlar tarafından değiştirilip basitleştirildiğini" belirtir.

sembolünün benimsenmesi 

İlk kullanımlarda, Yunan harfi , bir dairenin yarıçevresini (Latince'de semiperipheria) ifade etmek için kullanılmıştır. ve daire sabitlerini oluşturmak için  (çap veya yarı çap için) veya  (yarıçap için) ile oranlarda birleştirildi. (O zamandan önce, matematikçiler bunun yerine bazen  veya  gibi harfleri kullanıyorlardı.) Kaydedilen ilk kullanım Oughtred's  şeklindedir ve 'nin 1647 ve sonraki baskılarında çevre ve çap oranını ifade etmek için kullanmıştır. Barrow  sabitini temsil etmek için aynı şekilde  kullandı. Gregory bunun yerine 'yi 'i temsil etmek için kullandı.

Bir çemberin çevresinin çapına oranını temsil etmek için tek başına Yunanca  harfinin bilinen en eski kullanımı Galli matematikçi William Jones'un 1706 tarihli  adlı çalışmasında yapılmıştır; veya Matematiğe Yeni Bir Giriş." Yunan harfi s. 243 te, "Çevre (), yarıçapı 1 olan bir daire için hesaplanmıştır." ifadesinde kullanılmıştır. Ancak Jones,  için denklemlerinin "gerçekten dahiyane Bay John Machin'in hazır kaleminden" olduğunu yazar ve bu da Machin'in Jones'tan önce Yunanca harfi kullanmış olabileceği yönünde spekülasyonlara yol açar. Jones'un gösterimi diğer matematikçiler tarafından hemen benimsenmedi, kesir gösterimi 1767'ye kadar hâlâ kullanılıyordu.

Euler, 1727 tarihli Havanın Özelliklerini Açıklayan Deneme ile başlayarak tek harfli formu kullanmaya başladı, ancak, bu ve sonraki bazı yazılarda çevrenin yarıçapa oranı olan  kullanmıştı. English translation in  Euler 'ü ilk olarak 1736 tarihli Mechanica'' adlı çalışmasında kullandı ve geniş çapta okunan 1748 tarihli  adlı çalışmasında devam etti (şöyle yazdı: "Kısa olması adına bu sayıyı  olarak yazacağız; böylece  şuna eşittir: yarıçapı  olan bir dairenin çevresinin yarısı"). Euler, Avrupa'daki diğer matematikçilerle yoğun bir şekilde yazıştığı için, Yunan harfinin kullanımı hızla yayıldı ve uygulama bundan sonra Batı dünyasında evrensel olarak benimsendi, ancak tanım 1761 gibi geç bir tarihe kadar hâlâ  ve  arasında değişiyordu.

Daha fazla basamak için modern arayış

Bilgisayar çağı ve yinelemeli algoritmalar 

20. yüzyılın ortalarında bilgisayarların gelişimi,  rakamlarının aranmasında yeniden devrim yarattı. Matematikçiler John Wrench ve Levi Smith, 1949'da bir masa hesap makinesi kullanarak 1.120 haneye ulaştı. George Reitwiesner ve John von Neumann liderliğindeki bir ekip ters teğet (arctan) sonsuz serisini kullanarak aynı yıl ENIAC  bilgisayar üzerinde 70 saatlik bilgisayar çalışması gerektiren bir hesaplamayla 2.037 basamak elde etti. Her zaman bir arctan serisine dayanan rekor, 1973'te 1 milyon haneye ulaşılana kadar art arda kırıldı (1957'de 7.480 hane; 1958'de 10.000 hane; 1961'de 100.000 hane).

1980 civarında iki ek gelişme, 'yi hesaplama yeteneğini bir kez daha hızlandırdı. Birincisi, sonsuz serilerden çok daha hızlı olan  hesaplaması için yeni yinelemeli algoritmaların keşfi; ve ikincisi, büyük sayıları çok hızlı bir şekilde çarpabilen hızlı çarpma algoritmalarının icadı.

Birincisi,  hesaplaması için sonsuz serilerden çok daha hızlı olan yeni iteratif algoritmaların keşfi; ve ikincisi, büyük sayıları çok hızlı bir şekilde çarpabilen hızlı çarpma algoritmaları'nın icadı. Bu tür algoritmalar modern  hesaplamalarında özellikle önemlidir çünkü bilgisayarın zamanının çoğu çarpmaya ayrılmıştır. Bunlar arasında Karatsuba algoritması, Toom-Cook çarpması ve Fourier dönüşümü tabanlı yöntemler bulunur.

Yinelemeli algoritmalar, 1975-1976'da fizikçi Eugene Salamin ve bilim adamı Richard Brent tarafından bağımsız olarak yayınlandı. Bunlar sonsuz serilere güvenmekten kaçınır. Yinelemeli bir algoritma, her yinelemede önceki adımların çıktılarını girdi olarak kullanarak belirli bir hesaplamayı tekrarlar ve her adımda istenen değere yaklaşan bir sonuç üretir. Yaklaşım aslında 160 yılı aşkın bir süre önce Carl Friedrich Gauss tarafından şu anda aritmetik-geometrik ortalama yöntemi (AGM yöntemi) veya Gauss–Legendre algoritması olarak adlandırılan yöntemle icat edildi. Salamin ve Brent tarafından değiştirildiği şekliyle, Brent-Salamin algoritması olarak da anılır.

Yinelemeli algoritmalar, sonsuz dizi algoritmalarından daha hızlı oldukları için 1980'den sonra yaygın olarak kullanıldı: sonsuz diziler tipik olarak birbirini izleyen terimlerde doğru basamak sayısını artırırken, yinelemeli algoritmalar genellikle her adımda doğru basamak sayısını "çarpar". Örneğin, Brent-Salamin algoritması, her yinelemede basamak sayısını ikiye katlar.

1984'te John ve Peter Borwein kardeşler, her adımdaki basamak sayısını dört katına çıkaran yinelemeli bir algoritma ürettiler; ve 1987'de, her adımda basamak sayısını beş kat artıran bir algoritma. Yinelemeli yöntemler, Japon matematikçi Yasumasa Kanada tarafından 1995 ve 2002 yılları arasında  hesaplaması için çeşitli rekorlar kırmak için kullanıldı. Bu hızlı yakınsamanın bir bedeli var: yinelemeli algoritmalar, sonsuz serilerden önemli ölçüde daha fazla bellek gerektirir.

sayısını hesaplama nedenleri 

 içeren çoğu sayısal hesaplama için, bir avuç rakam yeterli kesinlik sağlar. Jörg Arndt ve Christoph Haenel'e göre, çoğu kozmolojik hesaplamayı yapmak için otuz dokuz basamak yeterlidir, çünkü gözlemlenebilir evrenin çevresini bir atom hassasiyetiyle hesaplamak için gereken doğruluk budur. Hesaplamalı yuvarlama hatalarını telafi etmek için gereken ek basamakları hesaba katan Arndt, herhangi bir bilimsel uygulama için birkaç yüz basamağın yeterli olacağı sonucuna varır. Buna rağmen, insanlar 'yi binlerce ve milyonlarca basamaklı olarak hesaplamak için yoğun bir şekilde çalıştılar. Bu çaba kısmen insanların rekor kırma dürtüsüne atfedilebilir ve  ile elde edilen bu tür başarılar genellikle dünya çapında manşetlere konu olur. Süper bilgisayarları test etme, sayısal analiz algoritmalarını test etme (yüksek hassasiyetli çarpma algoritmaları dahil); ve saf matematiğin kendisinde, 'nin rakamlarının rastgeleliğini değerlendirmek için veri sağlar.

Hızlı yakınsak seriler 

Modern  hesap makineleri, yalnızca yinelemeli algoritmalar kullanmaz. 1980'lerde ve 1990'larda yinelemeli algoritmalar kadar hızlı ancak daha basit ve daha az bellek kullanan yeni sonsuz seriler keşfedildi. Hızlı yinelemeli algoritmalar, 1914'te Hintli matematikçi Srinivasa Ramanujan  için zarafetleri, matematiksel derinlikleri ve hızlı yakınsamalarıyla dikkat çeken düzinelerce yenilikçi yeni formül yayınladığında öngörülmüştü.Modüler denklemlere dayanan formüllerinden biri,

Bu seri, Machin'in formülü de dahil olmak üzere çoğu arctan serisinden çok daha hızlı yakınsar. Bill Gosper, 1985'te 17 milyon basamaklı bir rekor kırarak  hesaplamasındaki ilerlemeler için bunu ilk kullanan kişiydi. Ramanujan'ın formülleri, Borwein kardeşler (Jonathan ve Peter) ve Chudnovsky kardeşler tarafından geliştirilen modern algoritmaları öngörüyordu. 1987'de geliştirilen Chudnovsky formülü,

Terim başına yaklaşık 14 basamak  üretir ve birkaç kayıt ayarı  hesaplaması için kullanılmıştır. Bunlar arasında 1989'da Chudnovsky kardeşler tarafından 1 milyar (109) haneyi aşan ilk rakamlar, 2011'de Alexander Yee ve Shigeru Kondo tarafından 10 trilyon (1013) hane ve 2022'de Emma Haruka Iwao tarafından 100 trilyon hane yer alıyor. Benzer formüller için ayrıca bkz. Ramanujan–Sato serisi

2006'da matematikçi Simon Plouffe, aşağıdaki şablona uygun olarak  için birkaç yeni formül oluşturmak için tamsayı ilişki algoritması PSLQ'yu kullandı:

burada  eşittir  (Gelfond sabiti),  tek sayıdır ve  Plouffe'un hesapladığı belirli rasyonel sayılardır.

Monte Carlo yöntemleri 

Birden fazla rastgele denemenin sonuçlarını değerlendiren Monte Carlo yöntemleri, 'nin yaklaşık değerlerini oluşturmak için kullanılabilir. Buffon'un iğnesi böyle bir tekniktir:  uzunluğundaki bir iğne,  birim aralıklarla paralel çizgilerin çizildiği bir yüzey üzerine  kez düşürülürse ve bu seferlerin  tanesi bir çizgiyi geçerek durursa (x > 0), o zaman sayımlara göre  yaklaşık olarak hesaplanabilir:

'yi hesaplamak için başka bir Monte Carlo yöntemi, kare içine çizilmiş bir daire çizmek ve kareye rastgele noktalar yerleştirmektir. Daire içindeki noktaların toplam nokta sayısına oranı yaklaşık olarak  olacaktır.

Olasılığı kullanarak 'yi hesaplamanın başka bir yolu, bir dizi (adil) yazı tura atmasıyla oluşturulan rastgele bir yürüyüşle başlamaktır: eşit olasılıklarla  olacak şekilde bağımsız rassal değişkenler . İlişkili rastgele yürüyüş

böylece her  için, , kaydırılmış ve ölçeklendirilmiş bir binom dağılımı'ndan çizilir.  değiştikçe,  (ayrık) bir stokastik süreci tanımlar. O zaman  şu şekilde hesaplanabilir:

Bu Monte Carlo yöntemi, çemberlerle herhangi bir ilişkiden bağımsızdır ve aşağıda tartışılan merkezî limit teoremi'nin bir sonucudur.

'ye yaklaşmak için bu Monte Carlo yöntemleri, diğer yöntemlere kıyasla çok yavaştır ve elde edilen tam basamak sayısı hakkında herhangi bir bilgi sağlamaz. Bu nedenle, hız veya doğruluk istendiğinde asla 'ye yaklaşmak için kullanılmazlar.

Spigot algoritmaları 
1995'te 'ye yeni araştırma yolları açan iki algoritma keşfedildi. Musluktan damlayan su gibi, hesaplandıktan sonra tekrar kullanılmayan 'nin tek basamaklarını ürettikleri için musluk algoritmaları olarak adlandırılırlar. Bu, nihai sonuç üretilene kadar tüm ara basamakları tutan ve kullanan sonsuz seri veya yinelemeli algoritmaların tersidir.

Matematikçiler Stan Wagon ve Stanley Rabinowitz 1995'te basit bir musluk algoritması ürettiler. Hızı, arctan algoritmalarıyla karşılaştırılabilir, ancak yinelemeli algoritmalar kadar hızlı değildir.

Başka bir musluk algoritması olan BBP rakam çıkarma algoritması, 1995 yılında Simon Plouffe tarafından keşfedildi:

Bu formül, kendisinden önceki diğerlerinin aksine, önceki tüm basamakları hesaplamadan 'nin herhangi bir onaltılık basamağını üretebilir. Bireysel ikili basamaklar, bireysel onaltılık basamaklardan çıkarılabilir ve sekizlik basamaklar, bir veya iki onaltılık basamaktan çıkarılabilir. Algoritmanın varyasyonları keşfedildi, ancak ondalık basamakları hızla üreten hiçbir basamak çıkarma algoritması henüz bulunamadı. Rakam çıkarma algoritmalarının önemli bir uygulaması, kayıt  hesaplamalarının yeni iddialarını doğrulamaktır: Yeni bir kayıt talep edildikten sonra, ondalık sonuç onaltılığa dönüştürülür ve ardından sona yakın birkaç rastgele onaltılık basamağı hesaplamak için bir basamak çıkarma algoritması kullanılır; eşleşirlerse, bu, tüm hesaplamanın doğru olduğuna dair bir güven ölçüsü sağlar.

1998 ve 2000 yılları arasında, dağıtılmış bilgi işlem projesi PiHex, 0 olduğu ortaya çıkan π'nin katrilyonuncu (1015th) bitini hesaplamak için Bellard'ın formülünü (BBP algoritmasının bir modifikasyonu) kullandı. Eylül 2010'da bir Yahoo! çalışanı şirketin Hadoop uygulamasını 23 günlük bir süre boyunca bin bilgisayarda iki katrilyonuncu (2×1015th) bitte 256 bit 'yi hesaplamak için kullandı ki bu yine sıfırdır.

Matematikteki rol ve karakterizasyonlar 
 daire ile yakından ilişkili olduğu için geometri ve trigonometri alanlarındaki birçok formülde, özellikle daireler, küreler veya elipslerle ilgili olanlarda bulunur. İstatistik, fizik, Fourier analizi ve sayı teorisi gibi diğer bilim dalları da bazı önemli formüllerinde 'yi içerir.

Geometri ve trigonometri 

, elips, küre, koni ve simit (geometri) gibi dairelere dayalı geometrik şekillerin alan ve hacim formüllerinde görünür.  içeren daha yaygın formüllerden bazıları aşağıdadır.
 Yarıçapı  olan bir çemberin çevresi 'dir.
 Yarıçapı  olan dairenin alanı 'dir.
 Yarı büyük ekseni  ve yarı küçük ekseni  olan bir elipsin alanı 'dır.
 Yarıçapı  olan bir kürenin hacmi 'dir.
 Yarıçapı  olan bir kürenin yüzey alanı 'dir.
Yukarıdaki formüllerden bazıları, aşağıda verilen n-boyutlu topun hacminin ve onun sınırı olan (n-1)-boyutlu kürenin yüzey alanının özel durumlarıdır.

Dairelerin dışında, sabit genişlikte başka eğriler de vardır. Barbier teoremine göre, sabit genişliğe sahip her eğrinin çevresi, genişliğinin  katıdır. Reuleaux üçgeni (üç dairenin yarıçapları olarak bir eşkenar üçgenin kenarlarıyla kesişmesinden oluşur) genişliği için mümkün olan en küçük alana ve daire en büyüğüne sahiptir. Dairesel olmayan pürüzsüz ve hatta sabit genişlikte cebirsel eğriler de vardır.

Daireler tarafından oluşturulan şekillerin çevresini, alanını veya hacmini tanımlayan Belirli integraller, tipik olarak  içeren değerlere sahiptir. Örneğin, 1 yarıçaplı bir çemberin alanının yarısını belirten bir integral şu şekilde verilir:

Bu integralde,  işlevi bir yarım dairenin  ekseni üzerindeki yüksekliği temsil eder (karekök, Pisagor teoreminin bir sonucudur) ve integral, yarım daire'nin altındaki alanı hesaplar.

Açı birimleri 

Trigonometrik fonksiyonlar açılara dayanır ve matematikçiler genellikle ölçüm birimi olarak radyan kullanır. , tam bir daire 2 radyanlık bir açıyı kaplayacak şekilde tanımlanan radyan cinsinden ölçülen açılarda önemli bir rol oynar. 180°'nin açı ölçüsü  radyan ve 1° = /180 radyan'a eşittir.

Yaygın trigonometrik fonksiyonlar, 'nin katları olan periyotlara sahiptir; örneğin, sinüs ve kosinüsün periyodu 2'dir, dolayısıyla herhangi bir  açısı ve herhangi bir  tam sayısı için,

Yaklaşık değeri 
Pi sayısının bazı yaklaşık değerleri şu şekildedir:
 Bölümler: , , , ,  ve .*
 Onlu sayı sistemi : İlk yüz basamak; 3,14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 59230 78164 06286 20899 86280 34825 34211 70679 ....
 İkili sayı sistemi: 
 Üçlü sayı sistemi: 
 On altılı sayı sistemi:
 Altmışlı sayı sistemi: 3;8,29,44,1

Pi () formülleri 
Pi () formüllerinden başlıcaları şunlardır:

Nilakantha Somayaji:

Franciscus Vieta:

Gregory–Leibniz:

Isaac Newton:

Leonhard Euler:

Bailey-Borwein-Plouffe:

Fabrice Bellard:

Adamchik-Wagon:

Ayrıca bakınız 
 Geometri
 Pi Günü

Notlar

Kaynakça

Dış bağlantılar 
 Pi Çılgınlığı  
 Pi-Different 
 Project Gutenberg'de π'nin detaylı değeri  
 Pi formülleri ve online pi hesabı  

 
Oransız sayılar
Matematiksel sabitler