İspat Yöntemleri: Doğrudan İspat, Çelişki ve Tümevarım

Önermenin biçiminden ispat yöntemini seçme

İlk adım, kanıtlanacak ifadeyi sembolik ya da sözel yapısına ayırmaktır. Bir koşullu önerme p ⇒ q için doğrudan ispatta p'nin doğru olduğu kabul edilir ve q'ya ulaşılır. Burada amaç p'nin neden doğru olduğunu kanıtlamak değil, p doğru olduğunda q'nun zorunlu olarak çıktığını göstermektir.

Bir önermenin karşıtını varsayarak çelişkiye ulaşmak daha kısa bir yol sunuyorsa olmayana ergi kullanılabilir. Bu yöntemde kanıtlanacak p önermesinin değili, yani ¬p varsayılır. Bu varsayım mantıksal olarak imkânsız bir sonuca götürülürse ¬p'nin geçerli olamayacağı, dolayısıyla p'nin doğru olduğu sonucuna varılır.

Önerme doğal sayılarla tanımlanmış bir P(n) özelliğini bütün n değerleri için söylüyorsa tümevarım düşünülür. Bu yöntemde iki ayrı yükümlülük vardır: önce başlangıç değerindeki P(1) veya soruda belirtilen ilk değer gösterilir; sonra P(k) doğru kabul edildiğinde P(k+1)'in de doğru olduğu kanıtlanır. Başlangıç değeri soruda 0 ise taban P(0) için kurulmalıdır; otomatik olarak 1 alınmaz.

Bir evrensel önerme, yani 'bütün ...' biçimindeki iddia yanlışlanmak isteniyorsa tek bir karşı örnek yeterlidir. Örneğin 'bütün asal sayılar tektir' iddiasını çürütmek için 2'nin asal ve çift olduğunu göstermek yeterlidir. Karşı örnek, önermeyi kanıtlamaz; yalnızca evrensel iddianın yanlış olduğunu gösterir.

Doğrudan ispatta tanımları cebirsel biçime dönüştürme

Doğrudan ispatın gücü, verilen koşulu kullanışlı bir matematiksel biçime çevirmesinden gelir. 'n sayısı 6'ya tam bölünür' ifadesi, tanım gereği n = 6k olacak şekilde bir k tam sayısının bulunması demektir. 'n çift' ifadesi n = 2k, 'n tek' ifadesi ise n = 2k + 1 biçiminde yazılır.

İspat sırasında k'nın hangi kümede olduğu belirtilmelidir. n = 6k yazarken k'nın tam sayı olduğu söylenmezse bölünebilirlik tanımının önemli bir parçası eksik kalır. Ardından hedefteki tanım aranır. n = 6k = 3(2k) olduğuna göre 2k bir tam sayıdır ve n, 3'ün bir tam sayı katı olarak yazılmıştır. Bu nedenle n sayısı 3'e tam bölünür.

Doğrudan ispat, özellikle p ⇒ q biçimindeki önermelerde doğal tercihtir; fakat her cebirsel ifadeyi gereksiz yere dönüştürmek doğru değildir. Her satırın önceki satırdan nasıl çıktığı açıklanmalı, payda varsa sıfır olamayacağı kontrol edilmeli ve kare alma ya da kök alma gibi işlemlerde eşdeğerliğin korunup korunmadığına dikkat edilmelidir.

Bir önermenin yalnızca belirli bir koşul altında geçerli olduğunu da yazmak gerekir. Örneğin paydalı bir ifadeyi sadeleştirirken paydanın sıfır olmaması gerekir. Bu koşul belirtilmeden yapılan işlem, tanım kümesinde bulunmayan bir değeri de kapsıyormuş gibi görünebilir.

Olmayana ergiyle çelişkinin doğru kurulması

