Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
BÖLÜM 9. KUADRATIK KAR¸SILIK KURALI 23<br />
için p ∤ d ko¸sulunu koyalım. y ≡ y0 (mod p), (9.4) kongrüansının çözümü ise y ≡<br />
p − y0 (mod p) di˘ger çözümdür ve p − y0 ile y0 (mod p)’de kongrüant de˘gildirler.<br />
(Gerçekten y0 ≡ p − y0 (mod p) ⇒ 2y0 ≡ 0 (mod p) ⇒ y0 ≡ 0 (mod p) çeli¸ski).<br />
Lagrange teoreminden (9.4) kongrüansıen fazla iki çözüme sahip olaca˘gından,<br />
bu kongrüans ya hiç çözüme sahip de˘gildir yada y ≡ y0 (mod p) çözüm ise<br />
y ≡ p − y0 (mod p) de çözümdür.<br />
Örne˘gin,<br />
5x 2 − 6x + 2 ≡ 0 (mod 13)<br />
kongrüansınıele alalım. Burada a = 5, b = −6, c = 13 tür. Bu kongrüans y =<br />
2ax + b = 10x − 6 ve d = b 2 − 4ac = −4 ≡ 9 (mod 13) olmak üzere<br />
y 2 ≡ 9 (mod 13)<br />
kongrüansına denktir. Bu kongrüansın çözümleri y ≡ 3 (mod 13) ve y ≡<br />
10 (mod 13) oldu˘gundan<br />
10x − 6 ≡ 3 (mod 13) ve 10x − 6 ≡ 10 (mod 13)<br />
10x ≡ 9 (mod 13) ve 10x ≡ 16 (mod 13)<br />
x ≡ 10 (mod 13) ve x ≡ 12 (mod 13)<br />
elde edilir.<br />
Lineer kongrüans çözümlerini bildi˘gimizden, burada asıl mesele (a, p) = 1<br />
olmak üzere x 2 ≡ a (mod p) formundaki kuadratik kongrüansların çözümünü<br />
bulmaktır. ¸Simdi bu durumu incelemek için gerekli olan terminolojiyi verelim.<br />
Tanım 9.1.1. p tek asal sayısı ve (a, p) = 1 olacak ¸sekilde a sayısı verilsin.<br />
x 2 ≡ a (mod p) kuadratik kongrüansı bir çözüme sahipse, a sayısına, p’nin<br />
kuadratik kalanı denir. E˘ger çözüm yoksa, a sayısına , p’nin kuadratik kalanı<br />
de˘gildir denir.<br />
a ve b sayıları(mod p)’ye göre denk iseler a sayısının p’nin kuadratik kalanı<br />
olması için gerek ve yeter ¸sart b sayısının p’nin kuadratik kalanı olmasıdır.<br />
Dolayısıyla p’nin kuadratik kalanlarını incelerken sadece p’den küçük olanlar<br />
ile ilgelenece˘giz.<br />
Örnek 9.1.2. p = 13 için kuadratik kalanlarıbulalım.<br />
1 2 ≡ 1 (mod 13)<br />
2 2 ≡ 4 (mod 13)<br />
3 2 ≡ 9 (mod 13)<br />
4 2 ≡ 3 (mod 13)<br />
5 2 ≡ 12 (mod 13)<br />
6 2 ≡ 10 (mod 13)<br />
7 2 ≡ 10 (mod 13)<br />
8 2 ≡ 12 (mod 13)<br />
9 2 ≡ 3 (mod 13)<br />
10 2 ≡ 9 (mod 13)<br />
11 2 ≡ 4 (mod 13)<br />
12 2 ≡ 1 (mod 13)