Matematikte İspat Yöntemleri: Hangi Yöntem Nasıl Seçilir?

İspatın temel yapısı ve mantıksal gereklilikleri

Bir ispatta önce kanıtlanacak önerme açıkça belirlenir. Koşullu bir önerme genellikle “P ise Q” biçimindedir; burada P varsayım, Q ise ulaşılması gereken sonuçtur. İspat, P’nin doğru olduğu kabul edilerek başlar ve yalnızca daha önce bilinen tanım, aksiyom, teorem ve geçerli cebirsel işlemler kullanılarak Q’ya ulaşır. Böylece sonuç, başlangıçtan mantıksal olarak çıkarılmış olur.

Geçerli bir ispatta her adımın gerekçesi izlenebilir olmalıdır. Bir ifadenin örneklerde doğru çıkması, onun bütün durumlarda doğru olduğunu kanıtlamaz; aynı şekilde bir şekil üzerinde gözlenen özellik de tek başına genel ispat yerine geçmez. Varsayım ile sonuç birbirine karıştırılmamalı, ispat sırasında kanıtlanmak istenen sonuç baştan doğru kabul edilmemelidir. Örneğin “n çift ise n² çifttir” önermesinde n’nin çift olması varsayımdır. n = 2k yazımı bu varsayımın tanımsal karşılığıdır; buradan n² = 4k² = 2(2k²) elde edilerek sonucun neden zorunlu olduğu gösterilir.

İspatın sonunda ulaşılan ifade, başlangıçtaki önermenin tam olarak istediği sonucu karşılamalıdır. Tanım dışı bir işlem yapmak, sıfıra bölmek veya yalnızca birkaç sayıyı denemek mantıksal boşluk oluşturur.

İspat yöntemini önermenin biçimine göre seçme

Yöntem seçerken ilk soru, önermenin yapısının nasıl olduğudur. “P ise Q” biçimindeki bir önerme, P’den başlayıp Q’ya ulaşmaya elverişliyse doğrudan ispatla kanıtlanır. P’den Q’ya gitmek zor, fakat Q’nun değili üzerinden P’nin değiline ulaşmak kolaysa karşıt tersiyle ispat tercih edilir. Önermenin yanlış olduğunu varsaymak doğal biçimde bir çelişkiye götürüyorsa olmayana ergi kullanılır. Doğal sayılar için “her n için” biçimindeki ve ardışık sayılar arasında geçiş kuran önermelerde ise matematiksel tümevarım uygundur.

Örneğin “n tek ise n² tektir” önermesinde n = 2k + 1 yazılarak doğrudan sonuca ulaşmak kolaydır; bu nedenle doğrudan ispat uygundur. “n² çift ise n çifttir” önermesinde ise karşıt tersi olan “n tek ise n² tektir” daha kolay kanıtlanır; bu durumda karşıt tersiyle ispat verimli bir seçimdir. “Hiçbir rasyonel sayının karesi 2 olamaz” gibi bir iddiada, tersini varsayıp çelişki üretmek olmayana ergiye götürebilir. “1’den n’ye kadar olan sayıların toplamı” gibi doğal sayılara bağlı sonsuz bir ailede taban ve ardışık geçiş bulunduğundan tümevarım seçilir.

Önermenin değili, karşıtı ve karşıt tersi farklı kavramlardır: “P ise Q” önermesinin karşıt tersi “Q değilse P değil” biçimindedir ve asıl önerme ile aynı doğruluk değerine sahiptir. Durumlara ayırarak ispatta ise problem, bütün olasılıkları kapsayan ayrı durumlara bölünür; örneğin bir tam sayının tek veya çift olması üzerinden iki durum incelenebilir. Genel bir önermeyi çürütmek için tek bir karşı örnek yeterlidir; ancak çok sayıda örneğin doğru olması ispat oluşturmaz.

