"Tüm tek sayıların toplamı tektir" önermesinin cebirsel ispatında, tek sayıyı $2k+1$ formunda ifade edip iki tek sayının toplamını $(2a+1)+(2b+1)=2(a+b+1)$ şeklinde gösteriyoruz. Bu ispat yöntemi aşağıdakilerden hangisini temel alır?
A) Tümevarım
B) Olmayana ergi
C) Doğrudan ispat
D) Çelişki yöntemi
Bir matematiksel önermeyi ispatlamak için çeşitli yöntemler kullanılır. Bu soruda verilen örnek, tek sayıların toplamı üzerine bir iddiayı cebirsel olarak göstermektedir.
Öncelikle, ispat yöntemlerini kısaca hatırlayalım:
Doğrudan İspat (Direct Proof): Bir önermenin doğruluğunu, verilen tanımlar, aksiyomlar ve daha önce kanıtlanmış teoremlerden yola çıkarak mantıksal adımlarla doğrudan sonuca ulaşarak gösterme yöntemidir. Genellikle "eğer P ise Q" şeklindeki önermeleri ispatlamak için kullanılır. P'nin doğru olduğunu varsayarak, Q'nun da doğru olduğunu gösteririz.
Tümevarım (Induction): Özellikle doğal sayılarla ilgili önermelerin doğruluğunu ispatlamak için kullanılır. Bir temel durumun (genellikle $n=1$) doğru olduğunu gösterdikten sonra, $k$ için doğru olduğunu varsayarak $k+1$ için de doğru olduğunu ispatlarız.
Olmayana Ergi / Çelişki Yöntemi (Proof by Contradiction / Reductio ad Absurdum): İspatlamak istediğimiz önermenin tersini (değilini) doğru kabul ederiz. Bu varsayımdan yola çıkarak mantıksal adımlarla bir çelişkiye (bilinen bir gerçekle veya başlangıçtaki varsayımla) ulaşırız. Bu çelişki, başlangıçtaki ters varsayımımızın yanlış olduğunu, dolayısıyla ispatlamak istediğimiz önermenin doğru olduğunu gösterir.
Soruda verilen ispat yöntemini inceleyelim:
Tek sayıyı $2k+1$ formunda ifade ediyoruz. Bu, tek sayının tanımıdır (bir tam sayının iki katının bir fazlası).
İki tek sayının toplamını alıyoruz: $(2a+1)+(2b+1)$. Burada $a$ ve $b$ birer tam sayıdır.
Elde ettiğimiz sonuç $2(a+b+1)$ formundadır. Bir sayının $2$ ile çarpımı her zaman çift bir sayıdır. Dolayısıyla, iki tek sayının toplamının çift olduğunu doğrudan göstermiş oluyoruz. (Sorudaki "Tüm tek sayıların toplamı tektir" ifadesi, muhtemelen "İki tek sayının toplamı çifttir" veya "Tek sayıda tek sayının toplamı tektir" gibi daha spesifik bir önermeye atıfta bulunmak istemiştir. Ancak verilen cebirsel örnek, iki tek sayının toplamının çift olduğunu doğrudan göstermektedir.)
Bu ispat adımları, tek sayının tanımından yola çıkarak ve cebirsel manipülasyonlarla doğrudan sonuca ulaşmaktadır. Herhangi bir temel durum veya indüktif adım içermez, ayrıca önermenin tersini varsayıp bir çelişkiye ulaşma yolunu da kullanmaz. Bu nedenle, bu yöntem doğrudan ispat yöntemidir.
