Pi Sayısı Neden İrrasyoneldir?
/content/bb0e9f88-d978-4582-8a37-b39e10209d8e.jpeg)
- Özgün
- Fonksiyonel Analiz
Bu Makalede Neler Öğreneceksin?
Bu bölümü yapay zekâ hazırlar.- Pi sayısı, bir çemberin çevresinin çapına oranıdır ve yaklaşık 3,14 olsa da irrasyonel olduğu için iki tam sayının kesri olarak yazılamaz.
- İrrasyonellik, pi’nin rasyonel olduğunu varsayıp çelişki elde eden olmayana ergi yöntemiyle kanıtlanır.
- Kanıtta özel bir fonksiyon ve türevleri kullanılarak belirli değerlerin tam sayı olduğu gösterilir; bu sonuç pi’nin kesir olamayacağını ortaya koyar.
π\pi sayısı hepimizin okulda şimdiye kadar yüzlerce kez gördüğü bir sayıdır. Okullarda bize π\pi sayısının "Çemberin çevresinin çapına oranı" olduğu söylenir hatta muhtemelen defterinize zamanında şunu yazdınız:
π=ÇevreÇap
\pi = {Çevre \over Çap}
Bu tanım doğru olmakla birlikte bunun haricinde de tanımlar yapmak mümkündür. Şimdi bize öğretilen bir diğer şeye gelelim: π\pi sayısı irrasyoneldir. Yani \pi sayısı iki tam sayının bölümü şeklinde yazılamaz veya kısaca aa ve bb tam sayı iken şu eşitliği sağlayan aa, bb değerleri yoktur:
π=ab\pi= \frac a b
Peki, neden? Neden pi sayısı bir irrasyonel sayıdır? Tanımı bile çevrenin çapa oranı iken neden 2 tam sayının oranı şeklinde yazılamaz?
π\pi Sayısının irrasyonelliğinin İspatı
Belki daha önceden 2 \sqrt 2 sayısının neden irrasyonel olduğunun kanıtını görmüşsünüzdür. Genellikle bu kanıt olmayana ergi kullanılarak yani önce bir varsayımda bulunarak sonra bu varsayımın yanlış olduğunu göstererek yapılan ispatlanır. Bu sefer gene olmayana ergi kullanacağız ama işimiz maalesef 2\sqrt 2'de olduğu kadar kolay olmayacak.
Kısaca π\pi'nin İrrasyonelliğinin Tarihi
Eğer π\pi rasyonel ise a/ba/b şeklinde (a,b≠0∈Za, b\ne 0 \in \Z) yazılabilir. O zaman π=a/b\pi=a/b diyelim ve şu şeklide bir fonksiyon tanımlayalım:
f(x)=xn(a−bx)nn!f(x) = \frac{x^n(a - bx)^n}{n!}
Şu şekilde bir fonksiyon daha tanımlayalım:
F(x)=f(x)−f′′(x)+f(4)(x)+⋯+(−1)nf(2n)(x)F(x) = f(x)-f''(x)+f^{(4)}(x)+\cdots+(-1)^n f^{(2n)}(x)
Şimdi F(0)F(0) ve F(π)F(\pi)'F(π)′F(\pi)'nin her zaman tam sayı olduğunu kanıtlayalım. Şimdi f(x)f(x)'in ne olduğunu hatırlayalım:
f(x)=xn(a−bx)nn!f(x) = \frac{x^n(a - bx)^n}{n!}
Biraz düzenleyelim:
f(x)=xn(a−bx)nn!=(ax−bx2)nn!=1n!((n0)(ax)n(bx2)0−(n1)(ax)n−1(bx2)1+(n2)(ax)n−2(bx2)2+⋯+(−1)n−1(nn−1)(ax)1(bx2)n−1+(−1)n(nn)(ax)0(bx2)n)f(x) = \frac{x^n(a - bx)^n}{n!}=\frac{(ax - bx^2)^n}{n!}={1 \over n!}( {n \choose 0}(ax)^n (bx^2)^0 - {n \choose 1}(ax)^{n-1} (bx^2)^1 + {n \choose 2}(ax)^{n-2} (bx^2)^2 + \cdots + (-1)^{n-1}{n \choose n-1}(ax)^1 (bx^2)^{n-1} + (-1)^n{n \choose n}(ax)^0 (bx^2)^n)
Görebileceğiniz üzere f(j)(0)f^{(j)}(0); j<nj<n için her zaman 00, j≤2nj\le2n için her zaman xx içermeyen terimin çarpanı n!n!'e bölünebilir. ve j>2nj>2n için tekrardan 00'dır. Yani f(j)(0)∈Zf^{(j)}(0) \in \Z ve dolayısıyla F(0)F(0) her zaman tam sayıdır.
Şimdi F(π)F(\pi) için bakalım. Şimdi fonksiyonda xx yerine a/b−xa/b-x yazalım:
f(a/b−x)=(a/b−x)n(a−b(a/b−x))nn!=xn(a−bx)nn!f(a/b-x)=\frac{(a/b-x)^n(a - b(a/b-x))^n}{n!}=\frac{x^n(a - bx)^n}{n!}
Demekki f(x)=f(a/b−x)f(x)=f(a/b-x) yani f(0)f(0) için bulduğumuz her şey f(a/b)f(a/b) yani f(π)f(\pi) için de geçerli. Demekki F(π)F(\pi) bir tam sayı.
Şimdi şu fonksiyona bakalım:
F′(x)sinx−F(x)cosxF'(x)\sin x - F(x)\cos x
Şimdi bunun türevini alalım:
ddxF′(x)sinx−F(x)cosx=(F′′(x)sinx+F′(x)cosx)−(F′(x)cos(x)−F(x)sinx)=F′′(x)sinx−F(x)sinx=f(x)sinx{d \over dx} F'(x)\sin x - F(x)\cos x = (F''(x)\sin x+F'(x)\cos x) - (F'(x) \cos(x) - F(x) \sin x)=F''(x)\sin x- F(x) \sin x=f(x) \sin x
ddxF′(x)sinx−F(x)cosx=f(x)sinx{d \over dx} F'(x)\sin x - F(x)\cos x =f(x) \sin x
O halde şunu diyebiliriz:
∫0πf(x)sinxdx=(F′(x)sinx−F(x)cosx)∣0π=(F′(π)sinπ−F(π)cosπ)−(F′(0)sin0−F(0)cos0)=F(π)+F(0)\displaystyle\int_0^\pi f(x) \sin x dx = (F'(x)\sin x - F(x)\cos x )|_0^\pi = ( F'(\pi)\sin \pi - F(\pi)\cos \pi ) - (F'(0)\sin 0 - F(0)\cos 0)=F(\pi)+F(0)
Kısaca:
∫0πf(x)sinxdx=F(π)+F(0)\displaystyle\int_0^\pi f(x) \sin x dx = F(\pi)+F(0)
Eğer π=a/b\pi=a/b ise bu fonksiyonun değerinin her zaman tam sayı çıkacağını biliyoruz. O zaman şu şekilde bir eşitsizlik kuralım:
0<∫0πf(x)sinxdx<πn+1ann!0<\displaystyle\int_0^\pi f(x) \sin x dx < {\pi^{n+1}a^n \over n!}
Bunun nedeni 0<x<π0<x<\pi için sin(x)\sin(x) her zaman pozitif ve 0<x<π0<x< \pi için f(x)f(x) de pozitiftir o zaman:
0<f(x)sinx0<f(x)\sin x
Şimdi ise 0<x<π0<x<\pi için 0<x(a−bx)<xa0<x(a-bx)<xa olacağı için:
0<f(x)<(ax)nn!0<f(x)<{(ax)^n \over n!}
Aynı zamanda 0<x<π0<x< \pi için 0<sinx<10< \sin x < 1 olduğu için:
0<f(x)sinx<(ax)nn!0<f(x) \sin x<{(ax)^n \over n!}
Şimdi hepsinin 0 dan π\pi'ye integralini alalım:
∫0π0dx<∫0πf(x)sinxdx<∫0π(ax)nn!dx\displaystyle\int_0^\pi 0 dx <\displaystyle\int_0^\pi f(x) \sin x dx< \displaystyle\int_0^\pi {(ax)^n \over n!} dx
Bunları hesaplarsak:
0<∫0πf(x)sinxdx<πn+1ann!0<\displaystyle\int_0^\pi f(x) \sin x dx < {\pi^{n+1}a^n \over n!}
Burada eğer nn'i sonsuza götürüsek:
limn→∞0<limn→∞∫0πf(x)sinxdx<limn→∞πn+1ann!\displaystyle\lim_{n \to \infty}0<\displaystyle\lim_{n \to \infty}\displaystyle\int_0^\pi f(x) \sin x dx <\displaystyle\lim_{n \to \infty} {\pi^{n+1}a^n \over n!}
Limitleri hesapladığımızda:
0<limn→∞∫0πf(x)sinxdx<00<\displaystyle\lim_{n \to \infty}\displaystyle\int_0^\pi f(x) \sin x dx <0
Buradan da görüyoruz ki yeterince büyük bir nn için integral 0 ve 1 arasında değerler alabilir. Bu da F(0)+F(π)F(0)+F(\pi)'nin tam sayı olması ve dolayısıyla π\pi'nin a/ba/b şeklinde yazılabilmesi ile çelişkiye sebep olur. Demekki π\pi irrasyonel olmalı ki bu tür aa, bb değerleri seçilemesin. Yani π\pi irrasyoneldir.[3]
Bu makale üzerine konuşmaya devam et
Topluluk sohbetine katıl, yorum bırak veya ayrıntılı bir soru sor.
- Muhteşem!0

- Tebrikler!0

- Bilim Budur!0

- Mmm... Çok sapyoseksüel!0

- Güldürdü0

- İnanılmaz0

- Umut Verici!0

- Merak Uyandırıcı!0

- Üzücü!0

- Grrr... *@$#0

- İğrenç!0

- Korkutucu!0

- J. L. Berggren. Pi: A Source Book. ISBN: 9780387205717.
- A. L. Crelle. (1842). Journal Für Die Reine Und Angewandte Mathematik.
- ^I. Niven. (1947). A Simple Proof That 𝜋 Is Irrational. Bulletin of the American Mathematical Society, sf: 509. doi: 10.1090/S0002-9904-1947-08821-2. | Arşiv Bağlantısı
Evrim Ağacı'na her ay sadece 1 kahve ısmarlayarak destek olmak ister misin?
Şu iki siteden biriyle hemen destek olabilirsin:
kreosus.com/evrimagaci | patreon.com/evrimagaci
Çıktı Bilgisi: Bu sayfa, Evrim Ağacı yazdırma aracıyla 29.10.2026 04:01:47 tarihinde oluşturuldu. Evrim Ağacı'ndaki içerikleri birden fazla editör sürekli gözden geçiriyor, güncelliyor ve geliştiriyor. Bu çıktıdan sonraki güncellemeleri görmek ve içeriğin en güncel hâlini okumak için şu adrese git: evrimagaci.org/s/18641
İçerik Kullanım İzinleri: Evrim Ağacı'ndaki yazılı içerikler orijinallerine hiçbir şekilde dokunulmadığı sürece izin alınmaksızın paylaşılabilir, kopyalanabilir, yapıştırılabilir, çoğaltılabilir, basılabilir, dağıtılabilir, yayılabilir, alıntılanabilir. Ancak bu içeriklerin hiçbiri izin alınmaksızın değiştirilemez ve değiştirilmiş hâlleri Evrim Ağacı'na aitmiş gibi sunulamaz. Benzer şekilde, içeriklerin hiçbiri, söz konusu içeriğin açıkça belirtilmiş yazarlarından ve Evrim Ağacı'ndan başkasına aitmiş gibi sunulamaz.