Varlık-yokluk ve teklik ispatları, kümeler ve matematiksel yapılar bağlamında ayrı bir konu olarak ele alınır. Yapısal tümevarım ve iyi sıralama ilkesi de burada kullanılan temel tümevarım yönteminden farklı, başka bir inceleme alanıdır. Biçimsel mantık ve niceleyicilerle ispat kuramı ise ispatların sembolik sistemler içindeki biçimsel yönünü inceler.

Doğrudan ispat

Doğrudan ispat, verilen varsayımlardan başlayarak hedeflenen sonuca adım adım ulaşma yöntemidir. Özellikle tanımların doğrudan kullanılabildiği ve cebirsel dönüşümlerin sonucu görünür hâle getirdiği koşullu önermelerde etkilidir. Genel şema şöyledir: P varsayılır, P’nin tanımı veya bilinen sonuçlar kullanılır, geçerli dönüşümler yapılır ve Q elde edilir.

Örneğin “İki tek tam sayının toplamı çifttir” önermesini doğrudan kanıtlayalım. Tek tam sayı tanımına göre iki sayı m = 2a + 1 ve n = 2b + 1 biçiminde yazılabilir; burada a ve b tam sayıdır. Toplamları

m + n = (2a + 1) + (2b + 1) = 2a + 2b + 2 = 2(a + b + 1)

olur. a + b + 1 bir tam sayı olduğundan toplam, 2 ile bir tam sayının çarpımı biçimindedir ve bu nedenle çifttir. İspatın kritik noktası, “tek” kavramını yalnızca sezgisel olarak kullanmak yerine tanımı olan 2k + 1 biçimine dönüştürmektir.

Başka bir örnek olarak, a ve b pozitif gerçek sayılar ise a < b olduğunda a² < b² sonucunu doğrudan göstermek için her iki tarafı aynı anda karesini almak tek başına yeterli görülmemelidir; işlemin hangi koşulda eşitsizliği koruduğu açıklanmalıdır. Bu nedenle doğrudan yöntemde kullanılan her cebirsel işlemin koşulları kontrol edilir. Varsayımdan hedefe giden yol kısa ve şeffafsa, gereksiz biçimde çelişki kurmak yerine doğrudan ispat tercih edilir.

Karşıt tersiyle ispat

Karşıt tersiyle ispat, “P ise Q” önermesi yerine mantıksal olarak ona denk olan “Q değilse P değil” önermesini kanıtlamaktır. Bir koşullu önerme ile karşıt tersi aynı doğruluk değerine sahip olduğundan, karşıt tersinin ispatlanması ilk önermeyi de kanıtlar. Bu yöntem, sonucun değili varsayıldığında başlangıç varsayımının değiline ulaşmanın daha kolay olduğu durumlarda kullanılır.

Klasik örnek, “n² çift ise n çifttir” önermesidir. Doğrudan bu sonuca ulaşmak yerine karşıt tersini ele alalım: “n tek ise n² tektir.” n tek olduğunda n = 2k + 1 yazılır. Karesi

n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1

olur. Bu ifade tek sayı tanımına uyar. Dolayısıyla n tek ise n² tek, başka bir deyişle n² çift değilse n çift değildir. Bu da karşıt tersiyle birlikte asıl önermenin geçerli olduğunu gösterir.

Yöntemin mantığı, istenen sonucun kendisini üretmek yerine sonucun gerçekleşmemesinin hangi başlangıç durumunu zorunlu olarak dışladığını göstermektir. Ancak karşıt ile karşıt ters karıştırılmamalıdır. “Q ise P” genel olarak “P ise Q” ile eşdeğer değildir; eşdeğer olan biçim, iki önermenin de değillerinin yer değiştirdiği “Q değilse P değil” yapısıdır. Bu ayrım, özellikle koşullu önermelerde ispatın geçerliliğini belirler.

Olmayana ergiyle ispat

