Bir öğrenci "Bir üçgenin iç açılarının toplamının 180° olduğunu" çelişki yöntemiyle ispatlamak istiyor. Hangi başlangıç varsayımı bu ispat için doğrudur?
A) Üçgenin iç açıları toplamının 180°'den büyük olduğunu varsaymak
B) Üçgenin iç açıları toplamının 180°'den küçük olduğunu varsaymak
C) Üçgenin iç açıları toplamının 180°'ye eşit olmadığını varsaymak
D) Üçgenin iç açıları toplamının 360° olduğunu varsaymak
Merhaba sevgili öğrenciler,
Çelişki yöntemiyle (Reductio ad absurdum) ispat, bir ifadenin doğru olduğunu göstermek için o ifadenin tersini doğru kabul edip, bu kabulden mantıksal olarak çelişkili veya imkansız bir sonuca ulaşma prensibine dayanır. Eğer varsayımımız bizi bir çelişkiye götürüyorsa, başlangıçtaki varsayımımız yanlış demektir ve dolayısıyla ispatlamak istediğimiz orijinal ifade doğru olmak zorundadır.
Şimdi sorumuzdaki durumu inceleyelim:
- İspatlamak istediğimiz ifade: "Bir üçgenin iç açılarının toplamı $180^\circ$'dir."
- Bu ifadeyi çelişki yöntemiyle ispatlamak için, bu ifadenin tersini (negasyonunu) başlangıç varsayımı olarak almalıyız.
İfadeler ve tersleri şöyledir:
- Bir ifadenin "$A = B$" olduğunu ispatlamak istiyorsak, çelişki yöntemi için başlangıç varsayımı "$A \neq B$" olmalıdır.
- "$A \neq B$" ifadesi, "$A > B$" veya "$A < B$" durumlarını kapsar.
Seçenekleri değerlendirelim:
- A) Üçgenin iç açıları toplamının $180^\circ$'den büyük olduğunu varsaymak: Bu, ispatlamak istediğimiz ifadenin tersinin sadece bir kısmıdır (toplam $> 180^\circ$). Eğer bu varsayım çelişkiye yol açarsa, sadece toplamın $180^\circ$'den büyük olamayacağını göstermiş oluruz. Toplamın $180^\circ$'den küçük olma ihtimali hala açık kalır.
- B) Üçgenin iç açıları toplamının $180^\circ$'den küçük olduğunu varsaymak: Bu da ispatlamak istediğimiz ifadenin tersinin sadece bir kısmıdır (toplam $< 180^\circ$). Benzer şekilde, bu varsayım çelişkiye yol açarsa, sadece toplamın $180^\circ$'den küçük olamayacağını göstermiş oluruz. Toplamın $180^\circ$'den büyük olma ihtimali hala açık kalır.
- C) Üçgenin iç açıları toplamının $180^\circ$'ye eşit olmadığını varsaymak: Bu, ispatlamak istediğimiz "toplam $180^\circ$'dir" ifadesinin tam tersidir (negasyonudur). Yani, toplamın $180^\circ$'den büyük olabileceğini VEYA $180^\circ$'den küçük olabileceğini varsaymış oluruz. Bu varsayım bizi bir çelişkiye götürürse, o zaman başlangıçtaki varsayımımız yanlış demektir ve üçgenin iç açılarının toplamı kesinlikle $180^\circ$'ye eşit olmak zorundadır. Bu, çelişki yöntemi için en doğru ve kapsayıcı başlangıç varsayımıdır.
- D) Üçgenin iç açıları toplamının $360^\circ$ olduğunu varsaymak: Bu, toplamın $180^\circ$'ye eşit olmadığı durumun özel bir örneğidir. Genel negasyonu kapsamaz ve bu varsayımın çelişkiye yol açması, sadece toplamın $360^\circ$ olamayacağını gösterir, $180^\circ$ olmadığını değil.
Bu nedenle, "bir üçgenin iç açılarının toplamının $180^\circ$ olduğunu" çelişki yöntemiyle ispatlamak için, başlangıç varsayımı olarak "üçgenin iç açıları toplamının $180^\circ$'ye eşit olmadığını" kabul etmeliyiz.
Cevap C seçeneğidir.
