Matematiksel Dedektiflik: Sayıların Sırrını Kanıtlamak

Matematikte Dedektif Olmaya Ne Dersin?

Günlük hayatta bir olayın doğruluğuna inanmak için kanıt ararız. Matematikte de bir kuralın her zaman işe yaradığını söyleyebilmek için onu sadece tahmin etmek yetmez, kesin olarak kanıtlamamız gerekir. Buna matematiksel ispat diyoruz. İspat yapmak, bir iddianın (varsayımın) hiçbir şüpheye yer bırakmayacak şekilde doğru olduğunu göstermektir.

Bir İddia Ortaya Atalım (Varsayım Oluşturma)

Doğru olduğunu düşündüğümüz ama henüz kanıtlamadığımız fikirlere varsayım (hipotez) deriz. Gelin sayılarla ilgili bir iddia ortaya atalım. Örneğin, iki tek sayıyı toplarsak sonuç ne olur? Bir varsayımda bulunalım: İki tek sayının toplamı her zaman bir tek sayıdır.

Varsayımımızı Test Edelim

Hemen iddiamızı birkaç örnekle deneyelim. 3 ve 5 birer tek sayıdır. Onları toplayalım:

Eyvah! 8 bir çift sayıdır. Demek ki ortaya attığımız ilk iddia doğru değilmiş. Matematikte bir kuralın veya iddianın yanlış olduğunu göstermek için o kurala uymayan sadece bir tane örnek bulmak yeterlidir. Bulduğumuz bu zıt örneğe tersine örnek diyoruz.

O halde tersine örneğimizi gördükten sonra varsayımımızı değiştirelim ve düzeltelim: İki tek sayının toplamı her zaman çift sayıdır. Başka sayılarla da kontrol edelim:

İşte şimdi doğru yoldayız! Bunu noktalarla görselleştirirsek, tek sayıları ikişerli grupladığımızda her zaman bir nokta dışarıda kalır. İki tek sayıyı topladığımızda, dışarıda kalan o yalnız noktalar birleşerek bir çift oluşturur ve tüm sayı tam eşleşmiş (çift sayı) olur. Aşağıdaki görseli inceleyelim:

Ardışık Sayıların Gizemi

Şimdi başka bir sayı örüntüsüne bakalım. Ardışık 3 doğal sayıyı (örneğin arka arkaya gelen 4, 5 ve 6 sayılarını) toplayalım.

Burada harika bir ilişki gizli. Toplamımız olan 15, ortadaki sayımız olan 5'in tam 3 katıdır. Acaba bu hep böyle mi? Yeni varsayımımız: Ardışık 3 doğal sayının toplamı her zaman ortadaki sayının 3 katıdır.

Gördüğünüz gibi, baştaki sayı ortadaki sayıdan 1 eksik, sondaki sayı ise 1 fazladır. Eksik olanı fazla olana verdiğimizde elimizde tam 3 tane ortadaki sayıdan kalır. İşte matematiksel ispat ve mantık yürütmek, sayıların dünyasındaki bu mükemmel düzeni yakalamamızı sağlar!