Olmayana ergiyle ispatta kanıtlanmak istenen önermenin yanlış olduğu varsayılır ve bu varsayımın bilinen bir çelişkiye yol açtığı gösterilir. Çelişki, aynı anda doğru olması mümkün olmayan iki sonucun elde edilmesi veya bir varsayımın temel bir özellikle çatışması olabilir. Başlangıçtaki önerme yanlış kabul edildiğinde imkânsızlık ortaya çıktığı için, önerme doğru olmak zorundadır.

Örnek olarak √2’nin rasyonel olmadığını kanıtlayalım. Aksini varsayalım ve √2 = a/b yazalım; burada a ve b aralarında asal tam sayılar, b ≠ 0 olsun. Her iki tarafın karesi alınırsa a² = 2b² elde edilir. Bu eşitlik a²’nin çift olduğunu gösterir; dolayısıyla a çifttir ve a = 2k yazılabilir. Yerine koyunca 4k² = 2b², buradan b² = 2k² elde edilir. Böylece b² ve dolayısıyla b de çifttir.

Sonuçta hem a hem b çift çıkmıştır. Oysa a ve b başlangıçta aralarında asal seçilmişti; ikisinin de 2’ye bölünebilmesi bu koşulla çelişir. Çelişki, √2’nin rasyonel olduğu varsayımından doğduğuna göre √2 rasyonel değildir. Bu örnekte temsil biçiminin en sade biçimde seçilmesi önemlidir; aksi hâlde a ve b’nin ikisinin birden çift olması çelişkiyi doğrudan vermeyebilirdi.

Olmayana ergi, özellikle doğrudan ilerlemenin zor olduğu, fakat yanlış kabulün güçlü bir imkânsızlık ürettiği önermelerde etkilidir. Varsayımdan gerçekten çelişki çıkması gerekir; yalnızca “sonuç doğru görünmüyor” demek, olmayana ergiyle ispat sayılmaz.

Matematiksel tümevarım

Matematiksel tümevarım, doğal sayılarla ifade edilen sonsuz sayıdaki önermeyi iki temel adımla kanıtlama yöntemidir. İlk adımda önerme başlangıç değeri için kanıtlanır; buna taban adımı denir. İkinci adımda, önermenin herhangi bir n doğal sayısı için doğru olduğu varsayılır ve bu varsayımdan n + 1 için de doğru olduğu gösterilir; buna tümevarım geçişi denir. Taban ve geçiş birlikte kurulmadıkça yöntem tamamlanmış olmaz.

Örnek olarak her n ≥ 1 doğal sayısı için

1 + 2 + 3 + ... + n = n(n + 1)/2

olduğunu kanıtlayalım. Taban adımında n = 1 için sol taraf 1, sağ taraf 1(1 + 1)/2 = 1’dir; önerme başlangıç değerinde doğrudur.

Şimdi tümevarım varsayımı olarak 1 + 2 + ... + k = k(k + 1)/2 eşitliğinin doğru olduğunu kabul edelim. Bir sonraki değer için toplam

1 + 2 + ... + k + (k + 1)

şeklindedir. Varsayımı kullanarak bunu k(k + 1)/2 + (k + 1) biçiminde yazabiliriz. Ortak çarpan alınırsa

k(k + 1)/2 + (k + 1) = (k + 1)(k/2 + 1) = (k + 1)(k + 2)/2

elde edilir. Bu, formülün n = k + 1 için aldığı biçimdir. Taban doğru ve her doğru durum bir sonraki durumu gerektirdiği için eşitlik bütün n ≥ 1 doğal sayıları için geçerlidir.

Tümevarım varsayımı, ispatlanması gereken bütün önerme değildir; yalnızca k için doğru olduğu kabul edilen adımdır. Geçişte k’dan k + 1’e açıkça ulaşılmalı, taban adımı atlanmamalıdır. Örneğin geçiş doğru olsa bile başlangıç değeri yanlışsa zincirin ilk halkası kurulamaz. Bu nedenle tümevarım, tek tek sonsuz örnekleri kontrol etmek değil, başlangıç ve ardışık aktarım mekanizmasını kanıtlamaktır.