Mükemmel sayılar hakkında aşağıdaki ifadelerden hangisi yanlıştır?
A) Tüm mükemmel sayılar çifttirMükemmel sayılar, kendisi hariç pozitif bölenlerinin toplamına eşit olan pozitif tam sayılardır. Örneğin, 6 sayısının bölenleri 1, 2, 3 ve 6'dır. Kendisi hariç bölenleri 1, 2 ve 3'tür. Bu bölenlerin toplamı $1 + 2 + 3 = 6$ olduğundan, 6 bir mükemmel sayıdır.
Şimdi seçenekleri tek tek inceleyelim:
Bu ifade yanlıştır. Mükemmel sayıların hepsi çift mi, yoksa tek mükemmel sayılar da var mı, matematik dünyasının en eski ve çözülmemiş problemlerinden biridir. Bugüne kadar bulunan tüm mükemmel sayılar çifttir. Ancak, tek bir mükemmel sayının var olup olmadığı kanıtlanmamıştır. Dolayısıyla, "tüm mükemmel sayılar çifttir" demek kesin bir matematiksel gerçek değildir ve bu nedenle yanlış bir ifadedir.
Bu ifade doğrudur. Mükemmel sayılar, $2^{p-1}(2^p - 1)$ formülüyle bulunabilir, burada $2^p - 1$ bir Mersenne asal sayısıdır (yani $p$ de bir asal sayıdır ve $2^p - 1$ de asal sayıdır). Bu formülü kullanarak ilk dört mükemmel sayıyı doğrulayalım:
$p=2$ için: $2^{2-1}(2^2 - 1) = 2^1(3) = 2 \times 3 = 6$.
$p=3$ için: $2^{3-1}(2^3 - 1) = 2^2(7) = 4 \times 7 = 28$.
$p=5$ için: $2^{5-1}(2^5 - 1) = 2^4(31) = 16 \times 31 = 496$.
$p=7$ için: $2^{7-1}(2^7 - 1) = 2^6(127) = 64 \times 127 = 8128$.
Bu sayılar gerçekten de ilk dört mükemmel sayıdır.
Bu ifade, matematik dünyasında henüz kanıtlanmamış bir varsayım (konjektür) olmasına rağmen, genel olarak doğru kabul edilen bir görüştür. Mükemmel sayıların varlığı Mersenne asallarına bağlıdır ve sonsuz sayıda Mersenne asalı olduğu düşünülmektedir. Eğer sonsuz sayıda Mersenne asalı varsa, sonsuz sayıda mükemmel sayı da vardır.
Bu ifade doğrudur. Bir üçgen sayı, $T_n = \frac{n(n+1)}{2}$ formülüyle ifade edilen sayılardır. Bilinen tüm mükemmel sayılar çifttir ve her çift mükemmel sayı bir üçgen sayıdır. Bunu ispatlayabiliriz: Bir çift mükemmel sayı $M = 2^{p-1}(2^p - 1)$ formundadır. Eğer $n = 2^p - 1$ alırsak, $T_n = \frac{(2^p - 1)((2^p - 1) + 1)}{2} = \frac{(2^p - 1)2^p}{2} = (2^p - 1)2^{p-1} = M$. Dolayısıyla, tüm çift mükemmel sayılar üçgen sayılardır. Tek mükemmel sayıların varlığı kanıtlanmadığı için, bu ifade şu anki bilgimiz dahilinde doğrudur.
Yukarıdaki analizlere göre, yanlış olan ifade A seçeneğidir.
