Net Upİspat ve algoritma, Maarif Modeli ile 7. sınıfa yeni gelen bir konu. Mantığı şu: matematikte bir şeyin doğru olduğunu söylemek yetmez, her durumda doğru olduğunu göstermek gerekir. Bu sayfada harfle ispat yapmayı, tek bir karşı örnekle iddia çürütmeyi ve bir problemi adım adım algoritmaya dökmeyi çalışacağız.
1. Matematiksel ispat nedir?
Buradaki kritik kelime her durumda. Üç örnekte doğru çıkması bir ispat değildir; ispat, sonsuz sayıda durumun tamamını kapsar. Bunu sağlamanın yolu da sayı yerine harf kullanmaktır.
| Kavram | Ne işe yarar |
|---|---|
| Sanı (varsayım) | Doğru olduğu düşünülen, henüz ispatlanmamış iddia |
| İspat | İddianın her durumda doğru olduğunu gösterir |
| Karşı örnek | İddianın yanlış olduğunu tek bir örnekle gösterir |
| Genel terim | Tüm durumları temsil eden harfli gösterim (n, 2n, 2n+1 gibi) |
2. Genel gösterimler: harfle konuşmak
İspatın tamamı, doğru gösterimi seçmekle başlar. Aşağıdaki tablo, 7. sınıfta karşına çıkacak her ispatın anahtarı:
| İfade | Genel gösterim |
|---|---|
| Herhangi bir tam sayı | n |
| Çift sayı | 2n |
| Tek sayı | 2n + 1 |
| Ardışık iki tam sayı | n , n + 1 |
| Ardışık üç tam sayı | n − 1 , n , n + 1 |
| 3'ün katı olan sayı | 3n |
3. Doğrudan ispat
En yaygın yöntem: iddiayı harfle yaz, işlemi yap, sonucun istenen biçimde olduğunu göster.
İspat tamamlandı. Dikkat: burada hiçbir sayı denemedik; n hangi tam sayı olursa olsun sonuç geçerli.
İspat tamamlandı.
İspat tamamlandı. İki farklı tek sayı için iki farklı harf (a ve b) kullanmak zorunlu; ikisine de n dersen yalnızca eşit tek sayıları ispatlarsın.
4. Karşı örnekle çürütme
Bir iddianın yanlış olduğunu göstermek için onu bozan tek bir örnek bulman yeter. Bu örneğe karşı örnek denir.
Karşı örnek: 9 — ilk üç denemenin doğru çıkması hiçbir şey ispatlamıyordu.
Karşı örnek: 2 — 2, tek çift asal sayıdır.
Karşı örnek: 2 ve 4
5. Algoritma nedir?
Algoritmanın üç bileşeni var: girdi → işlem → çıktı.
6. Adım adım bir algoritma: OBEB bulma
Aynı işi tekrar tekrar yapan algoritmalara örnek: iki sayının en büyük ortak bölenini bulma. Büyük sayıdan küçüğün katlarını çıkararak ilerliyoruz.
OBEB(48, 18) = 6
7. Sınavda nasıl sorulur?
- İspat tamamlama: İspatın ilk adımı verilir, devamı istenir. Genel gösterimi bilmek yeterli.
- Karşı örnek bulma: Yanlış bir iddia verilir, çürütmen istenir. Küçük sayılarla denemeye başla; genelde 0, 1, 2 veya 9 işi çözer.
- Algoritma sıralama: Karışık verilen adımların doğru sırası sorulur. Girdi–işlem–çıktı mantığına bak.
- Algoritma yazma: "Bir sayının 3'ün katı olup olmadığını bulan algoritmayı yazınız" tipinde. Adımları numaralandır ve "Başla / Bitir" yaz.
8. Sık yapılan hatalar
- Örnek vermeyi ispat sanmak. Üç sayıda denemek ispat değildir; harfle genel gösterim şart.
- İki farklı sayıya aynı harfi vermek. İki tek sayı için 2a+1 ve 2b+1 yazılır; ikisi de 2n+1 olursa sayılar eşit varsayılır.
- İspatın son adımını yazmamak. 3n bulup durmak yetmez; "bu, 3'ün katının gösterimidir" cümlesi ispatı tamamlar.
- Çürütmek için genel ispat aramak. Yanlış iddiayı bozmak için tek karşı örnek yeter, uğraşma.
- Algoritmada girdiyi belirtmemek. Hangi bilgiyle başlandığı yazılmazsa algoritma eksik sayılır.
- Algoritmayı sonsuz bırakmak. Her algoritma sonlu adımda bitmelidir; "Bitir" adımı olmalı.
9. 8. sınıfta bu nereye bağlanıyor?
Bu konu LGS'de doğrudan sorulmuyor; ama 8. sınıfta cebirsel ifadeler ve özdeşlikler bunun üzerine kuruluyor. Özdeşlik zaten "her değer için doğru olan eşitlik" demektir — yani ispatlanmış bir iddia. 8. sınıfta özdeşliklerin neden doğru olduğunu gösterirken tam olarak bu sayfadaki doğrudan ispat yöntemini kullanacaksın.
Kontrol adımı ispatın yerine geçmez, sadece hata aramaya yarar. İspat, harfli satırların kendisi.
10. Kendini test et
- Ardışık iki tam sayının toplamının tek olduğunu ispatlayınız.
- Ardışık üç tam sayının toplamının 3'ün katı olduğunu ispatlayınız.
- "Her tek sayı asaldır" iddiasını çürüten bir karşı örnek veriniz.
- "Bütün asal sayılar tektir" iddiasını çürütünüz.
- Üç sayının aritmetik ortalamasını bulan algoritmanın adımlarını yazınız.
- 48 ile 18 sayılarının OBEB'ini adım adım bulunuz.
Cevapları göster
Sık sorulan sorular
İspat ve algoritma neden yeni bir konu?
Türkiye Yüzyılı Maarif Modeli ile matematik programına eklendi. Amaç, sonucu bulmakla yetinmeyip neden doğru olduğunu gösterme ve çözümü adımlara ayırma becerisini kazandırmak. Eski soru bankalarında bu başlık bulunmaz.
Örnek vermek ispat sayılır mı?
Sayılmaz. On örnekte doğru çıkan bir iddia on birincide yanlış çıkabilir. İspat için genel gösterim (n, 2n, 2n+1 gibi) kullanıp her durumu kapsaman gerekir.
Karşı örnek kaç tane olmalı?
Bir tane yeter. Bir iddiayı çürütmek için onu bozan tek bir durum göstermek matematiksel olarak yeterlidir.
Algoritma ile matematik işleminin farkı nedir?
İşlem tek bir hesabı yapar; algoritma ise hangi hesabın hangi sırayla ve hangi koşulda yapılacağını tanımlar. Algoritmanın sonlu adımda bitmesi ve her adımın tek anlamlı olması zorunludur.
Konuyu öğrendin. Şimdi soru çöz.
İspat ve algoritmada beceri, farklı iddialar üzerinde çalışarak gelişiyor. Net Up'ı ücretsiz indir: seviyene göre soru gelir, yanlışların hata defterine düşer, çözünce silinir. Türkçe ve Matematik'te binlerce soru, günlük seri ve lig — hepsi bedava.
