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 11. ÖZEL FORMDAKI SAYILAR 52<br />
Teorem 11.3.5. p tek asal sayı ise Mp sayısının her q asal böleni için q ≡<br />
±1 (mod 8) dir.<br />
Kanıt. q, Mp sayısının asal böleni oldu˘gundan 2 p ≡ 1 (mod q) dir. Teorem<br />
11.3.4’ten q = 2kp + 1 formundadır. Teorem 9.2.3 (c)’den (2/q) ≡ 2 q−1<br />
2 ≡ 2 kp ≡<br />
(2 p ) k ≡ 1 (mod q) ve Euler kriterinden (Teorem 9.1.3) (2/q) = 1 olur. Bu ise<br />
Teorem 9.2.10’dan q ≡ ±1 (mod 8) oldu˘gu anlamına gelir.<br />
Bu teoremlerin nasıl kullanıldı˘gınıgösteren bir örnek verelim. M17 sayısını<br />
ele alalım. 34k + 1 formunda olan ve 362 < √ M17 olan<br />
sayılarından asal olanlar<br />
35, 69, 103, 137, 171, 205, 239, 273, 307, 341<br />
103, 137, 239, 307<br />
sayılarıdır. 307 = ±1 (mod 8) oldu˘gundan 307 sayısıM17’nin bir böleni de˘gildir.<br />
Di˘ger sayılarda bu ¸sartısa˘glamadı˘gından M17 sayısıasaldır.<br />
Mp sayısının asallı˘gınıtest etmek için Lucas-Lehmer testi kullanılmaktadır.<br />
Bu teste<br />
S1 = 4, Sk+1 = S 2 k − 2, k ≥ 1<br />
dizisi kullanılır. p > 2 için Mp sayısının asal olması için gerek ve yeter ¸sart<br />
Sp−1 ≡ 0 (mod Mp) olması veya buna denk olarak Sp−2 ≡ ±2 p+1<br />
2 (mod Mp)<br />
olmasıdır.<br />
Örne˘gin M7 = 2 7 − 1 = 127 sayısınıele alalım.<br />
S1 ≡ 4, S2 ≡ 14, S3 ≡ 67, S4 ≡ 42, S5 ≡ −16, S6 ≡ 0 (mod 127)<br />
oldu˘gundan M7 asaldır.<br />
Lehmer 1930 yılında hesap makinası yardımıyla 700 saatte S256 =<br />
0 (mod 257) oldu˘gunu göstererek Mersenne’nin listesindeki en büyük sayı(78<br />
basamaklı) olan M257 sayısının asal olma˘gınıhiçbir çarpanıbilinmenden ispatlamı¸stır.<br />
1952 yılında aynı i¸slem bilgisayar yardımıyla sadece 68 saniye sürmü¸stür.<br />
1979 yılında ise M257 sayısının en küçük asal çarpanıolan<br />
535006138814359<br />
sayısıbulunmu¸stur.<br />
A¸sa˘gıdaki listede ilk 41 Mersenne asalı, basamak sayısıve bulunma yılları<br />
ile birlikte verilmi¸stir.