"Asal sayılar nerede yaşar?" sorusu, sayı teorisinin en temel sorularından biridir. Görünürde karmakarışıktırlar: 3 ile 5 yan yanadır, ama 7 ile 11 arasında üç sayı boşluk vardır. Ama uzaktan bakınca şaşırtıcı bir düzen belirir — bu düzeni keşfedenler Gauss ve Riemann'dı ve keşif, matematiğin en derin sayfalarından birini açtı.
Asal Sayma Fonksiyonu: π(x)
π(x) sembolü, x'e kadar olan asal sayıların sayısını verir (pi sayısıyla ilgisi yoktur; "prime" kelimesinin p'sinden gelir).
| x | π(x) | x / ln(x) | Oran (gerçek/tahmin) |
|---|---|---|---|
| 10 | 4 | 4,3 | 0,93 |
| 100 | 25 | 21,7 | 1,15 |
| 1.000 | 168 | 144,8 | 1,16 |
| 1.000.000 | 78.498 | 72.382 | 1,08 |
| 1.000.000.000 | 50.847.534 | 48.254.942 | 1,05 |
Tahmin büyümelerle hep aynı yönde ilerler; oran 1'e doğru yavaşça süzülür. İşte bunu söyleyen teorem:
Gauss'un Gençlik Keşfi
15 yaşındaki Carl Friedrich Gauss, asal tablolarını parmaklarıyla sayarken şunu fark etti: asalların yoğunluğu, sayının logaritmasıyla azalıyor. Yani 1.000.000 civarında sayıların yaklaşık 1'i 14'ü asalsa, 1.000.000.000 civarında bu oran 1/21'e düşüyor. Gauss, hayatı boyunca çalıştığı bu fikri "benim en sevdiğim araştırmalar" diye anlatırdı.
Logaritmik Seyrelme Ne Demek?
Basit bir örnekle: 1 ile 100 arasında 25 asal vardır (her 4 sayıda 1). Ama 99.900 ile 100.000 arasında yalnızca 9 asal (yaklaşık her 11 sayıda 1). Asallar tükenmiyor; sadece kalabalıklaşıyorlar. Euclid'in kanıtı (yazımız) sonsuz olduklarını garanti eder; Asal Sayma Teoremi ise hızını söyler.
Bir sayı civarında ortalama olarak her ln(n) sayıda bir asal bekleyebilirsiniz. 1000 civarında bu 6-7 sayıda bire, 1 milyon civarında 13-14 sayıda bire karşılık gelir.
Kanıtın Yolculuğu
Teorem ilk olarak 1790'larda Legendre tarafından tahmin edildi. Kanıtı ise tam 100 yıl sürdü:
- 1859 — Riemann: Asalları, karmaşık sayılar dünyasındaki zeta fonksiyonuna bağlayan makalesini yayımladı.
- 1896 — Hadamard & de la Vallée Poussin: Riemann'ın araçlarını kullanarak teoremi bağımsız biçimde kanıtladılar. Matematiğin en görkemli "yüz yıllık açık hesap"larından biri kapandı.
İlginçtir, kanıtın kendisi Riemann hipotezine ihtiyaç duymaz — ama o hipotez doğruysa, tahminlerin ne kadar kesin olabileceğini çok daha iyi biliriz (Riemann yazımız).
İkiz Asallar ve Daha İnce Yapı
Asal Sayma Teoremi "ortalama davranışı" söyler; ama asalların eşleşmeleri (ikiz asallar, ardışık asallar arası boşluklar) daha incelikli sorulardır. Hardy ve Littlewood, ikiz asal sayısının tahmini için N/(ln N)² formülünü önerdiler; sayımlar bu formülü doğruluyor, ama kanıt hâlâ eksik.
[Aralık aracımızla](/araclar/aralikta-asal-sayilar/) 1-10.000 aralığını sorgulayın: tam 1.229 asal listelenir. 1-100.000 için 9.592. Bu sayıların x/ln(x) ile karşılaştırın — tahminin ne kadar "yakın ama tam doğru olmadığını" kendi gözünüzle görün.
Neden Önemli?
- Kriptografi: Asal yoğunluğu, rastgele asal üretirken ne kadar deneme yapılacağını belirler.
- Algoritma analizi: Asal arama ve test algoritmalarının hızını tahmin etmek için bu istatistikler şarttır.
- Matematiğin pusulası: Riemann hipotezi gibi dev problemler, asalların dağılımı etrafında döner.
Sonuç
Asal sayılar rastgele değildir; ortalama olarak her ln(n) sayıda bir belirirler. Asal Sayma Teoremi, bu "seyrelme hızını" 200 yıllık bir keşif serüveniyle ortaya koyar: Gauss'un gençlik sezgisi, Riemann'ın analitik köprüsü ve nihayet 1896'da tamamlanan kanıt. Asalların haritası çizildi; ama sırları hâlâ bitmedi.