Wilson Teoremi: Faktöriyel, Asal Sayıların Parmak İzi
Bir tam sayı $p$ asal ise ve sadece o zaman $(p-1)! + 1$ sayısı $p$ ile tam bölünür. Çok güzel ama kullanışsız bir asallık testi; üç bin yıl boyunca matematikçileri büyüleyen bir bilmece.

"Bir sayı asal mı?" sorusunun zarif bir cevabı
Sıradan bir sayı için "asal mı değil mi?" diye sormanın en bilinen yolu deneme bölmesi. Ama bu çirkin — 'in karekökü kadar denemek gerekir. Daha zarif bir test arar mıydınız?
1770'te İngiliz matematikçi John Wilson (henüz öğrenci) çok güzel bir formül ileri sürdü:
tam sayısı asaldır ⟺ , ile tam bölünür.
Modüler aritmetik dilinde: asal ⟺ .
Wilson kanıt yapamadı; Lagrange 1771'de tam ispatladı. Adı yine yanlış kişiye yapıştı — ama bu sefer adaletli bir biçimde: Wilson'un tahmini bu güzel sonucu görmekti, Lagrange'ın katkısı ise ispat.
Küçük örneklerle test
- : , ✓
- : ✓
- : ✓ (24 = 5·5 − 1)
- : ✓ (720 = 7·103 − 1)
Şimdi bileşik bir sayı için test edelim:
- : . () ✓ (asal değil olduğu için 'e eşit olmamalı)
- : . ✓
- : . ✓
- : . ✓
İlginç bir gözlem: bileşik için . Çünkü (her ikisi ) yazılınca hem hem , çarpımında yer alır. Yani test sadece istisnası dışında, asal olmayanlar için verir.
Wilson'un sezgisel anlamı
Modüler aritmetik dilinde Wilson teoremi şunu söyler: cisminin sıfırdan farklı tüm elemanlarının çarpımı 'e eşittir.
Niçin? Çünkü her elemanın modüler tersi vardır (cisim olduğu için), ve eleman ile tersi birbirini götürür:
Çoğu kendi tersine eşit değildir (), o yüzden eşleştirilebilir: . Geriye sadece kendi tersine eşit elemanlar kalır. koşulu , yani veya .
Bu iki eleman dışındakiler çift çift götürür. Geriye:
İşte ispat. Üç satırda. Bu kanıtın güzelliği Wilson teoremini ünlü yapan şeydir.
Asal testi olarak — neden kullanılmaz?
Wilson teoremi teorik olarak mükemmel bir asallık testi: tam olarak asalları karakterize eder, hata yapmaz. Ama pratik olarak korkunç yavaş:
- (asal) için hesaplamak gerekir. Bu yaklaşık basamaklı bir sayı. Hafıza yetmez.
- Modüler hesap yapsanız bile, tane çarpma gerekir → adım.
- Deneme bölmesi .
- Modern probabilistik testler (Miller-Rabin) .
Wilson teoremi şıklık abidesi ama pratik tornavida değil. Matematik tarihinde böyle pek çok teorem vardır: bilgi açısından harika, hesap açısından berbat.
Genelleştirmeler
Gauss'un Wilson genelleştirmesi
Hangi modüler aritmetiklerde alt grubu 'e eşittir? Gauss cevapladı:
⟺ ( tek asal).
Burada = ile aralarında asal olan, 'den küçük pozitif sayıların çarpımı. Yani Wilson teoremi sadece asalları değil, belirli bir grup yapısına sahip modülleri ayırt eder.
Wilson-Lagrange polinom ispatı
Bir başka güzel ispat: polinomu derecesi 'den küçüktür. Fermat'nın küçük teoremi der ki her sıfırdan farklı için. Yani , tane kök var. Bir polinomun derecesinden fazla kökü olamaz; o halde özdeş olarak sıfırdır. koyun:
tek asal için , sonuç: . trivial.
Bu ispat zarif çünkü Fermat'nın küçük teoreminin duali gibi görünür: Fermat üs hakkında, Wilson çarpım hakkında.
Wilson asalları
asal ve ise 'ye Wilson asalı denir. Bilinen sadece 3 tane: . Başka var mı? 'e kadar arandı, bulunamadı. Sonsuz var mı? Açık.
Matematik bu tür "yakaladığım üçü dışında hiç bulamadım" sorularıyla dolu.
John Wilson kim?
John Wilson (1741-1793) İngiliz öğrenci. Cambridge Trinity Hall'da matematik okudu. Kendisi pek de matematikçi değildi — hayatının çoğunu avukat ve hakim olarak geçirdi. Teoremi öğrenciliğindeyken hocası Edward Waring'e söyledi (1770). Waring kitabında "Wilson teoremi" diye yayımladı.
Tarihsel gerçek: bu teorem aslında Ibn al-Haytham (~1000 MS, Mısır) tarafından çok önce bilinen bir gözlem olabilir. Ortaçağ İslam matematik literatüründe izleri var. Ama Avrupa'da Wilson adıyla geçti.
İlginç bir not: Lagrange, ispatından sonra Wilson'a krediyi içtenlikle verdi. Bir önceki yazımızda gördüğümüz Gauss-Legendre tartışmalarının aksine, Wilson-Lagrange ilişkisi medeniydi.
Mirası
Wilson teoremi pratikte kullanılmaz, ama:
- Sayı teorisi giriş derslerinde kullanılan standart örnek: faktöriyel, modüler aritmetik, eleman-ters eşleştirme.
- Olimpiyat matematiğinde sık çıkan klasik.
- Bilgisayar biliminde modüler hesaplamanın algoritmik karşıtlığını öğretir: zariflik vs verimlilik.
- Soyut cebirde "bir cismin tüm sıfır olmayan elemanlarının çarpımı" kavramının somut bir örneği.
Wilson teoremi bir parmak izidir — asallar gerçekten "her bir asal, çarpımında eşsiz bir iz bırakır" şeklinde karakterize edilir.
Eğer matematik tarihinden bir teorem öğrenmek istiyorsanız, Wilson teoremi mükemmel başlangıç. Cebirsel sezgilerinizi keskinleştirir, ispat zarafetini öğretir, ve asal sayılara karşı daha derin bir saygıyla çıkarsınız.
Etiketler
Kendinizi Test Edin
Cevaplarınız profilinizde istatistik olarak saklanır.
1. Wilson teoremi tam olarak ne söyler?
2. $p = 7$ için Wilson teoremini doğrulayın: $6! \bmod 7 = ?$
3. Wilson teoremi neden pratik asallık testi olarak kullanılmaz?
4. Wilson teoreminin Lagrange ispatının kalbi nedir?
5. "Wilson asalı" nedir ve kaç tane bilinir?
İlgili Yazılar
Sekreter Problemi: Hayatın En İyi Seçimini Yapmak için "%37 Kuralı"
Bir işe alma görüşmesi, bir ev arama süreci, hatta hayat arkadaşı seçimi… Hepsinin altında aynı klasik matematik problemi yatar. Cevap şaşırtıcı biçimde tek bir sayıya bağlıdır: %37.
MatematikPisagor Teoremi ve Saklı Bir Sır: İrrasyonel Sayılar Nasıl Keşfedildi?
Dik üçgenlerle ilgili o ünlü kural, aynı zamanda matematik tarihinin en sarsıcı keşfine yol açtı: kesir olarak yazılamayan sayılar. Üstelik bu keşif, bir bilim topluluğunu temellerinden sarstı.
MatematikFibonacci Dizisi ve Altın Oran: Tavşanlardan Ayçiçeklerine Uzanan Örüntü
Bir tavşan üretme bilmecesiyle başlayan basit bir sayı dizisi, ayçiçeği tohumlarından çam kozalaklarına, deniz kabuklarından galaksilere kadar doğanın her yerinde nasıl karşımıza çıkıyor?