1742'de bir matematikçi, mevkidaşına bir mektup yazdı ve içine matematiğin en baştan çıkarıcı sorularından birini sıkıştırdı: "Her çift sayı, iki asalın toplamı mı?" Yaklaşık 300 yıldır kimse kesin cevap veremedi — ama herkes cevabın "evet" olduğundan neredeyse emin. Karşınızda Goldbach varsayımı.
Varsayım Neyi Söylüyor?
2'den büyük her çift sayı, tam olarak iki asal sayının toplamı olarak yazılabilir.
Denemeler:
- 4 = 2 + 2
- 10 = 3 + 7 = 5 + 5
- 20 = 3 + 17 = 7 + 13
- 100 = 3 + 97 = 11 + 89 = 17 + 83
- 1.000 = 3 + 997 = 17 + 983 = 29 + 971
42'yi iki asalın toplamı olarak yazın! (Cevaplar: 5+37, 11+31, 13+29, 19+23.) [Aralık aracımızla](/araclar/aralikta-asal-sayilar/) 2-42 arası asalları listeleyip çiftleri kendiniz bulabilirsiniz.
Neden Bu Kadar Zor?
Sorunun ifadesi çocukça basit; ama asalların toplamsal davranışını kontrol etmek, çarpımsal davranışından çok daha zordur. Asalların çarpımı (asal çarpanlar) düzenlidir; toplamları ise dağınıktır. Varsayım, asalların bu "toplam serbestisi" hakkında söylenmiş en cesur iddiadır.
Mektubun Hikâyesi
Christian Goldbach, 1742'de Leonhard Euler'e yazdığı mektupta varsayımı (aslında önceki bir biçimiyle) dile getirdi. Euler cevabında "çok zarif bir teorem görünüyor, ama kanıtlayamıyorum" dedi. O günden beri matematiğin en tanınmış "açık mektup sorusu" olarak kaldı.
Zayıf Goldbach: Üç Asal (Kanıtlandı!)
Varsayımın "tek sayılar" versiyonu şudur: 5'ten büyük her tek sayı, üç asalın toplamıdır (zayıf Goldbach). Örnek: 27 = 3 + 11 + 13.
Harald Helfgott, zayıf Goldbach varsayımını nihayet kanıtladı. Böylece 200 yıllık bir problem kapandı — ve güçlü Goldbach'ın çözümüne giden yolda önemli bir basamak atıldı.
Sayısal Kanıtlar: 4 × 10¹⁸'e Kadar Doğru
Bilgisayarlar, 4 kentilyona (4 × 10¹⁸) kadar olan bütün çift sayılar için varsayımı doğruladı. Yani karşı örnek varsa, devasa bir sayı olmalı. Ama matematikte "milyarlarca doğru örnek" bile kesin kanıt yerine geçmez — çünkü sonsuz sayıda vaka vardır.
Terence Tao'nun Atılımı (2013)
Fields madalyalı Terence Tao, "neredeyse bütün" çift sayıların iki asalın toplamı olduğunu kanıtladı. "Neredeyse bütün", teknik olarak "seyrek istisnalar dışında" demektir. Bu, varsayımın en güçlü dolaylı desteğidir; kalan "istisnalar" kapatıldığında tam kanıt gelecektir.
Bilinen Sınır: Ternary Goldbach ve Daha Fazlası
- Vinogradov (1937): Yeterince büyük her tek sayı, üç asalın toplamıdır.
- Chen (1966): Yeterince büyük her çift sayı, bir asal ile en fazla iki asalın çarpımının toplamı (p + P₂) biçiminde yazılabilir.
- Ramsey teorisi: Green-Tao teoremi (2004), asalların içinde istenilen uzunlukta aritmetik diziler olduğunu kanıtladı — toplamsal asal yapısına dair en şaşırtıcı keşiflerden biri.
Çözülürse Ne Olur?
Goldbach'ın pratik bir uygulaması yoktur; ama çözüm, asalların toplamsal yapısını çözecek yeni matematiksel yöntemler doğuracaktır. Tarih gösteriyor ki, böylesi problemlerin kanıtları, beklemedikleri alanlarda (kriptografi, kodlama teorisi, fizik) kapılar açıyor.
Sonuç
4 = 2 + 2'den başlayıp evrenin sonuna kadar: her çift sayının iki asalın toplamı olduğuna dair inanç tam, kanıt eksik. Goldbach varsayımı, matematiğin "çocukça sorulan, dev sorular"ından biri olarak yerini koruyor. Belki de kanıt, iki asalın toplamı kadar basit bir fikirle gelecek.