Bir matematikçi "a ve b çift sayılar ise a + b'nin çift olduğunu" doğrudan ispat yöntemiyle kanıtlamak istiyor. Bu ispat için aşağıdaki ifadelerden hangisi doğru bir başlangıç olur?
A) a ve b tek sayı olsaydı toplamları çift olurdu
B) a = 2m ve b = 2n (m, n ∈ Z) yazılabilir
C) Toplamın çift olmadığını varsayalım
D) Örneklerle gösterelim ki a + b çifttir
Merhaba sevgili öğrenciler,
Bu soruda, bir matematikçinin "eğer $a$ ve $b$ çift sayılar ise $a + b$'nin çift olduğunu" doğrudan ispat yöntemiyle kanıtlamak istediği bir senaryo verilmiş. İspata doğru bir başlangıç yapmak için hangi ifadenin seçilmesi gerektiğini bulmamız isteniyor.
Öncelikle, doğrudan ispat (direct proof) yönteminin ne anlama geldiğini hatırlayalım:
- Doğrudan ispat, bir "Eğer P ise Q" ($P \implies Q$) şeklindeki önermeyi kanıtlamak için kullanılan bir yöntemdir.
- Bu yöntemde, öncelikle "P" (hipotez veya varsayım) kısmının doğru olduğu kabul edilir.
- Ardından, P'nin tanım ve özelliklerinden yola çıkılarak, mantıksal adımlar ve bilinen matematiksel kurallar kullanılarak "Q" (sonuç) kısmının da doğru olduğu gösterilir.
Şimdi sorumuzdaki önermeye bakalım: "Eğer $a$ ve $b$ çift sayılar ise $a + b$'nin çift olduğu."
- Buradaki hipotez (P): "$a$ ve $b$ çift sayılar."
- Buradaki sonuç (Q): "$a + b$ çifttir."
Doğrudan ispat yöntemine göre, ispata hipotezi kabul ederek ve onu matematiksel olarak ifade ederek başlamalıyız. Hipotezimiz "$a$ ve $b$ çift sayılar" olduğundan, çift sayının tanımını kullanmalıyız.
Çift sayının tanımı: Bir tam sayı, eğer $2k$ şeklinde yazılabiliyorsa (burada $k$ bir tam sayıdır), o sayı çifttir.
Şimdi seçenekleri inceleyelim:
- A) $a$ ve $b$ tek sayı olsaydı toplamları çift olurdu: Bu seçenek, hipotezi değiştiriyor. Bizim hipotezimiz $a$ ve $b$'nin çift sayılar olmasıdır, tek sayılar olması değil. Dolayısıyla bu, doğru bir başlangıç olamaz.
- B) $a = 2m$ ve $b = 2n$ ($m, n \in Z$) yazılabilir: Bu ifade, hipotezimiz olan "$a$ ve $b$ çift sayılar" önermesini doğrudan çift sayının tanımına göre matematiksel olarak ifade ediyor. Eğer $a$ çift ise $a = 2m$ şeklinde, $b$ çift ise $b = 2n$ şeklinde yazılabilir (burada $m$ ve $n$ herhangi birer tam sayıdır). Doğrudan ispatın ilk adımı, hipotezi bu şekilde matematiksel olarak tanımlamaktır. Bu, ispatın temelini oluşturur.
- C) Toplamın çift olmadığını varsayalım: Bu ifade, ispatı çelişki yöntemiyle yapmaya başlamak için kullanılır. Çelişkiyle ispatta, sonucun (Q) yanlış olduğunu varsayılır ve bu varsayımın bir çelişkiye yol açtığı gösterilerek Q'nun doğru olduğu kanıtlanır. Ancak soruda bizden "doğrudan ispat" yöntemi isteniyor.
- D) Örneklerle gösterelim ki $a + b$ çifttir: Örnekler, bir matematiksel ifadenin doğru olabileceğine dair sezgi kazandırabilir veya bir iddiayı çürütmek için kullanılabilir (karşı örnek). Ancak, bir veya birkaç örnekle bir önermenin her zaman doğru olduğunu kanıtlayamayız. Matematiksel bir ispat, tüm durumlar için geçerli genel bir argüman sunmalıdır. Bu nedenle, örneklerle göstermek bir ispat yöntemi değildir.
Yukarıdaki açıklamalara göre, doğrudan ispatın ilk adımı, hipotezi matematiksel tanımıyla ifade etmektir. Bu da B seçeneğinde doğru bir şekilde yapılmıştır.
Cevap B seçeneğidir.
