Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
BÖLÜM 11. ÖZEL FORMDAKI SAYILAR 58<br />
3 sayısının (mod p)’ye göre mertebesi k olsun. Teorem 8.1.2’den k | (Fn − 1) =<br />
22n yani k sayısı2 sayısının bir kuvvetidir. Aslında k = 22n oldu˘gunu gösterelim.<br />
r ≤ 2n−1 olmak üzere, k = 2r olsaydı, 3k ≡ 1 (mod p) denkli˘ginde gerekli kadar<br />
kare alma i¸slemine devam edilerek<br />
yani<br />
3 22n −1<br />
≡ 1 (mod p)<br />
3 (Fn−1)<br />
2 ≡ 1 (mod p)<br />
elde edilirdi ki buradan 1 ≡ −1 (mod p) çeli¸skisi elde edilirdi. Dolayısıyla k<br />
sadece k = 22n = Fn − 1 de˘gerini alabilir. Fermat teoreminden k ≤ p − 1 yani<br />
Fn = k + 1 ≤ p olur. Ayrıca p | Fn oldu˘gundan p ≤ Fn dir. Dolayısıyla Fn = p<br />
yani Fn sayısının asal oldu˘gu elde edilir.<br />
Di˘ger taraftan, n ≥ 1 için Fn Fermat sayısı asal olsun. Fn ≡ (−1) 2n<br />
+ 1 ≡<br />
2 (mod 3) oldu˘gundan dolayı, Kuadratik Kalan kuralından<br />
dir ve Euler kriterinden<br />
elde edilir.<br />
(3/Fn) = (Fn/3) = (2/3) = −1<br />
3 Fn−1<br />
2 ≡ −1 (mod Fn)<br />
Pepin testini kullanarak F3 = 257 sayısının asal oldu˘gunu gösterelim.<br />
3 (F 3 −1)<br />
2 = 3 128 = 3 3 3 5 25<br />
≡ 27 (−14) 25 (mod 257)<br />
≡ 27.14 24 (−14) (mod 257)<br />
≡ 27.17 (−14) (mod 257)<br />
≡ 27.19 (mod 257)<br />
≡ 513 (mod 257)<br />
≡ −1 (mod 257)<br />
oldu˘gundan Pepin testinden F3 sayısıasaldır.<br />
Euler’in F5 Fermat sayısının asal olmadı˘gını gösterdi˘ginden bahsetmi¸stik.<br />
1880 yılında 82 ya¸sındaki F. Landry<br />
F6 = 274177.67280421310721<br />
Fermat sayısının asal olmadı˘gını göstermi¸stir fakat bu çalı¸smasını yayınlamamı¸stır.<br />
1905 yılında J.C. Morehead ve A.E. Western birbirlerinden ba˘gımsız olarak<br />
F7 Fermat sayısına Pepin testini uygulamı¸s ve bu sayının birle¸sik sayıoldu˘gunu<br />
bulmu¸slardır. 66 yıl sonra 1971 yılında Brillhart ve Morrison F7 = 227 + 1<br />
sayısının asal çarpanlara ayrılı¸sını<br />
F7 = 59649589127497217.5704689200685129054721