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 57<br />
Bugün hala sonsuz tane Fermat asalının varolup olmadı˘gıbilinmemektedir.<br />
Hatta F4 ten büyük Fermat sayılarının birle¸sik sayıoldu˘gu tahmin edilmektedir.<br />
Cetvel ve gönye ile çizilebilecek düzgün çokgenlerin belirlenmesi çok eski bir<br />
problemdir. Gauss "Disquisitiones Arithmeticae" adlıeserinin son bölümünde<br />
Fermat asallarıile bu problem arasında ¸söyle bir ili¸ski kurmu¸stur :<br />
n kenarlıdüzgün bir çokgenin, cetvel ve gönye ile çizile bilmesi için gerek ve<br />
yeter ¸sart k ≥ 0 ve p1, p2, . . . , pr farklıFermat asallarıolmak üzere<br />
¸seklinde olmasıdır.<br />
n = 2 k veya n = 2 k p1p2 . . . pr<br />
Teorem 11.4.3. m > n ≥ 0 için (Fm, Fn) = 1 dir.<br />
Kanıt. d = (Fm, Fn) olsun. Fermat sayılarıtek sayıolduklarından d sayısıda<br />
tek sayıdır. x = 22n ve k = 2m−n olmak üzere<br />
Fm − 2<br />
Fn<br />
=<br />
<br />
2 2 n m−n<br />
2<br />
− 1<br />
22n + 1<br />
= xk − 1<br />
x + 1 = xk−1 − x k−2 + · · · − 1<br />
e¸sitli˘ginden dolayıFn | (Fm − 2) dir. d | Fn oldu˘gundan d | (Fm − 2) dir Ayrıca<br />
d | Fm olmasıd | 2 gerektirir. d tek sayıoldu˘gundan d = 1 elde edilir.<br />
Bu teorem asal sayıların sonsuz tane oldu˘gunun ispatında da kullanılabilir<br />
:Fn Fermat sayısınıbölen en az bir asal sayıvardır. Yukarıdaki teorem farklı<br />
Fermat sayıları aralarında asal oldu˘gunu söyler. Dolayısıyla her Fn sayısının<br />
bölen farklı bir asal sayı vardır. Fermat sayıları sonsuz tane oldu˘gundan asal<br />
sayılarda sonsuz tanedir.<br />
1877 yılında , Cizvit papaz T.Pepin, Fermat sayılarının asallı˘gının tespiti<br />
için bir test bulmu¸stur.<br />
Teorem 11.4.4 (Pepin Testi). n ≥ 1 için Fn = 22n + 1 Fermat sayısının asal<br />
olmasıiçin gerek ve yeter ¸sart<br />
olmasıdır.<br />
3 (Fn−1)<br />
2 ≡ −1 (mod Fn)<br />
Kanıt. 3 (Fn−1)<br />
2 ≡ −1 (mod Fn) olsun. p | Fn olan p asal sayısıiçin de<br />
sa˘glanır. Her iki tarafın karesini alalım;<br />
3 (Fn−1)<br />
2 ≡ 1 (mod p) .<br />
3 (Fn−1) ≡ 1 (mod p)<br />
3 22n<br />
≡ 1 (mod p) .