Kuadratik Resiprosite (Karesel Karşılıklılık) Teoremi
Şu ana kadar Legendre Sembolünün özelliklerini, Euler Kriterini ve Gauss Lemmasını kullanarak sayıların karesel karakterlerini belirledik. Ancak asal sayılar büyüdükçe (örneğin gibi ifadelerde) üs alma işlemleri veya Gauss saymaları bile yetersiz kalır.
Tarihin en büyük matematikçilerinden Gauss'un "Altın Teorem" adını verdiği Kuadratik Resiprosite Teoremi, iki farklı tek asal sayının birbirine göre karesel durumlarının birbiriyle doğrudan bağlantılı olduğunu kanıtlar. Bu teorem, büyük modüller altındaki denklemlerin çözülebilirliğini saniyeler içinde tespit etmemizi sağlar.
1. Kuadratik Resiprosite Teoremi ve Kafes (Lattice) İspatı
Teorem: Kuadratik Resiprosite (Karşılıklılık) Teoremi
ve birbirinden farklı iki tek asal sayı olsun. Bu durumda:
eşitliği sağlanır.
İspat
Bu ispat, kartezyen koordinat sistemindeki tam sayı koordinatlı noktaların (kafes noktalarının) sayılması mantığına dayanır.
İlk olarak, birinci bölgede yer alan ve sınırları belirli olan bir dikdörtgensel tam sayı kümesi tanımlayalım:
Bu kümesinin toplam eleman sayısı, x ve y'nin alabileceği değerler çarpımı kadardır:
Şimdi bu kümesini, doğrusu (veya denklemi) yardımıyla iki alt kümeye ayıralım:
- Doğrunun üstünde kalanlar:
- Doğrunun altında kalanlar:
Kritik Detay: kümesi içindeki hiçbir nokta tam olarak doğrusunun üzerinde olamaz. Çünkü olduğu için eşitliğinin sağlanması için ve olmalıdır. Halbuki kümemizin sınırlarında ve 'dur. Dolayısıyla (kümeler ayrıktır) ve 'dır. Eleman sayıları toplamı şu şekildedir:
Şimdi kümesinin eleman sayısını satır satır bulalım:
Bu kümeyi, 'in aldığı her bir tam sayı değeri için ayrı ayrı birleşimler şeklinde yazabiliriz:
Bu birleşime giren kümeler ikişer ikişer ayrıktır. Belli bir değeri için şartını sağlayan y tam sayılarının adedi, kesrinin tam değerine (bölümüne) yani sayısına eşittir. O halde:
Tamamen simetrik bir düşünceyle kümesinin eleman sayısı da ekseni üzerinden toplanarak bulunur:
Bulduğumuz bu ve değerlerini toplam denkleminde yerine yazalım:
Eşitliğin her iki tarafını 'in üssü olarak yazalım (üssün toplamı, tabanların çarpımıdır):
Bir önceki bölümde Gauss Lemması üzerinden kanıtladığımız genel formül (Teorem 3) gereği biliyoruz ki; ve simetrik olarak 'dir.
Bu değerleri yerine yazdığımızda ispat kusursuz bir şekilde tamamlanır:
💡 Teoremin Pratik Anlamı (Ters Çevirme Kuralı)
Kuadratik Resiprosite Teoremi aslında bize şunu söyler: sembolünü hesaplamak zorsa, bunu ters çevirip sembolünü hesaplayabilirsiniz.
- Eğer p ve q asallarından en az biri formundaysa (yani mod 4'te 1 kalanını veriyorsa), sembol hiçbir işaret değiştirmeden aynen ters çevrilir:
- Eğer p ve q asallarının her ikisi de formundaysa (mod 4'te 3 kalanı), sembol ters çevrildiğinde eksi işareti alır:
🧠 Mantık Köprüsü: Çarpımdan Asıl Değere Nasıl Geçiyoruz?
Kuadratik Resiprosite teoreminde hesapladığımız şey aslında iki sembolün çarpımıdır. Peki bu çarpım sonucundan yola çıkarak asıl aradığımız sembolün değerini nasıl tek başına çekiyoruz?
Legendre sembolleri yalnızca veya değerini alabilir. Dolayısıyla elimizde sadece iki senaryo vardır:
1. Senaryo (Çarpım 1 ise): Eğer bulduysak, bu iki sayı ya ya da olmak zorundadır. Her iki durumda da semboller birbirine eşittir. O halde aradığımız sembolü doğrudan tersine eşitleyebiliriz:
2. Senaryo (Çarpım -1 ise): Eğer bulduysak, bu sayılardan biri iken diğeri mecburen olmak zorundadır. Yani semboller birbirinin zıt işaretlisidir. O halde aradığımız sembol, tersinin eksi ile çarpılmış haline eşittir:
İşte bu basit işaret mantığı sayesinde, büyük olan üstteki sayıyı (örneğin 61'i) aşağıya atıp, modüler aritmetik kullanarak küçültme (indirgeme) işlemine devam edebiliriz!
2. Kuadratik Resiprosite Uygulamaları
Resiprosite Teoreminin gücü, çok büyük sayılar içeren kongrüansları, basit modüler indirgemeler ve sembolü sürekli ters çevirerek ("takla attırarak") çok küçük sayılara düşürmesinde yatar.
Örnek: kongrüansının çözülebilir olup olmadığını araştırınız.
💡 Çözümü Göster / Gizle
Çözüm: Problemi çözmek için Legendre Sembolü olan değerini hesaplamalıyız. 61 bir asal sayıdır. İlk adım olarak sayısını asal çarpanlarına ayıralım ve Legendre'nin çarpımsallık kuralını uygulayalım:
Şimdi bu 4 parçayı sırasıyla hesaplayalım:
1. Parça: hesabı (Özel Değer Kuralı)
2. Parça: hesabı (2'nin Karesel Karakteri)
3. Parça: hesabı (Kuadratik Resiprosite) Her iki sayı da tek asaldır. Formülü uygularsak:
Çarpımları 1 olduğu için semboller birbirine eşittir: Şimdi 'i modülo 'te indirgeyelim. 'tür.
Dolayısıyla bulunur.
4. Parça: hesabı (Kuadratik Resiprosite)
Yine çarpımları 1 çıktığından sembol işaretsiz çevrilir: Modülo 7'ye göre indirgeyelim: 'dir. O halde olur.
Karşımıza yine iki asal sayı çıktı ( ve ). Teoremi bir kez daha peş peşe uygulayıp "takla" attıralım:
Şimdi 'yi modülo 'e göre indirgeyelim: .
Burada karşımıza 2'nin karesel karakteri çıktı. Formülden:
Zincirleme olarak geriye dönersek: buluruz.
Sonuçların Birleştirilmesi: Bulduğumuz 4 ayrı değeri başlangıçtaki denklemde yerlerine koyalım:
Genel sonuç çıktığı için, sayısı modülo 'e göre bir Kuadratik Rezidü (KR)'dür. Yani kongrüansı kesin olarak çözülebilirdir.
Örnek: Hangi tek asal sayıları için 3, modülo 'ye göre bir Kuadratik Rezidü'dür? (Yani hangi tek asal sayıları için kongrüansı çözülebilirdir?)
💡 Çözümü Göster / Gizle
Soru bizden koşulunu sağlayan tüm tek asal sayılarını bulmamızı istiyor. Kuadratik Resiprosite Teoreminden faydalanalım:
Denklemi düzenlersek:
Bizden sonucun çıkması isteniyor. İki sayının çarpımının olması için ya ikisi de olmalı ya da ikisi de olmalıdır. O halde iki ayrı durum (sistem) ortaya çıkar:
Durum 1:
- çift sayı olmalıdır
- , mod 3'e göre bir KR'dir çözülebilirdir. ve olduğundan
Durum 2:
- tek sayı olmalıdır
- , mod 3'e göre bir KNR'dir çözülemez.
Sonuç olarak aradığımız asalları şu iki kongrüans sisteminden birini sağlamalıdır:
- ve
- ve
Şimdi Çinlilerin Kalan Teoreminden (CRT) yararlanarak bu iki sistemi ayrı ayrı çözelim:
1. Sistemin Çözümü: Bunu ikinci denklemde yerine koyalım:
Başa dönersek:
2. Sistemin Çözümü: Bunu ikinci denklemde yerine koyalım:
Modüler bölme için 1'e 8 ekleyelim (9, 3'e tam bölünür):
Başa dönersek:
Genel Sonuç: olması için, tek asal sayısının modülo 12'ye göre 1 veya 11 kalanını vermesi gerekir.