Geometri İspatlarını Gerekçeli Adımlarla Yazma

Merhaba! Bu ders, olimpiyat geometrisinin temel becerisi olan ispat yazma dilini kuruyor. İlk modülde amaç, bildiğin üçgen ve açı bilgilerini “şekilde öyle görünüyor” düzeyinden çıkarıp her adımı gerekçelendirilmiş bir çözüme dönüştürmek; sonraki derslerde de eşlik, benzerlik ve yardımcı çizimleri bu dil içinde kullanmak.

Bu derste bir ispatın verilenler, hedef ve gerekçeli adımlardan nasıl oluştuğunu; iki sütunlu düzenin nasıl kullanılacağını; şekilden hangi bilgilerin alınamayacağını ve bir çözümü yazmadan önce nasıl planlayacağını öğreneceksin. Olimpiyat çözümleri çoğunlukla paragraf biçiminde yazılır, fakat iki sütunlu biçim mantıksal boşlukları görmek için güçlü bir antrenman aracıdır.

---

İspat nedir?

Bir geometri ispatı, “sonuç doğru” demek değildir. Verilen bilgilerden başlayıp yalnızca kabul edilmiş tanımlar, aksiyomlar, teoremler ve mantık kurallarıyla hedefin zorunlu olarak doğru olduğunu göstermektir.

Her ispatta üç parça bulunur:

Parça	İşlevi	Örnek
Verilen	Başlangıçta kullanma hakkın olan bilgi	$M$, $\overline{AB}$’nin orta noktasıdır.
İspatlanacak	Ulaşılması gereken sonuç	$\overline{AM}\cong \overline{MB}$
Gerekçeli adımlar	Verilenden hedefe giden denetlenebilir çıkarımlar	Orta nokta tanımı

Bir ispatta sol tarafta yazdığın her ifade bir iddiadır; sağ tarafta yazdığın şey ise o iddiayı niçin kurabildiğini açıklar. “Bence açık”, “şekilde belli” veya “simetrik duruyor” gerekçe değildir.

Bu ayrımı kısa ve sistemli biçimde görmek için aşağıdaki videoyu izle.

Gerekçe kaynakları

Bu aşamada kullanacağın gerekçelerin çoğu aşağıdaki ailelerden gelir:

• Verilen: Soruda açıkça belirtilen bilgi.
• Tanım: Orta nokta, açıortay, diklik, paralellik gibi kavramların anlamı.
• Aksiyom veya postüla: Örneğin doğru parçası toplama postülası.
• Teorem: Örneğin ters açılar teoremi veya ileride kullanacağın üçgen eşlik teoremleri.
• Eşitlik/denklik özellikleri: Yansıma, simetri, geçişme, yerine koyma; toplama, çıkarma ve bölme özellikleri.
• Daha önce ispatlanmış satırlar: Birkaç önceki satırdaki bilgiler birlikte yeni bir sonuç doğurabilir.

Örneğin “$M$, $\overline{AB}$’nin orta noktasıdır” ifadesinden

$$\overline{AM}\cong \overline{MB}$$

sonucuna geçmenin gerekçesi orta nokta tanımıdır. Bu, şeklin ortadan bölünmüş gibi çizilmesine değil, “orta nokta” kelimesinin matematiksel anlamına dayanır.

---

İki sütunlu ispatın grameri

İki sütunlu ispat, mantığı görünür yapan bir yazım biçimidir:

No.	İfade	Gerekçe
1	Başlangıç bilgisi	Verilen
2	Verilenin doğurduğu ara sonuç	Tanım / teorem / özellik
3	Yeni ara sonuç	Önceki satırlar ve uygun gerekçe
$⋮$	$⋮$	$⋮$
Son	İspatlanacak ifade	Gerekçeli sonuç

İspatın ilk satırları genellikle verilenlerden oluşur. Son satırı ise sorudaki hedefle tam olarak aynı olmalıdır. Aradaki satırlar, iki uç arasındaki mantıksal köprüdür.

Aşağıdaki okuma, paragraf ispatı ile iki sütunlu ispatın aynı mantığı farklı biçimde taşıdığını gösterir.

Denklik ile eşitliği karıştırma

Bu ayrım küçük görünür ama ispatlarda önemlidir:

Geometrik nesne hakkında konuşuyorsan	Sayısal ölçü/uzunluk hakkında konuşuyorsan
$\overline{AB}\cong \overline{CD}$	$AB=CD$
$\angle ABC\cong \angle DEF$	$m\angle ABC=m\angle DEF$
$△ABC\cong △DEF$	Çevreleri veya alanları eşit olabilir; ama üçgenlerin kendileri için “$=$” yazılmaz.

$\overline{AB}\cong \overline{CD}$ ifadesi iki doğru parçasının aynı uzunlukta olduğunu söyler. Buradan gerekirse $AB=CD$ yazabilirsin; gerekçe, eş doğru parçalarının uzunluklarının eşit olması tanımıdır. Tersi yönde de aynı tanım kullanılabilir.

