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 30<br />
elde edilir. Euler kriterinden<br />
olur ki bu da<br />
oldu˘gunu gerektirir.<br />
(a/p) ≡ a p−1<br />
2 ≡ (−1) n (mod p)<br />
(a/p) = (−1) n<br />
Bu durumu örneklendirelim. p = 13 ve a = 5 olsun. (p − 1) /2 = 6 oldu˘gundan<br />
S kümemiz<br />
S = {1.5, 2.5, 3.5, 4.5, 5.5, 6.5}<br />
olur.(mod 13)’e göre S kümesi<br />
5, 10, 2, 7, 12, 4<br />
halini alır. 13/2’den büyük olan sayıların sayısı3’tür. Böylece Gauss yardımcı<br />
teoreminden<br />
(5/13) = (−1) 3 = −1<br />
elde edilir.<br />
A¸sa˘gıdaki teorem Gauss yardımcıteoremi yardımıyla, 2 sayısının kuadratik<br />
kalan oldu˘gu asal sayılarıbelirlememizi sa˘glar.<br />
Teorem 9.2.10. p tek asal sayıise,<br />
<br />
1 , p ≡ 1 (mod 8) veya p ≡ 7 (mod 8)<br />
(2/p) =<br />
−1 , p ≡ 3 (mod 8) veya p ≡ 5 (mod 8).<br />
Kanıt. Gauss yardımcıteoreminden,<br />
<br />
<br />
p − 1<br />
S = 1.2, 2.2, 3.2, . . . , .2<br />
2<br />
kümesindeki sayılardan, p’ye bölündü˘günde kalanıp/2 den büyük olan sayıların<br />
sayısın olmak üzere, (2/p) = (−1) n olur. S kümesinin elemanlarıp’den küçük<br />
olduklarından n sayısınıbulmak için p/2’den büyük sayılarısaymak yeterlidir.<br />
1 ≤ k ≤ (p − 1) /2 için 2k ≤ p/2 ancak ve ancak k ≤ p/4. Bu durumda S<br />
kümesinde p/2’den küçük ⌊p/4⌋ tane sayı vardır. Dolayısıyla p/2 den büyük<br />
sayıların sayısı<br />
p − 1<br />
n =<br />
2 −<br />
<br />
p<br />
<br />
4<br />
olur. p tek asal sayı oldu˘gundan p sayısı, 8k + 1, 8k + 3, 8k + 5 veya 8k + 7<br />
formundadır.<br />
<br />
p = 8k + 1 formunda ise n = 4k − 2k + 1<br />
<br />
= 4k − 2k = 2k<br />
4<br />
<br />
p = 8k + 3 formunda ise n = 4k + 1 − 2k + 3<br />
<br />
= 4k + 1 − 2k = 2k + 1<br />
4<br />
<br />
p = 8k + 5 formunda ise n = 4k + 2 − 2k + 5<br />
<br />
= 4k + 2 − (2k − 1) = 2k + 1<br />
4<br />
<br />
p = 8k + 7 formunda ise n = 4k + 3 − 2k + 7<br />
<br />
= 4k + 3 − (2k − 1) = 2k + 2<br />
4