"n ≥ 5 için 2^n > n²" önermesini ispatlamak isteyen bir matematikçi, önce n=5 için doğruluğunu kontrol etmiş, ardından n=k için doğru olduğunu varsayıp n=k+1 için de doğru olduğunu göstermiştir.
Bu matematikçi hangi ispat yöntemini kullanmıştır?
A) Doğrudan ispat
B) Olmayana ergi
C) Tümevarım
D) Varlık ispatı
Sevgili öğrenciler, bu soru bize bir matematikçinin belirli bir önermeyi ispatlarken izlediği adımları anlatıyor ve bizden bu adımların hangi ispat yöntemine ait olduğunu bulmamızı istiyor.
- Matematikçi, $n \ge 5$ için $2^n > n^2$ önermesini ispatlamak için öncelikle $n=5$ için doğruluğunu kontrol etmiştir. Bu adım, bir ispat yönteminin temel adımı veya başlangıç durumu olarak bilinir. Bu adımda, önermenin belirli bir başlangıç değeri için doğru olduğu gösterilir.
- Ardından, önermenin $n=k$ için doğru olduğunu varsaymıştır. Yani, $2^k > k^2$ olduğunu kabul etmiştir. Bu adım, tümevarım varsayımı olarak adlandırılır. Bu varsayım, önermenin herhangi bir $k$ değeri için doğru olduğu kabulünü içerir.
- Son olarak, bu varsayıma dayanarak önermenin $n=k+1$ için de doğru olduğunu, yani $2^{k+1} > (k+1)^2$ olduğunu göstermiştir. Bu adım ise tümevarım adımı olarak bilinir. Bu adımda, $n=k$ için doğru olduğu varsayılan önermenin $n=k+1$ için de doğru olduğu ispatlanır.
- Yukarıda açıklanan bu üç adım (temel adım, tümevarım varsayımı ve tümevarım adımı), matematiksel tümevarım (Mathematical Induction) yönteminin temel bileşenleridir. Bu yöntem, doğal sayılarla ilgili önermelerin doğruluğunu ispatlamak için kullanılır. Bir önermenin belirli bir başlangıç değeri için doğru olduğunu gösterdikten sonra, o önermenin herhangi bir $k$ değeri için doğru olduğu varsayıldığında, bir sonraki $k+1$ değeri için de doğru olduğunu göstermek, önermenin tüm ilgili doğal sayılar için doğru olduğunu kanıtlar.
- A) Doğrudan ispat: Bir önermenin doğruluğunu, bilinen aksiyomlar, tanımlar ve teoremler kullanarak doğrudan mantıksal çıkarımlar zinciriyle göstermektir. Verilen adımlar doğrudan ispatın yapısına uymaz.
- B) Olmayana ergi (Çelişkiyle ispat): İspatlamak istediğimiz önermenin tersini (değilini) doğru kabul edip, bu kabulden yola çıkarak mantıksal bir çelişkiye ulaşmaktır. Bu çelişki, başlangıçtaki ters kabulün yanlış olduğunu ve dolayısıyla orijinal önermenin doğru olduğunu gösterir. Verilen adımlar bu yöntemi de tanımlamaz.
- D) Varlık ispatı: Belirli özelliklere sahip en az bir nesnenin var olduğunu göstermektir. Bu, ya doğrudan o nesneyi inşa ederek (yapıcı ispat) ya da varlığının mantıksal olarak zorunlu olduğunu göstererek (yapıcı olmayan ispat) yapılabilir. Bu yöntem de sorudaki adımlarla ilgili değildir.
Verilen adımlar, matematiksel tümevarım yönteminin tanımına tamamen uymaktadır.
Cevap C seçeneğidir.
