Tüm Reklamları Kapat

Pi Sayısı Neden İrrasyoneldir?

6dk
Pi Sayısı Neden İrrasyoneldir?
Tüm Reklamları Kapat

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:

Tüm Reklamları Kapat

π=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


Tüm Reklamları Kapat

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:

Tüm Reklamları Kapat

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)sin⁡x−F(x)cos⁡xF'(x)\sin x - F(x)\cos x

Şimdi bunun türevini alalım:

ddxF′(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{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)sin⁡x−F(x)cos⁡x=f(x)sin⁡x{d \over dx} F'(x)\sin x - F(x)\cos x =f(x) \sin x

Tüm Reklamları Kapat

O halde şunu diyebiliriz:

∫0πf(x)sin⁡xdx=(F′(x)sin⁡x−F(x)cos⁡x)∣0π=(F′(π)sin⁡π−F(π)cos⁡π)−(F′(0)sin⁡0−F(0)cos⁡0)=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)sin⁡xdx=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)sin⁡xdx<π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)sin⁡x0<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<sin⁡x<10< \sin x < 1 olduğu için:

Tüm Reklamları Kapat

0<f(x)sin⁡x<(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)sin⁡xdx<∫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)sin⁡xdx<π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:

Tüm Reklamları Kapat

lim⁡n→∞0<lim⁡n→∞∫0πf(x)sin⁡xdx<lim⁡n→∞π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<lim⁡n→∞∫0πf(x)sin⁡xdx<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]

Rastgele Yazıya Git
0
Alt Başlıklar
MAKALE SONRASI

Bu makale üzerine konuşmaya devam et

Topluluk sohbetine katıl, yorum bırak veya ayrıntılı bir soru sor.

Bilimsel bir hata mı gördün?
Bu Makale Sana Ne Hissettirdi?
  • Muhteşem!
    Muhteşem!
    0
  • Tebrikler!
    Tebrikler!
    0
  • Bilim Budur!
    Bilim Budur!
    0
  • Mmm... Çok sapyoseksüel!
    Mmm... Çok sapyoseksüel!
    0
  • Güldürdü
    Güldürdü
    0
  • İnanılmaz
    İnanılmaz
    0
  • Umut Verici!
    Umut Verici!
    0
  • Merak Uyandırıcı!
    Merak Uyandırıcı!
    0
  • Üzücü!
    Üzücü!
    0
  • Grrr... *@$#
    Grrr... *@$#
    0
  • İğrenç!
    İğrenç!
    0
  • Korkutucu!
    Korkutucu!
    0
Kategoriler ve Etiketler
Kaynaklar ve İleri Okuma
Tüm Reklamları Kapat

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.

Keşfetmeye Devam Et