Matematikteki En Yaygın Kanıtlama Örnekleri

Matematikte ve mantıkta bir iddianın doğruluğunu göstermek, sadece "bakın bu birkaç örnekte çalışıyor" demekten çok daha fazlasıdır. Kanıtlar, evrensel doğruları inşa ettiğimiz sarsılmaz tuğlalardır.

​İşte en yaygın ve güçlü kanıtlama yöntemleri, arkalarındaki mantık ve örnekleri:

1. Doğrudan Kanıt (Direct Proof)

En yalın ve doğrusal yöntemdir. Doğru olduğunu bildiğimiz aksiyomlar, tanımlar veya daha önce kanıtlanmış teoremlerden yola çıkarak, mantık zinciriyle adım adım hedefteki sonuca (p --> q) ulaşırız.

• İddia: Eğer n bir çift tamsayı ise, n^2 de bir çift tamsayıdır.

• Kanıt: 

2. Olmayana Ergi / Çelişki İle Kanıt (Proof by Contradiction)

Matematikteki en zarif "ters psikoloji" yöntemidir. Bir iddianın doğru olduğunu kanıtlamak için, iddianın yanlış olduğunu varsayarız. Eğer bu varsayım bizi mantıksal bir imkansızlığa (çelişkiye) götürürse, ilk varsayımımızın hatalı olduğunu, yani iddianın aslında doğru olması gerektiğini anlarız.

• İddia: Kök 2 rasyonel bir sayı değildir (irrasyoneldir).

• Kanıt: 

​3. Karşıt Ters Kanıtı (Proof by Contraposition)

Mantıkta p --> q önermesi, her zaman karşıt tersi olan q' --> p' (q değilse p de değildir) önermesine denktir. Bazen bir iddiayı düzden kanıtlamak karmaşıktır; biz de etrafından dolanıp karşıt tersini kanıtlarız.

• İddia: Eğer n^2 bir çift tamsayı ise, n de bir çift tamsayıdır. (n tam sayı olmak üzere)

• Karşıt Tersi: Eğer n bir çift sayı değilse (yani tek sayıysa), n^2 de bir çift sayı değildir (tek sayıdır).

• Kanıt:

4. Matematiksel Tümevarım (Mathematical Induction)

Bu yöntem ardışık sonsuz adımı olan durumları veya formülleri kanıtlamak için kullanılır. Mantığı bir domino etkisine benzer: İlk dominoyu devirirsiniz ve her dominonun bir sonrakini devireceğini kanıtlarsınız.

İki aşamadan oluşur:

​1. Taban Adımı: İddianın n = 1 (veya başlangıç adımı) için doğru olduğunu göster.

2. ​Tümevarım Adımı: İddianın n = k için doğru olduğunu varsay ve bu varsayımı kullanarak n = k+1 için de doğru olduğunu kanıtla.

5. Aksine Örnek Verme (Proof by Counterexample)

Herhangi bir iddiayı toptan çürütmek için kullanılan en kestirme yöntemdir. "Her X için bu kural geçerlidir" gibi kapsayıcı bir önermeyi yıkmak için, kurala uymayan tek bir örnek göstermeniz yeterlidir.

İddia: "Tüm asal sayılar tek sayıdır."

​Aksine Örnek: 2 sayısı bir asal sayıdır ancak çifttir. İddia tek bir örnekle tamamen çökmüştür.

Gerçeklik - Zihin