Olmayana ergi, kanıtlanacak sonucun değiliyle başlamayı gerektirir. '√2 rasyonel değildir' önermesi için ters varsayım √2'nin rasyonel olduğudur. Rasyonel sayı tanımına göre √2 = p/q yazılabilir; burada p ve q tam sayıdır, q ≠ 0'dır ve kesir sade biçimde, yani p ile q'nun ortak böleni olmayacak şekilde seçilir.

Her iki tarafın karesi alınır: 2 = p²/q² ve buradan p² = 2q² elde edilir. p² çift olduğundan p de çifttir; p = 2r yazılabilir. Yerine koyunca 4r² = 2q², dolayısıyla q² = 2r² bulunur. Böylece q² ve q da çifttir. Sonuç olarak hem p hem q çifttir; bu, p/q kesrinin sade seçildiği varsayımıyla çelişir. Ters varsayım reddedildiği için √2'nin rasyonel olmadığı sonucuna ulaşılır.

Buradaki çelişki, yalnızca 'sonuç yanlış çıktı' demek değildir. Başlangıçtaki varsayımla birlikte kabul edilemeyecek bir durum açıkça gösterilmelidir. Örnekte çelişki, hem payın hem paydanın çift olmasıdır. Ayrıca olmayana ergi ile karşıt önerme karıştırılmamalıdır. p ⇒ q önermesinin karşıtı ¬p ⇒ ¬q, genel olarak p ⇒ q ile eşdeğer değildir; eşdeğer olan ifade karşıt tersidir: ¬q ⇒ ¬p.

Tümevarımda taban ve geçiş adımının bağımlılığı

Matematiksel tümevarım, doğal sayıların ardışık yapısından yararlanır. Bir P(n) önermesinin n = 1'den itibaren tüm doğal sayılar için doğru olduğu gösterilecekse şu iki adım gerekir:

1. Taban: P(1) doğrulanır.
2. Geçiş: k için P(k) doğru kabul edilerek P(k+1) kanıtlanır.

Geçiş adımında P(k)'nin doğru olduğu varsayımına tümevarım varsayımı denir. Bu varsayım, kanıtlanacak P(k+1)'i doğrudan kabul etmek değildir. Amaç, P(k) ile verilen bilgi kullanıldığında P(k+1)'in zorunlu olarak çıktığını göstermektir. Taban adımı yoksa zincirin nereden başladığı bilinmez; geçiş adımı yoksa bir değerden sonrakine ilerleme kanıtlanmamış olur.

Örneğin 1 + 2 + ... + n = n(n+1)/2 eşitliğinde P(1) için sol taraf 1, sağ taraf 1(2)/2 = 1'dir. Geçişte toplamın k için doğru olduğu varsayılır: 1 + ... + k = k(k+1)/2. Bir sonraki toplam, k(k+1)/2 + (k+1) olur. Ortak çarpan alınırsa k(k+1)/2 + 2(k+1)/2 = (k+1)(k+2)/2 elde edilir; bu da P(k+1)'dir.

Tümevarım reel sayılardaki tüm değerler için doğrudan kullanılmaz; yöntem, ardışık doğal sayı basamaklarına dayanır. Ayrıca tümevarım bir formülü bulma yöntemi değil, önerilen formülün belirli doğal sayılar için doğruluğunu kanıtlama yöntemidir.

Çözümlü örnekler: bölünebilirlik ve toplam formülü

Örnek 1 — Verilenler: n tam sayı ve n sayısı 6'ya tam bölünüyor. Gösterilecek: n sayısı 3'e tam bölünür.

Adım 1: Bölünebilme tanımını yazalım. n'nin 6'ya tam bölünmesi, n = 6k olacak şekilde k ∈ ℤ bulunmasıdır.

Adım 2: 6'yı 3'ün katı olarak ayıralım: n = 6k = 3(2k).

Adım 3: k tam sayı olduğundan 2k de tam sayıdır. Dolayısıyla n, 3'ün tam sayı katı biçiminde yazılmıştır.