Bu geçiş özellikle cebir içeren geometri sorularında gereklidir. Geometrik bir denklikten uzunluk denklemi kurar, cebirsel işlemleri yapar, ardından yeniden geometrik sonuca dönebilirsin.

---

Şekil bir ipucudur, kanıt değildir

Olimpiyat geometrisinde şekil çok değerlidir: sana hangi doğruların kesiştiğini, hangi yardımcı çizimin yararlı olabileceğini düşündürür. Ancak şeklin görünüşü tek başına bilgi vermez.

Örneğin bir üçgen eşkenar gibi çizilmiş olabilir. Soruda veya işaretlerde eşit kenarlar verilmemişse

$$\overline{AB}\cong \overline{BC}$$

yazamazsın. Aynı şekilde, dik görünüyor diye iki doğrunun dik olduğunu; yaklaşık aynı büyüklükte çizilmiş diye iki açının eş olduğunu varsayamazsın.

Şu ayrımı sürekli uygula:

Kullanabilirsin:

• Soruda açıkça verilen bilgileri,
• Şekil üzerindeki standart işaretlerle belirtilen eşitlik, diklik veya paralellikleri,
• “$D$, $\overline{BC}$ üzerindedir” gibi açık konum bilgilerini,
• Tanımlardan ve teoremlerden çıkardığın sonuçları.

Kullanamazsın:

• Sadece görünüşe dayalı uzunluk veya açı eşitliklerini,
• Şekilde simetrik duruyor diye simetriyi,
• Henüz ispatlamadığın bir sonucu,
• Hedefteki sonucu ara satırda gerekçesiz biçimde yeniden yazmayı.

Bu disiplin, ikinci aşama ispatlarında özellikle önem kazanır: şekil çoğu kez kasıtlı olarak yanıltıcı ya da ölçekli olmayan biçimde çizilir.

---

Bir ispatı planlamak: ileri ve geri düşünme

İspatı doğrudan tabloya yazmaya başlamak çoğu zaman gereksiz deneme-yanılmaya yol açar. Önce küçük bir taslak kur.

1. Verilenlerden ileri düşün

Her verilen için şu soruyu sor:

Bu bilgi, tanımı gereği bana hangi yeni bilgiyi sağlar?

Örnekler:

• “$M$ orta noktadır” bilgisi, iki eş doğru parçası verir.
• “$BD$ açıortaydır” bilgisi, iki eş açı verir.
• “$AB\parallel CD$” bilgisi, yöndeş, iç ters veya ters açılarla ilgili açı eşitlikleri verebilir.
• “$AB=AC$” bilgisi, ikizkenar üçgen teoremine götürebilir; bunun ispat mantığını ilerleyen derslerde ayrıntılandıracağız.

2. Hedeften geriye düşün

Sonucun ne türden olduğuna bak:

• Hedef iki doğru parçasının denkliği ise, buna ulaşmak için uzunluk eşitliği, orta nokta tanımı veya eş üçgenler gerekebilir.
• Hedef iki açının denkliği ise, açıortay, paralellik, ters açılar veya eş üçgenler adaydır.
• Hedef üçgen eşliği ise, hangi eşlik ölçütünün eksik olduğunu araştırırsın.

Bu iki düşünme yönü ortada birleştiğinde ispatın iskeleti ortaya çıkar. İleri düşünme elindeki araçları görmeni; geri düşünme ise hangi araca ihtiyacın olduğunu anlamanı sağlar.

---

Çalışılmış örnek: eş parçaların yarılarını ispatlamak

Verilen: $\overline{AC}\cong \overline{DF}$. $B$, $\overline{AC}$’nin; $E$, $\overline{DF}$’nin orta noktasıdır.

İspatlanacak: $\overline{AB}\cong \overline{DE}$.

Burada hedef doğru parçalarının denkliği. Orta nokta bilgisi “yarım uzunluk” fikrini verir. Fakat iki orta nokta tek başına yeterli değildir; bütün parçaların da denk olduğunu kullanmalıyız.

No.	İfade	Gerekçe
1	$\overline{AC}\cong \overline{DF}$	Verilen
2	$B$, $\overline{AC}$’nin; $E$, $\overline{DF}$’nin orta noktasıdır.	Verilen
3	$AC=DF$	Denk doğru parçalarının uzunlukları eşittir.
4	$\frac{AC}{2}=\frac{DF}{2}$	Eşitliğin bölme özelliği
5	$AB=\frac{AC}{2}$ ve $DE=\frac{DF}{2}$	Orta nokta tanımı
6	$AB=DE$	Yerine koyma özelliği
7	$\overline{AB}\cong \overline{DE}$	Eş uzunluklu doğru parçaları denktir.

Bu örnekte üç önemli yazım alışkanlığı var:

1. İlk iki satır gerçekten verilendir.
2. Denklikten uzunluk eşitliğine geçerken tanımı açıkça kullandık.
3. Sonuç yeniden geometrik dilde, yani $\cong$ ile yazıldı.

