Menelaos ve Ceva Teoremleri: Üçgende Çizgilerin İki Zarif Dansı

İki klasik teorem, bir derin ikilik

Üçgen geometrisinin iki temel teoremi vardır; biri İskenderiyeli Menelaos'tan (yaklaşık MS 100), diğeri Giovanni Ceva'dan (1678). Bu iki teorem aslında dual — birbirine "ters" formüllerle ifade edilir.

Üçgenin kenarlarına ait olanlar (Menelaos) ile köşelerden çıkan çizgilere ait olanlar (Ceva) arasında muhteşem bir simetri var.

Menelaos teoremi (MS ~100)

Üçgen $ABC$ verilsin. Bir doğru, üçgenin üç kenarını (veya uzantılarını) sırasıyla $L \in BC$, $M \in CA$, $N \in AB$ noktalarında kessin (bu transversal denir).

Menelaos teoremi:

$\frac{BL}{LC} \cdot \frac{CM}{MA} \cdot \frac{AN}{NB} = -1$

Burada uzunluklar işaretli alınır (yönlendirme). Eğer hep aynı yönde alınırsa çarpım $+1$ olur; ama "transversal" tanımı gereği işaret $-1$ çıkar.

Mutlak değer formunda: $|BL/LC| \cdot |CM/MA| \cdot |AN/NB| = 1$.

Tersi de doğru

Menelaos teoreminin tersi de doğru: Eğer üç nokta (her birinin üçgenin kenarlarından birinde olduğu) bu çarpım koşulunu sağlıyorsa, doğrusaldır (collinear).

Bu, doğrusallığı kontrol etmek için güçlü bir kriter.

Ceva teoremi (1678)

İtalyan matematikçi Giovanni Ceva 1678'de Menelaos'un dualini yayımladı.

Üçgen $ABC$. Köşelerden $D \in BC$, $E \in CA$, $F \in AB$ noktalarına çekilen üç cevian çizgisi ($AD$, $BE$, $CF$).

Ceva teoremi: Bu üç cevian aynı noktada (tek noktada) kesişirse:

$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = +1$

Tersi de doğru: çarpım $+1$ ise üç cevian eşzamanlıdır.

İkilik (duality)

İki teorem arasındaki ikilik:

Menelaos	Ceva
Doğru (transversal)	Nokta (eşzamanlı kesişim)
3 nokta	3 doğru
Çarpım $= -1$	Çarpım $= +1$
Doğrusallık testi	Eşzamanlılık testi

Projektif geometride bu ikilik derin bir simetri. Pek çok kombinatoryal-projektif teoremin köküdür.

Klasik uygulamalar — Ceva ile

Ceva'nın hemen sağladığı klasik sonuçlar:

1. Medyanlar eşzamanlıdır (orta-kütle noktası, centroid).

   • Medyan = köşeden karşı kenarın orta noktasına.
   • Her cevian için orta nokta: $BD = DC, CE = EA, AF = FB$.
   • Çarpım: $1 \cdot 1 \cdot 1 = 1$. ✓ Eşzamanlı.

2. Açıortaylar eşzamanlıdır (incenter, içbükey çemberin merkezi).

   • Açıortay teoremi: $BD/DC = AB/AC$, vb.
   • Çarpım: $(c/b) \cdot (a/c) \cdot (b/a) = 1$. ✓

3. Yükseklikler eşzamanlıdır (orthocenter).

   • Trigonometrik Ceva ile kanıtlanır.

4. Köşelerden teğet noktalarına çizgiler (Gergonne noktası, çevre çemberi içinden teğet noktalarına çizilen cevianların eşzamanlılığı).

Klasik uygulamalar — Menelaos ile

Menelaos'un standart kullanımı:

• Pappus teoremi (Antik Yunan, ~MS 300): iki doğruda 3+3 nokta seç; karşılık gelen kesişim noktaları aynı doğrudadır.
• Pascal teoremi (1640): konik içinde 6 nokta; bir hexagonun karşı kenar kesişimleri eşdoğrusaldır. Pascal'ın 16 yaşında bulduğu teorem.
• Desargues teoremi: iki üçgenin "perspektif"i hakkında.

Bu üçü modern projektif geometrinin temelleridir.

Trigonometrik form

Ceva'nın daha güçlü trigonometrik versiyonu: cevianlar $A, B, C$ köşelerinden açıların $\alpha_A, \beta_A$ vb. parçalarına bölünüyor olsun. Cevianlar eşzamanlıdır ⇔

$\frac{\sin \alpha_A}{\sin \beta_A} \cdot \frac{\sin \alpha_B}{\sin \beta_B} \cdot \frac{\sin \alpha_C}{\sin \beta_C} = 1$

Bu form, açıortaylar veya yükseklikler için doğrudan çalışır.

Olimpiyat matematiğinde

Menelaos ve Ceva, matematik olimpiyat geometrisinin temel araçlarındandır. Her yıl IMO ve ulusal yarışmalarda kullanılır. Bir geometri problemi şu özelliklerden birini taşıyorsa Menelaos/Ceva düşünmek gerekir:

• "Üç çizginin bir noktada kesiştiğini kanıtla" → Ceva.
• "Üç noktanın doğrusal olduğunu kanıtla" → Menelaos.
• Köşelerin / kenarların bölünme oranları → Menelaos/Ceva.

Modern bağlam

• Projektif geometri: Menelaos-Ceva ikiliği, projektif dualite'nin somut örneği.
• Cebrik geometri: Bezout teoremi ve kesim teorisinin altyapısı.
• Lineer cebir: üçgen koordinatları (barycentric coordinates) Menelaos-Ceva ile sıkı bağlantılı.
• Bilgisayar grafikleri: üçgen tabanlı interpolasyon, mesh deformasyonu.

Tarihsel not

Menelaos İskenderiyeli (MS ~70-140), Eflatun sonrası Antik Yunan geometrisinin sonlarına denk geliyor. Sphaerica eseri 6 kitap halinde küre üzerinde geometri çalışır. Düz Menelaos teoremi de küresel versiyonun özel hali.

Giovanni Ceva (1647-1734) İtalyan matematikçi. Mantua'da öğrenim, sonra hayatının çoğunu finansal danışmanlık yaparak geçirdi. Matematik onun "boş zaman" mesleğiydi. De lineis rectis (1678) eserinde Ceva teoremi yer alır.

İlginç bir şekilde Ceva'nın da bağımsız olarak Menelaos'un dualını bulduğu söylenir; ama Giovanni Ceva tarihte ödüllü kim olduğundan dolayı isim ona yapıştı.

Sonuç

Menelaos ve Ceva teoremleri, Antik Yunan geometrisinin yaşayan armağanı:

• 1900+ yıl öncesi formülasyon.
• Olimpiyatlardan modern projektif geometriye kadar yararlı.
• Birbirine dual, derin simetri.
• Hep aynı temel: üçgen kenarları/köşelerinin oranları.

Matematiğin iki binyıl önce keşfedilmiş bir teoremi bugün hâlâ pratik. Geometri mücevherlerin değişmediği bir alandır.