28.06.2013 Views

Sayılar Teorisi II Ders Notları

Sayılar Teorisi II Ders Notları

Sayılar Teorisi II Ders Notları

SHOW MORE
SHOW LESS

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 13. TAMSAYILARIN KARE TOPLAMLARI OLARAK GÖSTERIMLERI69<br />

4k+1 formundaki asal sayılar ise iki kare toplamı¸seklinde yazılabilirler. Bunu<br />

ispatlamak için Dirichlet’in ünlü güvercin yuvasıilkesini ve Norveçli matematikçi<br />

Axel Thue’nin yardımcıteoremini verelim.<br />

Güvercin Yuvası ˙Ilkesi : E˘ger n adet nesne m tane güvercin yuvasına<br />

yerle¸stirilecekse ve n > m ise bazıyuvalar en az 2 nesne içerirler.<br />

YardımcıTeorem 13.2.3 (Thue). p asal sayısıve (a, p) = 1 olacak ¸sekilde bir<br />

a sayısıverilsin. Bu durumda<br />

kongrüansının,<br />

olacak ¸sekilde bir x0, y0 çözümü vardır.<br />

Kanıt. k = √ p + 1 olsun ve<br />

ax ≡ y (mod p)<br />

0 < |x0| < √ p ve 0 < |y0| < √ p<br />

S = {ax − y : 0 ≤ x ≤ k − 1, 0 ≤ y ≤ k − 1}<br />

kümesini ele alalım. ax−y sayısık 2 tane de˘ger alabiir. Ayrıca k 2 > p oldu˘gundan<br />

güvercin yuvası ilkesinden S kümesi, (mod p) de denk olan en az iki elemana<br />

sahiptir Bunlara ax1 − y1 veya ax2 − y2 diyelim ve x1 = x2 ve y1 = y2 dir.<br />

Buradan<br />

a (x1 − x2) ≡ y1 − y2 (mod p)<br />

yazılabilir. x0 = x1 − x2 ve y0 = y1 − y2 yazılırsa x0, y0<br />

ax ≡ y (mod p)<br />

kongrüansının bir çözümü olur. x0 ve y0 sayılarından biri 0 ise (a, p) = 1 ¸sartı<br />

di˘gerininde 0 olmasınıgerektirir. Buradan da<br />

elde edilir.<br />

0 < |x0| ≤ k − 1 < √ p ve 0 < |y0| ≤ k − 1 < √ p<br />

¸Simdi 4k + 1 formundaki asal sayıların iki kare toplamı¸seklinde yazılabilece˘gini<br />

ispatlayabiliriz. Bu teorem Fermat tarafından türetilmi¸stir. (Bu olguyu<br />

Albert Girard Fermat’tan yıllar önce fark etti˘ginden bazen Girard teoremi olarak<br />

ta adlandırılmaktadır.) Fermat, Mersenne’ye mektubunda (1640) bu teoremden<br />

bahsetmi¸s ve çürütülemez bir ispatının oldu˘gunu söylemi¸stir. Fakat ilk basılıispat<br />

1754 yılında Euler tarafından, iki kare toplamının tek türlülü˘gü de eklenerek<br />

verilmi¸stir.<br />

Teorem 13.2.4 (Fermat). p tek asalının iki kare toplamı¸seklinde yazılabilmesi<br />

için gerek ve yeter ¸sart p ≡ 1 (mod 4) olmasıdır.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!