Processing math: 100%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
664 kez görüntülendi

Kendi iddia ettiğim bir önermede tümevarımla ispat yapmaya çalışıyorum. Normal sartlarda iddia edilen bir eşitliği n için doğru olsun diye kabul edip n+1 için doğru olduğunu göstermeye çalışırız. Fakat yapmaya çalıştığım ispatta iddia ettiğim eşitliğin n1 ve n2 için olan halini ispat yaparken kullanmak zorundayım. Çünkü recursive bağıntılarla iç içe bir durum var. Aklıma takılan şu, n için doğruluğunu kabul ettiğimiz zaman n1 ve n2 için de doğruluğunu kabul etmiş sayılır mıyız?

Serbest kategorisinde (470 puan) tarafından  | 664 kez görüntülendi

Probleminizi burada sunmakta sakınca yoksa eğer müsait bir vakitte foruma yazabilirseniz, biz de çözüm üretmeyi deneyebiliriz.

1 cevap

0 beğenilme 0 beğenilmeme

n için önermenin doğru olduğunu kabul ettiğinizde n1 için kabul etmiş olmazsınız. Bununla beraber, ilk olarak öğrendiğimiz tümevarım ispat yöntemi "zayıf tümevarım yöntemi" dir. Anladığım kadarıyla probleminizi çözmek için "kuvvetli tümevarım yöntemi" içeren bir ispat yapmanız gerekiyor.

Kuvvetli tümevarım yöntemini şöyle açıklayalım: n=1,2,3 için önermenizin doğru olduğunu gösteriniz. n2,n1,n için önermenizin doğru olduğunu kabul ediniz. n+1 için önermenizi ispatlayınız.

Bunu daha genel ardışık k tane değer için de yazabiliriz, fakat anlaşılırlık için n=1,2,3 yazmayı tercih ettim.


(2.6k puan) tarafından 

Cevabımı aldım sayılır teşekkür ederim. En azından güzel bir fikir verdi. 

20,330 soru
21,886 cevap
73,622 yorum
3,003,754 kullanıcı