Matematiksel varsayım ve önerme; karşıt örnekle çürütme; cebirsel ispat.
Birkaç örnek yeter mi?
“İki çift sayının toplamı her zaman çifttir.” Bunu 2 + 4 = 6, 10 + 8 = 18 gibi örneklerle denedik ve doğru çıktı. Peki bu her zaman doğru mu?
Sonsuz sayıda çift sayı olduğu için hepsini tek tek deneyemeyiz. Birkaç örneğin doğru çıkması bir iddianın her zaman doğru olduğunu göstermez. Matematikte bir iddianın her durumda doğru olduğunu göstermek için ispat yaparız.
- Varsayım: Doğru olduğu düşünülen ama henüz kanıtlanmamış matematiksel iddia.
- Önerme: Doğru ya da yanlış olduğu kesin olarak söylenebilen ifade. “Her zaman”, “hiçbir zaman” gibi kesin ifadeler içerir.
Karşıt örnek: tek bir örnek yıkar
Bir varsayım “her” ya da “her zaman” diyorsa, onu yanlışlamak için tek bir örnek yeterlidir. Bu örneğe karşıt örnek denir.
| Varsayım | Karşıt örnek | Sonuç |
|---|---|---|
| Her çift sayı 4’e tam bölünür. | 6 çifttir ama 4’e bölünmez. | Yanlış |
| İki sayının toplamı, sayıların ikisinden de büyüktür. | 5 + (−7) = −2 | Yanlış |
| İki asal sayının toplamı her zaman tektir. | 2 + 3 = 5 ✓ ama 3 + 5 = 8 | Yanlış |
| Bir sayının karesi her zaman sayının kendisinden büyüktür. | (1/2)² = 1/4 < 1/2 | Yanlış |
💡 Bir varsayımı çürütmek kolay (tek karşıt örnek yeter), ispatlamak zordur (her durum için gösterilmeli).
Cebirsel ispat
Her durumu kapsamak için sayıları harflerle (değişkenlerle) ifade ederiz:
- Bir çift sayı: 2a (a bir tam sayı)
- Bir tek sayı: 2a + 1
- Ardışık üç sayı: n, n + 1, n + 2
İspat: İki çift sayının toplamı çifttir.
- Sayılar 2a ve 2b olsun (a, b tam sayı).
- Toplam: 2a + 2b = 2(a + b)
- a + b bir tam sayıdır; 2 ile çarpılmış bir tam sayı çifttir. ∎
İspat: Ardışık üç sayının toplamı ortadaki sayının 3 katıdır.
- Sayılar n, n + 1, n + 2 olsun.
- Toplam: n + (n + 1) + (n + 2) = 3n + 3 = 3(n + 1)
- n + 1 ortadaki sayıdır; toplam onun 3 katıdır. ∎
Modellerle düşünmek
Cebirsel ispattan önce modeller fikir verir. Bir sayıyı ikili gruplar hâlinde noktalarla gösterelim:
- Çift sayılarda bütün noktalar ikişer eşleşir.
- Tek sayılarda bir nokta açıkta kalır.
- İki tek sayıyı birleştirince açıkta kalan iki nokta birbiriyle eşleşir: tek + tek = çift!
Bunun cebirsel ispatı: (2a + 1) + (2b + 1) = 2a + 2b + 2 = 2(a + b + 1) → çift. ∎
💡 Gauss’un 1’den 100’e kadar toplama yöntemi de bir ispattır: Sayıları baştan ve sondan eşleştirince her çiftin toplamı 101 olur; 50 çift → 50 · 101 = 5050.
Kavramlar
- Varsayım
- Doğru olduğu düşünülen ama henüz ispatlanmamış iddia.
- Önerme
- Doğru ya da yanlış olduğu kesin olarak söylenebilen ifade.
- Karşıt örnek
- Bir varsayımın her zaman doğru olmadığını gösteren tek bir örnek.
- İspat
- Bir önermenin her durumda doğru olduğunu mantıksal adımlarla gösterme.
- Birkaç örnek bir iddiayı ispatlamaz
- Önerme: kesin olarak doğru ya da yanlış ifade
- Karşıt örnek: varsayımı çürüten tek örnek
- Çift sayı 2a, tek sayı 2a + 1
- Ardışık üç sayı: n, n + 1, n + 2
- 1 + 2 + … + n = n(n + 1)/2
Örnek soru ve çözümü
“İki tek sayının çarpımı her zaman tektir.” önermesini cebirsel olarak ispatlayınız.
(2a + 1)(2b + 1) = 4ab + 2a + 2b + 1 = 2(2ab + a + b) + 1. Bu ifade “2 ile çarpılmış bir tam sayı + 1” biçimindedir; yani tektir. ∎
Çözümlü örnekler
1. “Her asal sayı tektir.” varsayımına bir karşıt örnek veriniz. Kolay
Çözüm2 asal sayıdır ama çifttir; varsayım yanlıştır.
2. “Ardışık beş sayının toplamı her zaman 5’in katıdır.” önermesini ispatlayınız. Orta
Çözümn + (n + 1) + (n + 2) + (n + 3) + (n + 4) = 5n + 10 = 5(n + 2). Toplam 5’in katıdır. ∎
3. “Bir tek sayı ile bir çift sayının toplamı her zaman tektir.” önermesini ispatlayınız. Zor
Çözüm(2a + 1) + 2b = 2(a + b) + 1. “2 ile çarpılmış tam sayı + 1” tektir. ∎
Sık yapılan hatalar
- Birkaç örnekte doğru çıkan bir iddiayı ispatlanmış saymak.
- İki çift sayıyı aynı harfle (2a ve 2a) göstermek; bu yalnızca eşit sayıları kapsar. Farklı harfler kullanılmalı: 2a ve 2b.
- Karşıt örneğin bir varsayımı ispatladığını düşünmek; karşıt örnek yalnızca çürütür.
Biliyor muydun?
“2’den büyük her çift sayı iki asal sayının toplamıdır.” (Goldbach Sanısı) 1742’den beri milyarlarca sayıda denendi ve hep doğru çıktı; ama hâlâ kimse ispatlayamadı!