Sonuç: n, 3'e tam bölünür. İspat doğrudandır; çünkü başlangıçtaki bölünebilme koşulundan hedefteki biçime doğrudan ulaşılmıştır.

Örnek 2 — Verilenler: P(n), 1 + 2 + ... + n = n(n+1)/2 eşitliği olsun. Gösterilecek: Bu eşitlik n ≥ 1 doğal sayıları için doğrudur.

Adım 1, taban: n = 1 için sol taraf 1'dir. Sağ taraf 1(1+1)/2 = 1 olduğundan P(1) doğrudur.

Adım 2, tümevarım varsayımı: P(k) doğru kabul edilir. Yani 1 + 2 + ... + k = k(k+1)/2 olsun.

Adım 3, bir sonraki değer: 1 + 2 + ... + k + (k+1) ifadesinde ilk k terimin yerine tümevarım varsayımını yazalım: k(k+1)/2 + (k+1).

Adım 4, sadeleştirme: k(k+1)/2 + (k+1) = k(k+1)/2 + 2(k+1)/2 = (k+1)(k+2)/2.

Adım 5, karşılaştırma: (k+1)(k+2)/2, formülün n yerine k+1 yazılmış hâlidir. Bu nedenle P(k) ⇒ P(k+1).

Sonuç: Taban ve geçiş adımları sağlandığı için eşitlik n ≥ 1 olan doğal sayılar için doğrudur. Dikkat edilirse tümevarım varsayımı, geçiş adımının içinde kullanılmış; fakat P(k+1) doğrudan varsayılmamıştır.

Sık yapılan hatalar ve karıştırılan kavramlar

1. Örnekleri ispat sanmak: Bir eşitliğin n = 1, 2 ve 3 için çalışması, bütün doğal sayılar için doğru olduğunu göstermez. Evrensel bir iddiada örnekler destekleyici olabilir; ispatın yerini tutmaz.

2. Koşullu önermenin tersini kanıtlamak: p ⇒ q verildiğinde p doğru kabul edilip q gösterilir. q ⇒ p ise farklı bir önermedir ve ayrıca kanıtlanması gerekir. Örneğin bir sayının 6'ya bölünmesi 3'e bölünmesini gerektirir; fakat 3'e bölünen her sayı 6'ya bölünmez. 3, bu farkı gösteren bir örnektir.

3. Karşıt ile karşıt tersi ayırmamak: p ⇒ q'nun karşıtı ¬p ⇒ ¬q'dur ve bu ifade başlangıçtaki önermeyle eşdeğer olmak zorunda değildir. Karşıt ters ¬q ⇒ ¬p ise p ⇒ q ile mantıksal olarak eşdeğerdir.

4. Olmayana ergide çelişkiyi belirtmemek: 'Varsayım yanlış olduğu için sonuç doğrudur' ifadesi tek başına yeterli değildir. Varsayımın hangi matematiksel koşulla çeliştiği yazılmalıdır.

5. Tümevarım tabanını atlamak: P(k) ⇒ P(k+1) geçişi doğru olsa bile başlangıç değeri gösterilmezse kanıt tamamlanmaz. Ayrıca başlangıç değeri 0 olan soruda P(1) ile başlamak kapsamı eksik bırakabilir.

6. Tanımın koşullarını unutmak: Bölme işlemlerinde paydanın sıfır olmaması, rasyonel sayı gösteriminde paydanın sıfırdan farklı olması gibi koşullar korunmalıdır. Bir ifadenin tanımsız olduğu değerde cebirsel dönüşüm yapılamaz.

7. Karşı örneği yanlış kullanmak: Tek karşı örnek 'her sayı için' biçimindeki bir iddiayı çürütür; fakat 'en az bir sayı vardır' biçimindeki varlık önermesini çürütmez. İspatın hedefi, önermenin niceleyicisine göre belirlenmelidir.