Çelişkiyle İspat — Yöntem ve Klasik Örnek

Çelişkiyle ispat, bir önermenin tersini varsayıp bu varsayımın imkânsız bir sonuca götürdüğünü göstererek yapılır. Mantık geçerliyse ve elde edilen çelişki gerçekse, özgün önerme doğru olmak zorundadır.

Bu yöntem, olumsuzlama size üzerinde çalışabileceğiniz somut bir yapı verdiğinde özellikle kullanışlıdır. Klasik bir örnek, $\sqrt{2}$ sayısının irrasyonel olduğunu göstermektir: rasyonel olduğunu varsaydığınız anda onu bir kesir olarak yazabilir ve sonuçlarını takip edebilirsiniz.

Çelişkiyle ispat nasıl çalışır?

İspatlamak istediğiniz önerme $P$ olsun.

Çelişkiyle ispatta, $P$'nin yanlış olduğunu varsayarak başlarsınız. Sonra bu varsayımdan hareketle şu tür bir çelişkiye ulaşırsınız:

$$1 = 0$$

ya da bilinen bir tanımla çatışan bir sonuca, ya da önceki bir adımla aynı anda doğru olamayacak bir ifadeye.

Bu noktada, $P$'nin olumsuzlaması doğru olamaz; dolayısıyla $P$ doğru olmalıdır.

Buradaki temel koşul, çelişkinin geçerli akıl yürütmeden ve kabul edilmiş gerçeklerden çıkmasıdır. Sadece garip görünen bir sonuç yeterli değildir. Kullandığınız tanımlar veya teoremler altında gerçekten imkânsız olması gerekir.

Çelişkiyle ispat ne zaman kullanılır?

Çelişkiyle ispat, bir önermenin tersinin katı bir yapıya sahip olduğu durumlarda en iyi sonucu verir. Bu durum sayı teorisinde, imkânsızlık ispatlarında ve bazı varlık sorularında sık görülür.

Örneğin bir sayının irrasyonel olduğunu göstermek istiyorsanız, onun rasyonel olduğunu varsaymak size üzerinde çalışabileceğiniz bir kesir biçimi verir. Bu ek yapı, çelişkiyi bulmayı çoğu zaman doğrudan ispattan daha kolay hâle getirir.

Kısa bir doğrudan ispat zaten varsa, bu yöntem daha az yararlı olabilir. Çelişkiyle ispat geçerli bir yöntemdir, ancak argümanı gereksiz yere uzatmak yerine açıklığa kavuşturmalıdır.

Çalışılmış örnek: neden $\sqrt{2}$ irrasyoneldir?

Klasik bir çelişkiyle ispat, $\sqrt{2}$'nin irrasyonel olduğunu gösterir.

Önce tersini varsayalım:

$$\sqrt{2} \text{ rasyoneldir.}$$

Bu doğru olsaydı, $\sqrt{2}$ şu şekilde yazılabilirdi:

$$\sqrt{2} = \frac{a}{b}$$

burada $a$ ve $b$ tam sayılardır, $b \neq 0$ ve kesir en sade hâldedir.

Şimdi her iki tarafın karesini alalım:

$$2 = \frac{a^2}{b^2}$$

dolayısıyla

$$a^2 = 2b^2.$$

Bu, $a^2$'nin çift olduğunu söyler. Bu da $a$'nın da çift olmasını zorunlu kılar; çünkü tek bir tam sayının karesi tektir. O hâlde

$$a = 2k$$

yazabiliriz; burada $k$ bir tam sayıdır.

Bunu $a^2 = 2b^2$ içine yerleştirelim:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Şimdi $b^2$ çifttir, dolayısıyla $b$ de çifttir.

Ama artık hem $a$ hem de $b$ çifttir. Bu, ikisinin de $2$ ile bölünebildiği anlamına gelir; bu da $\frac{a}{b}$ kesrinin zaten en sade hâlde olduğu varsayımıyla çelişir.

Öyleyse başlangıçtaki varsayım yanlıştı. Sonuç olarak $\sqrt{2}$ irrasyoneldir.

Neden bu çelişki belirleyicidir?

Buradaki çelişki sadece “bir şeyler yanlış gibi görünüyor” türünden değildir. Oldukça nettir:

1. Varsayım, $\sqrt{2} = \frac{a}{b}$ ve bu kesrin en sade hâlde olduğunu söyler.
2. Cebirsel işlemler, hem $a$'nın hem de $b$'nin çift olması gerektiğini gösterir.
3. Bir kesir hem en sade hâlde olup hem de payı ile paydası $2$ ile bölünebilir olamaz.

Çelişki tam olarak bu doğrudan çatışmadır.

Çelişkiyle ispatta yaygın hatalar

Yaygın hatalardan biri, tersini fazla belirsiz biçimde varsaymaktır. Benzer görünen yakın bir ifadeyi değil, önermenin gerçek olumsuzlamasını kullanmanız gerekir.

Bir başka hata, geçersiz bir cebir adımı yüzünden çelişkiye ulaşmaktır. Böyle bir durumda çelişki, yalnızca cebirin yanlış yapıldığını gösterir; özgün önermenin doğru olduğunu değil.

Üçüncü bir hata da hangi gerçekle çelişildiğini açıkça belirtmemektir. İyi ispatlar çatışmayı açık eder: bir çiftlik-tekli kuralı, bir tanım, bir minimallik koşulu veya daha önce ispatlanmış bir teorem.

Ayrıca zayıf akıl yürütmeyi “bu bir çelişkidir” ifadesinin arkasına saklamak da kolaydır. Hangi kesin gerçeğin bozulduğunu gösteremiyorsanız, ispat büyük olasılıkla eksiktir.

Basit bir çelişkiyle ispat şablonu

Başlangıç düzeyindeki birçok ispatta yapı şöyledir:

1. Önermenin yanlış olduğunu varsayın.

2. Bu varsayımı somut bir biçime dönüştürün.

3. Sonuçları adım adım ilerletin.

4. Bilinen bir gerçekle çelişkiye ulaşın.

5. Özgün önermenin doğru olduğu sonucuna varın.

6. adım zayıfsa, ispat genellikle belirsiz kalır. En güçlü çelişkiyle ispatlar, olumsuzlamayı çok somut bir şeye dönüştürmekten doğar.

Benzer bir çelişkiyle ispat deneyin

“En küçük pozitif rasyonel sayı yoktur” önermesini deneyin. Böyle bir sayı olduğunu varsayın, ona $r$ deyin ve $\frac{r}{2}$ için ne olduğuna bakın. Benzer bir ispatta akıl yürütmenizi adım adım kontrol etmek isterseniz, kendi çözümünüzü GPAI Solver’da deneyip her iddiayı ulaşmayı hedeflediğiniz çelişkiyle karşılaştırın.