You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
BÖLÜM 9. KUADRATIK KAR¸SILIK KURALI 33<br />
¸Simdi ise Kuadratik kar¸sık kuralının ispatında kullanaca˘gımız a¸sa˘gıdaki<br />
yardımcıteoremi verelim.<br />
YardımcıTeorem 9.2.14. p tek asal sayısıve (a, p) = 1 olacak ¸sekilde a tek<br />
tamsayısıverilsin. Bu durumda<br />
(a/p) = (−1) Σ<br />
p−1<br />
2<br />
k=1<br />
⌊ ka<br />
p ⌋ .<br />
Kanıt. Gauss yardımcıteoremindeki gösterimleri hatırlayalım.<br />
<br />
p − 1<br />
S = a, 2a, . . . , a<br />
2<br />
olsun. Bu sayıların p’ye bölümünden kalanları, 0 < ri < p/2 ve p/2 < si < p olmak<br />
üzere r1, r2, . . . , rm ve s1, s2, . . . , sn ile göstermi¸stik ve ayrıca r1, r2, . . . , rm<br />
ve p−s1, p−s2, . . . , p−snsayıları, 1, 2, . . . , (p − 1) /2 sayılarıydı(sıradan ba˘gımsız<br />
olarak). 1 ≤ k ≤ p−1<br />
2 için, 1 ≤ tk ≤ p − 1 ve qk ∈ Z olmak üzere<br />
yazabiliriz ve ka<br />
p = qk + tk<br />
p oldu˘gundan<br />
için<br />
ka = qkp + tk<br />
<br />
ka<br />
p = qk olur. Böylece 1 ≤ k ≤ p−1<br />
2<br />
ka =<br />
<br />
ka<br />
p + tk<br />
p<br />
yazılabilir. Burada tk < p/2 kalanı r1, r2, . . . , rm sayısından biridir ve benzer<br />
¸sekilde tk > p/2 kalanıs1, s2, . . . , sn sayılarından biridir. Dolayısıyla<br />
p−1<br />
2<br />
k=1<br />
ka =<br />
p−1<br />
2<br />
k=1<br />
p−1<br />
2<br />
k=1<br />
<br />
p−1<br />
ka<br />
2<br />
p + tk =<br />
p<br />
k=1<br />
<br />
ka<br />
p +<br />
p<br />
m<br />
rk +<br />
k=1<br />
n<br />
sk<br />
k=1<br />
k = m<br />
rk + n<br />
(p − sk) = pn + m<br />
rk − n<br />
k=1<br />
k=1<br />
k=1<br />
sk<br />
k=1<br />
e¸sitlikleri elde edilir. (9.8) e¸sitli˘ginden (9.9) e¸sitli˘gini çıkarırsak<br />
(a − 1)<br />
p−1<br />
2<br />
k=1<br />
k = p<br />
p−1<br />
2<br />
k=1<br />
elde edilir. p ≡ a ≡ 1 (mod 2) oldu˘gundan<br />
0.<br />
p−1<br />
2<br />
k=1<br />
k ≡ 1.<br />
n ≡<br />
p−1<br />
2<br />
k=1<br />
p−1<br />
2<br />
k=1<br />
ka<br />
p<br />
<br />
ka<br />
− n + 2<br />
p<br />
n<br />
sk<br />
k=1<br />
<br />
ka<br />
− n + 0.<br />
p<br />
n<br />
sk (mod 2)<br />
k=1<br />
<br />
(mod 2)<br />
(9.8)<br />
(9.9)