Bir matematikçi "En küçük asal sayının 2 olduğunu" çelişki yöntemiyle ispatlamak istiyor. Hangi varsayım bu ispat için en uygun başlangıç noktasıdır?
A) 2'den küçük bir asal sayı olduğunu varsaymak
B) 2'den büyük bir asal sayı olduğunu varsaymak
C) 2'nin asal olmadığını varsaymak
D) Asal sayıların sonsuz olduğunu varsaymak
Merhaba sevgili öğrenciler,
Bu soruda, bir matematikçinin "En küçük asal sayının 2 olduğunu" çelişki yöntemiyle ispatlamak istediği durumda hangi varsayımın en uygun başlangıç noktası olduğunu bulmamız isteniyor. Çelişki yöntemiyle ispatı adım adım inceleyelim:
- Çelişki Yöntemiyle İspat Nedir?
Çelişki yöntemiyle ispat (Reductio ad absurdum), bir önermenin doğru olduğunu göstermek için kullanılan güçlü bir matematiksel ispat tekniğidir. Bu yöntemde, ispatlamak istediğimiz önermenin tam tersini (olumsuzunu) doğru kabul ederiz. Daha sonra, bu varsayımdan yola çıkarak mantıksal adımlarla bilinen bir gerçekle veya matematiksel bir tanımla çelişen bir sonuca ulaşırız. Bu çelişki, başlangıçtaki varsayımımızın yanlış olduğunu gösterir. Dolayısıyla, ispatlamak istediğimiz orijinal önermenin doğru olduğu sonucuna varırız.
- İspatlamak İstediğimiz Önerme:
"En küçük asal sayı $2$'dir."
- Bu Önermenin Olumsuzu (Tersi) Nedir?
Çelişki yöntemiyle ispatlamak için, ispatlamak istediğimiz önermenin tam tersini varsaymamız gerekir. "En küçük asal sayı $2$'dir" önermesinin tersi şudur: "$2$ en küçük asal sayı değildir."
- "2 en küçük asal sayı değildir" ne anlama gelir?
Eğer $2$ en küçük asal sayı değilse, bu iki durumdan birini ifade eder:
- Ya $2$ asal bir sayı değildir (ki bu yanlıştır, $2$ asal bir sayıdır).
- Ya da $2$'den daha küçük bir asal sayı vardır.
Bizim ispatlamak istediğimiz $2$'nin asal olduğu gerçeğini kullanarak, $2$'nin "en küçük" olduğunu göstermektir. Bu nedenle, ikinci durumu varsaymak, yani "$2$'den küçük bir asal sayı olduğunu varsaymak" en uygun başlangıç noktasıdır.
- Varsayımın Çelişkiye Nasıl Yol Açtığı:
Şimdi, A seçeneğindeki varsayımı ele alalım: "$2$'den küçük bir asal sayı olduğunu varsaymak."
- Eğer $2$'den küçük bir asal sayı olduğunu varsayarsak, bu asal sayıya $p$ diyelim. Yani $p < 2$.
- Asal sayı tanımına göre, bir asal sayı $1$'den büyük bir doğal sayı olmalıdır. Yani $p > 1$.
- Bu durumda, varsayımımızdan yola çıkarak $1 < p < 2$ sonucuna ulaşırız.
- Ancak, $1$ ile $2$ arasında hiçbir doğal sayı (veya tam sayı) bulunmamaktadır.
- Bu durum, asal sayı tanımıyla çelişmektedir. Çünkü $p$ hem asal sayı (dolayısıyla $1$'den büyük) hem de $2$'den küçük olamaz.
- Bu çelişki, başlangıçtaki varsayımımızın ("$2$'den küçük bir asal sayı olduğu") yanlış olduğunu gösterir.
- Dolayısıyla, $2$'den küçük hiçbir asal sayı yoktur. $2$ asal bir sayı olduğu için, en küçük asal sayı olmak zorundadır.
- Diğer Seçeneklerin Neden Uygun Olmadığı:
- B) $2$'den büyük bir asal sayı olduğunu varsaymak: $2$'den büyük asal sayılar (örneğin $3, 5, 7, \dots$) zaten vardır ve bu varsayım "2 en küçük asal sayıdır" önermesiyle çelişmez. Bu bir ispat için uygun başlangıç noktası değildir.
- C) $2$'nin asal olmadığını varsaymak: Bu varsayım, $2$'nin asal olduğu gerçeğiyle doğrudan çelişir ve ispatlamak istediğimiz "en küçük" olma durumuna odaklanmaz. Eğer $2$ asal değilse, en küçük asal sayı da olamaz. Ama biz $2$'nin asal olduğunu biliyoruz ve onun en küçük olduğunu ispatlamak istiyoruz.
- D) Asal sayıların sonsuz olduğunu varsaymak: Bu, asal sayılarla ilgili başka bir önemli teoremdir (Öklid'in teoremi) ve $2$'nin en küçük asal sayı olduğunu ispatlamakla doğrudan ilgili değildir.
Bu adımları takip ettiğimizde, çelişki yöntemini kullanarak "En küçük asal sayının $2$ olduğunu" ispatlamak için en uygun başlangıç noktasının "$2$'den küçük bir asal sayı olduğunu varsaymak" olduğu açıkça görülmektedir.
Cevap A seçeneğidir.
