📖 İspat
İspat, 7. Sınıf Matematik dersinin 8. ünitesi "İşlemlerle Cebirsel Düşünme ve Değişimler" içindeki konulardan biri. Ünite oyununda bu konudan 1 soru var. Aşağıda kısa konu anlatımı ve çözümlü 1 örnek soru bulursun. Soruları hemen çözebilirsin — üyelik gerekmez.
📖 İspat konu anlatımı
7 dakikada okunur · 7. Sınıf Matematik
Birkaç örneğin doğru çıkması, bir iddianın her zaman doğru olduğunu göstermeye yetmez. Matematikte bir ifadenin her durumda doğru olduğunu göstermek için ispat yöntemleri kullanılır. İspat cebirsel yapılır: sayıyı harfle gösterip genel bir sonuca varırız. Bir varsayımı çürütmek için ise tek bir karşıt örnek yeterlidir.
❓ Neden örnek yetmez?
"İki çift sayının toplamı her zaman çift sayıdır" diyelim. Birkaç örnek deneyelim:
4 + 6 = 10 -> cift ✓ 12 + 20 = 32 -> cift ✓ 8 + 50 = 58 -> cift ✓
Üçü de tuttu. Ama bütün çift sayıları tek tek deneyemeyiz — sonsuz tane var. Birkaç örnek yalnızca iddiayı destekler, kanıtlamaz.
Varsayım: tüm durumlar için geçerli olduğu düşünülen ama henüz ispatlanmamış matematiksel ifade.
Önerme: doğruluğu ya da yanlışlığı kesin bir hüküm (yargı) bildiren ifade.
Bir ifadenin önerme olabilmesi için taşıdığı yargının her zaman doğru ya da her zaman yanlış olacak biçimde kesinlik taşıması gerekir. Bu yüzden matematiksel önermelerde:
| Kullanılmaz | Kullanılır |
|---|---|
| "bazı durumlarda" | "her zaman" |
| "çoğu zaman" | "tüm" |
| "genellikle" | "herhangi bir" |
"Çift sayıların toplamı genellikle çifttir" bir önerme değildir; belirsizlik içerir.
✍️ Cebirsel ispat
İspatın anahtarı şudur: belirli bir sayı yerine, o türden bütün sayıları temsil eden bir ifade yazmak.
Bir tam sayı 2'nin katı olarak ifade edilebiliyorsa çift sayıdır. O hâlde a herhangi bir tam sayı olmak üzere:
cift sayi = 2a tek sayi = 2a + 1 (ya da 2a - 1)
Önerme: "İki çift sayının toplamı her zaman çift sayıdır."
1. adim: Iki cift sayiyi yaz (a ve b tam sayi olmak uzere):
1. sayi = 2a
2. sayi = 2b
2. adim: Topla:
2a + 2b
3. adim: Ortak carpan parantezine al:
2a + 2b = 2(a + b)
4. adim: Gerekceyi yaz:
a ve b tam sayi oldugu icin (a + b) de tam sayidir.
Sonuc 2 · (bir tam sayi) biciminde, yani 2'nin kati.
O halde CIFT SAYIDIR. ISPATLANDI.Bu ispat neden güçlü? Çünkü a ve b yerine hangi tam sayıyı koysan sonuç değişmez. Tek bir ispat, sonsuz örneği birden kapsar.
Üç çift sayı için de geçerli mi?
2a + 2b + 2c = 2(a + b + c)
(a + b + c) tam sayı olduğundan sonuç yine 2'nin katı → çift sayı. ✓
Diğer önermelerin ispatı:
Iki tek sayinin toplami: (2a + 1) + (2b + 1) = 2a + 2b + 2 = 2(a + b + 1) -> 2'nin kati -> CIFT (iddia "tek" olsaydi YANLIS olurdu) Tek ile cift sayinin toplami: (2a + 1) + 2b = 2a + 2b + 1 = 2(a + b) + 1 -> 2'nin kati + 1 -> TEK Iki tek sayinin carpimi: (2a + 1) · (2b + 1) = 4ab + 2a + 2b + 1 = 2(2ab + a + b) + 1 -> TEK
❌ Karşıt örnek: çürütmek kolaydır
Matematiksel bir varsayımda "her" ifadesi kullanılıyorsa, bu varsayımın yanlış olduğunu göstermek için varsayımı geçersiz kılan tek bir örnek bulmak yeterlidir. Bu tür örneklere karşıt örnek denir.
| Varsayım | Karşıt örnek | Sonuç |
|---|---|---|
| "Her çift sayı 4 ile tam bölünür." | 6 çift ama 4'e bölünmez | Yanlış |
| "İki tek sayının toplamı tektir." | 3 + 5 = 8, çift | Yanlış |
| "Her asal sayı tektir." | 2 asal ama çift | Yanlış |
| "İki sayının toplamı her zaman bu iki sayıdan büyüktür." | 3 + (−3) = 0, 3'ten küçük | Yanlış |
Dikkat çekici bir asimetri var:
"HER ..." iddiasini ISPATLAMAK icin -> cebirsel ispat gerekir (butun durumlar) CURUTMEK icin -> TEK bir karsit ornek yeter "EN AZ BIR ..." iddiasini ISPATLAMAK icin -> TEK bir ornek yeter CURUTMEK icin -> butun durumlari incelemek gerekir
Örnek: "En az bir çift asal sayı vardır" önermesinin doğruluğu yalnızca 2 sayısını göstermekle ispatlanır, çünkü 2 hem çift hem asaldır. Buna karşın bu önermenin yanlış olduğunu göstermek için çift ve asal olabilecek bütün sayıları incelemek gerekirdi.
⚠️ Geçerlilik koşulu belirtmek
Bazı varsayımlar yalnızca belirli durumlarda geçerlidir. Bu yüzden bir ifadenin hangi koşullarda geçerli olduğunu açıkça belirtmek gerekir.
Örnek: "İki sayının toplamı her zaman bu iki sayıdan büyüktür."
Pozitif tam sayilarda: 5 + 3 = 8 -> 8 > 5 ve 8 > 3 ✓ 12 + 7 = 19 -> 19 > 12 ve 19 > 7 ✓ Negatif sayi girince: 3 + (-3) = 0 -> 0 < 3 ✗ 5 + (-7) = -2 -> -2 < 5 ✗
→ Bu ifade pozitif tam sayılar için her zaman doğrudur, ama negatif sayılarla toplama yapıldığında her zaman doğru olmaz.
Düzeltilmiş hâli: "Pozitif iki sayının toplamı, bu iki sayıdan da büyüktür."
Bir varsayımı üç biçimde sınıflandırabiliriz:
| Sınıf | Ne yapılır? |
|---|---|
| Her zaman doğru | Cebirsel olarak ispatlanır |
| Bazen doğru | Koşul eklenerek "her zaman doğru" hâle getirilir |
| Hiçbir zaman doğru değil | Karşıt örnekle çürütülür; gerekirse tersi ispatlanır |
Örnek düzeltmeler:
"Iki tek sayinin toplami tektir"
-> HICBIR ZAMAN dogru degil
-> Dogrusu: "Iki tek sayinin toplami CIFTTIR"
"Uc ardisik sayinin toplami tektir"
-> BAZEN dogru (1+2+3 = 6 cift; 2+3+4 = 9 tek)
-> Dogrusu: "Uc ardisik sayinin toplami, ortadaki
sayinin 3 katina esittir" (her zaman dogru) 🧩 Örnekle anlayalım
"Üç ardışık tam sayının toplamı her zaman 3'ün katıdır" önermesini (a) üç örnekle test ediniz, (b) cebirsel olarak ispatlayınız. (c) "Üç ardışık tam sayının toplamı her zaman çift sayıdır" önermesi doğru mudur? Bir karşıt örnek bulunuz.
Çözümü göster
(a) Örneklerle test edelim.
4 + 5 + 6 = 15 -> 15 : 3 = 5 ✓ 3'un kati 9 + 10 + 11 = 30 -> 30 : 3 = 10 ✓ 3'un kati -2 + -1 + 0 = -3 -> -3 : 3 = -1 ✓ 3'un kati
Üçü de tuttu. Ama bu yalnızca destekler, ispat değildir. Sonsuz tane ardışık üçlü var.
(b) Cebirsel ispat.
1. adim: Uc ardisik tam sayiyi yaz.
Ortadaki sayiya n diyelim (n tam sayi):
1. sayi = n - 1
2. sayi = n
3. sayi = n + 1
2. adim: Topla:
(n - 1) + n + (n + 1)
3. adim: Sadelestir:
n - 1 + n + n + 1 = 3n
(-1 ile +1 birbirini goturur)
4. adim: Gerekce:
n tam sayi oldugu icin 3n, 3'un katidir.
ISPATLANDI.Üstelik bir bonus bilgi çıktı: toplam 3n, yani ortadaki sayının 3 katına eşit. Kontrol: 4+5+6 = 15 = 3 · 5 ✓ (ortadaki 5)
İlk sayıya a dersek de aynı sonuca varırız:
a + (a+1) + (a+2) = 3a + 3 = 3(a + 1) (a + 1) tam sayi oldugundan sonuc 3'un kati ✓
(c) "Toplam her zaman çift sayıdır" doğru mu?
İfadede "her zaman" geçtiği için çürütmek için tek bir karşıt örnek yeter.
4 + 5 + 6 = 15 15 : 2 = 7 kalan 1 -> 15 TEK sayidir
→ Karşıt örnek: 4, 5, 6. Toplamları 15 ve bu bir tek sayıdır.
Önerme yanlıştır.
Neden bazen çift, bazen tek çıkıyor? İspattan gelen sonucu kullanalım: toplam 3n'dir.
n cift ise -> 3n cift (ornek: n=5 degil, n=10 -> 30 cift) n tek ise -> 3n tek (ornek: n=5 -> 15 tek)
Yani toplamın tek ya da çift olması ortadaki sayıya bağlıdır. Doğru önerme şöyle kurulur:
"Uc ardisik tam sayinin toplami, ortadaki sayinin 3 katina esittir." -> HER ZAMAN dogru
⚠️ Sık yapılan hatalar
- “Birkaç örnek doğru çıkarsa iddia ispatlanmış olur” yanlıştır. Örnekler iddiayı destekler, kanıtlamaz. "Her" diyen bir iddia ancak cebirsel ispatla kanıtlanır.
- “Çürütmek için de bütün durumları incelemek gerekir” yanlıştır. "Her" iddiasını çürütmek için tek bir karşıt örnek yeterlidir: 6 sayısı, "her çift sayı 4'e bölünür" iddiasını çürütür.
- “En az bir” önermeleri de çok örnek gerektirir” yanlıştır. "En az bir" önermesini ispatlamak için tek bir örnek yeter (2 sayısı, "en az bir çift asal vardır"ı ispatlar); çürütmek için ise bütün durumlar incelenmelidir.
- “Çift sayıyı a ile göstermek” eksiktir. Çift sayı 2a, tek sayı 2a + 1 biçiminde yazılmalıdır; yoksa ifadenin çift ya da tek olduğu gösterilemez.
- “Geçerlilik koşulunu belirtmemek.” "İki sayının toplamı ikisinden de büyüktür" ifadesi yalnızca pozitif sayılar için doğrudur; negatiflerde bozulur. Koşul mutlaka yazılır.
- “Önermede belirsiz ifade kullanmak.” "Genellikle", "bazı durumlarda" gibi ifadeler taşıyan cümleler önerme değildir; "her zaman", "tüm", "herhangi bir" gibi genelleyici ifadeler kullanılır.
✏️ İspat soruları
Şıkka dokun, doğru mu yanlış mı hemen gör; altında çözümü çıkar. Üyelik gerekmez.
1. Ardışık iki çift sayı 2n ve 2n + 2 ile gösterilir. Bu sayıların toplamının her zaman çift olduğunu hangisi gösterir?
Toplam 2 ile çarpılmış bir sayı olarak yazılabiliyorsa çifttir. 4n + 2 = 2(2n + 1) olduğu için n ne olursa olsun toplam çifttir.
Cevabı ve çözümü göster
Cevap: 2n + (2n + 2) = 4n + 2 = 2(2n + 1)
Toplam 2 ile çarpılmış bir sayı olarak yazılabiliyorsa çifttir. 4n + 2 = 2(2n + 1) olduğu için n ne olursa olsun toplam çifttir.
📝 Bu konu hangi yazılıda çıkar?
Ünitenin yıl içindeki yerine göre genellikle şu yazılılarda sorulur. Okulunun konu dağılımı farklı olabilir.