Pisagor Teoremi ve Saklı Bir Sır: İrrasyonel Sayılar Nasıl Keşfedildi?

Herkesin Bildiği Kural

Okuldan hepimizin hatırladığı bir cümle var: "Bir dik üçgende, dik kenarların karelerinin toplamı, hipotenüsün karesine eşittir."

$$a^2 + b^2 = c^2$$

Burada c en uzun kenar, yani dik açının karşısındaki hipotenüs. Örneğin kenarları 3 ve 4 olan bir dik üçgende hipotenüs:

$$3^2 + 4^2 = 9 + 16 = 25 = 5^2 \Rightarrow c = 5$$

Bu sayı üçlüsüne (3, 4, 5) Pisagor üçlüsü denir. Bunun gibi sonsuz sayıda tam sayı üçlüsü vardır: (5, 12, 13), (8, 15, 17)...

Teorem Gerçekten Pisagor'a mı Ait?

İlginç bir tarihsel gerçek: Bu ilişki, Pisagor'dan (M.Ö. ~570–495) çok önce biliniyordu. Babilliler, M.Ö. 1800'lere tarihlenen "Plimpton 322" adlı kil tablette Pisagor üçlülerini listelemişti. Mısırlılar ip-gerip yöntemiyle dik açı oluşturmak için 3-4-5 üçgenini kullanıyordu. Hintli ve Çinli matematikçiler de bu ilişkiyi biliyordu.

Pisagor ve kurduğu okulun katkısı, muhtemelen ilişkinin genel bir ispatını ortaya koymak oldu — yani "bu sadece bazı sayılarda değil, her dik üçgende doğrudur" demek. Matematiği "örneklerle gözlem"den "kanıtla kesinlik"e taşıyan adım buydu ve teorem bu yüzden onun adıyla anıldı.

Bir Karenin Köşegeni: Kriz Başlıyor

Şimdi en sade dik üçgeni ele alalım: iki dik kenarı da 1 birim olan bir üçgen (yani bir birim karenin yarısı). Hipotenüsü ne olur?

$$1^2 + 1^2 = c^2 \Rightarrow c^2 = 2 \Rightarrow c = \sqrt{2}$$

İşte burada matematik tarihinin en büyük şoklarından biri yaşandı. Pisagorcular, evrenin tam sayılar ve onların oranları (kesirler) üzerine kurulu olduğuna inanıyordu. "Her şey sayıdır" onların temel inancıydı. Onlara göre her uzunluk, iki tam sayının oranı olarak ifade edilebilmeliydi.

Ama √2 böyle bir sayı değildir. İki tam sayının oranı (kesir) olarak yazılamaz. Yani bir karenin kenarı 1 ise, köşegeni hiçbir kesirle tam ifade edilemez. Bu tür sayılara bugün irrasyonel sayılar diyoruz.

√2 Neden Kesir Olamaz? (Zarif Bir Kanıt)

Bunu kanıtlamanın yolu, varsayımın saçmalığa götürdüğünü göstermektir (çelişkiyle ispat):

1. Diyelim ki √2 bir kesirdir: √2 = p/q, üstelik bu kesir en sade hâlinde (p ve q'nun ortak böleni yok).
2. Karesini alalım: 2 = p²/q², yani p² = 2q².
3. O hâlde p² çifttir. Bir sayının karesi çiftse, sayının kendisi de çifttir. Demek ki p çift: p = 2k.
4. Yerine koyalım: (2k)² = 2q² → 4k² = 2q² → q² = 2k². Demek ki q² de çift, yani q da çift.
5. Ama p ve q'nun ikisi de çiftse, ortak bölenleri 2 demektir — bu, "en sade hâlde" varsayımımızla çelişir.

Çelişki, başlangıçtaki "√2 bir kesirdir" varsayımının yanlış olduğunu gösterir. Demek ki √2 irrasyoneldir. Bu, 2500 yıl önce bulunmuş ama bugün hâlâ ders kitaplarında öğretilen, matematiğin en güzel kanıtlarından biridir.

Efsanevi Bir Hikâye

Rivayete göre bu keşfi yapan kişi, Pisagorcu Hippasus idi. Anlatılan (ve doğruluğu tartışmalı) efsaneye göre, irrasyonel sayıların varlığını açıkladığı için topluluğun inancını sarstı ve bu yüzden denize atılarak cezalandırıldı. Hikâyenin gerçek olup olmadığı bilinmese de, şunu güçlü biçimde anlatır: Bazı matematiksel gerçekler o kadar rahatsız edicidir ki, insanlar başta onları reddetmeyi tercih eder.

Oysa irrasyonel sayılar bir "kusur" değil, sayı sisteminin doğal ve zorunlu bir parçasıdır. Bu keşif, sayı kavramını tam sayılar ve kesirlerin ötesine, gerçek sayılar dünyasına taşıdı.

Bugün Pisagor Teoremi Nerede?

• İnşaat ve mimari: Bir duvarın gerçekten dik açıyla örülüp örülmediği, 3-4-5 yöntemiyle kontrol edilir. Şantiyelerde hâlâ kullanılır.
• GPS ve navigasyon: İki nokta arasındaki düz mesafe (Öklid uzaklığı), doğrudan Pisagor teoreminin uzaydaki hâliyle hesaplanır.
• Bilgisayar grafikleri: Ekrandaki iki piksel arası mesafe, çarpışma algılama, 3B oyun motorları — hepsi bu formülle çalışır.
• Veri bilimi: İki veri noktasının "benzerliği" çoğu zaman aralarındaki Öklid uzaklığıyla ölçülür; bu da çok boyutlu bir Pisagor hesabıdır.

Sonuç

Pisagor teoremi, görünüşte basit bir geometri kuralı. Ama içinde iki büyük ders saklı: Birincisi, matematiğin gücü genel bir kanıtta yatar — tek tek örneklerde değil. İkincisi, bazen en güvendiğimiz inançları sarsan keşifler, aslında bilgimizi genişleten en değerli adımlardır.

Bir karenin köşegenine bakarken, orada kesirle asla yakalanamayan bir sonsuzluğun gizlendiğini hatırlayın.