Karekök 2’nin Skandalı: Matematiğin İlk Büyük Krizi

"Her Şey Sayıdır" İnancı

Antik Yunan'da, $2500$ yıl kadar önce, Pisagorcular denen bir matematikçi-filozof topluluğu vardı. Onlar için matematik sadece bir araç değil, neredeyse bir dindi. Temel inançları çarpıcıydı: "Her şey sayıdır." Yani evrendeki tüm uyum, tüm güzellik, tüm gerçeklik, tam sayılar ve onların oranlarıyla (kesirlerle) açıklanabilirdi.

Bu inanç temelsiz değildi. Pisagorcular, müzikteki uyumlu seslerin basit sayı oranlarına ($2:1$, $3:2$ gibi) karşılık geldiğini keşfetmişti. Sayılar gerçekten de evrenin gizli dilini konuşuyor gibiydi. Onlara göre her uzunluk, her nicelik, mutlaka iki tam sayının oranı olarak yazılabilirdi. Böyle yazılabilen sayılara bugün rasyonel sayılar diyoruz.

Krizi Doğuran Şekil: Bir Kare

Sonra, kendi sevdikleri matematik, inançlarını yıktı. Ve bunu yapan, son derece basit bir şekildi: kenarı $1$ birim olan bir kare.

Bu karenin köşegenini düşünün. Pisagor teoremiyle (ki Pisagorcuların kendisinden gelir!) köşegenin uzunluğunu hesaplayabiliriz. Kenarları $1$ ve $1$ olan dik üçgende:

$\text{köşegen}^2 = 1^2 + 1^2 = 2 \quad\Rightarrow\quad \text{köşegen} = \sqrt{2}$

İşte sorun: $\sqrt{2}$ kaçtır? Pisagorcular bunun da bir kesir, iki tam sayının oranı olması gerektiğine emindi. Ama ne kadar uğraştılarsa $\sqrt{2}$'yi bir kesir olarak yazamadılar. Sonunda dehşet verici gerçeği kanıtladılar: $\sqrt{2}$ hiçbir kesirle yazılamaz. O, irrasyonel bir sayıdır.

Neden İmkânsız? Zarif Bir İspat

Bu iddianın güzelliği, kesin biçimde kanıtlanabilmesidir. İspat, "olmadığını varsayıp çelişkiye düşme" (çelişki yoluyla ispat) yöntemini kullanır ve matematiğin en zarif argümanlarından biridir:

Diyelim ki $\sqrt{2}$ bir kesir olarak yazılabilseydi, en sade hâliyle $\dfrac{a}{b}$ olsun (yani $a$ ve $b$'nin ortak böleni yok). O zaman:

$\sqrt{2} = \frac{a}{b} \quad\Rightarrow\quad 2 = \frac{a^2}{b^2} \quad\Rightarrow\quad a^2 = 2b^2$

Bu, $a^2$'nin çift olduğunu söyler, dolayısıyla $a$ da çifttir. Ama $a$ çiftse, $a^2$ aslında $4$'ün katıdır; bu da $b^2$'nin (ve dolayısıyla $b$'nin) de çift olmasını zorunlu kılar. İşte çelişki: hem $a$ hem $b$ çiftse, ortak bölenleri ($2$) var demektir — oysa kesri en sade hâliyle aldığımızı söylemiştik! Bu çelişki, başlangıçtaki varsayımın yanlış olduğunu kanıtlar. Demek ki $\sqrt{2}$ asla bir kesir olamaz.

Bir Efsane: Gizliliğin Bedeli

Bu keşif, Pisagorcular için bir felaketti. Evrenin sayı oranlarıyla açıklanabileceği inançlarının tam kalbine bir hançer saplıyordu. Anlatılan efsaneye göre, irrasyonelliği keşfeden (ya da onu dünyaya ifşa eden) Pisagorcu Hippasus, bu yüzden ağır bir bedel ödedi — rivayete göre denize atılarak boğuldu. Tarihsel doğruluğu kuşkulu olsa da bu efsane, keşfin yarattığı sarsıntının ne kadar büyük olduğunu anlatır: bazı gerçekler, bütün bir dünya görüşünü tehdit edecek kadar güçlüdür.

Krizden Zenginliğe

Pisagorcular irrasyonel sayılardan korktu, ama matematik onları kucakladı ve devasa biçimde zenginleşti. Bugün biliyoruz ki rasyonel sayılar, sayı doğrusunun yalnızca küçük bir parçasıdır; aralarındaki "boşlukları" $\sqrt{2}$, $\pi$, $e$ gibi sonsuz çoklukta irrasyonel sayı doldurur. Hatta irrasyonel sayılar, rasyonellerden "çok daha fazladır." Gerçek sayılar sisteminin tam olarak inşası — analizin temeli — tam da bu irrasyonelleri ciddiye almakla mümkün oldu.

Karekök $2$'nin hikâyesi, matematik tarihinin en güzel derslerinden birini taşır: bazen en sarsıcı keşifler, en sevdiğimiz inançları yıkanlardır. Pisagorcular "her şey sayıdır" derken, basit bir karenin köşegeni onlara dünyanın sandıklarından daha geniş olduğunu gösterdi. Bir krizden korkmak yerine onu anlamak, matematiği daha da büyüttü — ve bugün, sayı doğrusunun zenginliği, o ilk skandalın armağanıdır.