Processing math: 100%

14 Ekim 2015 Çarşamba

Fermat neden Fermat asallarının asallığından şüphelendi?

Fermat asalları Fn:=22n+1 denklemiyle tanımlanıyorlar. Bu asallar cetvel pergel çizimlerinde önemli bir rol oynar. Gauss'un ispatladığı bir teoreme göre bir düzgün çokgenin cetvel ve pergelle çizilebilmesi için kenar sayısının Fermat asallarının çarpımının 2n katı (nN) olması yeterlidir. n=0,1,2,3,4 için bu dizi sırasıyla 3, 5, 17, 257 ve 65.537 değerlerini veriyor. (Yerölçüsünde daha önce 2π/17 açısının trigonometrisini çalışmış ve cos(2π/17) değerini karekök hesabı ve diğer aritmetik işlemlerini kullanarak vermiştik. 17 bir Fermat asalıdır.) Fermat bu davranışı gözönüne alarak Fn dizisinin her n için asal değer ürettiğini bir konjektür olarak iddia etmiş. Dizinin terimleri çok hızlı büyüdüğü için n=5 için dahi Fermat'nın konjektürünü doğrulamak o kadar kolay değil. 1732 yılında Euler F5=4.294.967.297 sayısının 641 ile bölündüğünü ispatladı ve dolayısıyla Fermat'nın konjektürünün de yanlış olduğu gösterildi.

Bu postada Fermat'nın neden durup dururken Fn dizisindeki terimlerin asallığından şüphelendiğini izah etmeye çalışacağız. Öncelikle daha makul bir diziyi tanımlamakla işe başlayalım. An:=2n+1 olsun. Fn==A2n olduğunu gözleyiniz. Dolayısıyla An dizisi Fn dizisini kapsamaktadır. Şimdi 2m1 (mod Am) olduğundan, basitçe 2m(2k+1)1 (mod Am) olur. Diğer bir ifadeyle An dizisindeki Am(2k+1) terimlerinin hepsi Am ile bölünürler. O zaman asal olma şüphesi sadece A2km terimlerine kalmaktadır.

Bir önceki paragrafta vardığımız çıkarsama uyarınca m=1 koyduğumuzda bütün A2k+1 terimlerinin aslında A1=3 ile bölündüğünü göstermiş oluyoruz. Geriye asal olma şüphesi A2n dizisine indirgenmiş oluyor. Bu dizinin ilk elemanı A2=5 ve asal bir sayı. A2n dizisini de iki alt diziye ayıracağız: A2(2n+1) ve A4n. Bu alt dizilerden asal olma şüphesi sadece A4n üzerinde kalıyor. A4n dizisinin ilk terimi 17 ve asal. (Fermat'nın yerinde kim olsa işkellenirdi bu noktadan sonra.)

Bu argümanı yineleyerek kullandığımızda An dizisinde asal olma şüphesinin sadece Fn=A2n sayılarında kaldığını -mesela tümevarımla- kolayca gösterebiliriz. Fermat konjektürünün üzücü olan yönü şu: n>4 için hiç bir Fn değerinin asal olduğu henüz gösterilemedi. Belki dizide asal bir terim vardır ama bugüne kadar bulan olmadı...

Sahi Euler nasıl oldu da F5 değerinin 641 ile bölündüğünden şüphelendi? Bu konuyu sonra konuşalım. Size 641 ile bölünebilme kuralını vererek kendimi affettirmeye çalışayım. Onluk tabanda k+1 haneli N:=aka0 sayısı verilsin. O zaman N(a0a16+a32)+10×(a1a17+a33)+100×(a2a18+a34)282×(a3a19+a35)256×(a4a20+a36)+4×(a5a21+a37)+40×(a6a22+a38)241×(a7a23+a39)+154×(a8a24+a40)+258×(a9a25+a41)+16×(a10a26+a42)+160×(a11a27+a43)+318×(a12a28+a44)25×(a13a29+a45)250×(a14a30+a46)+64×(a15a31+a47) (mod 641)

olur. Neden ilkokulda 641 ile bölünebilme kuralını bize öğretmedikleri böylece ortaya çıkmış oluyor. Şaka bir yana, bu kuralda sadece 16 tane katsayı var. 320 tane katsayı da olabilirdi. Nitekim 17 ile bölünebilme kuralında 8 tane katsayı vardır. O yüzden halimize şükredelim.

Postayı bitiriken F5=4.294.967.297 sayısının gerçekten de 641 ile bölündüğünü kuralımızı uygulayarak gösterelim. F5=4.294.967.2977+10×9+100×2282×7256×6+4×9+40×4241×9+154×2+258×438466×6410 (mod 641)

Hiç yorum yok:

Yorum Gönder