Eşitsizlikler Konu Anlatımı

Konu anlatımı notları

1. Metrik Uzaylarda Üçgen Eşitsizliği

   Geometride eşitsizlikler, mesafenin ve doğrusal olmayan yolların temel özelliklerini tanımlar. Bir küme $X$ ve üzerinde tanımlı bir metrik $d: X \times X o \mathbb{R}$ için üçgen eşitsizliği şu şekilde ifade edilir:

   Her $x, y, z \in X$ için $$d(x, z) \le d(x, y) + d(y, z)$$ eşitsizliği sağlanır.

   Öklid düzleminde bu aksiyom, doğrusal olmayan herhangi üç nokta $A$, $B$ ve $C$ için kenar uzunlukları $a, b, c$ olmak üzere üçgen varlık şartına dönüşür:

   • $|b - c| < a < b + c$
   • $|a - c| < b < a + c$
   • $|a - b| < c < a + b$

   Eşitlik durumu ancak ve ancak $B$ noktası, $A$ ile $C$ noktalarını birleştiren doğru parçası üzerinde yer aldığında gerçekleşir.

   Açı ve Kenar Büyüklükleri Arasındaki İlişki

   Bir üçgende büyük açı karşısında büyük kenar, küçük açı karşısında küçük kenar bulunur. Bir $ABC$ üçgeninde iç açılar $\alpha, \beta, \gamma$ ve karşılarındaki kenarlar sırasıyla $a, b, c$ olsun:

   $$\alpha > \beta \iff a > b$$

   Bu bağıntı iki farklı üçgenin karşılaştırılmasında Menteşe Teoremi (Hinge Theorem) olarak genellenir:

   • İki kenarı birbirine eşit olan iki üçgenden ($a_1 = a_2$ ve $b_1 = b_2$), bu kenarlar arasındaki açısı daha büyük olan üçgenin üçüncü kenarı daima daha uzundur ($\theta_1 > \theta_2 \implies c_1 > c_2$).
   • Ters Menteşe Teoremi ise üçüncü kenarların uzunluk sıralamasının, dahil edilen açıların büyüklük sıralamasını doğrudan belirlediğini ifade eder.

   İç Teğet, Çevrel Çember ve Alan Eşitsizlikleri

   Bir üçgenin çevrel çember yarıçapı $R$ ve iç teğet çember yarıçapı $r$ arasındaki temel ilişki Euler Eşitsizliği ile verilir:

   $$R \ge 2r$$

   Burada eşitlik durumu yalnızca eşkenar üçgende sağlanır.

   Üçgenin kenar uzunlukları ile alanı ($S$) arasındaki temel ilişkiyi kuran Weitzenböck Eşitsizliği ise şu biçimdedir:

   $$a^2 + b^2 + c^2 \ge 4\sqrt{3}S$$

   Bu eşitsizliğin genelleştirilmiş hali olan Hadwiger-Finsler Eşitsizliği, kenar farklarının karesini de hesaba katarak daha sıkı bir alt sınır sunar:

   $$a^2 + b^2 + c^2 \ge 4\sqrt{3}S + (a - b)^2 + (b - c)^2 + (c - a)^2$$

   İç Noktaların Köşelere ve Kenarlara Uzaklıkları

   Bir üçgenin iç bölgesinde seçilen keyfi bir noktanın köşelere olan uzaklıkları toplamı, kenarlara olan dik uzaklıkları toplamı ile doğrudan ilişkilidir.

   $ABC$ üçgeninin iç bölgesinde alınan bir $P$ noktasının köşelere uzaklıkları $R_A, R_B, R_C$ ve kenarlara olan dik uzaklıkları $r_a, r_b, r_c$ olsun. Erdős-Mordell Eşitsizliği'ne göre:

   $$R_A + R_B + R_C \ge 2(r_a + r_b + r_c)$$

   Bu eşitsizlikte eşitlik hali, yalnızca üçgenin eşkenar olması ve $P$ noktasının bu üçgenin ağırlık merkezinde (aynı zamanda iç teğet ve çevrel çember merkezinde) bulunması durumunda geçerlidir.

   Analitik ve Vektörel İspat Yaklaşımları

   Geometrik eşitsizliklerin çözümünde ve ispatında üç temel analitik araç sıklıkla kullanılır:

   1. Cauchy-Schwarz Eşitsizliği: Vektörel normlar ve skaler çarpımlar üzerinden kenar-uzunluk bağıntılarının alt ve üst sınırlarını belirlemede kullanılır: $$(\sum u_i v_i)^2 \le (\sum u_i^2)(\sum v_i^2)$$
   2. Jensen Eşitsizliği: Dışbükey ve içbükey fonksiyonlar yardımıyla üçgenin açı ve kenar fonksiyonlarının ekstremum değerlerini bulmada etkilidir (örneğin $\sin\alpha + \sin\beta + \sin\gamma \le \frac{3\sqrt{3}}{2}$).
   3. Ravi Dönüşümü: Kenar uzunluklarını $a = y + z$, $b = z + x$, $c = x + y$ ($x, y, z > 0$) şeklinde dönüştürerek geometrik kısıtları cebirsel pozitif reel sayı eşitsizliklerine indirger.