Bir asal sayının karesinin çift olduğunu varsayalım. Bu durumda aşağıdaki ifadelerden hangisi çelişkiye ulaşmak için doğru bir adımdır?
A) Asal sayının kendisinin çift olduğu sonucuna varılır
B) Asal sayının kendisinin tek olduğu sonucuna varılır
C) Asal sayının 2'den büyük olduğu ispatlanır
D) Asal sayının karesinin tek olduğu gösterilir
Merhaba sevgili öğrenciler,
Bu problem, matematiksel mantıkta ve özellikle "çelişkiyle ispat" (proof by contradiction) yönteminde sıkça karşılaşılan temel bir adımı anlamamızı istiyor. Bir varsayımdan yola çıkarak bir çelişkiye ulaşmaya çalışırken, attığımız ilk mantıksal adımların doğru olması çok önemlidir.
Şimdi soruyu adım adım inceleyelim:
- Varsayımımızı Anlayalım: Bize verilen varsayım, "bir asal sayının karesinin çift olduğu"dur. Matematiksel olarak ifade edersek, $p$ bir asal sayı olmak üzere, $p^2$ çift bir sayıdır.
- Çift Sayı Ne Demektir?: Bir sayının çift olması, o sayının $2$ ile tam bölünebilmesi veya $2k$ şeklinde (burada $k$ bir tam sayıdır) yazılabilmesi demektir.
- A Seçeneğini İnceleyelim: "Asal sayının kendisinin çift olduğu sonucuna varılır"
- Eğer bir sayının karesi çift ise, o sayının kendisi de çift olmak zorundadır. Bunu ispatlayalım:
- Tersini varsayalım: $p$ asal sayısı tek olsun.
- Eğer $p$ tek ise, $p$ sayısı $2k+1$ şeklinde yazılabilir (burada $k$ bir tam sayıdır).
- Bu durumda $p^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$ olur.
- Gördüğümüz gibi, $p^2$ ifadesi $2 \times (\text{bir tam sayı}) + 1$ şeklinde olduğu için tek bir sayıdır.
- Ancak bizim başlangıçtaki varsayımımız $p^2$'nin çift olduğuydu. Bu durum, $p^2$'nin hem çift hem de tek olamayacağı bir çelişki yaratır.
- Bu çelişkiye düşmemek için, başlangıçtaki "p tek olsun" varsayımımız yanlış olmalıdır. Dolayısıyla, $p$ çift olmak zorundadır.
- Bu nedenle, "asal sayının karesinin çift olduğu" varsayımından yola çıkarak, "asal sayının kendisinin çift olduğu" sonucuna varmak, mantıksal olarak doğru bir adımdır. Bu adım, bizi çelişkiye götürecek yolu açar. Çünkü $p$ hem asal hem de çift ise, $p$ sadece $2$ olabilir. Eğer ispatlamaya çalıştığımız şey, $p \neq 2$ olan bir asal sayının karesinin tek olduğu ise, $p=2$ sonucuna ulaşmak bir çelişki yaratır.
- B Seçeneğini İnceleyelim: "Asal sayının kendisinin tek olduğu sonucuna varılır"
- Yukarıdaki açıklamamızda, $p^2$ çift ise $p$'nin tek olamayacağını gösterdik. Dolayısıyla bu sonuç yanlış bir çıkarımdır ve çelişkiye ulaşmak için doğru bir adım olamaz.
- C Seçeneğini İnceleyelim: "Asal sayının 2'den büyük olduğu ispatlanır"
- Eğer $p^2$ çift ise, $p$ çift olmak zorundadır. Asal sayılar arasında çift olan tek sayı $2$'dir. Bu durumda $p$ kesinlikle $2$'ye eşit olmalıdır. Dolayısıyla, $p$'nin $2$'den büyük olduğu sonucuna varmak yanlış bir çıkarımdır.
- D Seçeneğini İnceleyelim: "Asal sayının karesinin tek olduğu gösterilir"
- Bizim başlangıç varsayımımız "asal sayının karesinin çift olduğu" idi. Eğer bir adımda "asal sayının karesinin tek olduğu" gösterilirse, bu doğrudan başlangıç varsayımıyla çelişir. Ancak bu, çelişkiye ulaşmak için atılan bir *adım* değil, çelişkinin *kendisi* veya çelişkiyle ispatın *sonucu* olur. Soru bizden çelişkiye ulaşmak için doğru bir *adım* istiyor, doğrudan çelişkinin kendisini değil. A seçeneği, bu çelişkiye giden yoldaki ilk mantıksal çıkarımdır.
Sonuç olarak, "bir asal sayının karesinin çift olduğunu varsayarsak", bu varsayımdan yola çıkarak atacağımız ilk ve en doğru mantıksal adım, asal sayının kendisinin çift olduğu sonucuna varmaktır. Bu sonuç, asal sayıların özellikleri (sadece $2$'nin çift asal sayı olması) ile birleştirildiğinde, ispatlamaya çalıştığımız şeye bağlı olarak bir çelişkiye yol açabilir.
Cevap A seçeneğidir.
