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 27<br />
(b) ve (d) kısmundan<br />
ab 2 /p = (a/p) b 2 /p = (a/p)<br />
oldu˘gu kolayca görülmektedir. Di˘ger bir ifadeyle, kare kuvvetler Legendre sembolünden<br />
çıkarılabilir.<br />
(p−1)<br />
2 de˘geri, p = 4k + 1 formunda ise çift sayı, p = 4k + 2 formunda ise tek<br />
sayıdır. Dolayısıyla Teorem 9.2.3’ten a¸sa˘gıdaki sonuçu verebiliriz.<br />
Sonuç 9.2.4. p tek asal sayıolmak üzere<br />
<br />
(−1/p) =<br />
1<br />
−1<br />
p ≡ 1 (mod 4)<br />
p ≡ −1 (mod 4).<br />
Bu sonuçtan, x 2 ≡ −1 (mod p) kuadratik kongrüansının bir çözüme sahip<br />
olması için gerek ve yeter ¸sartın p asalının 4k + 1 formunda olması gerekti˘gi<br />
görülür.<br />
Örnek 9.2.5. x 2 ≡ −46 (mod 17) kongrüansının çözümünün varlı˘gınıinceleyelim.<br />
Teorem 9.2.3 yardımıyla<br />
(−46/17) = (−1/17) (46/17) = (46/17) = (12/17) = 3.2 2 /17 <br />
= (3/17) ≡ 3 17−1<br />
2 ≡ 3 8 ≡ −1 (mod 17)<br />
elde edilir Dolayısıyla x 2 ≡ −46 (mod 17) kongrüansının çözümü yoktur.<br />
Sonuç 9.2.4 yardımıyla asal sayıların da˘gılımıyla ilgili a¸sa˘gıdaki teoremi<br />
verelim.<br />
Teorem 9.2.6. 4k + 1 formunda sonsuz adet asal sayıvardır.<br />
Kanıt. 4k + 1 formunda n tane asal sayıolsun ve bu asal sayılarıp1, p2, . . . , pn<br />
ile gösterelim.<br />
N = (2p1p2 . . . pn) 2 + 1<br />
tamsayısını ele alalım. N sayısı tek oldu˘gundan p|N olacak ¸sekilde tek p asal<br />
sayısıvardır ve<br />
(2p1p2 . . . pn) 2 ≡ −1 (mod p) (9.7)<br />
yazılabilir. Legendre sembolü ile ifade edecek olursak (−1/p) = 1 olur. Bu durumda,<br />
Sonuç 9.2.4’ten p, 4k + 1 formundadır. Yani p, pi asallarından biridir.<br />
Dolayısıyla (9.7) ’den pi|1 çeli¸skisi elde edilir.<br />
Teorem 9.2.7. p tek asal sayıolsun. Bu durumda<br />
p−1<br />
(a/p) = 0.<br />
a=1<br />
ve p sayısı, tam olarak (p − 1) /2 tane kuadratik kalan olan ve (p − 1) /2 tane<br />
de kuadratik kalan olmayan sayıya sahiptir.