İspat ve niceleyiciler Ders Notu

9. Sınıf Matematik: İspat ve Niceleyiciler 🧐

Matematikte bir önermenin doğruluğunu veya yanlışlığını gösterme sürecine ispat denir. İspatlar, mantıksal çıkarımlar zinciriyle bir önermenin temel aksiyomlardan veya daha önce ispatlanmış teoremlerden yola çıkılarak nasıl elde edildiğini gösterir. Bu, matematiğin temel taşlarından biridir ve sadece doğruluğu bilinen şeyleri değil, neden doğru olduklarını da anlamamızı sağlar.

Temel İspat Yöntemleri

9. sınıf düzeyinde karşılaşılan ispat yöntemleri genellikle şunlardır:

• Doğrudan İspat: Bir önermenin doğruluğunu, bilinen gerçeklerden veya tanımlardan yola çıkarak adım adım gösterme yöntemidir.
• Dolaylı İspat (Çelişki Yöntemi): İspatlanmak istenen önermenin tersinin doğru olduğunu varsayarak bir çelişkiye ulaşılır. Elde edilen çelişki, başlangıçtaki varsayımın yanlış olduğunu ve dolayısıyla ispatlanmak istenen önermenin doğru olduğunu gösterir.
• Tümevarım Yoluyla İspat: Özellikle sayılar teorisi ve dizilerle ilgili genellemelerin ispatında kullanılır. Temel adımları şunlardır:
  • Temel Durum (n=1 için doğruluk): Önermenin en küçük doğal sayı değeri (genellikle 1) için doğru olduğunu gösterme.
  • Tümevarım Adımı (n=k iken doğruluk ⇒ n=k+1 iken doğruluk): Önermenin herhangi bir k doğal sayısı için doğru olduğunu varsayarak, k+1 için de doğru olduğunu gösterme.

Niceleyiciler

Niceleyiciler, bir önermenin evrenselliğini veya varlığını belirten sembollerdir. Matematiksel ifadelerin anlamını netleştirmek için kullanılırlar.

• Evrensel Niceleyici (Her / Tüm): Her x elemanı için bir P(x) önermesi doğruysa, bu ∀x, P(x) şeklinde gösterilir. Anlamı "Her x için P(x) doğrudur."
• Varoluşsal Niceleyici (Bazı / En az bir): Öyle bir x elemanı vardır ki P(x) önermesi doğrudur, bu ∃x, P(x) şeklinde gösterilir. Anlamı "En az bir x için P(x) doğrudur."

Niceleyicilerin Olumsuzları

Niceleyicilerin olumsuzları da önemlidir:

• ∀x, P(x) önermesinin olumsuzu ∃x, ¬P(x)'dir. (Her x için P(x) doğru değildir ⇔ Öyle bir x vardır ki P(x) doğru değildir.)
• ∃x, P(x) önermesinin olumsuzu ∀x, ¬P(x)'dir. (Öyle bir x yoktur ki P(x) doğru olsun ⇔ Her x için P(x) doğru değildir.)

Örnekler

Örnek 1 (Doğrudan İspat)

Önerme: İki tek sayının toplamı çift sayıdır.

İspat:

İki tek sayı alalım. Bu sayılar 2k+1 ve 2m+1 şeklinde ifade edilebilir (burada k ve m birer tam sayıdır).

Bu iki sayının toplamını hesaplayalım:

\[ (2k+1) + (2m+1) = 2k + 2m + 2 \] \[ = 2(k+m+1) \]

Elde ettiğimiz sonuç 2'nin bir katı olduğu için çifttir. Dolayısıyla, iki tek sayının toplamı çifttir.

Örnek 2 (Dolaylı İspat)

Önerme: \( \sqrt{2} \) irrasyonel bir sayıdır.

İspat:

Tersini varsayalım: \( \sqrt{2} \) rasyonel bir sayıdır. Bu durumda \( \sqrt{2} \) , p ve q aralarında asal tam sayılar olmak üzere \( \frac{p}{q} \) şeklinde yazılabilir.

\[ \sqrt{2} = \frac{p}{q} \]

Her iki tarafın karesini alalım:

\[ 2 = \frac{p^2}{q^2} \] \[ 2q^2 = p^2 \]

Bu denklem, \( p^2 \)'nin çift olduğunu gösterir. Eğer \( p^2 \) çift ise, p de çift olmalıdır (çünkü tek sayının karesi tektir). O halde p'yi 2k şeklinde yazabiliriz (k bir tam sayıdır).

Bu ifadeyi denklemde yerine koyalım:

\[ 2q^2 = (2k)^2 \] \[ 2q^2 = 4k^2 \] \[ q^2 = 2k^2 \]

Bu denklem de \( q^2 \)'nin çift olduğunu gösterir. Eğer \( q^2 \) çift ise, q da çift olmalıdır.

Sonuç olarak, hem p hem de q çift sayılardır. Bu durum, p ve q'nun aralarında asal olduğu varsayımımızla çelişir. Bu çelişki, başlangıçtaki varsayımımızın yanlış olduğunu gösterir. Dolayısıyla, \( \sqrt{2} \) irrasyonel bir sayıdır.

Örnek 3 (Niceleyiciler)

Önerme A: Her doğal sayı \( x \) için \( x^2 > 0 \)'dır.

Bu önerme ∀x ∈ ℕ, x^2 > 0 şeklinde yazılır. Doğal sayılar kümesinde 0 hariç tüm elemanların karesi pozitiftir. Eğer 0 da doğal sayı kabul edilirse, 0'ın karesi 0'dır ve 0 > 0 doğru değildir. Ancak genellikle doğal sayılar 1'den başlar. Eğer 0 dahil edilirse, önerme yanlış olur.

Önerme B: En az bir tam sayı \( y \) vardır ki \( y^2 = 9 \)'dur.

Bu önerme ∃y ∈ ℤ, y^2 = 9 şeklinde yazılır. Bu önerme doğrudur, çünkü \( y = 3 \) veya \( y = -3 \) tam sayıları için \( y^2 = 9 \) eşitliği sağlanır.

Önerme C: Her tam sayı \( z \) için \( z^2 \ge 0 \)'dır.

Bu önerme ∀z ∈ ℤ, z^2 \ge 0 şeklinde yazılır. Herhangi bir tam sayının karesi (pozitif, negatif veya sıfır) her zaman sıfır veya pozitif olacaktır. Bu nedenle önerme doğrudur.

Önerme D: En az bir doğal sayı \( n \) vardır ki \( n < 5 \)'tir.

Bu önerme ∃n ∈ ℕ, n < 5 şeklinde yazılır. Bu önerme doğrudur, çünkü 1, 2, 3, 4 gibi doğal sayılar bu koşulu sağlar.