Deneme yöntemi ile ispat Test 3

🎓 Deneme yöntemi ile ispat Test 3 - Ders Notu

Bu ders notu, "Deneme yöntemi ile ispat Test 3" sınavında karşılaşacağın temel ispat yöntemlerini ve mantığını anlaşılır bir dille özetler. Amacımız, matematiksel ifadelerin doğruluğunu kanıtlama becerini geliştirmektir.

📌 İspat Nedir?

İspat, bir matematiksel ifadenin veya önermenin doğru olduğunu, mantıksal adımlar ve bilinen aksiyomlar, tanımlar veya daha önce ispatlanmış teoremler yardımıyla gösterme sürecidir. Matematikte her iddia, geçerli bir ispatla desteklenmelidir.

• Önerme (İfade): Doğru veya yanlış kesin bir değeri olan cümledir. (Örn: "2 tek sayıdır" - Yanlış bir önerme.)
• Aksiyom (Belit): Doğruluğu apaçık kabul edilen ve ispata ihtiyaç duyulmayan temel gerçeklerdir.
• Teorem: İspat yoluyla doğruluğu gösterilmiş önemli matematiksel ifadelerdir.

💡 İpucu: İspat yaparken, her adımının mantıksal olarak doğru ve bir önceki adımdan türetilebilir olduğundan emin olmalısın. Zincirin halkaları gibi düşün!

📌 Doğrudan İspat Yöntemi

En sık kullanılan ispat yöntemidir. Bir $P \implies Q$ (P ise Q) şeklindeki önermenin doğruluğunu göstermek için, $P$ önermesinin doğru olduğunu kabul ederiz ve mantıksal adımlarla $Q$ önermesinin de doğru olduğunu gösteririz.

• Adım 1: İspatlamak istediğin $P \implies Q$ önermesini net bir şekilde anla.
• Adım 2: $P$ önermesinin doğru olduğunu kabul et (varsayım).
• Adım 3: $P$'den başlayarak, bilinen tanımlar, aksiyomlar ve teoremleri kullanarak adım adım $Q$'ya ulaş.

Örnek: İki tek sayının toplamının da çift sayı olduğunu ispatlayalım.

• Varsayım ($P$): $a$ ve $b$ tek sayılardır.
• Hedef ($Q$): $a+b$ çift sayıdır.
• İspat:
  • Eğer $a$ ve $b$ tek sayılarsa, $a = 2k+1$ ve $b = 2m+1$ şeklinde yazılabilirler (burada $k, m$ tam sayılardır).
  • $a+b = (2k+1) + (2m+1)$
  • $a+b = 2k + 2m + 2$
  • $a+b = 2(k+m+1)$
  • $k+m+1$ bir tam sayı olduğu için, $2(k+m+1)$ ifadesi çift sayının tanımına uyar.
  • Dolayısıyla, $a+b$ bir çift sayıdır.

⚠️ Dikkat: Doğrudan ispatta, varsayımlarından dışarı çıkmamalı ve sonuca doğrudan ulaşmalısın.

📌 Çelişki Yöntemiyle İspat (Dolaylı İspat)

