Heron Formülü: Sadece Üç Kenar Uzunluğunu Bilerek Üçgenin Alanı

Bir üçgenin alanını sorduklarında ilk öğrendiğimiz formül şudur:

$A = \frac{1}{2} \cdot \text{taban} \cdot \text{yükseklik}$

Hızlı ve anlaşılır. Ama tek bir engeli var: yüksekliği bilmeniz gerek. Gerçek hayatta çoğu zaman bir üçgenin sadece üç kenarını ölçebiliriz. Örneğin bir bahçenin sınırlarındaki üç kenarı bir şerit metre ile ölçtünüz; yükseklik için bir yere dik bir çizgi indirip oradan ölçmek pratik olmayabilir.

Bu durumda İskenderiyeli Heron'un (yaklaşık M.S. 10–70) çok zarif bir cevabı var:

Bir üçgenin kenarları $a$, $b$, $c$ olsun. Yarı çevre $s = \dfrac{a + b + c}{2}$ olarak tanımlansın. O zaman üçgenin alanı:

$A = \sqrt{s(s-a)(s-b)(s-c)}$

İşte bu kadar. Üç ölçüm yaptınız mı, alanı doğrudan buluyorsunuz. Yükseklik, açı, hiçbir şey gerekmez.

Küçük bir örnek

Kenarları $a = 5$, $b = 6$, $c = 7$ olan bir üçgen düşünün. Yarı çevre:

$s = \frac{5 + 6 + 7}{2} = 9$

Heron formülü:

$A = \sqrt{9 \cdot (9-5) \cdot (9-6) \cdot (9-7)} = \sqrt{9 \cdot 4 \cdot 3 \cdot 2} = \sqrt{216} \approx 14{,}697$

Klasik formül de aynı sonucu verir (yüksekliği elle hesaplamak biraz daha uğraştırır). Heron çok daha hızlıdır.

İspatın fikri

Formülün modern bir ispatı kosinüs teoremi ile sinüs alan formülünü birleştirerek yapılır. Kısaca:

1. Üçgenin alanı $A = \tfrac{1}{2} ab \sin C$ (sinüsle alan formülü).
2. Kosinüs teoremi: $\cos C = \dfrac{a^2 + b^2 - c^2}{2ab}$.
3. $\sin^2 C + \cos^2 C = 1$ özdeşliğinden $\sin C$'yi $a, b, c$ cinsinden yazın.
4. Yerine koyup düzenleyince Heron formülü çıkar.

Cebirsel manipülasyon biraz uzundur ama temiz çıkar. Heron'un kendisi bu modern türetmeden yararlanmadı; o tamamen geometrik bir kanıt yaptı, M.S. 1. yüzyılda Metrica adlı eserinde.

Heron kimdi?

İskenderiyeli Heron (Yunanca: Hērōn ho Aleksandreus), Romalı dönemde Mısır İskenderiyesi'nin parlak bir mühendisi ve matematikçisiydi. Çalışma alanı bugünkü "uygulamalı matematik ve mühendislik" başlığına çok yakındır:

• Metrica — geometri ve ölçüm üzerine, içinde "Heron formülü"nün de bulunduğu eser.
• Mechanica — vinç, manivela, kaldıraç gibi makineler.
• Pneumatica — basınçlı hava ile çalışan mekanizmalar, bunlar arasında Aeolipile denilen, dönen bir buhar bilyesi (tarihteki ilk bilinen buhar motoru prototipi).
• Dioptra — modern teodolitin antik öncüsü olan ölçme aleti üzerine.
• Otomatik açılan tapınak kapıları, su saatleri, sabit basınçlı şarap dağıtıcıları… Heron'un atölyesi, antik dünyanın bir laboratuvarıydı.

Bu liste, neden Heron'un matematiğinin "pratik geometri" yönelimli olduğunu açıklar. Onun için bir formül, mühendisin ya da arazi ölçücüsünün hayatını kolaylaştırdığı zaman değerliydi. Heron formülü tam bu felsefenin bir ürünüdür: arazide üç kenarı ölçebilen bir mühendise, alanı bir-iki çarpma ve karekökle veren bir araç.

Sayısal kararlılık üzerine bir not

Heron formülü matematiksel olarak tamdır, ama bilgisayar hesaplamalarında dikkatli kullanılması gereken bir özelliği vardır. Çok uzun ve ince bir üçgenle çalıştığınızda (örneğin kenarları $10^6$, $10^6$, $1$ gibi), $s - a$, $s - b$, $s - c$ ifadelerinin bazıları büyük sayıların farkı olur. Bu, kayan noktalı (floating point) hesapta hassasiyet kaybına neden olabilir.

Bunu önlemek için modern sayısal analizde Heron'un kararlı formu olarak şu yeniden yazım kullanılır:

$A = \frac{1}{4}\sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}$

ve kenarlar büyükten küçüğe sıralandığında daha az kayıp olur. Heron'un orijinal güzelliğinin bir bedeli vardı; ama bu bedel ancak çok ince üçgenlerde belirgindir.

Genelleştirilebilir mi?

Heron formülünün doğal soruları akla getirir:

• Dörtgenler için var mı? Evet. Bir konveks dörtgenin köşelerinden geçen bir çember varsa (yani kirişler dörtgenindense), kenarları $a, b, c, d$ ve yarı çevresi $s = (a+b+c+d)/2$ olmak üzere Brahmagupta formülü geçerlidir:

  $A = \sqrt{(s-a)(s-b)(s-c)(s-d)}$

  Bu sonuç Hint matematikçi Brahmagupta'ya (7. yüzyıl) aittir; Heron formülünün doğal kuzeni gibi görünür. (Dörtgen kirişli değilse formül başka bir terim ekleyerek genelleşir: Bretschneider formülü.)

• Yüksek boyutlarda? Üç boyutlu uzayda bir tetrahedronun hacmi için, sadece kenarlarından hesap yapan Cayley–Menger determinantı vardır. Heron'un fikrinin doğrudan torunudur ama hesabı determinantlı bir matristen geçer.

• Hiperbolik ya da küresel geometride? Evet, ilgili sürümleri vardır (örn. küresel üçgen için açıları kullanan benzer ifadeler).

Bir hayat dersi

Heron formülü, matematik tarihinde "sıradan görüneni daha güçlü kılan" formüllerden biridir. Her ortaokul öğrencisi "alan = taban × yükseklik / 2" bilir; ama yükseklik genellikle ölçemediğimiz bir şeydir. Heron, bunun yerine ölçebildiklerinizden başlayan bir formül vermiştir. Bu, mühendislik düşüncesinin matematiğe sızan en zarif örneklerinden.

Bir bahçe ölçtüğünüzde, bir tarla parselini hesapladığınızda ya da bir üçgen yelken kestiğinizde, kenarlardan ödün vermeden alanı bulabilmek, modern hesaplamada hâlâ Heron'un 2000 yıllık formülünü çağırıyor. Antik mühendis İskenderiye'nin sıcak atölyesinde formülü yazarken, sıradan bir günde "biraz çarpma, biraz çıkarma, bir karekök" diyerek matematik dünyasına en kalıcı katkılarından birini bırakmıştı.