"Sonsuz sayıda asal sayı vardır" teoremini ispatlayan Öklid, sonlu sayıda asal olduğunu varsayıp bu listedeki tüm asalları çarparak 1 eklediğinde yeni bir asal elde etmiştir.
Bu hangi ispat yöntemidir?
A) Doğrudan ispat
B) Tümevarım
C) Olmayana ergi
D) Yapıcı ispat
Öklid'in "Sonsuz sayıda asal sayı vardır" teoremini ispatlarken kullandığı yöntem, matematikte oldukça güçlü ve sıkça başvurulan bir ispat tekniğidir. Soru metninde açıklanan adımlar, bu yöntemin temel özelliklerini taşımaktadır.
- İspatın Temel Adımları: Öklid, sonsuz sayıda asal sayı olmadığını, aksine sonlu sayıda asal sayı olduğunu varsaymıştır. Bu varsayıma göre, tüm asal sayıları listeleyebiliriz: $p_1, p_2, ..., p_n$. Daha sonra bu listedeki tüm asalları çarparak 1 ekleyerek yeni bir sayı $N$ oluşturmuştur: $N = (p_1 \times p_2 \times ... \times p_n) + 1$.
- Çelişkinin Ortaya Çıkarılması:
- Eğer $N$ bir asal sayı ise, bu yeni asal sayı $N$, başlangıçta varsaydığımız sonlu asal sayılar listesinde ($p_1, p_2, ..., p_n$) yer almaz. Bu durum, listemizin tüm asalları içerdiği varsayımıyla çelişir.
- Eğer $N$ bir bileşik sayı ise, asal çarpanları olmalıdır. Ancak $N$ sayısı, listedeki hiçbir $p_i$ asal sayısına tam bölünmez; çünkü her $p_i$ ile bölündüğünde kalan 1 olur. Bu durumda, $N$'nin asal çarpanlarından en az biri, başlangıçta varsaydığımız sonlu asal sayılar listesinde bulunmayan yeni bir asal sayı olmak zorundadır. Bu da yine, listemizin tüm asalları içerdiği varsayımıyla çelişir.
- Olmayana Ergi (Reductio ad Absurdum) Yöntemi: Bu ispat yöntemi, kanıtlamak istediğimiz ifadenin tersini (olumsuzunu) doğru kabul ederek başlar. Daha sonra bu varsayımın mantıksal olarak bir çelişkiye veya absürt bir sonuca yol açtığı gösterilir. Çelişki ortaya çıktığında, başlangıçtaki varsayımın yanlış olduğu ve dolayısıyla kanıtlamak istediğimiz orijinal ifadenin doğru olduğu sonucuna varılır. Öklid'in ispatı tam olarak bu adımları takip etmektedir: "Sonsuz sayıda asal sayı yoktur" varsayımı bir çelişkiye yol açtığı için, "Sonsuz sayıda asal sayı vardır" ifadesi doğru kabul edilir.
- Diğer Seçeneklerin Açıklaması:
- A) Doğrudan ispat: Bir ifadenin doğruluğunu, bilinen aksiyomlar, tanımlar ve teoremlerden yola çıkarak doğrudan mantıksal adımlarla göstermektir. Öklid'in ispatı doğrudan bir sonuca ulaşmak yerine, bir çelişki üzerinden ilerler.
- B) Tümevarım: Genellikle doğal sayılarla ilgili ifadelerin doğruluğunu kanıtlamak için kullanılır. Bir temel durumun doğru olduğu gösterilir ve ardından bir durum için doğru olduğu varsayıldığında bir sonraki durum için de doğru olduğu ispatlanır. Öklid'in ispatı bu yapıda değildir.
- D) Yapıcı ispat: Bir şeyin varlığını kanıtlamak için, o şeyi somut olarak inşa etmek veya varlığını gösteren bir algoritma sunmaktır. Öklid yeni bir sayı $N$ inşa etse de, ispatın temel amacı bu sayının varlığını göstermekten ziyade, "sonlu asal sayısı" varsayımının çelişkili olduğunu ortaya koymaktır.
Bu nedenle, Öklid'in kullandığı ispat yöntemi "Olmayana Ergi"dir.
Cevap C seçeneğidir.