Bu yöntemde, ispatlamak istediğin önermenin (Q) aksini (yani $\neg Q$ 'yu) doğru kabul edersin. Eğer bu kabul, bilinen bir gerçekle veya başlangıçtaki varsayımlarla ($P$) bir çelişki yaratıyorsa, o zaman ilk kabulün ($\neg Q$) yanlış demektir, dolayısıyla ispatlamak istediğin önerme ($Q$) doğru olmalıdır.

• Adım 1: İspatlamak istediğin $P \implies Q$ önermesinin doğru olmadığını, yani $P \land \neg Q$ olduğunu varsay.
• Adım 2: Bu varsayımdan yola çıkarak mantıksal adımlarla bir çelişkiye ulaş. (Örn: $R \land \neg R$ gibi.)
• Adım 3: Ulaşılan çelişki, başlangıçtaki varsayımının ($P \land \neg Q$) yanlış olduğunu gösterir. Bu da $P \implies Q$ önermesinin doğru olduğu anlamına gelir.

Örnek: $\sqrt{2}$ sayısının rasyonel olmadığını (irrasyonel olduğunu) ispatlayalım.

• Varsayım: $\sqrt{2}$ rasyonel bir sayıdır.
• İspat:
  • Eğer $\sqrt{2}$ rasyonel ise, $\sqrt{2} = \frac{a}{b}$ şeklinde yazılabilir (burada $a, b$ aralarında asal tam sayılar ve $b \neq 0$).
  • Her iki tarafın karesini alırsak: $2 = \frac{a^2}{b^2} \implies 2b^2 = a^2$.
  • Bu, $a^2$'nin çift sayı olduğu anlamına gelir. Eğer $a^2$ çift ise, $a$ da çift olmalıdır (doğrudan ispatla gösterilebilir).
  • $a$ çift olduğu için, $a = 2k$ şeklinde yazabiliriz ($k$ bir tam sayıdır).
  • $2b^2 = (2k)^2 \implies 2b^2 = 4k^2 \implies b^2 = 2k^2$.
  • Bu da $b^2$'nin çift sayı olduğu anlamına gelir. Eğer $b^2$ çift ise, $b$ de çift olmalıdır.
  • Sonuç olarak, hem $a$ hem de $b$ çift sayıdır. Ancak başlangıçta $a$ ve $b$'nin aralarında asal olduğunu varsaymıştık (yani 1'den başka ortak bölenleri yoktu). Hem $a$ hem de $b$'nin çift olması, 2'nin ortak bölenleri olduğu anlamına gelir.
  • Bu durum, $a$ ve $b$'nin aralarında asal olduğu varsayımıyla çelişir.
  • Dolayısıyla, başlangıçtaki varsayımımız ($\sqrt{2}$ rasyoneldir) yanlıştır. O halde $\sqrt{2}$ irrasyoneldir.

💡 İpucu: Çelişki ispatı, doğrudan ispatın zor olduğu durumlarda çok güçlü bir araçtır. Unutma, amacın bir çelişki bulmak!

📌 Karşıt Ters Yöntemiyle İspat

Bu yöntem, $P \implies Q$ önermesinin, onun karşıt tersi olan $\neg Q \implies \neg P$ önermesine mantıksal olarak denk olduğu gerçeğine dayanır. Yani, $P \implies Q$ yerine $\neg Q \implies \neg P$ önermesini ispatlarsın.

• Adım 1: İspatlamak istediğin $P \implies Q$ önermesini belirle.
• Adım 2: Bu önermenin karşıt tersini yaz: $\neg Q \implies \neg P$.
• Adım 3: $\neg Q$'yu doğru kabul et ve doğrudan ispat yöntemini kullanarak $\neg P$'ye ulaş.

Örnek: Eğer $n^2$ çift sayı ise, $n$ de çift sayıdır önermesini ispatlayalım.

• Orijinal Önerme ($P \implies Q$): Eğer $n^2$ çift ise, $n$ çifttir.
• Karşıt Tersi ($\neg Q \implies \neg P$): Eğer $n$ tek sayı ise, $n^2$ tek sayıdır.
• İspat (Karşıt Tersi Üzerinden):
  • Varsayım ($\neg Q$): $n$ bir tek sayıdır.
  • Eğer $n$ tek ise, $n = 2k+1$ şeklinde yazılabilir ($k$ bir tam sayıdır).
  • $n^2 = (2k+1)^2$
  • $n^2 = 4k^2 + 4k + 1$
  • $n^2 = 2(2k^2 + 2k) + 1$
  • $2k^2 + 2k$ bir tam sayı olduğu için, $2(2k^2 + 2k) + 1$ ifadesi tek sayının tanımına uyar.
  • Dolayısıyla, $n^2$ bir tek sayıdır ($\neg P$).
• Karşıt ters önermenin doğru olduğunu ispatladığımıza göre, orijinal önerme de doğrudur.

⚠️ Dikkat: Karşıt ters ispatı, doğrudan ispatın karmaşık göründüğü durumlarda, önermenin olumsuz halleriyle çalışmanın daha kolay olduğu zamanlarda tercih edilir.

📌 Aksine Örnekle Çürütme Yöntemi

