Kök 2‘nin irrasyonelliği: Matematik tarihi, genellikle doğrusal bir ilerleme olarak algılanır. Ancak bu tarihin içinde öyle anlar vardır ki, mevcut tüm sistemin temelinden sarsılmasına neden olmuştur. Bu sarsıntıların en büyüğü, antik Yunan’da, İtalya’nın güneyindeki Kroton şehrinde yankılanan bir keşifle başladı: Kök 2 sayısının irrasyonelliği. Bu keşif, sadece bir sayının doğasını değil, evrenin rasyonel bir düzen içinde tam sayılarla açıklanabileceğine dair kadim inancı da yerle bir etti.
Bu yazıda, bir kenarı 1 birim olan karenin köşegeninin neden hiçbir tam sayının oranı olarak ifade edilemediğini, bu gerçeğin Pisagor Okulu’nda yarattığı depremi ve modern matematiğe miras kalan “ispat” kültürünü inceleyeceğiz.
1. Pisagorcu Kozmoloji: “Her Şey Sayıdır”
MÖ 6. yüzyılda Pisagor ve takipçileri için matematik sadece bir hesaplama aracı değil, dini bir öğretiydi. Onlara göre evrenin ruhu, tam sayılar ve bu sayıların birbirine olan oranları (rasyoları) üzerine kuruluydu. Müzikteki armoniden gök cisimlerinin hareketine kadar her şey 1, 2, 3 gibi tam sayılarla açıklanabilirdi.
Pisagorcular için “sayı” demek, “tam sayı” (integer) demekti. İki uzunluk arasındaki ilişki, her zaman a / b şeklinde bir oranla ifade edilebilmeliydi. Bu inanca “ölçülebilirlik” (commensurability) deniyordu. Ancak kendi teoremleri olan Pisagor Teoremi’ni bir kenarı 1 birim olan kareye uyguladıklarında, karşılarına çıkan sonuç bu kutsal düzenin sonunu getirdi.
2. Keşif: Kenar ve Köşegenin Uyumsuzluğu
Bir kare düşünelim; kenar uzunluğu 1 olsun. Pisagor Teoremi’ne göre köşegenin karesi, kenarların kareleri toplamına eşittir: 1’in karesi + 1’in karesi = 2
Dolayısıyla köşegen uzunluğu Kök 2 (√2) birimdir. Pisagorcular, bu uzunluğu temsil edecek iki tam sayı (p ve q) aramaya başladılar; öyle ki p / q = Kök 2 olsun. Ancak ne kadar denerlerse denesinler, bu oranı bulamadılar.
Efsaneye göre, bu durumu ilk fark eden Metapontumlu Hippasus olmuştur. Hippasus, bu sayının rasyonel olmadığını (yani iki tam sayının oranı şeklinde yazılamayacağını) ispatladığında, bu durum okulun “evren rasyoneldir” dogmasına aykırı düştüğü için büyük bir gizlilikle saklanmaya çalışıldı. Hatta bazı kaynaklar, Hippasus’un bu sırrı ifşa ettiği için tanrılar tarafından cezalandırıldığını veya arkadaşları tarafından denize atıldığını rivayet eder.
3. Matematiksel İspat: Çelişki Yoluyla İspat
Kök 2’nin irrasyonelliğini anlamak için kullanılan klasik ispat yöntemi, mantık biliminin en zarif örneklerinden biridir. Bu ispat, “tersini varsayalım” mantığına dayanır.
İspat Adımları:
- Varsayım: Kök 2’nin rasyonel bir sayı olduğunu varsayalım. Bu durumda Kök 2 = p / q şeklinde yazılabilir. Burada p ve q tam sayılardır ve bu kesir en sade halindedir (yani p ve q aralarında asaldır, ortak bölenleri yoktur).
- Karesini Alma: Denklemin her iki tarafının karesini alırsak; 2 = p² / q² elde ederiz. Buradan içler dışlar çarpımı yapınca p² = 2q² sonucuna ulaşırız.
- Çift Sayı Analizi: Bu denklem bize p² sayısının bir çift sayı olduğunu söyler. Matematiksel bir kural olarak, bir sayının karesi çift ise kendisi de çifttir. O halde p sayısı çifttir. Bunu p = 2k (k bir tam sayı) şeklinde yazabiliriz.
- Yerine Koyma: p gördüğümüz yere 2k yazarsak; (2k)² = 2q² olur. Bu da 4k² = 2q² demektir. Sadeleştirme yaparsak q² = 2k² sonucuna varırız.
- Çelişki: Bu son denklem, q² sayısının da çift olduğunu, dolayısıyla q’nun da çift olması gerektiğini kanıtlar. Ancak biz en başta p ve q kesrinin en sade halde olduğunu, yani ikisinin birden çift olamayacağını (aralarında asal olduklarını) varsaymıştık.
- Sonuç: Varsayımımız bizi imkansız bir çelişkiye götürdü. O halde Kök 2 rasyonel olamaz; o bir irrasyonelsayıdır.
4. Tarihsel Önem: Sayı Kavramının Genişlemesi
Kök 2’nin keşfi, matematik dünyasında “İlk Temel Kriz” olarak bilinir. Bu keşfin yol açtığı temel değişimler şunlardır:
- Geometrinin Üstünlüğü: Yunanlılar, sayıların (aritmetiğin) yetersiz kaldığını görünce matematiğin merkezine geometriyi yerleştirdiler. Öklid’in “Elemanlar” eserinde sayısal değerlerden ziyade uzunluklar ve alanlar üzerinden ispat yapılmasının sebebi budur. Kök 2 sayısal olarak bir oranla ifade edilemese bile, geometrik olarak “çizilebilir” somut bir uzunluktur.
- Sonsuzluk ve Süreklilik: İrrasyonel sayılar, bir sayının virgülden sonra hiç tekrar etmeden sonsuza kadar gidebileceği gerçeğini ortaya koydu. Bu, sayı doğrusunun sadece tam sayılar veya kesirlerle değil, aradaki tüm boşlukları dolduran “sürekli” bir yapıyla var olduğunu gösterdi.
- Aksiyomatik Sistem: Bu kriz, bilimsel iddiaların sadece gözleme veya inanca değil, sağlam mantıksal ispatlara dayanması gerektiğini kanıtladı. Mantık, matematiğin sarsılmaz kalesi haline geldi.
5. Uygulama Alanları ve Modern Dünya
Bugün irrasyonel sayılar olmadan modern mühendislik, fizik veya bilgisayar bilimlerinden bahsetmek imkansızdır.
- Mimari ve Tasarım: Gümüş oran ve altın oran gibi irrasyonel sabitler, estetik ve yapısal dengenin temelidir.
- Kağıt Standartları (A4, A3): Günlük hayatta kullandığımız A4 kağıtlarının kısa kenarının uzun kenarına oranı 1 / Kök 2 (yaklaşık 0,707) oranıdır. Bu özel oran sayesinde kağıdı tam ortadan böldüğünüzde, yeni oluşan kağıdın boyut oranları orijinaliyle aynı kalır.
- Kuantum Mekaniği: Atom altı parçacıkların ve dalga fonksiyonlarının hesaplanmasında irrasyonel sayılar ve Kök 2 gibi sabitler zorunlu birer araçtır.
6. Felsefi Yorum: Bilinenin Sınırı
Kök 2, insan zihnine evrenin her zaman göründüğü kadar “basit” olmadığını öğretti. Tam sayıların güvenli limanından ayrılıp irrasyonelliğin sonsuz denizine açılmak, bilimsel olgunluğun ilk adımıydı. Sayıların doğasındaki bu gizem, rasyonalizmin sınırlarını belirlerken, insanlığı daha derin bir gerçeklik aramaya itti.
7. Sonuç
Kök 2’nin irrasyonelliği, sadece bir matematik problemi değildir; insan düşüncesinin özgürleşme hikayesidir. Pisagorcuların tabularını yıkan bu sayı, bugün bize gerçeğin her zaman tam ve bitmiş olmadığını, aksine sonsuz ve sürekli bir akış içinde olduğunu hatırlatır. Eğer Kök 2 rasyonel olsaydı, bugün ne kalkülüs olurdu ne de modern teknoloji. Matematiğin bu “aykırı” çocuğu, aslında medeniyetimizin en sadık mimarlarından biridir.
Kaynakça
- Hardy, G. H. (1940). A Mathematician’s Apology. Cambridge University Press.
- Heath, T. L. (1921). A History of Greek Mathematics: From Thales to Euclid. Clarendon Press.
- Fowler, D. (1999). The Mathematics of Plato’s Academy: A New Reconstruction. Oxford University Press.
- Kline, M. (1972). Mathematical Thought from Ancient to Modern Times. Oxford University Press.
- Mazur, J. (2007). Zeno’s Paradox: Unraveling the Ancient Mystery Behind the Science of Space and Time. Plume Publishing.