Aynı mantığı daha ayrıntılı bir iki sütunlu örnek üzerinde görmek istersen aşağıdaki bölümü izle.

---

Yardımcı çizim içeren ispatın yazımı

İspat yalnızca verilen şekli incelemek değildir. Bazen çözümü mümkün kılan doğruyu, açıortayı veya noktayı sen eklersin. Bu durumda yardımcı çizimi de ispatın bir parçası olarak açıkça belirtmelisin.

Aşağıdaki görsel ikizkenar üçgen teoreminin klasik ispatını gösteriyor. $\overline{AB}\cong \overline{AC}$ verilmişken hedef, taban açıları olan $\angle ABC$ ile $\angle ACB$’nin denkliğidir.

Bu ispatın düzeni şöyledir:

No.	İfade	Gerekçe
1	$\overline{AB}\cong \overline{AC}$	Verilen
2	$D\in \overline{BC}$ olacak biçimde $AD$, $\angle BAC$’ın açıortayı çizilir.	Yardımcı çizim
3	$\angle BAD\cong \angle DAC$	Açıortay tanımı
4	$\overline{AD}\cong \overline{AD}$	Yansıma özelliği
5	$△ABD\cong △ACD$	Kenar-Açı-Kenar eşlik ölçütü
6	$\angle ABC\cong \angle ACB$	Eş üçgenlerin karşılıklı parçaları denktir.

Burada üçgen eşliği, bir sonraki dersin ana konusu olacak. Şimdilik bu örneği şu nedenle incele: iyi bir ispat, yardımcı çizimi gizlemez; her yeni bilgiyi hangi tanım veya teoremle elde ettiğini yazar; yalnızca en son satırda hedefe ulaşır.

Ayrıca 5. satırın gerekçesi sadece “üçgenler benziyor” ya da “şekil simetrik” olamaz. İspatın gücü, iki üçgenin eşliğini belirli bir ölçüte bağlamasından gelir.

---

Olimpiyat çözümüne geçiş: iki sütundan paragrafa

İki sütunlu biçim öğrenirken yararlıdır; çünkü her satırdaki gerekçe boşluğunu yakalar. Fakat TÜBİTAK ikinci aşama gibi yazılı ispat sorularında çözüm çoğu zaman kısa, akıcı bir paragraf şeklinde sunulur.

Az önceki ikizkenar üçgen ispatı paragraf olarak şöyle yazılabilir:

$A$ açısının açıortayı $AD$, $\overline{BC}$’yi $D$ noktasında kessin. $\overline{AB}\cong \overline{AC}$ verildiğinden, $\angle BAD\cong \angle DAC$ açıortay tanımından ve $\overline{AD}\cong \overline{AD}$ yansıma özelliğinden elde edilir. Dolayısıyla $△ABD\cong △ACD$ Kenar-Açı-Kenar ölçütüne göre eştir. Buna göre karşılıklı taban açıları denk olduğundan $\angle ABC\cong \angle ACB$.

İki biçimin mantığı aynıdır. Paragraf biçiminde de her geçişin gerekçesi görünür olmalıdır. İyi olimpiyat çözümü:

• gereksiz satırlarla uzatılmaz,
• ama kritik bir tanımı veya teoremi atlamaz,
• yeni çizimi açıkça tanımlar,
• hedefe hangi nedenle ulaştığını belirtir.

---

Teslim etmeden önce ispat denetimi

Bir ispatı bitirdiğinde şu kısa kontrolü yap:

1. Hedef: Son satırım, ispatlanacak ifadeyle birebir uyuşuyor mu?
2. Başlangıç: İlk kullandığım bilgiler gerçekten verilmiş mi?
3. Gerekçe: Her yeni iddianın geçerli bir tanımı, teoremi veya özelliği var mı?
4. Şekil tuzağı: Sadece şekle bakarak eşitlik, diklik veya paralellik varsaydım mı?
5. Gösterim: Doğru parçaları ve açıları denklikle; uzunluk ve açı ölçülerini eşitlikle mi yazdım?
6. Mantık sırası: Bir sonucu, onu kanıtlamadan önce kullanmış olabilir miyim?
7. Yardımcı çizim: Eklediğim nokta veya doğru varsa, onu açıkça tanımladım mı?

---

Bu dersin ana fikri şudur: İspat, doğru cevaptan çok gerekçeli geçişler zinciridir. Verilenleri açık biçimde ayırmalı, hedefi göz önünde tutmalı, her satır için geçerli bir neden yazmalı ve şeklin görünüşünü kanıt yerine koymamalısın. İki sütunlu düzen, bu zinciri ilk kez kurarken oldukça kullanışlıdır; zamanla aynı disiplini paragraf biçimindeki olimpiyat çözümlerine taşıyacaksın.

Bir sonraki derste koşullu bir önermenin tersi, karşıtı ve özellikle güvenilir mantıksal dönüşümü olan karşıt tersi arasındaki farkı ele alacağız. Bu, bir teoremi hangi yönde kullanabileceğini doğru belirlemenin temelidir.