Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
BÖLÜM 12. BAZI LINEER OLMAYAN DIOPHANTINE DENKLEMLER62<br />
yazabiliriz. Buradaki u ve v sayılarıaralarında asaldır. Gerçekten (u, v) = d > 1<br />
olsaydıd | (v − u) = y ve d | (v + u) = z olurdu ki bu da (y, z) = 1 ile çeli¸sirdi.<br />
2 = uv e¸sitli˘gi için YardımcıTeorem 12.1.3’den<br />
x<br />
2<br />
u = t 2 ve v = s 2<br />
olacak ¸sekilde s, t tamsayılarıvardır. Bu sayılar yardımıyla<br />
z = v + u = s 2 + t 2<br />
y = v − u = s 2 − t 2<br />
x 2 = 4vu = 4s 2 t 2<br />
veya x = 2st elde edilir. (y, z) = 1 oldu˘gundan (s, t) = 1 olur. ¸Simdi de s =<br />
t (mod 2) oldu˘gunu yani ikisinin birden tek veya çift olamayaca˘gınıgösterelim.<br />
s ve t tek veya çift olsalardı z ve y çift olurdu ki bu da z ve y sayılarının tek<br />
olmasıile çeli¸sir.<br />
Tersine s ve t teoremdeki ko¸sullarısa˘glayan iki tamsayıolsun. Yani x = 2st, y =<br />
s 2 − t 2 , z = s 2 + t 2 ve s > t > 0, (s, t) = 1 ve s = t (mod 2) olsun.<br />
x 2 + y 2 = (2st) 2 + s 2 − t 2 2 = s 2 + t 2 2 = z 2<br />
oldu˘gundan (x, y, z) bir Pisagor üçlüsüdür. ¸Simdi bu üçlünün ilkel Pisagor<br />
üçlüsü oldu˘gunu gösterelim. (x, y, z) = d > 1 olsun. p | d olacak ¸sekilde bir<br />
p asal sayısı vardır. s = t (mod 2) oldu˘gundan s veya t tek, di˘geride çifttir.<br />
Dolayısıyla z tek olur. p | d | z oldu˘gundan p = 2 dir. Ayrıca p | y ve p | z<br />
oldu˘gundan p | (y + z) ve p | (y − z) yani p | 2s 2 ve p | 2t 2 ve dolayısıyla<br />
p | s ve p | t elde edilir. Fakat bu durum (s, t) = 1 olmasıyla çeli¸sir. Dolayısıyla<br />
(x, y, z) = 1 dir.<br />
x y z<br />
s t 2st s 2 − t 2 s 2 + t 2<br />
2 1 4 3 5<br />
3 2 12 5 13<br />
4 1 8 15 17<br />
4 3 24 7 25<br />
5 2 20 21 29<br />
5 4 40 9 41<br />
6 1 12 35 37<br />
6 5 60 11 61<br />
7 2 28 45 53<br />
7 4 56 33 65<br />
7 6 84 13 85<br />
Dikkat edilirse tabloda (x, y, z) ilkel Pisagor üçlüleri için, x veya y sayılarından<br />
birinin 3 ile bölündü˘gü görülmektedir. Teorem 12.1.4’ten (s, t) = 1 olmak