Bu yöntem, genellikle "her zaman böyledir" veya "tüm X'ler Y'dir" gibi genel bir ifadenin yanlış olduğunu göstermek için kullanılır. Bir ifadenin yanlış olduğunu kanıtlamak için, o ifadenin geçerli olmadığı tek bir örnek (aksine örnek) bulmak yeterlidir.

• Adım 1: Çürütmek istediğin genel ifadeyi netleştir.
• Adım 2: Bu ifadeyi geçersiz kılan, yani ifadenin koşullarını sağladığı halde sonucunu sağlamayan tek bir örnek bul.

Örnek: "Tüm asal sayılar tek sayıdır" önermesini çürütelim.

• İfade: Tüm asal sayılar tek sayıdır.
• Aksine Örnek: $2$ sayısı bir asal sayıdır. Ancak $2$ tek sayı değil, çift sayıdır.
• Bu tek örnek, "Tüm asal sayılar tek sayıdır" genel ifadesinin yanlış olduğunu kanıtlar.

💡 İpucu: Bir ifadenin doğru olduğunu aksine örnekle gösteremezsin, sadece yanlış olduğunu gösterebilirsin. Bir iddiayı çürütmek için en hızlı yoldur!

📌 Durum İncelemesi Yöntemiyle İspat (Tükenmez İspat)

Bir ifadenin doğruluğunu göstermek için, ilgili tüm olası durumları (sonlu sayıda olmalı) ayrı ayrı inceleyip her bir durum için ifadenin doğru olduğunu kanıtlama yöntemidir.

• Adım 1: İspatlamak istediğin önermeyi ve kapsadığı tüm olası durumları belirle. Bu durumlar birbirini dışlamalı ve hepsini kapsamalıdır.
• Adım 2: Her bir durumu ayrı ayrı ele al ve bu durum için önermenin doğru olduğunu ispatla (genellikle doğrudan ispat kullanılır).
• Adım 3: Tüm durumlar için ispat tamamlandığında, genel önermenin doğru olduğu sonucuna varılır.

Örnek: Herhangi bir tam sayının karesinin, 4'e bölündüğünde kalanının 0 veya 1 olduğunu ispatlayalım.

• İfade: Her $n \in \mathbb{Z}$ için, $n^2 \pmod{4}$ ya $0$'dır ya da $1$'dir.
• Olası Durumlar: Bir tam sayı $n$, 4'e bölündüğünde 0, 1, 2 veya 3 kalanını verebilir. Yani $n$ şu formlarda olabilir: $4k$, $4k+1$, $4k+2$, $4k+3$ ($k \in \mathbb{Z}$).
• İspat:
  • Durum 1: $n = 4k$
    • $n^2 = (4k)^2 = 16k^2 = 4(4k^2)$.
    • Bu durumda $n^2$, 4'e tam bölünür, yani $n^2 \pmod{4} = 0$.
  • Durum 2: $n = 4k+1$
    • $n^2 = (4k+1)^2 = 16k^2 + 8k + 1 = 4(4k^2 + 2k) + 1$.
    • Bu durumda $n^2$, 4'e bölündüğünde 1 kalanını verir, yani $n^2 \pmod{4} = 1$.
  • Durum 3: $n = 4k+2$
    • $n^2 = (4k+2)^2 = 16k^2 + 16k + 4 = 4(4k^2 + 4k + 1)$.
    • Bu durumda $n^2$, 4'e tam bölünür, yani $n^2 \pmod{4} = 0$.
  • Durum 4: $n = 4k+3$
    • $n^2 = (4k+3)^2 = 16k^2 + 24k + 9 = 4(4k^2 + 6k + 2) + 1$.
    • Bu durumda $n^2$, 4'e bölündüğünde 1 kalanını verir, yani $n^2 \pmod{4} = 1$.
• Tüm olası durumlar için $n^2$'nin 4'e bölündüğünde kalanının 0 veya 1 olduğu gösterildi.

⚠️ Dikkat: Durum incelemesi yaparken, tüm olası durumları kapsadığından ve durumların birbirini tekrar etmediğinden emin olmalısın. Hiçbir durumu atlamamalısın!

📝 **Özetle:** İspat yöntemleri, matematiksel düşünmenin temelidir. Her bir yöntemin ne zaman ve nasıl kullanılacağını anlamak, problem çözme becerini büyük ölçüde geliştirecektir. Başarılar dilerim!