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.